集合

数学における'''集合'''（しゅうごう、, , ）とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを'''元'''（げん、; '''要素'''）という。

集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。

慣例的に、ある種の集合が'''系'''（けい、）や族（ぞく、）などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。集合と元、集合と集合などの間には含んだり含まれたりといった素朴な関係を考えることができる。

● 帰属関係: 対象 ''a'' が集合 ''A'' を構成するものの一つであるとき、「''a'' は集合 ''A'' に属す」「''a'' は集合 ''A'' の要素（あるいは元）である」「集合 ''A'' は ''a'' を要素として持つ」などといい、''a'' ∈ ''A'' あるいは ''A'' ∋ ''a'' と表す。

● 包含関係: 2 つの集合 ''A'', ''B'' について、''A'' に属する元がすべて ''B'' にも属するとき、すなわち ''x'' ∈ ''A'' ⇒ ''x'' ∈ ''B'' が ''a'' の取り方に依らずに成り立つとき、「''A'' は ''B'' の部分集合である」「''A'' は ''B'' に集合として含まれる」「''B'' は ''A'' を包含する」などといい、''A'' ⊂ ''B'' または ''A'' ⊆ ''B'' あるいは ''B'' ⊃ ''A'' または ''B'' ⊇ ''A'' と記す。

帰属関係と包含関係は異なる概念であって、混同してはならない。例えば、''X'' ⊂ ''Y'' ⊂ ''Z'' ならば必ず ''X'' ⊂ ''Z'' であるが、''X'' ∈ ''Y'' ∈ ''Z'' からは ''X'' ∈ ''Z'' は必ずしも導かれない。また、''x'' ∈ ''A'' ⊂ ''B'' ならば ''x'' ∈ ''B'' であるが、''x'' ⊂ ''A'' ∈ ''B'' からは ''x'' ∈ ''B'' を帰結することは一般にはできない。集合を書き表す方法として、その集合の要素をすべて列挙する方法が考えられる。例えば、1, 3, 5, 7, 9 からなる集合は、
　 {1, 3, 5, 7, 9}
と表すことができる。このように集合の要素をすべて列挙することで集合を記述する方法を集合の'''外延的記法'''と言う。

また、対象がその集合に属するためにみたすべき条件を明示することによって集合を表すこともできる。例えば、10 未満の正の奇数全体の集合を、
　{ ''x'' | ''x'' は 10 未満の正の奇数 }
のように表すことができる。一般に、条件 ''P''(''x'') があったとき、それをみたす対象'''だけ'''を'''すべて'''集めた集合を、
　 \{x \mid P(x)\}
で表す。このように対象がその集合に属するための必要十分条件を与えることによって集合を記述する方法を'''内包的記法'''と言う。ここでは ''x'' という変数を用いているが、{ ''y'' | ''P''(''y'') } と書いても { ''a'' | ''P''(''a'') } と書いても構わない。
条件 ''P''(''x'') は「''x'' が ''X'' の元であって、さらに条件 ''Q''(''x'') を満たす」というような形で与えられることが多いが、このとき定まる集合を {''x'' | ''x'' ∈ ''X'' かつ ''Q''(''x'')} のように書く代わりに、しばしば簡単に
　 \{x \in X \mid Q(x)\}
などと略記する。集合 {''x'' ∈ ''X'' | ''Q''(''x'')} は ''X'' の部分集合となる。また、条件 ''P''(''x'') が「条件 ''Q''(''y'') を満たすようなある ''y'' を用いて ''x'' = ''f''(''y'') と表すことができる」というような形のときは、集合 { ''x'' | ''P''(''x'') } を
　 \{f(y) \mid Q(y)\}
のように表すこともある。

要素を外延的に書きつくせないような集合、例えば自然数全体の集合を
{0, 1, 2, 3, ...}
のように書き表すこともあるが、"..." による省略部分は誤解を生じる余地があるため、このような記法はその省略された内容の意味が明らかである場合に限られる。{1, 3, 5, 7, 9} と { ''x'' | ''x'' は 10 未満の正の奇数 } は異なる表し方をされているが、どちらも自然数 1, 3, 5, 7, 9 を要素とする集合である。このように全く同じ要素からなる集合は等しいと考える。これを'''外延性の原理'''（principle of extensionality）と呼ぶ。外延性の原理を正確に書くと次のようになる：
　 任意の対象 ''x'' に対して ''x'' ∈ ''A'' ⇔ ''x'' ∈ ''B'' が成り立つならば、''A'' = ''B'' 。

外延性の原理より、

{ ''x'', ''y'' } = { ''y'', ''x'' }

集合 {''x'', ''y''} を ''x'' と ''y'' との順序を気にしない対という意味で'''非順序対''' と呼ぶことがある。また、集合では {''x'', ''x''} = {''x''} だが、多重集合では {''x'', ''x''} ≠ {''x''} である（''x'' の重複度が左辺は 2 で右辺は 1）。,

{(−1)1, (−1)2, (−1)3, ..., (−1)''n''} = {1, −1},

のようにそこに現れる元の順番を入れ替えたり、そこに含まれるのと同じ元をあらたに書き加えてももとの集合に等しい。

なお、外延性の原理の逆：
　 ''A'' = ''B'' ならば、任意の対象 ''x'' に対して ''x'' ∈ ''A'' ⇔ ''x'' ∈ ''B''
は ''A'' = ''B'' の意味（''A'' と ''B'' が同一の対象を表す）から明らかに成り立つ。ここで、任意の対象 ''x'' に対して ''x'' ∈ ''A'' ⇔ ''x'' ∈ ''B'' が成り立つというのは、''A'' ⊆ ''B'' かつ ''B'' ⊆ ''A'' と同値であるから、
　 ''A'' = ''B'' ⇔ ''A'' ⊆ ''B'' かつ ''B'' ⊆ ''A''
が成り立つ。数学では、1 つも要素を持たないような集合も考える。外延性の原理によれば、このような集合はただ一つしか存在しないので、これを空集合といい ∅ で表す。∅ は任意の集合 ''A'' の部分集合である。なぜなら、任意の対象 ''x'' に対して ''x'' ∉ ∅ より ''x'' ∈ ∅ ⇒ ''x'' ∈ ''A'' は真だからである。空集合の他にも決まった記号によって表される集合がいくつかある：

\mathbb{N} は自然数全体の集合を表す。

\mathbb{Z} は整数全体の集合を表す。

\mathbb{Q} は有理数全体の集合を表す。

\mathbb{R} は実数全体の集合を表す。

\mathbb{C} は複素数全体の集合を表す。

有限個の元からなる集合を'''有限集合'''（ゆうげんしゅうごう、）と呼び、集合 ''A'' の元の個数を #(''A''), |''A''|, card(''A'') などの記号で表すことが多い。有限集合でない集合を'''無限集合'''（むげんしゅうごう、）という。無限集合に対しても「個数」の概念を広げて、濃度（のうど、、または'''基数'''、, ）というものを考える。個数を数える代わりに、ある集合を使って、その元で別の集合をラベル付け（; 添字付け）して、一対一の対応がとれるかどうかを調べるのである。そうすると有限集合の濃度はちょうど元の個数で決まるので、ちゃんと無限集合への「個数」の拡張となる概念が定まっていることが確認できる。

無限集合はどれも「無限個」の元を持っているわけだが、どの無限もみな同じというわけではなく、濃度の概念ではたくさんの無限を区別して扱うことになる。たとえば、自然数と有理数が同じ濃度を持つ、自然数と実数は真に異なる濃度を持つといったような事実は数学を学ぶ者にとってよく知られた内容である。同様の事実に、平面 '''R'''2 と数直線 '''R''' は同じ濃度を持ち、平面を覆いつくす平面充填曲線と呼ばれる不思議な平面曲線が何種類も存在することが述べられる。より次元の高い空間でも同様で、空間を埋め尽くす空間充填曲線が構築される。異なる次元をもつ空間が同じ濃度をもつというのは、次元や濃度が一方が他方を測るようなものではない異なる尺度であることを表しているのである。いくつかの集合を扱い、その関係性について論じるとき、もともと考えていた集合たちから新しい集合を作って調べるというのは有効な手段の一つである。これらの操作は、集合に対する演算と見なすことによって、集合族に関するいくつかの代数系を提供する。それらの代数系を抽象代数系と見なせば、抽象代数学の一般論を適用することでまたいくつかの概念を提供することになる。● 結び・結合・和: 　 二つの集合を「くっつけ」て一緒にしてしまうことで新しい集合を取り出すことができる。加法的な集合族の基本となる演算のひとつ。和集合。
　: A\cup B := \{x\mid x\in A \or x\in B\}.
● 交わり・交叉・積: 　 二つの集合の共通した部分を見つけることで、新しい集合を取り出すことができる。乗法的な集合族の基本となる演算。積集合、共通部分。
　: A\cap B := \{x\mid x\in A\and x\in B\}.
● 直和・非交和: 二つの集合の、交わりを持たない和。
● 差・相対補: 　 二つの集合のうちの一方の集合について、それに帰属する元のうち、同時に他方にも含まれる元を取り除いて新しい集合を作ることができる。差は一方と他方の補集合との交わりであり、乗法的な演算である。
　: A\smallsetminus B := \{x\mid x\in A \and x\notin B\}.
● 補・絶対補: 　 全体集合（普遍集合）が与えられ、任意の集合は全体集合の部分集合であるという仮定のもとで、一つの集合の全体からの差。勝手な集合はその補集合と交わりを持たず、それらの和は全体集合に一致する。
　: \complement A := \{x\mid x\notin A\}.
● 対称差: 　 二つの集合の結びに帰属する元から、その交わりに属する元を取り除いて新しい集合を考えることができる。これは結びから交わりを引いた差である。結びと同様に加法的な演算。
　: A\,\triangle\,B := (A\smallsetminus B)\cup(B\smallsetminus A).

指示函数はこれらの集合演算を 0 と 1 からなる世界の代数的な演算に置き換える手段を与える。
　 A \harr \boldsymbol{1}_A(x):=\begin{cases}1&(x\in A)\\0&(x\notin A)\end{cases}.上記演算は、全体集合が一つ与えられ、演算の引数となる集合たちがその部分集合であるならば、その演算結果もふたたび同じ全体集合の部分集合となるようなものである。一方、必ずしもそれが期待できないような演算もある。
● 冪: 　 与えられた集合に対して、その冪集合とは与えられた集合に包含される集合全体の集合である。ある集合の冪集合はその集合の部分集合からなる集合族のなかで最大のものであると言っても同じである。
　: \mathcal{P}(X) := \{S\mid S\subseteq X\}.
● 直積: 　 二つの集合に対し、それぞれに帰属する元の順序付けられた対を要素とする集合を作ることができる。
　: X\times Y := \{(x,y)\mid x\in X\and y\in Y\}.
● 配置・写像空間:
　 ある集合から別の集合への写像を一つの元と見なすならば、その全体として新たな集合が見出される。直積集合は、順序数の各元に任意の集合を対応させる写像からなる配置集合と見ることもできる。
　: Y^X := \{f\mid f\text{ is a mapping from }X\text{ to }Y \}.
● 商: 　 集合に類別を与えるとき、各類をその要素とする集合を考えることができる。
　: X/{\sim} {}:= \{[x]\mid x\in X\}, \text{ where } [x] := \{y\in X\mid y\sim x\}.集合からなる族 '''A''' を考える。'''A''' が集合演算についていくつかの性質を満たすとき、それらには特別の名前が与えられることがある。

'''A''' が（有限）交叉について閉じているとき、π-系 (π-system) であるという。π-系が空集合を含むとき乗法族 (multiplicative class) であるといい、さらに可算交叉について閉じているとき δ-乗法族であるという。また、乗法族が包含関係を持つ任意の二つの集合に対し、一方から有限回の非交和を行って他方へ達する列を持つとき集合半環 (semi-ring of sets) という。

'''A''' が（有限）和と（有限）交叉について閉じているとき、集合の束あるいは集合環 (ring of sets) という。'''A''' が空集合でなく（あるいは空集合を元として含み）、和と差について閉じている（あるいは同じことだが対称差と交叉について閉じている）場合に限って集合環と呼ぶ場合もある。さらに可算交叉について閉じていれば δ-集合環、可算和について閉じていれば σ-集合環という。また、これらが全体集合を含むならば集合代数 (algebra of sets) あるいは集合体 (field of sets) という。δ-集合体は σ-集合体である。

'''A''' が空集合を含み、（有限）和および補について閉じているとき加法族 (additive class) であるという。さらに可算和について閉じているならば完全加法族 (countably additive class) という。集合族 '''A''' が加法族であることは集合体であることと等価であり、同様に完全加法族は σ-集合体の別名である。

単調族は包含関係に関する単調列の極限について閉じている集合族

ディンキン族は全体集合を含み、包含関係を持つ集合同士の差について閉じていて、可算増大列の極限について閉じている。λ-系は全体集合を含み、補について閉じていて、可算非交和について閉じている。この二つは同じ概念を定める。

層族 (laminar family)

ブール環

写像

集合論 - 素朴集合論/公理的集合論

定義 - 外延と内包

出典:フリー百科事典『ウィキペディア（Wikipedia）』