Q.Xを自然数全体の集合Nの部分集合とするとき、|X|>アレフゼロを証明せよ。
以下、ネットでのどなたかの回答を参考に、私なりにテキストを読み返すなどして解釈して、作成しました。
テスト問題としての解答として、
「修正および補足」などをお願いします。
A.
|X|=|N|と仮定すると、NからXへの全単射fが存在する。
∀n∈N ⇒ f(n)=M, ∃M∈X
∀M∈X ⇒ f(n)=M, ∃n∈N
つまり
1 ←→ M1
2 ←→ M2
・
・
n ←→ Mn
・
・
このとき、左右の対応関係について、属するか属さないかを分類でき、
N∈Mn または n?Mnとなる。
次に集合M'を以下のように定義する。
(1) n∈Mnのときnを要素としない。
(2) n?Mnのときnを要素とする。
この集合は一意に決まり、また自然数だけを要素に持つ集合となり、明らかに自然数の部分集合を意味する。
つまりM'∈Xであるが、このM'は定義により、上の対応関係からは外れている。
これはNとXとが全単射できたという仮定に矛盾する。
|X|≠アレフゼロ
また、写像g:N→Xをgn={n}とすると、これは単射であるから
|N|=アレフゼロ≦|X|
以上より、アレフゼロ<|X|
No.3ベストアンサー
- 回答日時:
修正版見ました、良いと思います。
細かいことですが、
|X|=|N|と仮定すると、NからXへの全単射fが存在する。
つまり
1 ←→ M1
・・・
の部分で、M1が突然現れることと、実はMnという表現は、以降に現れないので、
つまり、
1←→f(1)
2←→f(2)
・・・
としたほうが良いと思います。
最初の回答で補足を求められているにもかかわらず上から目線で採点などど僭越な物言いをしたことをお許しください。
眠かったんです。
No.2
- 回答日時:
私が採点するなら、10点満点で1点ってとこかな。
まず、#1さんご指摘のとおり、「問題を正確に記述していません。」
(本当はこれをもって、0点としたいとこだけど、大甘で採点しましょう)
おそらく正確には、「Xを自然数の部分集合の全体(PowerSET of N)とするとき・・・」でしょ。
次に、
∀n∈N ⇒ f(n)=M, ∃M∈X
∀M∈X ⇒ f(n)=M, ∃n∈N
の部分、声に出して読んでみれば変な記述ってわかると思うけど、あえて書くなら、
∀n∈N、∃M∈X、f(n)=M かつ
∀M∈X、∃n∈N f(n)=M
ってとこだろうし、そもそも、「NからXへの全単射fが存在する。」って書いてあればそれだけで十分だと思うけど。(書く必要のないことを書いてしかも正確でない)
そのつぎには、
「つまり」から
「左右の対応関係について、属するか属さないかを分類でき、N∈Mn または n?Mnとなる。」
も部分は、正直なにを言いたいかわかんない。
文字化けの部分は、「含まない」の記号だと好意的に解釈しても、なぜNとnが現れるの?
という単なる誤字の部分は大甘に眼をつぶるにしても
「左右の対応関係について、属するか属さないかを分類でき」って何をいってるかわからない。
この部分、ばっさり削除したほうが良いと思う。
そのつぎには、
次に集合M'を以下のように定義する。
(1) n∈Mnのときnを要素としない。
(2) n?Mnのときnを要素とする。
の部分、せっかく全単射fを定義したのだから、Mnなんていう回りくどい記述でなくf(n)を表現すればいいじゃん。
・n∈f(n) ⇒ ¬(n∈M) ・・・・「含まない」の記号が出せないのでこんな書き方します。
・¬(n∈f(n)) ⇒ n∈M
とNの部分集合Mを定義する。 とでも書いとけば良いよね。
最大の減点は、そのつぎの
「つまりM'∈Xであるが、このM'は定義により、上の対応関係からは外れている。」
の部分ですね。
Mを構成したあと、このMが全単射fの像になっていないことこそがこの設問のキモなのに、
わかってんだかわかってないんだかの記述ですまそうとしている。
全単射fのMの逆像をαとすると(f-1(M)=α)
α∈f(α)=M ⇒ ¬(α∈M)となり矛盾。
また
¬(α∈f(α)=M)⇒ α∈M となりやはり矛盾。
したがって、Mはfの像になっていない。これはfをNからXへの全単射としたことに矛盾。
以上より、|x|≠|N|
一方 n→{n}によってNからXの中への単射が存在することは明らかなので
|x|≧|N|
以上より
|x|>|N| //
1点でも甘いかも・・・・。
この回答への補足
修正しました。
下記で良いでしょうか?
|X|=|N|と仮定すると、NからXへの全単射fが存在する。
つまり
1 ←→ M1
2 ←→ M2
・
・
n ←→ Mn
・
・
n∈f(n) ⇒ ¬(n∈M)
¬(n∈f(n)) ⇒ n∈M
とNの部分集合Mを定義する。
この集合は一意に決まり、また自然数だけを要素に持つ集合となり、明らかに自然数の部分集合を意味する。
全単射fのMの逆像をαとすると(f-1(M)=α)
α∈f(α)=M ⇒ ¬(α∈M)となり矛盾。
また
¬(α∈f(α)=M)⇒ α∈M となりやはり矛盾。
したがって、Mはfの像になっていない。これはfをNからXへの全単射としたことに矛盾。
以上より、|x|≠|N|
一方 n→{n}によってNからXの中への単射が存在することは明らかなので
|x|≧|N|
以上より
|x|>|N|=アレフゼロ
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
∈ と ⊂ のはっきりとした違い
-
0以外の実数全体のどれかになる...
-
Rの半開区間(0,1]と開区間(0,1)...
-
順列組合せについて
-
{0,1}^3 の意味を教えてください
-
この黄線で、囲んだ部分の縦線...
-
保育園・幼稚園で集合写真を購...
-
数学でのセミコロンについて
-
整数係数n次正方行列全体のなす...
-
空集合のべき集合
-
ブール代数の問題の計算過程を...
-
どなたかこの問題わかりません...
-
有理数÷有理数は絶対有理数なん...
-
定義の意味
-
開集合・閉集合について
-
要素と、部分集合の違いを教え...
-
R\\{0} って、0を除く実数って...
-
集合論のカップ(∪)と普遍集合...
-
ACCESSのSQL
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報