![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
ジョー・セルコ「プログラマのためのSQL」という本に次の記述があります。
---
ゼロと同じく、空集合の概念が数学で認められるまでにも長い時間を要した。空集合において問題になったのは、以下のようなことだった。●そもそも要素が1つもないなら、その集合というのはどうやって作るのか●空集合は自身の部分集合なのか●空集合はすべての集合の部分集合なのか●単一の普遍的な空集合があるのか、それとも各タイプの集合別にたくさんの空集合があるのか
---
実際に数学史上このような議論があったのでしょうか?
少なくとも空集合を認めないと、{1}∩{2}は何なの?という話になりますし、
すでに集合論を学んだ身としては、何十年も続く論争になりそうには思えないのですが…
A 回答 (4件)
- 最新から表示
- 回答順に表示
No.4
- 回答日時:
そういう論争があったかどうかは知りませんが
>単一の普遍的な空集合があるのか、それとも各タイプの集合別にたくさんの
>空集合があるのか
について考えてみました。
Hakellというプログラミング言語があります。
Haskellでは、整数1つのリスト、[1]から要素を取り除くと空リストになります。
tail [1] → []
同様に、真理値1つのリスト、[True]から要素を取り除くと空リストになります。
tail [True] → []
ところが2つの空リストが等しいかどうか調べるとerrorになります。
(tail [1])==(tail [True]) → error
同じタイプのリスト同士ならerrorになりません。
(tail [1])==(tail [2]) → True
(tail [True])==(tail [False]) → True
つまりHaskellでは、タイプが違うリストは要素の数が0個の場合でも
区別されます。
タイプについてのこうした扱いは元々、集合論のパラドクスへの対応として
考え出されたものらしいので、そちらでも、タイプが違う集合は要素の数が
0個の場合でも区別するべきという主張やそれに対する反論が出て論争に
なったということはありそうな気がします。
No.3
- 回答日時:
「○○という性質を満たすもの全て」という素朴な考えは
古代ギリシャのころから見られるが、そのときは
その全ての元のほうを考えていて、元の入れ物である
集合のほうを数学の対象として捉えるようになったのは
カントールからだと言われている。ヒルベルトが素朴集合論を
「カントールの作った楽園」と呼んだのも、それが所以。
カントールの集合の本が1890年頃の出版だが、そのとき
空集合の概念が使われていたかどうかは知らない。
使われていたに違いないとは思うのだけど、読んだことないから。
公理的集合論となると、明らかに空集合が使われていて、
ツェルメロの集合論が1910年くらい。その間の10〜20年は
集合論が荒れに荒れた時代だから、「空集合とは何ぞや」みたいな
悪い意味で哲学的な議論が起こっていた可能性はある。
No.2
- 回答日時:
> ゼロと同じく、
とか言う以上は、当然文献を示しているんじゃないのかなあ。
さておき、「集合の概念」は、無限個の要素を持つ集合を考えるのでなくては、面白くもなければ役にも立たないわけで、{1}だの{2}だの{1}∪{2}だのと書いているだけじゃしょうがない。
黎明期の「集合の概念」においては、集合は内包的に定義され、すなわち 「コレコレの性質を満たすもの全部」というのが集合である。ならば「コレコレの性質を満たすもの」が存在しない場合も当然あり、それが空集合である。
以上で
> ●そもそも要素が1つもないなら、その集合というのはどうやって作るのか
は決着している。
「コレコレの性質を満たすもの全部」と「アレアレの性質を満たすもの全部」が等しいかどうかは、「コレコレの性質」と「アレアレの性質」は同等か、と問うのと同じ。
なので
> ●単一の普遍的な空集合があるのか、
は決着している。また、「部分集合」について
「コレコレの性質を満たすもののうちで、ソレソレの性質を満たすもの全部」は、「コレコレの性質を満たすもの全部」に対する部分集合である。
なので
> ●空集合は自身の部分集合なのか
> ●空集合はすべての集合の部分集合なのか
も決着している。ハナっから論争の余地はないでしょう。
でも、素人数学談義において「空集合とはなんぞや」を論じて楽しむのが流行した時期もあったのかもしれんですね。(しかしご紹介の本が、「{1,1}と{1}は同じか?」というプログラマにとってこそ「切実」っぽい話を取り上げないのはなぜだろうなあ。)
No.1
- 回答日時:
カントールの対角線論法は1890年ごろ、∅の使用は
ブルバキの1939年らしいので、すぐじゃね。
https://www.nli-research.co.jp/report/detail/id= …
別に論争なんてなかったんじぁね。
0は便利で矛盾が無いから。
負数、虚数などと同じじゃね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 A⊂U∪VかつA∩U≠空集合かつA∩V≠空集合かつA∩U∩V=空集合なる開集合U,Vが存在する なら 4 2021/11/21 08:02
- 数学 空集合で全順序な集合である⇔最大元、最小元をともに持つ集合である これは成り立ちますか? 1 2021/11/19 01:43
- 数学 数学の集合の問題です。わからないので教えて頂けませんか。 問題は2つです。 1,各集合を, 空集合, 3 2023/06/19 22:17
- 数学 Mを位相空間とする。p∈Mを任意にとる。{p}はMのコンパクト部分集合ですか? 2 2021/11/03 02:38
- 数学 線形代数学の問題です 次の集合がR^3の部分空間であるかを調べる問題です。 W1={(x,y,z)∈ 1 2021/12/12 16:44
- 韓国語 空集合 1 2022/07/16 19:04
- 国家公務員・地方公務員 公務員試験 面接落ち 追加募集 今年市役所を受験して1次は合格も、2次試験の面接で不合格になってしま 1 2021/12/07 22:08
- 数学 掛け算や足し算など、演算そのものの集合は考えられますか 2 2022/02/03 01:17
- その他(家族・家庭) 集まりが大切だという人 1 2021/12/31 11:42
- その他(悩み相談・人生相談) 集中力を鍛える方法 1 2021/11/02 19:43
おすすめ情報
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
集積点が、まったく分かりませ...
-
要素と、部分集合の違いを教え...
-
数学で、数字の上にある横線の意味
-
数学でのセミコロンについて
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
数字は存在するのか
-
R\\{0} って、0を除く実数って...
-
ACCESSのSQL
-
高1数学
-
(1)PまたはQを通る道順 (2)図中...
-
1から100までの自然数で、3,4,5...
-
6以下の自然数全体の集合の要素...
-
空集合のべき集合
-
∈ と ⊂ のはっきりとした違い
-
Rの半開区間(0,1]と開区間(0,1)...
-
何故線型空間はあっても、非線...
-
集合
-
高校1年の数学Aです。 この、ピ...
おすすめ情報