集合論の基礎(1)›†合はその要素を含む(contain)あるいは...
TRANSCRIPT
集合と要素
対象(object)の集まりを集合(set)という
集合を構成する対象を、集合の要素(element)、または元という
例: Vを英語の母音の集合とすると、
V ={ a,e,i,o,u }であり、
たとえばaはVの要素
集合はその要素を含む(contain)あるいは要素は集合に属す(belong to)という
要素aが集合Sに属すとき、a∈Sとかく
2つの集合A,Bが条件a∈A ↔ a∈B を満たすとき、AとBは等しい(equal)といい、A=Bと記す
例
要素を明示することによって集合を表記することができる。たとえば
• N ={ 0,1,2,… } 自然数全体の集合
• Z ={ …, -2, -1, 0, 1, 2, … } 整数集合
• R ={ x | xは実数 } 実数集合– Nはnatural number, Rはreal numberからきており、Zはドイツ語のZahlenからきている
定義から、{1,3,5} ={5,3,1}
集合の濃度
集合Sがちょうどn個の要素をもつとき、Sを有限集合(finite set)と呼ばれる。またこのときnをSの濃度(cardinality)と呼び、|S|などであらわす
有限集合でない集合は無限集合である
例
• S = { 0,1,2 }ならば、
• P(S) = { Φ, {0}, {1}, {2}, {0,1}, {1,2}, {2,0}, {0,1,2} }
• S = Φならば P(S) = {Φ}
• S ={Φ}ならばP(S)=P({Φ})={Φ, {Φ}}
集合演算
集合和(union): A∪B={ x|x∈A∨x∈B }
集合積(intersection):
A∩B={ x|x∈A∧x∈B }
集合差(difference):
A-B={ x|x∈A∧x∉B }
補集合(complement):
A={ x|x∉A}=U-A (U: universe)
二項関係
• 集合Aと集合Bの直積A×Bの部分集合Rを二項関係と呼ぶ
• A=Bのとき、RをA上の関係という
• (a,b)∈Rのとき、aとbはRの関係にあるといい、aRbまたはR(a,b)などとかく
• 項の数をnとしたn項関係も自然に定義できる
例
• A = { 1, 2, 3, 4 }
• A上の大小関係Rは以下のように定義される:
• R = { (1,2), (1,3), (1,4), (2,3), (2,4), (3,4) }
• Rの定義域は{ 1,2,3 }、Rの値域は{ 2,3,4 }
関係の性質(1)
• 反射性–任意のa∈Aについて(a,a)∈Rのとき、Rは反射的であるという
• 対称性–任意のa,b∈Aについて(a,b)∈Rならば(b,a)∈Rのとき、Rは対称的であるという
• 推移性–任意のa,b,c∈Aについて(a,b)∈Rかつ(b,c)∈Rならば(a,c)∈Rのとき、Rは推移的であるという
関係の性質(2)
• 反反射性
–任意のa∈Aについて(a,a)∉Rのとき、Rは反反射的であるという
• 反対称性
–任意のa,b∈Aについて(a,b)∈Rかつ(b,a)∈Rならばa=bであるとき、Rは反対称的であるという
同値関係
• 集合A上の関係Rが反射的、対称的、推移的であるとき、Rは同値関係であるという
• 「通常の意味での」同値をイメージすればOK
–数字に対する等号
–集合の意味での等号
– リストの意味での等号、etc..
– 「3で割った余りが等しい」というのも同値関係
集合の分割
• Aが空でないとき、{ S1, S2, …, Sm }は以下の条件を満たすときAの分割(partition)という:
1. 各Si が空でないこと
2. 任意のi,jについて(i≠j)、Si∩Sj =φであること
3. S1∪S2∪ … ∪Sm= Aであること
順序関係(ordered relation)
• 以下の3つの法則が成立するような関係≦を順序関係(ordered relation)と呼ぶ
1) 反射法則(reflexive law): x≦x
2) 反対称法則(asymmetric law):
x≦y かつ y≦x ならば x=y
3) 推移法則(transitive law):
x≦y かつ y≦z ならば x≦z
整列集合(well ordered set)
• 順序集合Xが、条件∀x、y∈X(x≦y∨y≦x)を満たすとき、全順序(total ordered)であるという
• 全順序集合Xの空でない任意の部分集合が極小元(実際には最小元)をもつとき、Xを整列集合という
例
• 非負整数の集合は,通常の順序のもとで整列集合である
• 整数の集合は整列集合ではない
• X={a,b,c,d}とし、2Xを考える。通常の集合間の包含関係で順序を定めると,2Xは全順序ではないので整列集合ではない
• 非負実数の集合は通常の順序のもとで整列集合ではない。たとえば部分集合(1,2)は最小元をもたない
数学的帰納法(Mathematical Induction)
• 非負整数nに対する性質P(n)を証明するとき,
1.基底段階(base step):
P(0)が正しいことを示す
2.帰納段階(induction step):任意の非負整数nについて、P(n)→ P(n+1)が正しいことを示す(P(n)を帰納法仮定(induction hypothesis)と呼ぶ)
数学的帰納法が正しいことの証明(1)
• (P(0)∧∀n(P(n)→P(n+1)))がTであるにも関わらず∀nP(n)がFであると仮定する
• したがってあるnが存在してP(n)=F
• S={ n: P(n)=F }とすると、S≠Φであるから、最小元kが存在する(整列集合だから)
数学的帰納法が正しいことの証明(2)
• P(0)=Tであるからk≠0である
• k-1は非負整数であり,k-1<kであるから、k-1はSには属さない。すなわちP(k-1)=T
• ところがP(k-1)→P(k)はTだからこれは矛盾。証明終わり
関数(function)とは?
• AとBを集合とする
• AからBへの関数とは、Aの各要素に対するBの要素の割当てである
• b∈Bをa∈Aに対して割当てられた要素とすると、b=f(a)とあらわす
• Aを領域(domain)、Bを終集合(co-domain)、b=f(a)をaの像、f(A)={f(a)|a∈A}を値域(range)とよぶ
例
• f(x)=2x+3, g(x)=3x+2とする
(f○g)(x)=f(g(x))=f(3x+2)
=2(3x+2)+3 = 6x+7
(g○f)(x)=g(f(x))=g(2x+3)
=3(2x+3)+2=6x+11
例3
• 実数区間(0,1)ですら可算でないことを示す(可算であるとして矛盾を導く)
• 可算であるから、N(自然数の集合)と(0,1)の間の一対一対応が存在する
r0 0.d00d01…
r1 0.d10d11…
r2 0.d20d21…
…
例3
r 0.d1d2… を以下のように定める:
もしdnn≠4ならばdn=4
もしdnn=4ならばdn=5
するとあきらかにr≠rn(n=0, 1, 2, …)
よって矛盾 →実数集合は非可算である
列(sequence)とは?
• 非負整数(あるいは自然数)の集合からある集合への関数を列という
• 数nに対する像をAnとかき、その列の項(term)とよぶ
• geometric progression, arithmetic progression, etc.
級数(summation)
• nのことを上限(upper limit)、mのことを下限(lower limit)、jのことを和の添字(index of summation)とよぶ
nm
n
mj
mj aaaa
1
関数の増加速度
• ビッグO記法(Big-O notation)
f(x)=O(g(x))であるのは、ある定数c>0とk>0が存在して、任意のx>kに対して
|f(x)| ≦ c|g(x)|
を満たすことである
関数の増加速度(2)
• ビッグΩ記法(Big-Ω notation)
f(x)=Ω(g(x))であるのは、ある定数c>0とk>0が存在して、任意のx>kに対して
|f(x)| ≧ c|g(x)|
を満たすことである