ジョー・セルコ「プログラマのためのSQL」という本に次の記述があります。
---
ゼロと同じく、空集合の概念が数学で認められるまでにも長い時間を要した。空集合において問題になったのは、以下のようなことだった。●そもそも要素が1つもないなら、その集合というのはどうやって作るのか●空集合は自身の部分集合なのか●空集合はすべての集合の部分集合なのか●単一の普遍的な空集合があるのか、それとも各タイプの集合別にたくさんの空集合があるのか
---
実際に数学史上このような議論があったのでしょうか?
少なくとも空集合を認めないと、{1}∩{2}は何なの?という話になりますし、
すでに集合論を学んだ身としては、何十年も続く論争になりそうには思えないのですが…
A 回答 (4件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
カントールの対角線論法は1890年ごろ、∅の使用は
ブルバキの1939年らしいので、すぐじゃね。
https://www.nli-research.co.jp/report/detail/id= …
別に論争なんてなかったんじぁね。
0は便利で矛盾が無いから。
負数、虚数などと同じじゃね。
No.2
- 回答日時:
> ゼロと同じく、
とか言う以上は、当然文献を示しているんじゃないのかなあ。
さておき、「集合の概念」は、無限個の要素を持つ集合を考えるのでなくては、面白くもなければ役にも立たないわけで、{1}だの{2}だの{1}∪{2}だのと書いているだけじゃしょうがない。
黎明期の「集合の概念」においては、集合は内包的に定義され、すなわち 「コレコレの性質を満たすもの全部」というのが集合である。ならば「コレコレの性質を満たすもの」が存在しない場合も当然あり、それが空集合である。
以上で
> ●そもそも要素が1つもないなら、その集合というのはどうやって作るのか
は決着している。
「コレコレの性質を満たすもの全部」と「アレアレの性質を満たすもの全部」が等しいかどうかは、「コレコレの性質」と「アレアレの性質」は同等か、と問うのと同じ。
なので
> ●単一の普遍的な空集合があるのか、
は決着している。また、「部分集合」について
「コレコレの性質を満たすもののうちで、ソレソレの性質を満たすもの全部」は、「コレコレの性質を満たすもの全部」に対する部分集合である。
なので
> ●空集合は自身の部分集合なのか
> ●空集合はすべての集合の部分集合なのか
も決着している。ハナっから論争の余地はないでしょう。
でも、素人数学談義において「空集合とはなんぞや」を論じて楽しむのが流行した時期もあったのかもしれんですね。(しかしご紹介の本が、「{1,1}と{1}は同じか?」というプログラマにとってこそ「切実」っぽい話を取り上げないのはなぜだろうなあ。)
No.3
- 回答日時:
「○○という性質を満たすもの全て」という素朴な考えは
古代ギリシャのころから見られるが、そのときは
その全ての元のほうを考えていて、元の入れ物である
集合のほうを数学の対象として捉えるようになったのは
カントールからだと言われている。ヒルベルトが素朴集合論を
「カントールの作った楽園」と呼んだのも、それが所以。
カントールの集合の本が1890年頃の出版だが、そのとき
空集合の概念が使われていたかどうかは知らない。
使われていたに違いないとは思うのだけど、読んだことないから。
公理的集合論となると、明らかに空集合が使われていて、
ツェルメロの集合論が1910年くらい。その間の10〜20年は
集合論が荒れに荒れた時代だから、「空集合とは何ぞや」みたいな
悪い意味で哲学的な議論が起こっていた可能性はある。
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個の場合でも区別するべきという主張やそれに対する反論が出て論争に
なったということはありそうな気がします。
お探しの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を見た人はこんなQ&Aも見ています
-
風水の観点で選ぶ観葉植物とは?置き場所や上げたい運気ごとの注意点を紹介!
観葉植物で運気をアップするコツを、風水デザイン1級建築士の福島昌彦さんに伺った。
-
数学の文字式について 「全部でa本あった鉛筆を、b人の子供に1人3本ずつ配ろうとしたら、2本足りなか
数学
-
中三の数学です。 a>0のとき,a≧√aは常に成り立つとは限らない。成り立たない場合のαの値を1つ答
数学
-
遊びで数列を考案してみました、こういうのって誰でもすぐに思いつくものですか?
数学
-
-
4
中1数学で分からないことがあります。
数学
-
5
数学記号で→の左に台のように上下に斜めに枝分かれしてるのは何を表しているのでしょうか?またそれが二重
数学
-
6
文字式に関して 「(x+y)×4を文字式の形にせよ」という問題で答えには4(x+y)と書いてあったの
数学
-
7
②の計算において、何が間違っているのか教えていただけないでしょうか?
数学
-
8
x^2-4y^2-x+6y-2=を因数分解してほしいのですが、 途中の式もわからないので、途中式も含
数学
-
9
鉛筆と消しゴムがセットで110円します。消しゴムは鉛筆より100円高いです。鉛筆はいくらですか?(消
数学
-
10
sinx^2の微分って2xcosx^2であってますか?
数学
-
11
放物線と直線の共有点を求める問題で腑に落ちないことがあります
数学
-
12
数学の確率の問題です
数学
-
13
実用数学について
数学
-
14
分数を一瞬で約分できるかどうか分かるようになれる方法はありますか? 約分できるか考える時間がタイムロ
数学
-
15
選び方は何通りあるか?は組み合わせですか?
数学
-
16
スクラッチは10枚買うと、1枚当たりますが、 友人は2枚だけ購入して、1枚あたりました。 友人は、『
数学
-
17
グラフの平行移動の問題で y=2x²-5x+3のグラフを、x軸方向に-2 y軸方向に1だけ平行移動す
数学
-
18
aに関する三次方程式が解けずに困っています。
数学
-
19
数学 なぜ |α-β| = β-α になるのか
数学
-
20
図形問題、三平方の定理 添付画像の解き方が分かる方よろしくお願いします
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
要素と、部分集合の違いを教え...
-
数学でのセミコロンについて
-
1から100までの自然数で、3,4,5...
-
数学で、数字の上にある横線の意味
-
高1数学
-
集積点が、まったく分かりませ...
-
集合の記号の読み方等について
-
15以下の自然数の集合を全体集...
-
数字の上のバー
-
空集合のべき集合
-
1桁の自然数全体を全体集合Uと...
-
測度論;完備化、測度零集合に...
-
この中括弧の意味は・・・
-
数学の質問です。
-
A∨Φ(空集合)=A A∧Φ(空集合...
-
すべての自然数とすべての実数...
-
部分が全体に等しいのが無限で...
-
0以外の実数全体のどれかになる...
-
6以下の自然数全体の集合の要素...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
空集合のべき集合
-
数字は存在するのか
-
数学で、数字の上にある横線の意味
-
R\\{0} って、0を除く実数って...
-
数学でのセミコロンについて
-
要素と、部分集合の違いを教え...
-
Rの半開区間(0,1]と開区間(0,1)...
-
部分が全体に等しいのが無限で...
-
数字の上のバー
-
集積点が、まったく分かりませ...
-
内包的記法と外延的記法について
-
6以下の自然数全体の集合の要素...
-
ACCESSのSQL
-
すべての自然数とすべての実数...
-
数学の集合で閉じているの意味...
-
集合の記号の読み方等について
-
∈ と ⊂ のはっきりとした違い
-
高校1年の数学Aです。 この、ピ...
-
有理数と実数とではどちらが多いか
おすすめ情報