旧課程(-2012年度)高等学校数学A/集合と論理
集合と論理

中学では、たとえば「自然数のあつまり」とか「9以下の自然数のあつまり」とか「負の整数のあつまり」のようなものを、集合(しゅうごう)と読んできた。
集合と論理

では、数学でいう「集合」とは何か、これから考えていこう。
集合と論理

数学では、ある集まりのうち、さらに、それに属しているか属してないかを明確に区別できる条件のある物のあつまりを集合(しゅうごう、英:set)という。例えば、「自然数」は「n > 0となる整数n の全体」という区別可能な条件があるので集合といえる。
集合と論理

しかし「大きな数」というあつまりは、どこからが「大きな」数といえるのかがはっきりしないため、数学の「集合」ではない。
集合と論理

ただし、「大きな数」を例えば「1億以上の整数」と区別できるように定義すれば集合になりえる。
集合と論理

さて、数学的な「集合」を構成するもの一つ一つのことを、その集合の 要素( ようそ、英:element)という。
集合と論理

たとえば、「自然数の集合」の要素なら、自然数1や自然数2や自然数3、・・・などのひとつひとつの自然数がそれぞれ要素である。
集合と論理

「 1 は自然数の集合の要素である」といえる。
集合と論理

「 27 は自然数の集合の要素である」といえる。
集合と論理

(※ 範囲外? )なお、数学的には、区別がはっきりしさえすれば、例えば「△△高校の今の3年B組の生徒全員」等も集合として考えることができる。かならずしも「集合」とは「自然数」や「整数」などの数でなくてもいい。
集合と論理

(範囲外)数と数との対応関係である「関数」を、集合の各要素と集合の各要素との対応関係へと拡張することができる。(この集合は数の集合でなくても良い。)このような対応関係を写像と呼ぶ。詳しくは大学の「集合論」で扱うが、「全射」や「単射」など、知っておくと証明に便利な知識がある。 (範囲外ここまで)
集合と論理

aが集合Aの要素であるとする。このとき、aは集合Aに属する(ぞくする)といい、記号で、
集合と論理

と表す。
集合と論理

bがAの要素でないときは、
集合と論理

と表す。
集合と論理

集合をあらわすとき、主に2種類の方法がある。(例は「10以下の自然数のうち偶数であるもの」の集合を表す。)
集合と論理

である
集合と論理

たとえば、「10以下の自然数のうち偶数であるもの」の集合を表す場合、(1) の方法(要素を書き並べる方法)では、
集合と論理

となる。
集合と論理

一方、(2)の方法(要素の満たす条件を述べる方法)では、
集合と論理

などのようになる(何通りかある)。
集合と論理

100以下の自然数の集合 A を、さきほどの(1)「要素を書き並べる方法」の方法で書く場合、
集合と論理

となる。また、この記法の「・・・」のように、要素の個数がとても多い場合や無数にある場合には、{ }記号内の要素の途中を「・・・」または「......」、「...」などの点々で省略してよい。
集合と論理

100以下の偶数の集合 B は、この記法(要素を書き並べる方法)では、
集合と論理

のようになる。
集合と論理

正の偶数全体の集合の要素は(1)「要素を書き並べる方法」の方法で書く場合、
集合と論理

のようにも書ける。
集合と論理

2つの集合A,Bがあり、x∈A ならば x∈Bが成り立つとき、AはBの 部分集合 (ぶぶんしゅうごう、英:subset)であるといい、「BはAを含む」か「AはBに含まれる」という。この状態を記号で
集合と論理

または
集合と論理

で表す。
集合と論理

補足
集合と論理

Aの部分集合にはA自身もある。(つまり A ⊂ A である)。
集合と論理

また、A,B の集合の要素が同じとき、
集合と論理

で表す。
集合と論理

集合 A = {1, 2, 3} と 集合 B = {1, 2 , 3 , 4, 5} があるとき、A は Bの部分集合である。
集合と論理

2つの集合A,Bがあるとき それらの両方の要素であるものの集合を AとBの 共通部分(きょうつうぶぶん)と呼び、
集合と論理

と書く。
集合と論理

また、集合A,Bの少なくともどちらか一方には属している要素からなる集合のことを、AとBの和集合(わしゅうごう、英:union)と呼び、
集合と論理

と書く。
集合と論理

3つの集合 A, B, C については、3つのどれにも属する要素全体の集合を A,B,C の共通部分と呼び、 A ∩ B ∩ C で表す。
集合と論理

また、集合 A, B, C の少なくとも1つに属する要素の集合を A,B,C の和集合と呼び、 A ∪ B ∪ C で表す。
集合と論理

たとえば、「10以下の自然数のうちの偶数」の集合Aと、「10以下の自然数のうちの奇数」の集合Bについて、集合Aと集合Bの共通部分には、何も要素が無い。
集合と論理

この例のように、「要素がなにもない」という場合もあるので、数学では「要素がなにもない」場合もひとつの集合として考える。
集合と論理

要素をもたない集合のことを 空集合(くうしゅうごう、英:empty set あるいは null set)といい、記号は
集合と論理

であらわす。
集合と論理

ギリシャ文字のファイ(φ, φ {\displaystyle \phi \ } )で表されることが多くあるが、厳密にはそれは誤りである。上の記号の他に ∅ {\displaystyle \emptyset } 等も用いられるが、この教科書では、 ∅ {\displaystyle \varnothing } を用いる。
集合と論理

どのような集合Aにも、空集合は部分集合として含まれる。
集合と論理

つまり、空集合でないある集合をAとすると、
集合と論理

である。
集合と論理

集合 { 1, 2 } の部分集合をすべて列挙すると、次の4つの集合になる。
集合と論理

集合 U を1つ設定し、その集合の要素や部分集合のみを考える場合を考える。このようなとき、集合Uを 全体集合(ぜんたいしゅうごう、英:universal set) という。
集合と論理

全体集合Uの要素のうち、集合Aに属さないもの全体からなる集合のことをAの 補集合 (ほしゅうごう、英:complement)といい、記号で補集合は A ̄ {\displaystyle {\overline {A}}} と表す。
集合と論理

すなわち
集合と論理

である。
集合と論理

補集合について、次のことが成り立つ。
集合と論理

下の図を用いて上の法則が正しい事を確かめよう。
集合と論理

A={x|xは1以上20以下の2の倍数}・B={y|yは1以上20以下の3の倍数}とする時、以下に適する集合の要素を列挙せよ。ただし、全体集合U={z|zは1以上20以下の整数}とする。
集合と論理

集合の要素のことを、ふるい呼び方ですが「元」(げん)とも言います。
集合と論理

念のため例を示すと、たとえば「1以上かつ12以下の偶数の集合」と言えば
集合と論理

たとえば、「10以下の自然数のうち偶数であるもの」の集合
集合と論理

を集合Aとした場合、
集合と論理

『「4」は集合Aの要素である』と言えますが、同様に「4」は集合Aぼ元であるとも言えます。
集合と論理

例として「4」をあげましたが、別に「6」でも「10」でも構いません。「2」も「6」も「8」も「10」も、それぞれ上述した集合Aの要素(元)です。
集合と論理

(数学的に)正しいかどうかを明確に判断できる主張を命題(めいだい、英: proposition)と呼ぶ。 例えば、「7は素数である」は命題の例である。 (一方、「5000は大きい数である」などは命題とはならない。なぜなら「大きい」という言葉の判断が主観的なものであり、判断に明確な基準が設定できないからである。)
集合と論理

ある命題が明確に正しい(と証明される)とき、その命題は真(しん、英:truth)であると呼ぶ。(たとえば、命題「7は素数である」は真である。) 命題が真でないとき、命題は偽(ぎ、英:false)であると言う。たとえば、命題 「 もし x 2 = 4 {\displaystyle x^{2}=4} であれば x = 2 {\displaystyle x=2} である。 」 は、偽の命題である。 この方程式は x = − 2 {\displaystyle x=-2} も解に持つ。
集合と論理

上の命題「" x 2 = 4 {\displaystyle x^{2}=4} ならば x = 2 {\displaystyle x=2} である"」は x = − 2 {\displaystyle x=-2} もあてはまるので偽になった。 命題 p ⇒ q {\displaystyle {\rm {p\Rightarrow q}}} が偽であるときは、 p {\displaystyle p} は満たすが q {\displaystyle q} を満たさない例が存在する。そのような例を反例(はんれい)という。命題が偽であることを示すには、反例を1つあげればよい。
集合と論理

命題は、「pならばqである」の形式で書かれる場合が多い。
集合と論理

「 pならばqである」という命題を、記号「 ⇒ {\displaystyle \Rightarrow } 」を用いて
集合と論理

と書く。
集合と論理

また、この条件pをこの命題の仮定(かてい、英:assumption)といい、条件qをこの命題の結論(けつろん)と呼ぶ。
集合と論理

次の命題の真偽を判定し、偽の場合は反例も挙げよ。
集合と論理

条件や条件を含む命題を考えることは、集合を考えることと同じである。
集合と論理

たとえば、実数 x について「x>3 ならば x>1 である」という命題は真である。
集合と論理

ここで「x>3 である」という条件を p とし、また、x>3 である数の集合を P としよう。つまり P={x| x>3 }である。
集合と論理

同様に、「x>1である」という条件を q とし、x>1である数の集合を Q としよう。つまり Q={x| x>1 }である。
集合と論理

このとき、命題 p ⟹ q {\displaystyle {\rm {p\Longrightarrow q}}} は真であるが、これは集合の包含関係 P⊂Q が成り立つことに対応している。
集合と論理

2つの条件 p,q について、命題「p⇒q」が真であるとき、
集合と論理

という。
集合と論理

2つの条件 p.q について、
集合と論理

命題「p⇒q」と命題「q⇒p」の両方とも真であるとき、これを
集合と論理

と書き、
集合と論理

という。
集合と論理

このとき、pとqを入れ替えることで、
集合と論理

ともいえることがわかる。
集合と論理

p ⟺ q {\displaystyle {\rm {p\Longleftrightarrow q}}} であるとき、pとqは「同値(どうち)である」という。
集合と論理

条件 p,q を満たすものの集合をそれぞれ P,Q とする。
集合と論理

このとき、条件「pかつq」および「pまたはq」をあらわす図は、それぞれ右図のようになる。
集合と論理

条件pに対し「pでない」の形の条件を pの 否定 (ひてい、英:negation)といい、記号は p ̄ {\displaystyle {\overline {p}}} で表す。
集合と論理

(※ 高校では習わないが、否定の意味として、 ¬ p {\displaystyle \lnot {p}} という記号「¬」もある。)
集合と論理

条件を考えることは集合を考えることと同じなので、集合におけるド・モルガンの法則と同様に、条件においても、ド・モルガンの法則がなり立つ。
集合と論理

命題「 p ⟹ q {\displaystyle {\rm {p\Longrightarrow q}}} 」に対して
集合と論理

と呼ぶ。
集合と論理

これらは、たがいに右図のような関係にある。
集合と論理

たとえば、 もとの命題を
集合と論理

だとすると、
集合と論理

この命題の場合、もとの命題と対偶は、ともに真である。
集合と論理

いっぽう逆については x = -3 という反例があるので、この命題の場合、逆は正しくない。また、裏も同様に、正しくない。
集合と論理

このような例から、次のことが分かる。
集合と論理

では、もとの命題と対偶との関係は、どうなるだろうか。
集合と論理

この考察をするため、条件pを満たすものを集合Pに対応させ、同様に条件qを満たすものを集合Qに対応させてみよう。
集合と論理

右の集合の図は、p⇒qが真であることを表す図である。この図では、Pに属している要素は、Qにも属している。(つまり P ⊂ Q {\displaystyle {\rm {P\subset Q}}} である。)一方、Qに属していいない要素は、Pにも属していない。(つまり Q ̄ ⊂ P ̄ {\displaystyle {\rm {{\overline {Q}}\subset {\overline {P}}}}} である。) このことからから分かるように、
集合と論理

つまり、一般の命題において、もとの命題と対偶との真偽は一致する。
集合と論理

ある命題の結論を否定して、その否定のもとで矛盾が起こることを述べることで、 その命題が真であることを導出する仕方を背理法(はいりほう、英: proof by contradiction など)と呼ぶ。
集合と論理

たとえば、「Aではないことを証明せよ」という問題を解く時は「Aであると仮定する」と書き出して、仮定したことと矛盾する部分を作って「矛盾するのでAではない。」と証明を終える。
集合と論理

素数は無限に存在する。
集合と論理

素数が有限個であったと仮定する。すべての素数の積を a {\displaystyle a} とすると、 a + 1 {\displaystyle a+1} はどの素数で割っても1余ることになり、1以外の自然数であって、素数の積に分解できないものが存在することになる。 a + 1 {\displaystyle a+1} の約数のうち1以外で最も小さいものを b {\displaystyle b} とすると、 b {\displaystyle b} は1と b {\displaystyle b} 以外の約数を持たない。したがって b {\displaystyle b} が素数であることになるが、 a + 1 {\displaystyle a+1} がどの素数でも割り切れないことと矛盾する。したがって、素数は有限個ではない。■