![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
次の問題の解答で分からないところがあるので説明をしてもらいたいです。
問: 無理数全体の集合からRへの全単射が存在することを証明せよ
解: R-Q から R への全単射の存在を示せばよい
R-Q は無限集合であるから、可算部分集合 A が存在する
ここで Q は可算集合なので、A∪Q は可算集合
よって全単射 f: A→A∪Q が存在するので
関数 g:R-Q →Rを
g(x)= { x (x∈R-A)
〔 f(x) (x∈A)
と定義すると g は全単射である ■
最後のところで、なぜgを上のように定義すると全単射になるのかがわかりません。
よろしくおねがいします。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 数学 代数学 環 1 2022/10/12 17:29
- 数学 代数学 環 1 2022/10/11 00:04
- 数学 数学の問題についての質問です。 R上の関数f(x)=(x-1)(x-5)(x-10)+1について、こ 2 2023/02/12 15:00
- 数学 回答の意味について 3 2023/07/06 14:14
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
eの0乗は1ってどういう原理です...
-
「互いに素」の定義…「1と2は互...
-
ヘシアンが0の場合どうやって極...
-
最大元と極大元の定義の違いが...
-
複雑な家庭とは
-
使われているのに辞書にのって...
-
なぜ、直角三角形ではないのにs...
-
"無理数全体の集合から実数全体...
-
「logx^2=2logx」が間違って...
-
定義付けできない言葉について
-
平面曲線の特異点について
-
数学の質問です loge 3=1.1に...
-
√6=√(-2)(-3)=√(-...
-
“半日”って何時間のことなんで...
-
べき乗
-
cosxの0乗について
-
数学の組み合わせでnCr(ただしn...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
「logx^2=2logx」が間違って...
-
無限から無限を引いたら何にな...
-
べき乗
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
ユーザー定義関数をアドイン登...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
なぜ、直角三角形ではないのにs...
-
p⇒q=(¬p)∨qについて
-
lim n→0 =n=0となりますが lim ...
-
マイナス7は素数ですか?
-
複雑な家庭とは
-
日本語 ことば ひとまわり ふた...
-
正方行列ではない行列にも行列...
-
偏微分方程式って
おすすめ情報