質問: 空集合は存在するのか? お世話になります。 数学の集合論に登場する「φ」について、基本的事項が 解っておりません。 すなわち、件名の通りなのですが、 「空集合はそもそも存在するのか?」 ということです。 例えば、集合a={ 1,2,3 }、集合b={4,5,6}の共通部分として a∩b={φ} という場合、何ゆえ、こんな決まり事を作ったのかが理解 できません。なぜなら、2次方程式では、判別式の結果で 「解なし」という答えが許されるのにもかかわらず、集合論に おいては、無理矢理(?!)、「φ」という概念を作り出さざるを 得ない理由が解りません。 「φ」に限らず、このような「取り決め」をつくることで、 数学的に「都合が良い」らしいですが、その恩恵を受けるほど 初学者には都合が良くないです(少なくとも私にとっては)。 お知恵の拝借をお願い致します。
回答: >・・・「(実数)解なし」という答えが許されるのにもかかわらず、集合論においては、無理矢理(?!)、「φ」という概念を作り出さざるを得ない理由が・・・ 2次方程式の場合は、その後の展開がないので「解なし」と言い捨てておけるのですが、φの場合は捨て置けません。皆さんもご指摘の通り、集合には演算があるからです。この辺りの事情は、たぶん、ふだん思うより大きな意味を持っていると、個人的には思います(φ×b=φです)。 以下、⊂は集合の包含関係を表し、∩や∪が、集合の共通分や合併を表す事は既知とします。 例えば、ある条件で集合cを定義し、その条件からc⊂aかつc⊂bだったとします。aとbは、cを定義する条件から決まる集合としますが、aとbの条件自体が複雑きわまりない事はしばしば起きます。しかしcが空集合になる場合、a∩b=φである事は、けっこうすぐ見て取れる時が多いです。このような場合、次のような「演算」を行って、cが空集合である事を示す場合は多いです。 c⊂aかつc⊂b ⇒ c⊂a∩b=φ ∴c=φ (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世紀前、小数計算は大学で教えられるような高等数学でした。しかし今では誰もが、平気で複利計算を(銭計算を)行います。経常利益1億円などと軽々と言いますが、数字本来の姿がギリシャ数字のように、i,ii,iiiといった、個数をそのまま視覚化する記号であるならば、1億円は、1を1億個書いたものであるはずです。1を1億個書くなんて、たぶん一生かかってもできません。にも関わらず、記号「0」と、それを利用した位取り記法のトリック(?)によって、誰もが1億を「理解」しています。現在の銭計算は、本当は非常に高度に抽象化されたシステムなのだと、自分は考えています。それを可能にしたのが、「0」の威力です。 でも「0」を量に対応付けた場合、少なくともそれは見えませんよね?。「無い量」を表していますから。しかしそれは「実用的にとても有用である事」を、数学は身をもって知っています。だから見えなかろうと(存在しなくても)、なんでもかんでもとりあえず対象化(記号化)したがります。空集合φも同じです。 その時、数学を使う立場の我々は何をすれば良いのかというと、せいぜい「掛け算九九」を暗記する程度です。だから普及できます。空集合φも同じです。 恐らく質問者様は、存在しないものを、存在として指示するφに違和感を持たれたのだと思います。たしかに自然な感覚だとは思いますが、数学はそれだけでは動いていません。物はやりようである、という今回の趣旨で駄目なら、また再質問して下さい。できるだけ頑張ってみます。