この関数fは単射であるが全射でないことを示せ。
カントールの定理
R^2=R×Rの濃度も連続体濃度である|R|= א
証)1対1対応R⇔J=(0,1)を作ることができてR^2⇔J^2を引き起こす。したがって再帰単射列
1:1 f 1:1 x → (x,0)
R^2 ⇔ J^2 → J ⇔ R → R^2
が作れるので|R^2|= אである。
ただしここでf: J^2 → Jはx,y∈Jを無限10進数より、
x=0.x_1x_2・・・, y=0.y_1y_2・・・と表して
x,y∈J → 0.x_1y_1x_2y_2・・・∈Jでされる写像。
とあるのですが、最後の0.x_1y_1x_2y_2とあり、どうやったら全射でなく、単射であるのか示したらいいのか分からなくなってしまいました。数学に詳しい方がおりましたらご教授してくださると助かります!
No.2ベストアンサー
- 回答日時:
f(x,y)=0.1010101010…=10/99
(x,y)∈J^2
0<x<1,0<y<1
となるx,yは存在しないから全射でない
(
x=0.11111111…=1/9
y=0
だから
0<y<1ではないから
y=0はJ=(0,1)の要素ではない
)
f(x,y)=f(a,b)
とすると
0.x_1y_1x_2y_2…
=0.a_1b_1a_2b_2…
だから
x_1=a_1
y_1=b_1
x_2=a_2
y_2=b_2
…
だから
x=a
y=b
だから
単射
xixixiさん、mtrajcpさん、詳しい説明に感謝いたします。先に回答してくれたかたをベストアンサーとさせていただきます。ありがとうございました!
No.3
- 回答日時:
No.1 さんが注意されているように,(0,1) の数は無限少数表現(例えば,0.123000・・・は0.122999・・・とする)を使うことを確認しておかないといけません。
そうすれば,簡単だったはずです。
この確認のもとで,(0,1)の数を z = 0.a_1 a_2 a_3 a_4 ・・・と表すと,各 a_n はzに対して一意的に決まります。
f(x,y) = z となる x, y は zから
x = 0.a_1 a_3・・・,y = 0. a_2 a_4 ・・・
と一意的に決まります。すなわち f : J^2 → J は単射です。
z = 1/99 = 0.010101・・・
は f :J^2 → J の像に含まれません(x = 0.000・・・は (0,1) に含まれない)。
すなわち f は全射ではない。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 問題がよく分からないのであっているか見て欲しいです 次の各写像のうち単射であるもの,全射であるもの, 5 2022/07/01 09:37
- 数学 数学の問題についての質問です。 R上の関数f(x)=(x-1)(x-5)(x-10)+1について、こ 2 2023/02/12 15:00
- 大学・短大 fx=X^3 (R→R) のときこれは単射ですか?それとも全単射、全射ですか?理由も含めてお願いしま 1 2023/05/17 09:18
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 微分幾何の問題です。1問でもわかる方教えて頂きたいです。 問1 第1基本量、第2基本量が E=G=1 2 2023/02/04 13:48
- 数学 【圏論】モノイドにおける恒等射について 8 2022/06/09 23:52
- 数学 多様体の質問です。 S^1={(a_1,a_2)|a_1^2+a_2^2=1}と T^1=R/Z(R 1 2023/05/18 21:14
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報
問題の写真です。