武蔵野個別指導塾の特徴

集合・写像・論理　大学数学の「言葉」を身につける｜武蔵野個別指導塾

公開 2026.10.13更新 2026.10.13武蔵野個別指導塾の特徴大学数学特集（解析・線形代数・代数・幾何・確率統計）

量化子の順序と否定、単射・全射の違いを具体例で確かめ、逆像の証明と整数の商集合まで進みます。計算の答えだけでなく、条件を漏らさずに数学の主張を読む力につながります。

集合・写像・論理　大学数学の「言葉」を身につける

古い教科書の記号が問いかけること

祖父の書斎に残っていた古い教科書を開くと、計算が始まるより先に、集合と写像の説明が続いています。紙の色は変わっていても、「任意の」「存在する」という言葉は何度も出てきます。塾の講師とそのページを読む場面を考えてみてください。ノートに「すべての数に対して答えがある」と書いたところで、講師が「答えは数ごとに変わってよいですか」と尋ねます。この短い問いが、大学数学への入口になります。

高校の数学でも、条件の読み落としで答えが変わります。分母が 0 にならないことを確かめたり、平方根を含む式で符号を調べたりするのは、そのためです。大学ではさらに、「何を対象にした主張か」「どの順序で値を選べるか」「どこまで同じものとみなすか」を、文章そのものに組み込みます。集合は対象の範囲を、写像は対応の規則を、論理は主張のつながりを表します。

この言葉は特定の分野だけの準備ではありません。微分積分で極限を定義するときも、線形代数で解が一意かを調べるときも使います。多くの理系学部では 1〜2 年で学ぶ内容の土台になりますが、記号を一度に暗記する必要はありません。短い文を記号にし、記号を自分の言葉に戻す往復から始められます。

大事なのは、難しそうな記号を使うことではなく、読んだ人が同じ条件を受け取れることです。「たぶんそうなる」という感触を、他の人も確かめられる主張に変える。そのために、まず高校で慣れた二次方程式を読み直しましょう。

二次方程式の答えを集合として読み直す

高校の数学 I の集合と命題、二次関数は、この分野と直接つながっています。例えば、実数 x について x² = 4 を解くと、次のようになります。

x² – 4 = (x – 2)(x + 2) = 0

x = 2 または x = -2

答えを集合で表せば {x ∈ ℝ | x² = 4} = {-2, 2} です。ℝ は実数全体の集合で、縦線の後には満たすべき条件を書きます。集合の要素は並び順で区別しません。したがって {-2, 2} と {2, -2} は同じ集合です。また同じ要素を重ねて書いても増えません。{2, 2} = {2} です。

ここで対象を 0 以上の実数に限定すると、答えの集合は {2} になります。式が同じでも、どの範囲から x を選ぶかで答えは変わります。この範囲の指定を、大学の数学では計算に入る前に明示します。数を代入する以前に、対象が何なのかを確かめる習慣が必要になります。

もう一つ、高校で学ぶ必要条件と十分条件を考えます。実数 x について「x = 2 ならば x² = 4」は正しいですが、逆の「x² = 4 ならば x = 2」は正しくありません。x = -2 が反例です。条件 P から条件 Q が従うことを P ⇒ Q と書きます。P ⇒ Q と Q ⇒ P の両方が成り立つときに P ⇔ Q と書き、「同値である」と言います。

この区別は式変形でも必要です。x = 2 から両辺を二乗すれば x² = 4 を得ますが、二乗後の式から元の式へ戻るには符号の情報が足りません。途中で一方向の変形をしたのに、最後まで同値だったかのように扱うと、余分な解を採用してしまいます。解いた後に元の式へ代入する確認には、失われた条件を点検する意味があります。

数学 A の整数の性質では、割った余りで整数を分類します。数学 II・III の関数では、入力に対して出力を決めます。数学 C のベクトルでも、成分の組を対象として対応を考えます。こうした別々の単元を、「集合から集合への写像」という共通の言葉で扱えるのが、大学で視野が広がる点です。

高校で「関数 y = x²」と言えば話が通じる場面でも、大学では「どこからどこへの写像ですか」と問い直します。実数全体から実数全体への写像と、0 以上の実数から 0 以上の実数への写像では、同じ式でも性質が違います。この違いを正確に述べるための定義を用意しましょう。

集合・量化子・写像を正確に定義する

集合 A の要素が x であることを x ∈ A、そうでないことを x ∉ A と書きます。A のすべての要素が B の要素でもあるとき、A は B の部分集合であると言い、A ⊆ B と書きます。記号では「∀x, x ∈ A ⇒ x ∈ B」です。ここで ∀ は「すべての」「任意の」を表します。A = B を示すには、A ⊆ B と B ⊆ A を示せば十分です。

要素であることと、部分集合であることは別です。A = {1, 2} なら 1 ∈ A ですが、{1} ⊆ A でもあります。数 1 と、数 1 だけを要素にもつ集合 {1} を区別してください。要素をもたない集合を空集合と呼び、∅ と書きます。∅ と {∅} も異なり、前者には要素がなく、後者には空集合という要素が一つあります。

A または B に属する要素の集合が和集合 A ∪ B、両方に属する要素の集合が共通部分 A ∩ B です。A に属し B に属さない要素の集合を A ∖ B と書きます。補集合は、あらかじめ全体集合 U を決めたときの U ∖ A です。「A に入らないもの全部」と言うだけでは、実数の範囲なのか整数の範囲なのかが定まりません。補集合を使う文章では U も確認します。

次に、量化子を定義します。「∀x ∈ A, P(x)」は、A のどの要素 x についても条件 P(x) が成り立つという意味です。「∃x ∈ A, P(x)」は、A の中に P(x) を満たす要素が少なくとも一つあるという意味です。∃ は存在を表し、一つしかないという意味は含みません。

量化子の順序は、値を決める順序です。ℕ = {0, 1, 2, …} と決めて、次の文を比べます。

∀x ∈ ℕ, ∃y ∈ ℕ, y > x

∃y ∈ ℕ, ∀x ∈ ℕ, y > x

最初の文は正しく、x が決まった後で y = x + 1 と選べます。二つ目の文は正しくありません。先にどんな y を選んでも、後から x = y とすれば y > x は成り立たないからです。最初の文の y は x に応じて変わってよいのに対し、二つ目では一つの y がすべての x に対応しなければなりません。

否定を作るときは、全称と存在を入れ替え、中の条件を否定します。「すべてが条件を満たす」の否定は「条件を満たさないものがある」です。「条件を満たすものがある」の否定は「すべてが条件を満たさない」です。記号では次の二つです。

¬(∀x ∈ A, P(x)) ⇔ ∃x ∈ A, ¬P(x)

¬(∃x ∈ A, P(x)) ⇔ ∀x ∈ A, ¬P(x)

例えば最初の自然数の文の否定は「∃x ∈ ℕ, ∀y ∈ ℕ, y ≦ x」です。単に不等号を反転するだけでなく、量化子も入れ替えます。また「P ならば Q」の否定は「P であって Q ではない」です。「P でないならば Q でない」は別の主張であり、元の文の否定ではありません。

写像 f: A → B とは、A の各要素 x に対し、B の要素 f(x) をただ一つ対応させるものです。A を定義域、B を終域と呼びます。B の要素すべてが出力になる必要はありません。実際に出力される要素の集合 f(A) = {f(x) | x ∈ A} を像と呼び、終域 B と区別します。

異なる入力が同じ出力にならない写像を単射と言います。正確には、すべての x, y ∈ A について「f(x) = f(y) ⇒ x = y」が成り立つことです。終域の各要素が少なくとも一度出力される写像を全射と言います。すなわち「∀b ∈ B, ∃a ∈ A, f(a) = b」です。単射であり、かつ全射である写像を全単射と言います。

f: ℝ → ℝ, f(x) = x² は単射ではありません。f(2) = f(-2) = 4 だからです。また -1 は実数の平方にならないので全射でもありません。終域だけを [0, ∞) に変えると、各 b ≧ 0 に対して x = √b を選べるので全射になります。さらに定義域も [0, ∞) に変えた写像は全単射です。この場合、x² = y² と x, y ≧ 0 から x = y が従います。定義域・終域・対応規則をそろえて初めて、写像の性質を判断できます。

逆像と商集合で証明の筋道をつかむ

最初に、集合の計算と論理が直接つながる定理を扱います。任意の写像 f: A → B と、B の部分集合 C, D に対して、逆像は共通部分を保ちます。C の逆像とは、出力が C に入る入力をすべて集めた集合です。以下では逆像を f⁻¹(C) と書きます。

f⁻¹(C) = {x ∈ A | f(x) ∈ C}

f⁻¹(C ∩ D) = f⁻¹(C) ∩ f⁻¹(D)

この f⁻¹ は逆関数の存在を意味しません。単射でも全射でもない写像に対して逆像は定義できます。証明は、任意の x ∈ A を取り、両辺に属する条件を比べれば進みます。左辺に属するとは f(x) ∈ C ∩ D ということです。これは f(x) ∈ C かつ f(x) ∈ D と同値であり、x ∈ f⁻¹(C) かつ x ∈ f⁻¹(D) と同値です。最後の条件が、右辺に属することを表しています。

要の一歩は、「集合の等式」を「同じ要素が入るかどうか」に戻したことです。式の形だけを変形する必要はありません。この証明は有限集合に限らず、A や B が無限集合でも成立します。要素の数を数えたのではなく、要素となる条件そのものを一致させたからです。

具体的に A = {-2, -1, 0, 1, 2}、B = {0, 1, 4}、f(x) = x² とします。C = {0, 1}、D = {1, 4} を選ぶと、次のように計算できます。

C ∩ D = {1}

f⁻¹(C) = {-1, 0, 1}

f⁻¹(D) = {-2, -1, 1, 2}

f⁻¹(C ∩ D) = {-1, 1} = f⁻¹(C) ∩ f⁻¹(D)

一方、像では同じ形の等式が常に成り立つわけではありません。同じ写像に対し S = {-1}、T = {1} とすると、S ∩ T = ∅ なので f(S ∩ T) = ∅ です。しかし f(S) = f(T) = {1} なので f(S) ∩ f(T) = {1} です。異なる入力が同じ出力へ合流するため、像を取った後に共通部分が生まれます。

一般には f(S ∩ T) ⊆ f(S) ∩ f(T) までは常に成り立ちます。左辺の要素は S と T の両方に入る一つの入力から来るので、両方の像に属するからです。逆向きには、S 側の入力と T 側の入力が同じである保証がありません。どちらの包含で証明が止まるかを考えると、反例を探す方針も見えてきます。

次に、対象を同じ仲間としてまとめる仕組みを定義します。集合 A 上の関係 ∼ が同値関係であるとは、すべての x, y, z ∈ A について、次の三つを満たすことです。反射律は x ∼ x、対称律は x ∼ y ⇒ y ∼ x、推移律は「x ∼ y かつ y ∼ z ⇒ x ∼ z」です。自分自身と同じ仲間であり、向きを逆にしても同じ仲間であり、仲間のつながりをたどっても同じ仲間になる、という条件です。

x と同値な要素を集めた集合 [x] = {y ∈ A | y ∼ x} を x の同値類と言います。同値類を要素とする集合 A/∼ = {[x] | x ∈ A} が商集合です。A の要素と、商集合の要素である同値類とを混同しないでください。例えば整数の商集合では、一つの整数の代わりに、整数をまとめた一つの集合を扱います。

ここで二つ目の定理です。A 上の同値関係について、同値類は A を分割します。つまり、すべての要素はいずれかの同値類に属し、二つの同値類は一致するか、共通部分をもちません。前半は反射律 x ∼ x から従います。後半を示すために z ∈ [x] ∩ [y] と仮定すると、z ∼ x と z ∼ y が成り立ちます。対称律と推移律から x ∼ y を得ます。さらに u ∈ [x] なら u ∼ x ∼ y なので u ∈ [y] です。逆の包含も同様で、[x] = [y] となります。

整数全体 ℤ で「a ∼ b とは a – b が 3 の整数倍であること」と定めます。a – a = 0 は 3 の整数倍です。a – b = 3k なら b – a = 3(-k)、さらに b – c = 3l なら a – c = 3(k + l) です。ここで k, l は整数なので、三つの条件が確かに成り立ちます。

この商集合には [0], [1], [2] の三つの同値類があります。どの整数も 3q + r、r ∈ {0, 1, 2} と一意に書けるためです。例えば -4 = 3 × (-2) + 2 なので -4 ∈ [2] です。また [1] = [4] = [-2] です。同値類の名前に使う整数を代表元と言いますが、名前が違っても同じ集合を指すことがあります。

商集合で [a] + [b] = [a + b] と定めるには、代表元を取り替えても答えが変わらないことを確かめます。a ∼ a′、b ∼ b′ なら、ある整数 k, l により a – a′ = 3k、b – b′ = 3l と書けます。すると (a + b) – (a′ + b′) = 3(k + l) なので [a + b] = [a′ + b′] です。したがって [2] + [2] = [4] = [1] と計算して構いません。

これに対して「[a] に整数 a そのものを対応させる」という規則は定まりません。[1] = [4] なのに、代表元によって出力が 1 と 4 に変わるからです。商集合を使うときは、式が書けた時点で安心せず、同じ入力に違う答えが出ないかを確認します。写像の定義に含まれる「ただ一つ」が、ここで具体的に働きます。

集合を自由に作る発想から公理への問いへ

集合の言葉は、数や関数をまとめて扱い、無限の対象にも筋道を通して議論するために重要になりました。カントールからコーエンまでの集合論の数学的発展を題材とする歴史研究もあります（Kanamori, 1996）。集合の記号を覚える学習の背後には、「どんな集まりが数学の対象になるのか」「どの規則のもとで推論してよいのか」という、基礎そのものへの問いがあります。

ここではその問いを、古典論理のもとで考えます。どんな条件に対しても、その条件を満たすもの全体が集合になると認めると、「自分自身を要素にもたない集合をすべて集めた集合」R を作れそうです。すると R ∈ R かどうかを尋ねられます。R ∈ R なら、R の要素になる条件によって R ∉ R です。逆に R ∉ R なら、その条件を満たすので R ∈ R です。どちらからも反対が導かれます。

これはラッセルの逆理と呼ばれる問題です。Clark の論文は、存在を無制限に認める素朴な集合論の矛盾に触れ、直観的な原理に基づくある種の述語の理論にも類似の議論で矛盾が生じることを扱っています（Clark, 1978）。ここから読み取るべき問題は、単なる記号の書き間違いではありません。自然に見える「条件があれば対象をまとめられる」という規則そのものを吟味する必要があるという点です。

初学者が安全に使える大切な区別は、既にある集合 A から条件で要素を選ぶことと、対象の範囲を決めずに何でも集めることの違いです。{x ∈ A | P(x)} は、もとの集合 A の中で条件 P(x) を満たすものを選んでいます。「すべてを集める」ときのすべてが何なのかを省略しない姿勢は、補集合の全体集合を明示する習慣ともつながります。

ただし、基礎の議論は一つの短い標語で終わるものではありません。Weir は、素朴な集合論を退け、集合を階層化する標準的な応答を検討し、集合論に体系的な意味づけを与えることに関する問題を論じています（Weir, 1998）。これは哲学的な批判の議論であり、先ほどの逆理が通常の古典論理で矛盾になるという説明を取り消すものではありません。どの対象の存在を認めるのかと、どの推論を認めるのかを分けて考えると、議論の焦点が見えます。

大学の最初の学習で、公理的集合論の全体を習得してから先へ進む必要はありません。まずは対象の範囲、集合を作る条件、推論の規則を混同しないことです。定義を細かく書くのは議論を難しくするためではなく、どの一歩に根拠が必要かを他の人と共有するためです。

データの分類と情報の問い合わせを支える言葉

集合と写像は、情報を選び出したり分類したりする際にも使えます。先ほどの f(x) = x² を、入力データをある特徴へ変換する操作だと考えます。出力の条件 C を満たす入力を集める操作が逆像です。二つの出力条件を同時に満たす入力は、それぞれの逆像の共通部分になります。これは問い合わせを二つに分けても、同じ対象を取り出せるという数学的な根拠です。

その一方、データを変換した後では元の違いが消えることがあります。入力 -1 と 1 を二乗してしまうと、出力だけからはどちらだったか判断できません。像の共通部分と共通部分の像が一致しない例は、処理の順序によって保持される情報が違うことを表しています。単射であるかどうかは、異なる入力を出力だけで区別できるか、という問いにもなります。

分類のための関係を設計する際には、同値関係の条件が役立ちます。「数値の差の絶対値が 1 以下なら同じ仲間」と定めると、自分自身とは同じ仲間で、関係の向きも反転できます。しかし 0 と 1、1 と 2 はそれぞれ同じ仲間でも、0 と 2 は同じ仲間ではありません。推移律が壊れています。この関係をそのまま商集合の同値関係として使うことはできません。

もし近いものを順に結んで同じ仲間にするなら、それは元の関係を推移的につなぎ直す別の定義です。その場合は、端と端が遠いものまで同じ分類に入る可能性があります。「似ている」という日常語から分類を作るとき、何を保存し、何を区別しなくてよいかを定義しなければなりません。剰余の例は、整数の大きさを捨て、余りに関する違いを残す分類でした。

現代の基礎研究では、集合を扱う際の論理そのものを変える道も検討されています。Hinnion の論文は、三値論理と矛盾許容論理という二つの非古典論理の流れを取り上げ、それらの扱いやすい形を統一的に提示し、包括原理と外延性を含む素朴な集合論を扱っています（Hinnion, 1994）。外延性とは、要素がまったく同じ集合は等しいという原理です。包括原理は、条件に対応する集合の存在に関する原理です。

ここでの研究上の焦点は、集合の式だけでなく、その式から何を推論してよいかにもあります。本稿の逆像の証明や量化子の否定は通常の古典論理のもとで説明しています。論理の規則を変えた理論を読むときには、見慣れた記号が現れても同じ推論を自動的に持ち込めません。データ分類の例は集合の言葉の使い道であり、Hinnion の研究内容として述べているものではありません。

応用と基礎研究に共通するのは、計算する前に規則を明確にする必要です。入力の集合は何か、出力として許すものは何か、二つの対象が同じとは何かを定めると、処理を検査できる形になります。集合・写像・論理は、情報を扱う手順の説明書を数学的に書くための言葉にもなるのです。

証明を読む手順と自分で書く手順

大学数学でつまずきやすいのは、数個の例で確かめたことと、すべての場合を示したことの違いです。Stylianides と Stylianides は、経験的な議論による一般化の検証の限界に気づき、証明の必要性を捉えるための授業系列の理論と実施を論じています（Stylianides・Stylianides, 2009）。対象は大学の数学科目での授業研究であり、その内容から高校生全員への効果を一律に結論づけることはできません。ここでは授業の着眼点を、例の確認から一般的な理由へ進む学習の参考にします。

また Selden は、大学段階の数学で自律的に厳密な証明を理解し構成する際の困難として、論理の適切な使用、形式的な定義、例と反例、議論の正しさを読む力などを扱っています（Selden, 2012）。大学段階への移行を論じる章であり、特定の練習法の効果を数値で示す研究として読むものではありません。定義を覚えたのに証明が書けないとき、記憶量だけでなく、定義をいつ使うかという面を点検する手がかりになります。

練習の第1の手順は、対象の範囲と目標を別々に書くことです。「f は単射であることを示せ」なら、f: A → B を確認し、任意の x, y ∈ A を取るところから始めます。仮定として f(x) = f(y) を置き、目標を x = y と書きます。これだけで、全射の証明と混ざりにくくなります。

第2の手順は、定義を展開することです。全射なら、まず任意の b ∈ B を取り、f(a) = b となる a ∈ A を見つけます。例えば f: ℝ → ℝ, f(x) = 2x + 1 なら、b に対して a = (b – 1)/2 と選びます。

f(a) = 2 × ((b – 1)/2) + 1 = b

a が実数であることも確認して、全射の証明が終わります。単射の証明は別に、2x + 1 = 2y + 1 から 2x = 2y、したがって x = y と進めます。二つの証明を並べると、全単射という一語の中に違う仕事が含まれていることがわかります。

第3の手順は、否定を書いて反例の条件を決めることです。単射でないことを示すなら、「異なる入力 x, y があり、出力は等しい」という組を探します。全射でないことを示すなら、「どの入力からも出ない終域の要素 b」を探します。問題に合わない例を大量に計算するより、必要な反例の形を先に定めるほうが見通しを持てます。

第4の手順は、証明を読み終えてから、各行で使った仮定に印を付けることです。同値類が分割を作る証明なら、反射律、対称律、推移律をどこで使ったかを探します。使っていない条件があるなら、本当に不要なのか、どこかの説明を飛ばしたのかを考えます。逆像の証明に単射性が要らないことも、この読み方で確かめられます。

高校生のうちには、二次方程式や不等式の解答で「この変形は逆向きにも言えるか」と問い直す練習ができます。一つの問題で十分です。答えが合っていた日にも、定義域、同値な変形、一方向だけの変形を区別して書き足してください。証明の文章を長くする練習ではなく、必要な条件を残す練習です。

塾では、できあがった証明を写す前に、最初の一文を自分で決めるところを支えます。全称命題なら任意の対象を取る、存在命題なら候補を選ぶ、集合の等式なら二つの包含を調べる、と目標に応じて出発点を変えます。祖父の書斎の古い教科書をもう一度開き、余白のノートに「いま固定したもの」「後で選べるもの」を書き分ける。その小さな作業にも、量化子を読み解く練習が入っています。

家庭では、お子さまが証明を最後まで書けたかだけでなく、「何を示したいのかを説明できたか」を聞く時間が役立ちます。保護者が内容の正誤をすべて判定する必要はありません。「その数はどこから選んだの」「一つの例でよい問いなの」と尋ねるだけでも、本人が説明の不足に気づくきっかけになります。解答の速さとは別に、条件を言葉にできた進歩を受け止められます。

ここで手が止まるなら、止まった単元まで一緒に戻ります。武蔵境の数学塾（1 対 1）／お問い合わせ

記号への疑問から次の一問へ

記号をすべて覚えてから証明を始めるべきですか

必要な記号から使えば構いません。まず ∈ と ⊆、∀ と ∃ の違いを、自分で作った短い文で確かめましょう。記号の読み方を言えても、対象が数なのか集合なのかが曖昧なことがあります。式の下に日本語で意味を一行書くと、その曖昧さを見つけやすくなります。記号を使わず正確に述べられるなら、それも理解を支える大切な段階です。

たくさん代入して合えば証明になりますか

有限集合のすべての要素を漏れなく調べたなら、その範囲では証明になり得ます。しかし自然数全体など無限の対象について、一部の値を確かめただけでは全称命題の証明にはなりません。一方、全称命題を否定するには反例が一つあれば十分です。「正しいことを示す」と「正しくないことを示す」では、例が担う役割が違います。

商集合で同じとみなすと元の情報はなくなりますか

商集合への写像 x ↦ [x] は、同じ同値類に入る要素の違いを区別しません。3 で割った余りによる分類なら、1 と 4 の大きさの違いは同値類からは取り戻せません。その代わり、余りに関する計算を代表元に依存せず行えます。何を残し、何を区別しないかを目的に合わせて定めることが、商集合を使う判断になります。

集合の等式を証明するときは、一つの要素を取って所属条件をたどりました。写像の性質を調べるときは、入力と出力の範囲を固定しました。同値類で計算するときは、名前を変えても結果が変わらないことを示しました。どれも計算の前後にある条件を、読み手に見える形にする作業です。

古いページに並んでいた記号は、これから学ぶ解析学や代数学でも繰り返し現れます。今日の一問で、任意に選ぶものと存在を示すものを区別できれば、その一問は次の分野への足場になります。大学数学の言葉は、条件を一つ残さず述べる一文から身につきます。

あわせて読む（数学の地図・高校数学の単元解説）

参考文献

A Kanamori（1996）「The mathematical development of set theory from Cantor to Cohen」Bulletin of Symbolic Logic. https://doi.org/10.2307/421046
Romane Clark（1978）「Not Every Object of Thought has Being: A Paradox in Naive Predication Theory」Noûs. https://doi.org/10.2307/2214691
A Weir（1998）「Naive set theory is innocent!」Mind. https://doi.org/10.1093/mind/107.428.763
Roland Hinnion（1994）「Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic」Notre Dame Journal of Formal Logic. https://doi.org/10.1305/ndjfl/1040609292
Gabriel J. Stylianides, Andreas J. Stylianides（2009）「Facilitating the Transition from Empirical Arguments to Proof」Journal for Research in Mathematics Education. https://doi.org/10.5951/jresematheduc.40.3.0314
Annie Selden（2012）「Transitions and Proof and Proving at Tertiary Level」New ICMI studies series. https://doi.org/10.1007/978-94-007-2129-6_17