TABLE OF CONTENTS
目次
SET
集合
集合と呼ばれる概念を定義した上で、代表的な集合について解説します。
集合の相等
集合A,Bについて、Aの要素とBの要素が完全に一致する場合にはAとBは等しいといい、そのことをA=Bで表します。AとBが等しいことを、AがBの部分集合であるとともにBがAの部分集合であることとして表現することもできます。
ラッセルのパラドクス
命題関数の真理集合として集合を定義するアプローチはラッセルのパラドクスと呼ばれる問題を引き起こします。このような問題を解消する一つの方法は、集合という概念を公理から定義するというものです。
SET OPERATION
集合演算
集合を被演算子とする演算について解説します。
補集合
集合 A に属さない要素からなる集合を A の補集合と呼びます。集合 A が命題関数 P(x) から内包的に定義されるとき、A の補集合とは、命題 P(x) が偽になるような要素 x からなる集合です。
共通部分
集合 A,B の双方に属する要素からなる集合を A と B の共通部分と呼びます。集合 A が命題関数 P(x) から、集合 B が命題関数 Q(x) からそれぞれ内包的に定義されるとき、A と B の共通部分は 2 つの命題 P(x), Q(x) がともに真になるような要素 x からなる集合です。
和集合
集合 A,B の少なくとも一方に属する要素からなる集合を A と B の和集合と呼びます。 A が命題関数 P(x) から、集合 B が命題関数 Q(x) からそれぞれ内包的に定義されるとき、A と B の和集合は 2 つの命題 P(x),Q(x) の少なくとも一方が真になるような要素 x からなる集合です。
差集合
集合 A に属するが集合 B には属さない要素からなる集合を A と B の差集合と呼び、これを A\B と表記します。A が命題関数 P(x) から、集合 B が命題関数 Q(x) からそれぞれ内包的に定義されるとき、A と B の差集合は P(x) が真で Q(x) が偽であるような要素 x からなる集合です。
対称差
集合 A,B のどちらか一方だけに属する要素からなる集合を A と B の対称差と呼びます。集合 A が命題関数 P(x) から、集合 B が命題関数 Q(x) から内包的に定義されるとき、A と B の対称差は P(x) と Q(x) のどちらか一方だけが真になるような要素 x からなる集合です。
EQUAL SETS
集合の変形
集合を変形していく上で役に立つ代表的な法則を紹介します。
集合演算におけるベキ等律
同じ集合どうしの共通部分や和集合をとると、それはいずれももとの集合と等しい集合になります。共通部分や和集合が満たすこのような性質をベキ等律と呼びます。
集合演算における結合律
集合 A,B,C が与えられたとき、その中から隣り合う 2 つの集合 A,B を選んで共通部分を適用すれば A∩B を得ます。この集合と残された集合 C に対して再び共通部分を作用させれば (A∩B)∩C を得ます。一方、最初に B,C に対して共通部分を作用させれば最終的に A∩(B∩C) を得ます。この 2 つの集合が一致するというのが結合律の主張です。和集合∪に関しても同様の性質が成り立ちます。
集合演算における吸収律
集合 A が与えられたとき、それと任意の集合 B の和集合 A∪B をとります。さらに、この集合ともとの集合 A の共通部分 A∩(A∪B)をとると、集合 A∪B は吸収されて A に戻ってしまうというのが吸収律の主張です。和集合と共通部分を入れ替えた主張も同じく成り立ちます。
集合演算における恒等律
任意の集合に対して、空集合との共通部分をとると空集合になり、全体集合との和集合をとると全体集合になります。また、任意の集合に対して、空集合との和集合や全体集合との共通部分をとるといずれももとの集合に戻ります。これを恒等法則と呼びます。
二重補集合の法則
集合の補集合は集合であるため、さらにその補集合をとることができます。そして、この集合はもとの集合と等しいことが保証されます。補集合が満たすこのような性質を二重補集合の法則と呼びます。
FAMILY OF SETS
集合族
集合を要素として持つ集合を集合族と呼びます。
部分集合族
集合族の要素がいずれも集合 A の部分集合であるとき、その集合族を A の部分集合族と呼びます。特に、集合 A のすべての部分集合を要素として持つ A の部分集合族を A のベキ集合と呼びます。
集合族の共通部分
集合族の要素であるすべての集合に含まれる要素からなる集合を集合族の共通部分と定義します。集合族の共通部分は、その集合族の要素である任意の集合に部分集合として含まれる集合の中でも最大のものです。
集合族の和集合
集合族の要素である少なくとも1つの集合に含まれる要素からなる集合を集合族の和集合と定義します。集合族の和集合は、その集合族の要素である任意の集合を部分集合として含む集合の中でも最小のものです。
PRODUCT OF SETS
集合の直積
集合や集合族の直積などを定義します。
2つの集合の直積（カルテシアン積）
2 つの要素 a,b の順序を考慮して組にしたものを順序対と呼びます。また、集合 A,B の要素からなるすべての順序対からなる集合を A と B の直積と呼びます。
選択公理
無限個の非空集合が与えられたとき、それぞれの集合から要素を 1 つずつ順番に選び出そうとしても、集合の個数は無限であるため、そのような操作が可能であるかどうかは必ずしも明らかではありません。そのような理念上の操作が可能であることを認めることを選択公理と呼びます。
RELATED KNOWLEDGE
関連知識
REQUIRED KNOWLEDGE
必須知識
本節の内容を理解する上で以下の知識が役に立ちます。
命題論理
命題論理の基本単位は「真または偽のどちらか一方であるような主張」であり、これを命題変数と呼ばれる概念として定式化します。また、より複雑な主張を生成する操作を命題変数どうしを組み合わせる操作として定式化し、そのような操作のルールを定めます。その上で、与えられたルールからどのような推論規則が導かれるかを明らかにしようとします。
述語論理
命題論理の基本単位が命題変数であったのに対し、述語論理では命題関数と呼ばれる概念が基本単位となります。それにより扱うことのできる言明の範囲が広がるとともに、量化と呼ばれる操作が可能になります。
ADVANCED KNOWLEDGE
発展知識
本節で得た知識は以下の分野を学ぶ上での土台になります。
写像
初等数学で学んだ「関数」とは、入力した実数に対して何らかの実数を返す概念として理解できます。関数を一般化した概念が写像です。写像とはある集合のそれぞれの要素に対して別の集合の要素を1つずつ定めるような規則のことです。本節では写像について学びます。
関係
複数の物事が互いに関わり合っている状態を「関係」と呼びますが、これは数学的には2つの集合の直積の部分集合として定義されます。関係や二項関係、同値関係、順序関係など代表的な関係について解説します。
集合の濃度
有限個の要素を持つ集合については、その要素の個数は有限な自然数として表現されます。一方、無限個の要素を持つ集合については、すべての要素を数え尽くすことができないため、要素の個数を自然数として表現できません。集合の濃度とは要素の個数を一般化した概念であり、これを用いることにより無限どうしを比較できるようになります。
