No.2ベストアンサー
- 回答日時:
補足について。
> 集合のない要素
「wは任意の集合に所属しない要素である」ってことは、言い換えれば「{w}は集合ではない」わけですね。
さて、集合論において扱う「対象」とは、すなわち∀x P(x)と書くときのxになりうるモノ、あるいは∃x Q(x)と書くときのxであるモノ、ってことです。そして集合論では「対象」はどれでも集合です。さらに、xが対象(集合)なら{x}は集合であることが「対の公理」で保障されています。言い換えれば、仰るところの一匹おおかみ w は集合論の対象ではなく、集合論では定義できないし、扱えない。
具体的には、たとえば「自分自身を要素として含むあらゆる集合を集めたもの」S = {s| s∈s} は集合にならないことが知られています。従って、Sは対象(集合)ではなく、{S}は集合論にとって「なんだかわからんモノ」ということになります。
実は、集合論の黎明期に S = {s| P(s)} (P(s)は述語)によって集合を定義しようとしたところ、P(s) として s∈s を使うと矛盾が生じることがわかった(Russelのparadox)。そういう事態を回避するように工夫して集合論が作られた、という経緯があります。そして、その工夫の一番のカナメが「外延の公理」なんです。
ここでの話は標準的な公理系(ZF公理系)に基づいています。(「数学基礎論」と呼ばれます。)だったらすっかり枯れ果てているのかというと、いやそうではない。集合論は今でも様々な研究が行われているアクティブな分野で、面白そうな成果がいろいろ出てきているんです。
No.1
- 回答日時:
> 要素がないということを示すためには、属する∈を使ってどうあらわす
「集合Xが要素を持たない」とは、すなわち「どんなxもXの要素ではない」ということですから、
∀x(x∉X)
と表せます。(x∉X とは ¬(x∈X) のことです。)そして、要素を持たない集合が存在することが証明できます。
> Φ⊆Φは大丈夫なんだろう
はい、大丈夫です。
「A⊆B」とは「∀x(x∈A ⇒ x∈B) 」という意味です。すなわち、「どんなxも、もしxがAの要素であるなら、xはBの要素である」ということですね。
で、もしAが空集合であれば、「どんなxについても、x∈Aになることはないから、(x∈A ⇒ x∈B)は真です。なので、空集合はどんな集合Bについても、Bの部分集合になっています。(Bが空集合の場合も、もちろん成り立ちますね。)
> 違う集合とか同じ集合とか
集合論の公理において、「A=B」とは「∀x(x∈A ⇒ x∈B) かつ ∀x(x∈B ⇒ x∈A) 」のことだと定めてあります。(外延の公理)言いかえれば、「A=B」とは「A⊆BかつB⊆A」ということです。
AとBがどちらも要素を持たない集合であるとき、すなわち
∀x(x∉A) かつ ∀x(x∉B)
であるときには、A⊆BかつB⊆Aですから A=B。すなわち要素を持たない集合はただ一つしかない。そして、その一つしかない「要素を持たない集合」を空集合と呼んで∅という記号で表すことにしたわけです。
> {Φ} と{Φ、Φ}は同じ集合
その通りです。一般に {a}と{a,a}は同じです。
∀x(x∈{a}⇒ x∈{a,a}) かつ ∀x(x∈{a,a}⇒ x∈{a})
が成り立つから、
{a}={a,a}
がわかります。
> Φ {Φ}、{Φ、{Φ}}、は違う集合ですよね。
その通りです。
Φ∈{Φ}
なので、{Φ}は空集合ではなく1個の要素を持つ。そしてΦ≠{Φ}ですから、{Φ、{Φ}}は2個の要素を持つ。
実は、集合論で自然数を定義する最も普通のやり方に従うと、
0 = ∅
1 = {0} = {∅}
2 = {0,1} = {∅,{∅}}
一般に自然数nの「次の自然数」n'は
n' = n∪{n}
になります。
この回答へのお礼
お礼日時:2022/07/16 20:44
丁寧なご説明ありがとうございます。だいたい合っていたみたいで安心しました。そもそもまともな質問になっているのかどうか心配だったのですが、至極もじめに回答いただきありがとうございます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 韓国語 空集合 1 2022/07/16 19:04
- 数学 集合論で属する∈と含む⊂、⊆を要素と集合で使い分けています。 それは、それで便利なんだろうとおもうの 5 2022/08/06 13:49
- 数学 集積点 孤立点 『Aに属する元で、Aの集積点でない点を孤立点という』 と習いましたが、孤立点は必ずA 4 2022/06/20 08:47
- C言語・C++・C# c言語の問題です 3 2023/01/10 16:15
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 開集合・閉集合について 4 2022/11/04 13:53
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 高校 述語論理の基本的な質問 3 2022/04/23 10:35
- 高校 全体集合U={1,2,3,4,5,6,7,8,9,10}とする時、次の部分集合の補集合を要素を書き並 1 2022/04/27 00:38
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
次の説明は「急速に減少✨️しな...
-
要素と、部分集合の違いを教え...
-
高1数学
-
6以下の自然数全体の集合の要素...
-
数学で、数字の上にある横線の意味
-
1から100までの自然数で、3,4,5...
-
集積点が、まったく分かりませ...
-
数学でのセミコロンについて
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
情報量の定義でなぜ対数を使う...
-
数字は存在するのか
-
A∩BとAかつBは意味が違うのでし...
-
要素数nの集合Aにおける反射律...
-
部分が全体に等しいのが無限で...
-
集合
-
保育園・幼稚園で集合写真を購...
-
数学の集合で閉じているの意味...
-
_ a aの上に書かれている_(ア...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報
違う集合とか同じ集合とか書きましたが、要素がないのに違うとか同じとか言えるのかわからなくなりました。
丁寧なご説明ありがとうございます。なるほど、要素があるという前提がそもそもみたされないので、後のどんな主張も真なわけですね。外延性の公理ですか。でもこの公理がないと空集合が同じといえなくなって、空集合って本当に一つしかないのと疑問がわいてきて悩ましくなりますよね。あとですね、こんな質問していいのかもよくわからないのですが要素のない集合はΦとして存在していますが、逆に集合のない要素というのは存在するんですか。一匹おおかみみたいな集合に所属しない要素です。どう表現するんでしょうか。任意の集合に所属しない要素とかですか。数学的に意味ないのかもしれないですが、、、、その場合任意の集合ってなんなんですかね。
たびたびすいません。要素は集合だということですよね。たしかに、集合に属さない要素を考えると、つまり一匹おおかみの要素を考えると、変な感じがしたので、質問を取消そうとしたのですが、なんかすごい話になってきてびっくりです。というのは一匹おおかみの要素があるとその一匹おおかみたちをあつめて、簡単に集合をつくれますよね。これってあきらかに変ですよね。馬鹿げているから無意味なんだろうと。補足を書いてきがつきました。ただ、補足での回答では、集合でないものを考えることが必要とされる場合もあるみたいで、何となくおもしろいです。集合ってシンプルで万能だとおもっていましたが、限界があるんですね。丁寧な回答ありがとうございました。