|
| |
※「セキュリティ保護のため...」というメッセージが出る方・日本語が入力できない方へ
集合 set
物の集まりを集合という。
あるものａが集合Ｓに属する時、ａ∈Ｓのように書く。
いくつかの要素、a,b,c,...,d から構成される集合を {a,b,c,...,d} のように表す。
ある条件を満たすものの集合を {x|その条件} のように表す。
次は集合の例である。
{} はその集合になにも要素が存在しないことを表している。このような集合を空集合といい、φまたは０で表す。
■部分集合 subset
ふたつの集合Ｓ，Ｔがあって、Ｓの要素が全てＴに属すとき、ＳはＴの部分集合であるといい、Ｓ⊆Ｔで表す。
特に、Ｓ⊆ＴかつＴ⊆Ｓの時、ふたつの集合は等しいといい、Ｓ＝Ｔと書く。
全ての空集合は互いに等しい。（従って空集合は１つしかないと考えてよい）
このことは集合論というものの抽象性をよく表している。例えば次の集合は等しいのである!!
Ｓ＝{x|xは日本人で16世紀から20世紀までの間にアメリカ大統領になった人}
Ｔ＝{x|xはメロンで、リンゴの種から育ったもの}
Ｓは人間の集合、Ｔは果物の集合であるのに、どちらも要素がない空集合であるから両者は等しいのである!!
このような現象は数学の世界では一般に「投影」と呼ばれる。
■集合の合併 union
２つの集合Ｓ,Ｔがあった時、そのどちからに属する要素で構成される集合を、両者の合併といい、Ｓ∪Ｔで表す。
例えば、Ｓ＝{1,2,3,4}, Ｔ＝{1,2,4,8} である時、Ｓ∪Ｔ＝{1,2,3,4,8} である。
■きちんと定義された集合 well-defined set
集合になっているように見えて、実はなっていないものがある。
例えば Ｓ＝{x|xはxに属さない} という「集合」を考える。するとこれはこの集合に属する条件が明示されているようで、実は曖昧なのである。その証拠に、このＳ自身がＳに属するかどうかがはっきりしない。
実際問題として、ＳがＳに属するなら、Ｓは「xはxに属さない」という条件を満たすから「ＳはＳに属さない」となり矛盾である。
しかるに、ＳがＳに属さないなら、Ｓは「xはxに属さない」という条件を満たしていることになり、Ｓに属すことになってしまう。
読者はこの矛盾（カントールのパラドックスと呼ばれている）がいわゆる「排中律」を使用せずに起きていることに注意してほしい。しばしばこの問題は排中律から起きていると誤解している人がいる。
要するにこれは「xはxに属さない」という言葉が、論理的に明確な言葉ではないことを示しているだけのことである。
基本的に集合というものを考える場合、その集合が「きちんと定義された」集合であるかどうかをしっかり考えておく必要がある。
通常、集合論では次のようなものを「きちんと定義された集合」と考える。
0∈{0}∈{{0}}∈{{{0}}}∈{{{{0}}}}.....
選択性公理は有限集合については自明である。この公理の強力さは、これが無限集合についても成立することを言っていることである。有限集合なら、このような選択操作は実際に可能だが、無限集合では、実際に作業してみせることができない。しかしそういう集合は存在するのだということを、この公理は主張している。
これほど強力な公理を仮定してもこの集合論には矛盾が存在しない。そのことは最初の到達不能数εまでの超限帰納法によって、比較的簡単に証明することができる。
（その証明を見たい人は竹内外史「数学基礎論」を読むとよい）