【集合位相入門】集合 - ベイジアン研究所

1. 記事の目的
現代数学は、主に集合及び集合と集合の間の関係を記述する写像を使用して、議論を行う。例えば、線型代数においては、平面ベクトルを抽象化したベクトルの集合(線型空間)を使用して議論を行う。ここではその基礎として、集合の定義と集合の演算について述べる。

2. 集合の定義
集合を厳密に定義することは、大変難しいことである。幾人もの天才たちが長い歴史を通じて成し遂げたことであり、その内容を解説することも理解することも困難であるということを頭に入れておいてほしい。その上で、ここでは集合というものを次のように定義する。

ある明確な基準のもと、その基準で属しているか属していないかを決定することができるものの集まり。

集合とは、簡単にいうと何かしら集まったものである。集まっているものの一つひとつをその集合の要素(元ともいう)といい、集合に要素が入っていることをその要素が属しているという。ここで、「ある明確な基準のもと、属しているか属していない」というのは次のような意味である。２以上、８以下の整数の集合は、２、３、４、５、６、７、８という要素からなる、というのは誰もが納得することであろう。２以上８以下という数学的に厳密な基準があるためである。一方で、背が高い人間の集まりというのは、人によって解釈が異なり、明確な基準とは言わない(人によっては190cm以上が背が高いということもあるし、160cm以上でも背が高いという人がいるかもしれない)。従って、背が高い人間の集まり、は数学的には集合とは言わない。

3. 集合の記法
集合は、一般的には大文字のアルファベットで、 $A$ 、 $B$ 、 $C$ 、・・・などと表すことが多い。 $A$ を集合として、 $x$ が $A$ の要素であることを

$x\in A$

と表す。逆に $y$ が $A$ の要素ではないことを

$y\notin A$

と表す。集合の中身を表示する方法は、大きく分けて２種類ある。直接表示する方法と、条件を使用して書く方法である。まず直接表示する方法について説明する。要素を全て列挙して中括弧{}で囲めばよい。

例：２以下８以上の整数の集合は次のように表示できる。

$\{2,3,4,5,6,7,8\}$

この記法には限界がある。２以上の整数の集合を上の記法で表そうとすると

$\{2,3,4,5,\dots$

となり、要素の数が無限にあって、いつまで経っても書くことができない(慣習的に、

$\{2,3,4,5,\dots\}$

と書くこともある)。このような時は、条件による記法が便利である。例えば、２以上の整数は次のように書ける。

$\{nは整数:n\le 2\}$

即ち、{}内の:(コロン)の前に変数を書き、後ろに変数の条件を書くことで条件を使用して集合を記載することがある。

4. 集合の例

ここでは、よく使用する基本的な集合を紹介する。

自然数とは、０、１、２のような小学校で最初に習う数字のことである。厳密にはペアノの公理と呼ばれるもので定義されるが、ここでは立ち入らない。自然数の集合を記号で、

$\mathbb{N}$

と表す。即ち

$\mathbb{N}=\{1,2,3,\dots\}$

である。

整数の集合は、自然数に負の数を含めたものであり、記号で

$\mathbb{Z}$

と表す。即ち、

$\mathbb{N}=\{\dots,-3,-2,-1,01,2,3,\dots\}$

である。

有理数とは、整数同士の分数値のことであり、有理数の集合を記号で

$\mathbb{Q}$

と表す。即ち、

$\mathbb{Q}=\{\frac{n}{m}:m,n\in\mathbb{Z},m\neq 0\}$

である。

無理数とは、整数同士の分数で表示できない数である( $\sqrt{2}$ や $\pi$ など)。無理数全体の数号の記号は一般的には使用されない(次に紹介する実数の中で、有理数ではない数と表現されることが多い)。

実数とは、有理数と実数を合わせた数の集合のことであり、

$\mathbb{R}$

で表す。図形的には、直線上に空いている部分はなく、全て数で埋め尽くされている様子をイメージすれば良い。

複素数とは、２乗して-1となるような仮想的な数を考えて( $i$ と表す)実数+ $i\times$ 実数の形の数のことである。複素数の集合を

$\mathbb{C}$

と表す。即ち

$\mathbb{C}=\{a+ib:a,b\in\mathbb{R}, i^2=-1\}$

である。

5. 集合の相等
二つの集合 $A,B$ が等しい、ということを定義する。まず部分集合を定義する。集合 $A_1$ が $A$ の部分集合であるとは、 $A_1$ が $A$ の一部分であるということである。即ち、 $A_1$ のどの元 $x\in A_1$ をとっても、それが $x\in A$ であることである。 $A_1$ が $A$ の部分集合であることを