计算の理论I–数学的概念と记法–.pptVIP

計算の理論 I－数学的概念と記法－ 月曜３校時 大月 美佳 集合(1.2節 pp. 6～8) 集合(set) なんらかの対象をいくつか（重複なしに）集めたもの 元(member) 集められた対象 部分集合、真部分集合 AがBの部分集合＝AがBに含まれる := Aのすべての元がBの元 真部分集合 A?B := A?BかつA≠B Aのすべての元はBに含まれる Aの元でないBの元がある A?BかつA?B = A＝B 集合の記述法 元を列挙する { 0, 1 } { dog, cat } 元が満たす条件を記述する { x|P(x) } := 「P(x)が真であるようなxの集合」 元が所属する集合も書く { x∈A|P(x) } := 「P(x)が真であるようなAの元xの集合」 = { x|P(x)かつx∈A } 集合の演算（の一部） 和 (union) : A∪B 共通部分 (intersection) : A∩B 差 (difference) : A－B 直積 (Cartesian product) : A×B ベキ集合 (power set) : 和 (union) A∪B = { x|xはAまたはBの元である } 例 A={ 1, 2 } B={ 2, 3 } A∪B={ 1, 2, 3 } 共通部分 (intersection) A∩B = { x|xはAの元かつBの元 } 例 A={ 1, 2 } B={ 2, 3 } A∩B={ 2 } 差 (difference) A－B = { x|xはAの元でBの元ではない } 例 A={ 1, 2 } B={ 2, 3 } A－B={ 1 } 直積 (Cartesian product) A×B = { (x, y)|xはAの元でyはBの元 } 例 A={ 1, 2 } B={ 2, 3 } A－B ={ (1, 2), (1, 3), (2, 2), (2, 3) } Aがn個でBがm個のとき、 A×Bはnm個 ベキ集合 (power set) = { B|B?A } 例 A={ 1, 2 } ={ ○, {1}, {2}, {1, 2} } Aがn個のとき、 は 個 写像 (projection?) 線形代数 写像f : f(x)={y}, f(U)=V 濃度 (cardinality) 等しい濃度 := 集合S1とS2について、S1からS2の上へ1対1の写像がある 有限集合 S1?S2ならば異なる濃度 無限集合 S1?S2でも等しい濃度の場合がある 真部分集合な無限集合（等しい濃度） 例 S1:偶数全体 S2:整数全体 真部分集合な無限集合（異なる濃度） 例 S1:整数全体 S2:実数全体 証明 対角線論法(diagonalization) 正しくない(可算でない)ことを示したい命題P Pを正しい(可算である)と仮定 仮定から例を導き出す 2の例がPを満たさないことを示す 証明例(p. 8) S1(整数全体)とS2 (実数全体)が1対1対応していると仮定 例として次のような数を考える 「各i=1, 2, 3, … について、第i番目の実数（1の対応で正整数iに対応づけられた実数）の小数点以下i桁目の数字に、法10のもとで5を加えた数字が、小数点以下i桁目であるような実数」 これは1を満たさない 可算無限 可算無限 (countably many) = 加算(countable) := 正整数と1対1に対応づけられる集合 例 ○ 有理数の集合 ○ 空でないアルファベットΣ上の（有限長の）記号列の集合Σ* × Σ*のベキ集合 × 整数から{ 0, 1 }への関数の集合 関係 (2項)関係 (binary relation) :=順序対の集合 順序対 （順序がある対(pair, 組)） (1, 2) ≠ (2, 1) Sの上の関係 Sの上の関係 (relation on S) 定義域と値域が同じ集合Sである場合の関係 aRb := (a, b)が関係Rに属する 関係の性質 反射的 (reflexive) 非反射的 (irreflexive) 推移的 (transitive) 対称的 (symmetric) 非対称的 (asymmetric) 反射的 反射的 (reflexive) := Sの各元aについてaRa 非反射的 非反射的 (irreflexive) := Sの各元aについてaRaが成り立たない 推移的 推移的 (transitive) := aRbかつbRcのとき常にaRc 対称的 対称的 (symmetric) := aRbのとき常にbRa 非対称的 非対称的 (asymmetric) := aRbのときbR