現代数学の共通言語を学ぶ：論理学と集合論の具体的ステップ

現代数学の第1段階では、すべての数学的記述の基礎となる「命題・述語論理」の扱い方と、「素朴集合論（集合・写像・同値関係）」の概念を学ぶ必要がある。本記事では、大学数学特有の「証明」が読めるようになるための具体的な学習ステップを解説する。

論理学と集合論の学習ステップ

この段階の目標は、「数学の文章（定義や定理）を正確に読み取り、誤りのない論理展開で証明を書けるようになること」である。以下の4つのステップに沿って学習を進めるのが効果的である。

まずは、「真（正しい）」か「偽（誤り）」かが明確に定まる文章である「命題」の扱い方に慣れる必要がある。

大学数学で多くの初学者がつまずく最大の要因が、この「述語論理」である。ここを乗り越えられるかが最初の関門となる。

全称記号（すべて）：「任意のについて〜」を表す記号（）の使い方を学ぶ。
存在記号（存在する）：「あるが存在して〜」を表す記号（）の使い方を学ぶ。
記号の順序と否定：「」と「」で意味が全く異なることを理解する。また、これらの記号を含む命題の否定（例：「すべての人がりんごを好き」の否定は「りんごが好きではない人が少なくとも1人存在する」）を正確に作れるようにする。

論理の言葉を身につけたら、次は数学の対象をまとめる「集合（Set）」という枠組みを学ぶ。

集合と元：対象が集合に属していること（）や、部分集合（）の定義を理解する。2つの集合が等しい（）ことを証明するには、「かつ」を示すという基本動作を習得する。
集合の演算：和集合（）、共通部分（）、補集合、差集合などの概念をベン図で直感的に理解した上で、Step 1で学んだ論理記号を使って厳密に定義・証明できるようにする。

集合と並んで極めて重要なのが、集合間の関係性を記述するツールである。

写像（Mapping）：高校までの「関数」を一般化した「写像」の概念を学ぶ。「単射（1対1）」「全射（値域が終域に一致する）」「全単射（逆写像が存在する）」の定義を正確に暗記し、具体例で判定できるようにする。
同値関係と商集合：「等しさ」という概念を一般化した「同値関係」を学ぶ。ある性質において「同じ」とみなせるものをグループ化して新たな集合を作る「同値類」と「商集合」の概念は、代数学（剰余群）や位相幾何学（貼り合わせ）など、あらゆる分野で使われる強力なツールである。

第1段階の学習を進める上で、よくある疑問と対処法を示す。

Q. どのくらいの深さまで学べばよいか？: A. 初学者は「公理的集合論（ZFC公理系など）」のような、数学の基礎を極限まで厳密化する分野に深入りする必要はない。まずは「素朴集合論」をツールとして使いこなせるようになれば十分である。「定義を理解し、簡単な命題を自力で証明できるレベル」を目標にするとよい。
Q. 具体的にどんな本で勉強すればよいか？: A. 大学初年級向けの「集合と位相」というタイトルの教科書の前半部分（集合の部分）を読むのが王道である。ブログ運営者としては、「集合とはなにか（竹内外史著）」または、「現代数学の考え方（イアン・スチュアート著）」を読んでから、上の王道を行くと良いと思う。なぜなら、現代数学での集合の考え方が理解できないと、高校数学の延長線上の計算の数学をやることになるからだ。

現代数学の共通言語を習得するためのポイントは以下の通りである。

この第1段階をクリアすれば、代数学や解析学の専門書を開いたときに「何が書かれているか全く読めない」という事態を避けることができ、その後の学習が圧倒的にスムーズになる。

Google検索で優先ソースに設定する

他の記事を探す