第1講 集合の記法
数の集合
次の記号は数学全般にわたって使用されている:
$\mathbf{N}:$ | すべての自然数からなる集合 |
$\mathbf{Z}:$ | すべての整数からなる集合 |
$\mathbf{Q}:$ | すべての有理数からなる集合 |
$\mathbf{R}:$ | すべての実数からなる集合 |
$\mathbf{C}:$ | すべての複素数からなる集合 |
$\mathbf{N}$ に $0$ を含ませる流儀もあるが,本講では含ませないことにする.
すなわち,自然数とは正の整数のことを指す.
「$\in$」と「$\notin$」
$x$ が集合 $A$ の要素(元)であることを $x\in A$ と表し,
$x$ が集合 $A$ の要素(元)でないことを $x \notin A$ と表す.
例えば
$x\in\mathbf{R}$
$y\notin\mathbf{Q}$
はそれぞれ「$x$ は実数である」「$y$ は有理数ではない」ことを意味する.
$x\in A$ を逆向きにして「$A\ni x$」と書くこともあるが,記号「$\in$」の由来が"element"のeであることからか,あまり好まれない.
正しいのはどれか?
$\mathrm{(a)}$ $-1\in\mathbf{N}$
$\mathrm{(b)}$ $\sqrt{2}\in\mathbf{R}$
$\mathrm{(c)}$ $x^2<0$ ならば $x\notin\mathbf{R}$
$\mathrm{(d)}$ $x\in\mathbf{Z}$ ならば $x \notin\mathbf{Q}$
$\mathrm{(b)}$と$\mathrm{(c)}$
外延的記法と内包的記法
例えば,すべての正の偶数からなる集合は
$\{\,2,4,6,8,\ldots\}$
あるいは
$\big\{\,n\in\mathbf{N}\ \big|\ \mbox{$n$ は $2$ で割り切れる}\,\big\}$
などと表される,前者のように要素を書き並べる記法を外延的記法といい,
後者のように要素が満たすべき条件を指定する記法を内包的記法という.
$\{\,n\in\mathbf{N}\ |\ 1 < n \le 5\,\}=\{\,2,3,4,5\,\}$
$\{\,x\in\mathbf{Q}\ |\ (2x-1)(3x+2)=0\,\}=\Big\{\,\dfrac{1}{2},\,-\dfrac{2}{3}\,\Big\}$
$\{\,2^n\ |\ n\in\mathbf{N}\,\}=\{\,2,2^2,2^3,\ldots\,\}$
この集合は
$\{\,n\in\mathbf{N}\ |\ \mbox{$n=2m$ となる $m\in\mathbf{N}$ が存在する}\,\}$
とも表せる.
後述の論理記号「$\exists$」を用いれば
$\{\,n\in\mathbf{N}\ |\ \exists m\in\mathbf{N},\ n=2m,\}$
と簡潔になる.(誤解の恐れがない限り) 一つ目の$\in\mathbf{N}$ を省略して
$\{\,n\ |\ \exists m\in\mathbf{N},\ n=2m,\}$
と書いてもよい.
さらに簡潔に
$\{\,2m\ |\ m\in\mathbf{N}\,\}$
とも書ける.また,セミコロンを用いて
$\{\,2m\ ;\ m\in\mathbf{N}\,\}$
のように書かれることも多い.
空集合 $\emptyset$
要素をもたない集合を空集合といい,$\emptyset$ で表す.例えば,
$\{\,k\in\mathbf{N}\ |\ k\le 0\,\}=\emptyset$
$\{\,x\in\mathbf{R}\ |\ x^2<0\,\}=\emptyset$
空集合はどれか?
$\mathrm{(a)}$ $\{\,x\in\mathbf{N}\ |\ 1< x < 2\,\}$
$\mathrm{(b)}$ $\{\,n\in\mathbf{Z}\ |\ n^2 < 1\, \}$
$\mathrm{(c)}$ $\{\,p\in\mathbf{Q}\ |\ p^2=2\, \}$
$\mathrm{(d)}$ $\{\,z\in\mathbf{C}\ |\ z^2+4=0\, \}$
$\mathrm{(a)}$と$\mathrm{(c)}$
区間
$\mathbf{R}$ における開区間や閉区間などの区間を内包的記法で表すと,例えば次のようになる:
$(0,1)=\{\,x\in\mathbf{R}\ |\ 0 < x < 1\,\}$
$[0,1]=\{\,x\in\mathbf{R}\ |\ 0 \le x \le 1\,\}$
$(-1,2]=\{\,x\in\mathbf{R}\ |\ -1 < x \le 2\,\}$
$(-\infty,3)=\{\,x\in\mathbf{R}\ |\ x < 3\,\}$
$[1,\infty)=\{\,x\in\mathbf{R}\ |\ 1\le x \,\}$
$(-\infty,\infty)=\mathbf{R}$ である.
また,「$\infty$」は実数ではないので,例えば $\{\,x\in\mathbf{R}\,|\, 1\le x \,\}$ のことを $[1,\infty]$ と書いてはいけない.