大学カタログ

図 2 4 年間の流れ()4 年間の流れ 2

2 年: 抽象の世界に入る

集合と位相、群や環など、数や図形から一歩離れて「構造」そのものを学び始める 1 年です。無限の大きさ比べや、15 パズルが解けない理由など、抽象的な道具だからこそ分かることに出会います。

図書館の大きな机で、円や矢印の図を描いたノートを広げて議論する 2 年生たちと、机の上のスライドパズル

ひとことで言うと

将棋とチェスに共通するルールの形

将棋とチェスは、駒の名前も見た目も違います。それでも「交互に 1 手ずつ指す」「相手の王を追い詰めたら勝ち」というルールの形は共通です。2 年の数学は、数・図形・パズルのように見た目の違う対象から共通の形を取り出し、まとめて調べる学問の入口です。

01

2 年の科目: 数学科らしい授業が始まる

2 年になると、数学科ならではの科目が本格的に始まります。名古屋大学では、理学部の学生が 2 年で数理学科に進みます。集合と写像、線形空間と線形写像、位相空間の基礎、行列の標準形、多変数関数の微分・積分などを学びます。

千葉大学の数学・情報数理学科のカリキュラム・ツリーでも、位相空間論や代数学 I・II、統計学が 2 年ごろの科目として示されています。群・環といった代数学の入門は、2 年に置く大学も、名古屋大学のように 3 年に置く大学もあります。

中心になるのは、集合と位相です。3 年以降に学ぶ多様体や関数解析、確率論は、どれも集合と位相の言葉で書かれています。2 年は、この共通の言葉の文法を覚える時期です。

2 年の科目は、3 年以降のすべての分野で使う「共通の言葉」を学ぶ時間です。

図解2 年生の 1 週間(例)

  1. 月集合と位相開集合と連続写像の定義を読む
  2. 火代数学入門・英語群の定義に当てはまる例を集める
  3. 水数学演習位相の問題を黒板で発表する
  4. 木多変数の微分積分偏微分と重積分を計算する
  5. 金統計学データから全体の様子を推し量る
  6. 土・日自主ゼミ・アルバイト友だちと教科書を読み合う

02

集合: 無限にも大きさの違いがある

集合の授業では、ものの集まりの大きさを、1 対 1 の対応で比べます。教室の椅子に生徒を 1 人ずつ座らせて、椅子も生徒も余らなければ数は同じです。数えなくても比べられる、という考え方です。

これを無限の集まりに使うと、意外なことが起きます。自然数 1, 2, 3, … と偶数 2, 4, 6, … は、n と 2n を組にすれば、余りなく 1 対 1 に対応します。偶数は自然数の一部なのに、「個数」は同じなのです。分数も、うまく並べると自然数と 1 対 1 に対応させられます。

ところが、実数はそうはいきません。ドイツのカントールは、実数全体が自然数と 1 対 1 に対応させられないことを証明しました。つまり、実数は「数えられない」のです。1873 年 12 月までに証明し、1874 年に発表しています。無限にも大きさの違いがあることを示した、集合論の出発点です。

直感の通じない世界で頼りになるのは、1 年で身につけた定義と証明です。2 年の集合と位相では、こうした無限の扱い方を、写像や同値関係といった道具とともに学びます。

1 対 1 の対応という 1 つの考え方で、無限どうしの大きさまで比べられます。

図解数えられる無限・数えられない無限

数えられる無限

  • 自然数と 1 対 1 に対応できる
  • 例: 偶数・整数・分数
  • 1 番、2 番と番号を付けられる

数えられない無限

  • 自然数と 1 対 1 に対応できない
  • 例: 実数全体
  • 1873 年にカントールが証明
口ひげとあごひげをたくわえたカントールの白黒の肖像写真
ゲオルク・カントール(1845〜1918 年)。実数が自然数よりも「多い」ことを証明し、集合論を切り開きました。写真: 作者不詳(Public domain・Wikimedia Commons)

03

群: 15 パズルが解けない理由

群は、「元に戻せる操作」の集まりを調べる道具です。2 つの操作を続けて行うことを、数のかけ算のような計算として扱います。

身近な例が 15 パズルです。4×4 のマスに 1〜15 の札と空きマスが 1 つあり、札を滑らせて順に並べます。1880 年ごろのアメリカで大流行しましたが、14 と 15 だけを入れ替えた配置は、どう動かしてもそろいません。

1879 年には、アメリカの数学者ジョンソンとストーリーが、学術誌でこのパズルを分析しました。札の並べ替えを、偶数回の入れ替えでできるものと奇数回でできるものに分けると、たどり着けるのは片方だけです。全体のちょうど半分の配置は解けません。

下の図は、その理由の要点です。「どれだけ試しても見つからない」ではなく、「絶対にできない」と言い切れるのが、群を使った証明の力です。

群の考え方を使うと、「できない」ことまで証明できます。

図解14 と 15 の入れ替えができない理由

入力14 と 15 だけが入れ替わった 15 パズル
  1. 1空きマスも 16 枚目の札と考える
  2. 21 手ごとに、2 枚の入れ替えが 1 回起きる
  3. 3空きマスを右下に戻すには、偶数手かかる
  4. 42 枚だけの入れ替えは、奇数回の入れ替え
  5. 5偶数回と奇数回は同じ並びにならない
結果14 と 15 の入れ替えは、どう動かしても作れない
畑の中で巨大な 15 パズルの前にひざをつき、札を動かそうとする男性を描いた古い挿絵
サム・ロイドのパズル集(1914 年)に載った 15 パズルの挿絵。15 パズルは 1880 年ごろのアメリカで大流行しました。写真: Sam Loyd(Public domain・Wikimedia Commons)

04

抽象化の壁: 定義から具体例を作る

2 年で多くの人が戸惑うのが、抽象化です。たとえば位相の授業では、「開集合」と呼ぶ集まりの性質だけから、「近い」や「連続」を定義し直します。1 年の ε-δ 論法は距離を使いましたが、位相では距離がなくても連続を語れるようになります。

定義を眺めているだけでは、意味はなかなかつかめません。東北大学の数学科の学生アンケート(2023 年度)には、普段から心がけていることが並んでいます。「具体例を作る」「自分なりに言い換えて定理やその証明を理解する」などです。何を仮定しているのかを明確にして議論する、という声もありました。

定義に慣れると、景色が変わります。東北大学の先輩の 1 人は、数列を「数の並んだもの」と思っていました。それが「自然数を入力して実数を出力する関数」と定義できると知ったとき、目からうろこが落ちたそうです。定義に慣れれば、抽象的な概念にも実感が持てるようになります。

抽象的な定義は、具体例とセットで覚えると使えるようになります。

図解抽象的な定義を読むこつ

  1. 1書き写す定義を一字一句ノートに写す
  2. 2例を作る小さな具体例に当てはめてみる
  3. 3例でないものを探す条件を 1 つ外すと何が崩れるか
  4. 4言い換える自分の言葉で 1 文にまとめる
  5. 5人に話す友だちに説明して穴を見つける

05

「わかった!」が来るまで

抽象的な数学では、1 つの定理が分かるまでに何日もかかることがあります。東北大学のアンケートには、何時間考えても思いつかなかったことが、一度寝て起きたらすぐに思いつくことがよくある、という声もありました。

友だちとの教え合いも力になります。同じアンケートでは、代数が得意で幾何が苦手な学生が、反対に幾何が得意な友だちと、授業のあとに内容を解説し合った経験を挙げています。

2 年の内容は、その先もずっと使います。名古屋大学の大学院生は、大学院の入試の筆記試験が主に 2 年までの学習内容から作られていると紹介しています。2 年で身につけた道具が、3・4 年の専門と大学院への入口になります。

クイズ2 年の学びクイズ

このページで紹介した内容から出題します。

  1. Q115 パズルで、14 と 15 だけを入れ替えた配置はそろえられる?

  2. Q2自然数(1, 2, 3, …)と偶数(2, 4, 6, …)の個数を、1 対 1 の対応で比べると?

  3. Q3自然数と 1 対 1 に対応させられない(数えられない)とカントールが示したのは?

0 / 3 問に回答

高校生のうちに試せること

  • 8 パズルを紙で作って試す

    厚紙で 3×3 のマスと 1〜8 の札を作り、7 と 8 だけを入れ替えた配置からそろえられるか試しましょう。そろわないと感じたら、空きマスを動かした回数と、札の入れ替えの回数を数えてみてください。

  • あみだくじで並べ替えを作る

    縦線 4 本のあみだくじに横線を何本か引き、上の A〜D が下でどう並ぶかを書き出しましょう。横線 1 本は、となりどうしの入れ替え 1 回です。どんな並べ方でも作れるか、横線の本数の偶数・奇数で何が変わるかを調べてみてください。

  • 分数に番号を付けてみる

    1/1、1/2、2/1、1/3、2/2、3/1 … のように、分子と分母の和が小さい順に分数を並べましょう。2/2 のように前と同じ値を飛ばしていくと、すべての正の分数に 1 番、2 番と番号が付けられることを確かめられます。

「2 年: 抽象の世界に入る」に関連するコミュニティ

研究室・部活・サークルなど、全国の 27 件から探せます。

NO IMAGE
研究室未認証

代数数理グループ

広島大学(広島県)

先進理工系科学研究科 数学プログラム・数学・木村 俊一 教授

代数学、整数論、数論幾何学などを研究している。

研究室未認証

位相的データ解析学

岡山大学(岡山県)

工学部 情報・電気・数理データサイエンス系 数理データサイエンスコース・位相的データ解析・大林 一平 教授

パーシステントホモロジーを中心に、トポロジーを使ったデータ解析の理論と応用を研究する。

NO IMAGE
研究室未認証

小島研究室

新潟大学(新潟県)

理学部 理学科 数学プログラム・代数幾何学・可換環論・小島 秀雄 教授

多項式で定まる図形を扱い、開代数多様体や多項式環の構造を研究する。

研究室未認証

応用代数学

岡山大学(岡山県)

工学部 情報・電気・数理データサイエンス系 数理データサイエンスコース・可換環論・早坂 太 教授

グレブナー基底を使った代数計算や統計への応用と、可換環論の基礎理論を研究する。

NO IMAGE
研究室未認証

橋詰研究室

新潟大学(新潟県)

理学部 理学科 数学プログラム・代数幾何学・橋詰 健太 助教

NO IMAGE
研究室未認証

代数学

岡山大学(岡山県)

環境生命自然科学研究科 数理情報科学 数理科学・代数学・寺井 直樹 教授

数論・環論・代数幾何学・表現論など、演算をもつ代数系を基礎とする代数学を研究する。

研究室をすべて見る(15 件)

よくある質問

集合と位相は、何の役に立ちますか?

3 年以降に学ぶ多様体や関数解析、確率論などは、どれも集合と位相の言葉で書かれています。位相を使うと、距離がない場面でも「近い」や「連続」を扱えるので、関数の集まりのような大きな空間も調べられます。

2 年で学ぶ内容は、大学院の入試にも出ますか?

大学によって異なります。名古屋大学の大学院生は、大学院の入試の筆記試験が主に 2 年までの学習内容から作られていると紹介しています。進学を考えている人は、志望する大学院の過去の問題を早めに見ておくと安心です。

抽象的な数学に向いているか不安です

最初から抽象的な定義がすっと分かる人は多くありません。東北大学の学生アンケートでも、具体例を作る、自分の言葉で言い換える、一度に全部分かろうとしない、といった工夫が挙がっています。続けるうちに、定義に実感が持てるようになります。