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.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|=アレフゼロ
No.3ベストアンサー
- 回答日時:
修正版見ました、良いと思います。
細かいことですが、
|X|=|N|と仮定すると、NからXへの全単射fが存在する。
つまり
1 ←→ M1
・・・
の部分で、M1が突然現れることと、実はMnという表現は、以降に現れないので、
つまり、
1←→f(1)
2←→f(2)
・・・
としたほうが良いと思います。
最初の回答で補足を求められているにもかかわらず上から目線で採点などど僭越な物言いをしたことをお許しください。
眠かったんです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 環論の素元について 6 2022/05/09 04:04
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報