空集合は存在するのか？

Question

お世話になります。

数学の集合論に登場する「φ」について、基本的事項が
解っておりません。

すなわち、件名の通りなのですが、
　「空集合はそもそも存在するのか？」
ということです。

例えば、集合A={ 1,2,3 }、集合B={4,5,6}の共通部分として
　A∩B={φ}
という場合、何ゆえ、こんな決まり事を作ったのかが理解
できません。なぜなら、2次方程式では、判別式の結果で
「解なし」という答えが許されるのにもかかわらず、集合論に
おいては、無理矢理（？！）、「φ」という概念を作り出さざるを
得ない理由が解りません。

「φ」に限らず、このような「取り決め」をつくることで、
数学的に「都合が良い」らしいですが、その恩恵を受けるほど
初学者には都合が良くないです（少なくとも私にとっては）。

お知恵の拝借をお願い致します。

ddtddtddt · Accepted Answer

＞・・・「（実数）解なし」という答えが許されるのにもかかわらず、集合論においては、無理矢理（？！）、「φ」という概念を作り出さざるを得ない理由が・・・

2次方程式の場合は、その後の展開がないので「解なし」と言い捨てておけるのですが、φの場合は捨て置けません。皆さんもご指摘の通り、集合には演算があるからです。この辺りの事情は、たぶん、ふだん思うより大きな意味を持っていると、個人的には思います（φ×Ｂ＝φです）。

以下、⊂は集合の包含関係を表し、∩や∪が、集合の共通分や合併を表す事は既知とします。

例えば、ある条件で集合Ｃを定義し、その条件からＣ⊂ＡかつＣ⊂Ｂだったとします。ＡとＢは、Ｃを定義する条件から決まる集合としますが、ＡとＢの条件自体が複雑きわまりない事はしばしば起きます。しかしＣが空集合になる場合、Ａ∩Ｂ＝φである事は、けっこうすぐ見て取れる時が多いです。このような場合、次のような「演算」を行って、Ｃが空集合である事を示す場合は多いです。

Ｃ⊂ＡかつＣ⊂Ｂ　⇒　Ｃ⊂Ａ∩Ｂ＝φ　∴Ｃ＝φ　　　(1)

質問者様は、(1)の内容を読み取れる段階に来ていると自分は思っておりますが、(1)のような「計算」は、空集合というものを「無理やりにでも記号化」して「操作可能に」しておかないと、ほとんど出来ません。少なくとも一行では済まないはずです。

#1さんの「0」の例でいくと、aを正の整数，bを負の整数，cも整数として、

任意のaでc＜a　かつ　任意のbでb＜c　⇒　cは負かつ正の整数　∴c＝0　　　(2)

とやれます（かなり技巧的ですが時々やります）。何故なら、cが負かつ正の整数なら、c＝－cであり、移項すれば2c＝0となって、C＝0が導けるからです。移項にはc－c＝0が効いています。この時、c－c＝？だったら、とっても困ります。

このように何かを（不自然であっても）対象化して操作可能にしておくと、意志の疎通が場合によってはとても容易になります。もし(2)のような論法をある数学者が考え出し発表したら、他の数学者達は、記号「0」の存在により、その考えを容易に検証できるはずです。そして意志疎通が容易な技術かどうかは、数学者のコミュニティーを越えて、世間一般にその技術が普及できるかどうかの試金石になると思います。

3～4世紀前、小数計算は大学で教えられるような高等数学でした。しかし今では誰もが、平気で複利計算を（銭計算を）行います。経常利益１億円などと軽々と言いますが、数字本来の姿がギリシャ数字のように、I，II，IIIといった、個数をそのまま視覚化する記号であるならば、１億円は、１を１億個書いたものであるはずです。１を１億個書くなんて、たぶん一生かかってもできません。にも関わらず、記号「0」と、それを利用した位取り記法のトリック（？）によって、誰もが１億を「理解」しています。現在の銭計算は、本当は非常に高度に抽象化されたシステムなのだと、自分は考えています。それを可能にしたのが、「0」の威力です。

でも「0」を量に対応付けた場合、少なくともそれは見えませんよね？。「無い量」を表していますから。しかしそれは「実用的にとても有用である事」を、数学は身をもって知っています。だから見えなかろうと（存在しなくても）、なんでもかんでもとりあえず対象化（記号化）したがります。空集合φも同じです。
　その時、数学を使う立場の我々は何をすれば良いのかというと、せいぜい「掛け算九九」を暗記する程度です。だから普及できます。空集合φも同じです。

恐らく質問者様は、存在しないものを、存在として指示するφに違和感を持たれたのだと思います。たしかに自然な感覚だとは思いますが、数学はそれだけでは動いていません。物はやりようである、という今回の趣旨で駄目なら、また再質問して下さい。できるだけ頑張ってみます。

Mokuzo100nenn · Answer

数学と物理学の最大の違いは何だと思いますか？

物理学は存在する物を研究するのに対して、数学は（無矛盾に）定義可能なものを議論するんです。

ゼロは存在するか、とか無限は存在するか、という問いは物理学的（あるいは哲学的）には意味がありますが、数学的には、むしろ、ゼロを（無矛盾に）定義できるか、無限を(無矛盾に）定義できるか、と点に論点があります。

有る数学者の独り言：「それが無矛盾に定義可能であれば、存在しようが存在し無かろうがどうでも良い！」

Tacosan · Answer

空集合はアプリオリに存在するんだけど, それはさておき.

「空集合」というものがないと, 集合A, B の積が集合にならないことがあるよね.
一方, 空集合を集合として認めればいかなる場合においても (2つの) 集合の積は集合になる.

どっちがうれしい?

noname#157574 · Answer

表記に誤りがあります。A と B に共通する要素がない場合，
A∩B=∅ と書きます。

hitokotonusi · Answer

１＋１＝２

これはわかりますよね。証明は難しいらしいですがｗ

次に、０の存在がなかったとしたら、これはどう表記しますか？

１－１＝？

０の概念の発明はインド人だと聞きますが(真偽不明)、
０の概念の創設は我々にとって多大な恩恵をもたらしてくれています。

これと同じことで、集合同士の演算は上の式の１が集合に置き換わったようなものですから０に当たる空集合も必要なのです。恩恵が少ないと感じるのは、集合を扱うこと自体がほとんどないからじゃないでしょうか。

sanori · Answer

こんにちは。

＞＞＞なぜなら、2次方程式では、判別式の結果で「解なし」という答えが許される

それは理解されているのですね。
しかし、正しくは「解なし」ではなく「実数解なし」です。

「ｘ^2　＋　２ｘ　＋　２　＝　０　の解」を集合Ａ
「すべての実数」を集合Ｂ
と置くと、
Ａ∩Ｂ　＝　空集合
となります。

「ｘ^2　＋　２ｘ　＋　２　＝　０　の解」を集合Ａ
「すべての複素数」を集合Ｂ
と置くと、
Ａ⊂Ｂ
となります。

空集合は存在するのか？

＞・・・「（実数）解なし」という答えが許されるのにもかかわらず、集合論においては、無理矢理（？！）、「φ」という概念を作り出さざるを得ない理由が・・・

数学と物理学の最大の違いは何だと思いますか？

空集合はアプリオリに存在するんだけど, それはさておき.

表記に誤りがあります。

１＋１＝２

こんにちは。

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング