No.2
- 回答日時:
「#」とか「=」とか「1」とかは、漢字のヘンやツクリみたいなもので、
「#x=1」を、まとめてひとつの記号とみなせばよいのですね。
論理式・数式ではなく、情緒的な表現として「xの元は1個」を表していると。
「#A=#B」を「AからBへの全単射が存在する」で定義するのなら、
そういうやり方をしていることになります。
そう言えば、「A={x|…}」の「=」も、
最初からAは集合だという前提でなければ、ZFCの中では定義されていません。
これも、「{x|#x=1}は集合か。答案上、{x|#x=1}のことを
別名でAと呼んでもよい。」という意味の情緒的表現と見れば、筋が通ります。
さて、「xの元は1個」を形式的に表現しなくては、話が始まりません。
「(y∈x かつ z∈x)ならば y=z」としては、どうでしょう。
こうすると、{x|#x=1}が集合か否かは、置換公理そのもののようですが。
この回答への補足
丁寧な説明ありがとうございます。
定義としてはおっしゃる通り、Aは集合であり、「#x=1」は
「xの元は1個である」と言うarrysthmiaさんの「情緒的表現」でこの問題の場合正しいと思います。
根本的な事なのですが、初心者でして答案に記す「形式的な表現」がまだ身についていません(^^;)
申し訳ないのですが、置換公理「(y∈x かつ z∈x)ならば y=z」をこの問題に当てはめた際の模範解答的なものを示してもらえないでしょうかm(__)m
問題が「調べよ」となっていますので、それを基に他の8個の公理についても確認を行う方が良さそうなので自分で頑張ってみようと思います...
どうかお願いします。
No.3
- 回答日時:
記号の意味を素直に考えると A は集合になりません。
恐らくすべての集合からなる「集合」を作ることは不可能であることはご存知であると思います。例えばラッセルの逆理に内包公理を適用すれば良いのです。もし A が集合であれば UA はすべての集合を要素とするので矛盾です。
U は合併 (union) の記号と思ってください。
実際 x の任意の集合とします。このとき X={x} は A の要素です。従って
x は UA の要素となります。従って UA はすべての集合を要素とすることになり矛盾です。
No.4
- 回答日時:
勉強始めは UA の意味が存外分かりにくいので捕捉します。
(合併の公理) A を集合とするとき UA = {x: A の要素 X が存在して
x は X の要素} も集合である。
前の例ですと x を任意の集合としたとき X={x} は要素が一つしかないので A の要素であり、UA の定義と x が X の要素であることにより x は UA の要素になるということです。蛇足でしたらまことに申しわけございません。
この回答への補足
回答ありがとうございます。
素人なりに解釈したのですが、「合併の公理」を適用すると、
(1)Aを集合とすると、Aの要素であるXが存在する。またxはXの要素である。
↓
(2)#x=1であるのでXは要素が1つしかない。(?)
↓
(3)Xは要素が1つしかないのでXはAの要素である。
↓
(4)UA(Aの要素の要素からなる集合)はxを要素とする。
↓
(5)が、ラッセルの逆理「すべての集合からなる「集合」を作ることは矛盾する」のでAは集合ではない。
のような感じでしょうかねぇ・・・
どうでしょうか?
集合の証明は難しいですね。苦手です・・・
No.5ベストアンサー
- 回答日時:
まだ少々混乱されているようですので、補足いたします。
(1) A を集合と仮定すると、合併の公理により UA も集合である。
(2) x を任意の集合とします。このとき X={x} は一つの要素からなる集合なので、X ∈ A となります。
(3) ここでもちろん x ∈ X なので x ∈ X ∈ A となり、たしかに「ある X が存在し X ∈ A かつ x ∈ X」が成り立ちます。従って合併集合の定義により x ∈ UA です。
(4) x は任意の集合だったので UA は任意の集合を要素とすることになります。任意の集合を要素とする集合は存在しないので、この事実は (1) に反します。従って A は集合ではありません。
(補足の補足)
ラッセルの逆理により R={x : x ∈ x ではない} は集合となりません。もしすべての集合からなる集合 V が存在すると仮定すると、内包公理により R={x : x ∈V かつ x ∈ x ではない} となり R も集合になり矛盾です。
(蛇足) 集合論の証明が難しく苦手ということですが、こういう考え方は最初は難しいものです。一月くらいこのようなことばかり考えてると慣れてきますよ。解析学のεδ論法みたいなもんです。そして (恐らく若い方と思いますが) 「形式的にものごとを考える」ことに慣れるのは一生の財産になります。これにこりずにさらに勉強を進めて頂けるとうれしいです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 存在記号と「または」 5 2022/10/02 19:03
- 数学 集合と論理について 2 2023/01/08 05:52
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 大学受験 資格試験などの勉強で過去問題集の解説を理解する時、分からない用語を調べてどうするのが良いですか? 問 3 2023/06/18 17:18
- 教育・学術・研究 著作権法 3 2022/09/15 16:28
- 図書館情報学 著作権の考え方 2 2022/09/15 16:26
- 図書館情報学 著作権 3 2022/10/10 21:43
- 大学受験 現役で明治、立教に合格した人限定の質問をさせていただきます。 2 2022/11/14 23:25
- 電気工事士 電験三種 理論の分からない問題教えてください 1 2023/08/13 15:20
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報