集合しゅうごうsetの基本きほん

1導入どうにゅう

集合しゅうごうsetを学まなぶときに最初さいしょに固定こていすべき問といは、「何なにを同おなじ対象たいしょうの集あつまりとして扱あつかい、何なにを別べつの集あつまりとして扱あつかうか」である。集合しゅうごうsetは単たんなる袋ふくろではない。条件じょうけんconditionを満みたす対象たいしょうobjectを集あつめ、含ふくまれるかどうかで議論ぎろんするための言語げんごである。

この講義こうぎでは、元げんelement、所属しょぞくmembership、空集合くうしゅうごうempty set、部分集合ぶぶんしゅうごうsubset、外延性がいえんせいextensionalityを整理せいりする。ここを曖昧あいまいにすると、後あとの関係かんけいrelation、写像しゃぞうmap、べき集合しゅうごうpower setで「元げんなのか、部分集合ぶぶんしゅうごうsubsetなのか」が混乱こんらんする。

集合しゅうごうsetでは順序じゅんじょや重複ちょうふくではなく、所属しょぞくするかどうかだけが意味いみを持もつ。したがって、同おなじ元げんelementを持もつなら、書かき方かたや並ならび順じゅんが違ちがっても同おなじ集合しゅうごうsetである。

2用語ようごと定義ていぎ

集合しゅうごうsetとは、対象たいしょうobjectを集あつめたものである。集合しゅうごうset $$A$$A に対象たいしょうobject $$x$$x が含ふくまれることを

と書かき、$$x$$x を $$A$$A の元げんelementという。$$x\notin A$$x\notin A は、$$x$$x が $$A$$A の元げんelementではないことを表あらわす。

空集合くうしゅうごうempty set $$\text{[PARSE ERROR: Undefined("Command("varnothing")")]}$$\varnothing は、元げんelementを 1 つも持もたない集合しゅうごうsetである。空集合くうしゅうごうempty setは「存在そんざいしない集合しゅうごう」ではなく、存在そんざいする集合しゅうごうでありながら元げんelementを 1 つも含ふくまない。

部分集合ぶぶんしゅうごうsubsetは、包含ほうがんinclusionを表あらわす。$$A\subseteq B$$A\subseteq B とは、すべての $$x$$x について

が成立せいりつすることである。ここで $$A\subseteq B$$A\subseteq B は $$A=B$$A=B を許ゆるす。$$A⊊B$$A\subsetneq B は $$A\subseteq B$$A\subseteq B かつ $$A\ne B$$A\ne B を表あらわす。

3方針ほうしん

集合しゅうごうsetを扱あつかうときは、図ずや直感ちょっかんだけで判断はんだんしない。まず「任意にんいの元げんelement $$x$$x を取とる」と考かんがえ、$$x\in A$$x\in A という条件じょうけんを別べつの条件じょうけんへ変形へんけいする。

この方針ほうしんは単純たんじゅんだが、強力きょうりょくである。集合しゅうごうsetの等式とうしき $$A=B$$A=B を示しめすには、

を示しめせばよい。これは、両方りょうほうの集合しゅうごうsetが同おなじ元げんelementを持もつことを確認かくにんする方法ほうほうである。

包含ほうがんinclusion $$A\subseteq B$$A\subseteq B を示しめすときは、任意にんいの $$x$$x を取とり、$$x\in A$$x\in A と仮定かていして $$x\in B$$x\in B を導みちびく。具体例ぐたいれいをいくつか調しらべることは予想よそうには役立やくだつが、証明しょうめいには全すべての元げんelementを扱あつかう論理ろんりが必要ひつようである。

4直感的ちょっかんてきな説明せつめい

集合しゅうごうsetは、名札なふだの付ついた対象たいしょうobjectの集あつまりとして考かんがえるとよい。$$x\in A$$x\in A は「$$x$$x に $$A$$A の名札なふだが付ついている」という主張しゅちょうである。$$A\subseteq B$$A\subseteq B は「$$A$$A の名札なふだが付ついているものには、必かならず $$B$$B の名札なふだも付ついている」という主張しゅちょうである。

この見方みかたでは、空集合くうしゅうごうempty setは何なにも入はいっていない箱はこである。したがって、空集合くうしゅうごうempty setは任意にんいの集合しゅうごうset $$A$$A の部分集合ぶぶんしゅうごうsubsetである。なぜなら、$$x\in \text{[PARSE ERROR: Undefined("Command("varnothing")")]}$$x\in\varnothing となる $$x$$x が存在そんざいしないため、「$$x\in \text{[PARSE ERROR: Undefined("Command("varnothing")")]}$$x\in\varnothing なら $$x\in A$$x\in A」という条件文じょうけんぶんに反例はんれいが存在そんざいしないからである。

5厳密げんみつな説明せつめい

集合しゅうごうsetの同一性どういつせいは、外延性がいえんせいextensionalityで決きまる。外延性がいえんせいextensionalityとは、すべての $$x$$x について

が成立せいりつするなら $$A=B$$A=B と判断はんだんする、という原理げんりである。つまり、集合しゅうごうsetは作つくり方かたではなく、含ふくまれる元げんelementによって決きまる。

たとえば

と書かいても、$$A=B$$A=B である。集合しゅうごうsetでは順序じゅんじょと重複ちょうふくは記録きろくされない。ここで順序じゅんじょを記録きろくしたいなら順序対じゅんじょついordered pairや列れつsequenceを用もちいる。重複ちょうふくを記録きろくしたいなら多重集合しゅうごうmultisetを用もちいる。

外延性がいえんせいextensionalityにより、2 つの集合しゅうごうsetが同おなじ元げんelementを持もつなら同おなじ集合しゅうごうである。名前なまえや記法きほうではなく、所属条件しょぞくじょうけんを比較ひかくすることが厳密げんみつな判断はんだんになる。

6例題れいだい：部分集合ぶぶんしゅうごうsubsetを定義ていぎから確認かくにんする

6.1問題もんだい

$$A=\{2,4,6\}$$A=\{2,4,6\}、$$B=\{n\in \mathbb{Z}\mid n\text{は偶数で}1\text{[PARSE ERROR: Undefined("Command("le")")]}n\text{[PARSE ERROR: Undefined("Command("le")")]}6\}$$B=\{n\in\mathbb Z\mid n\text{ は偶数で }1\le n\le 6\} とする。$$A=B$$A=B を示しめせ。

6.2解説かいせつ

集合しゅうごうsetの等式とうしきは、両側りょうがわの包含ほうがんinclusionで示しめす。

まず $$x\in A$$x\in A とする。このとき $$x$$x は $$2,4,6$$2,4,6 のいずれかである。いずれも整数せいすうintegerであり、偶数ぐうすうeven numberであり、$$1\text{[PARSE ERROR: Undefined("Command("le")")]}x\text{[PARSE ERROR: Undefined("Command("le")")]}6$$1\le x\le6 を満みたす。したがって $$x\in B$$x\in B である。よって $$A\subseteq B$$A\subseteq B である。

逆ぎゃくに $$x\in B$$x\in B とする。このとき $$x$$x は $$1\text{[PARSE ERROR: Undefined("Command("le")")]}x\text{[PARSE ERROR: Undefined("Command("le")")]}6$$1\le x\le6 を満みたす偶数ぐうすうeven numberである。したがって $$x$$x は $$2,4,6$$2,4,6 のいずれかであり、$$x\in A$$x\in A である。よって $$B\subseteq A$$B\subseteq A である。

両方りょうほうの包含ほうがんinclusionが成立せいりつするので $$A=B$$A=B である。この例れいで確認かくにんしているのは、集合しゅうごうsetは表示ひょうじの仕方しかたではなく、元げんelementの一致いっちで比較ひかくするという点てんである。

7変かわるものと保存ほぞんされるもの

変かえられるのは表記ひょうきや条件じょうけんの書かき方かたであり、保存ほぞんしたいのは各かく対象たいしょうobjectについて所属しょぞくの真偽しんぎが一致いっちすることである。この視点してんは、後あとの集合演算しゅうごうえんざんset operationで得えられる集合しゅうごうを比較ひかくするときにも使つかう。

8見分みわけ方かた

• 「$$x\in A$$x\in A かどうか」を問とうなら、集合しゅうごうsetの議論ぎろんである。
• 「$$A\subseteq B$$A\subseteq B かどうか」を問とうなら、任意にんいarbitraryの $$x\in A$$x\in A から $$x\in B$$x\in B を導みちびく。
• 「$$A=B$$A=B かどうか」を問とうなら、$$A\subseteq B$$A\subseteq B と $$B\subseteq A$$B\subseteq A を別々べつべつに確認かくにんする。
• 順序じゅんじょや重複ちょうふくが重要じゅうようなら、集合しゅうごうsetだけでは情報じょうほうが不足ふそくする。

迷まよったら、候補こうほの元げんelement $$x$$x が左辺さへんと右辺うへんのどちらに入はいるかを条件じょうけんで書かき換かえる。包含ほうがんでないことは 1 つの反例はんれいcounterexampleで示しめせるが、等号とうごうには両方向りょうほうこうの包含ほうがんが必要ひつようである。

9演習えんしゅうリンク

10関連かんれんリンク