7931のあたまんなか

数学/読書メモ/自分の考え方/水曜どうでしょう/交通関係(道路・航空)など、頭の中にあることを書き出しています。

連載「試験のゆめ・数理のうつつ」 ~ 『数学セミナー』読書メモ

数学セミナー』では、2017年4月号から、時枝正さんによる「試験のゆめ・数理のうつつ」が連載されています。

いろいろな分野の重要定理やそれを使った問題を俯瞰できる連載で、とても気に入っています。
各月でどのような内容が紹介されているかを記録するのが、この記事の目的です。

この連載の概要

ケンブリッジ大学の数学専攻の試験にトライポスというものがあります。

この連載では、各月のテーマごとにトライポスの雰囲気を感じられる問題が紹介されています。

各月で紹介される問題は10問前後で、簡潔な解答がつけられています。

複数分野が融合された問題も見られ、意外な発見があるのが楽しみです。

【第1回 - 2017年4月号】ケンブリッヂの入試

イントロダクションとして、ケンブリッジの数学専攻に入るための口頭試験のサンプル問題が紹介されています。

「口頭」と言いながらも、このような試験のようです。

座るやいなや,問題を与える.「口頭」とは名ばかり,その場でペンと紙をどしどし使わせ,つまづくようす,解くようす,あきらめるようす,巻き返すようす,を観察する.すぐ解けるようなら問題を難しくし,なかなか解けぬようなら易しくし,初めの2~3分でその人がこなせるぎりぎりの水準を探り当て,30分間6つ~7つ問題をやらせるのである.
(『数学セミナー 2017年4月号』45ページより引用)

紹介されている12問から2問を引用します。

問3 100! のしっぽにはいくつ 0 が連なるか?

問6 すべすべな面に静止したおはじきAに,同質量のおはじきBをぶつけると,散乱角は 90° になる.これを導け.正面衝突させると何がおこるか?

【第2回 - 2017年5月号】確率:逆説あれこれ,条件付けて考える

一般的な確率の問題から、標本調査、ベイズ統計、条件付確率/期待値、幾何確率、積分確率などに関する問題が紹介されています。

印象的だったものは、 調和平均 ≦ 幾何平均 ≦ 算術平均 の関係を確率論的にとらえた問題(題5)です。

確率や期待値を積分を使って評価する問題もいくつかあります。
あまりやったことがないので、とても新鮮に見えました。

【第3回 - 2017年6月号】力学:保存量やりとり,次元解析

運動量、遠心力、ケプラーの三法則、エネルギーなど、数学というより物理の内容です。

高校物理+αしか学んでいない私にとって、新鮮味がある問題ばかりでした。

例えば、こんな問題。

題5 片面バターを塗ったトーストがテーブルの縁から落ちると,えてしてバター面がうつぶせに着地しますよね.くるりとフル回転してあおむけに着地させるためにはテーブルの高さを何倍にすべきか?即答しなさい.

題8 川床にグラフ  B=B(x) で与えられるこぶを築いたとき,川面の高低はどう変わるか?

【第4回 - 2017年7月号】群:対称性をみぬき,作用してほぐす

タイトルにあるとおり、群の作用に着目した問題が紹介されています。

問題に対する解答の帰結として、基本群の例やフェルマーの小定理が得られる問題もあります。

考えたことがなかった!と思ったのが、次の2つの問題です。

題7 群から2元をランダムに抽出したとき,それらが可換な確率は何か?

(題8の後に書かれた内容の抜粋)
群,群というけれど,群ってありふれた存在なのでしょうか?それとも稀なのかな?
定理 位数  n の群の数は高々  n!^{\log_2 n} である。
―結合律はかくも厳しい要請なのであった。

【第5回 - 2017年8月号】1変数の微積分:テレスコープ原理,連続と離散

この回は、以下の3つの部分に分類されます。

ディガンマ関数とは、ガンマ関数の対数微分を取ったものとのこと。

ガンマ関数が乗法的とすると、ディガンマ関数は加法的と考えられ、無限級数との相性がよさそうです。

余談ですが、「連続と離散」というと、微分積分と差分・和分の関係を初めて知った数学ガール』を読んだときの衝撃が印象に残っています。

数学ガール (数学ガールシリーズ 1)

数学ガール (数学ガールシリーズ 1)

この連載と同じく『数学セミナー』で連載中の梅田亨さんの「計算するたのしみ―スターリング数のいる風景」でも、差分・和分が扱われており、いずれじっくり読んでみたいと思っています。

【第6回 - 2017年9月号】ベクトル解析:ラプラシアンの意味,球の調和場

前半は調和関数(ラプラス方程式  \triangle \varphi = 0 の解)に関する問題が紹介されています。

後半はベクトル解析を使って、重力ポテンシャルなどの話が出てきます。
(後半の内容は知識がほとんどないので、私の力では説明できません…)

調和関数は、私の修士時代の研究内容に関係してきます。
時間があれば、改めて勉強したいと思っています。

印象に残った次の問題は、複素関数論のリュウビルの定理の一般化とのこと。
具体的にどういう関係なんだろう?

題8  \mathbb{R}^n 全体で有界な調和関数は定数である。

【第7回 - 2018年4月号】数論:素数のたちい,合同式のふるまい

6ヶ月間の休載を経て、次は素数合同式の話題です。
学部時代に勉強した内容でとても懐かしい思いがしました。

内容は次のように分類されます。

素数定理を使った次の問題が印象的です。(本文と記述は変えています)

題17 素数/素数の形の有理数全体は、正の実数全体の集合で稠密である。*3

【第8回 - 2018年5月号】微分方程式:デルタとグリーン,指数函数百面相

微分方程式の解をグリーン関数と呼ばれる関数で記述する問題などが出てきます。

グリーン関数は初めて知りました。ディラックデルタ関数で記述する関数です。

ですので、たたみ込みやフーリエ変換がからむ話も出てきます。先日書いたこの記事の続きにあたる内容です。(続きを書きたいけど、手が出てません)
wed7931.hatenablog.com

ほかにも、調和振動、強制減衰振動、うなり、共鳴、シュレディンガー方程式、特異摂動といった物理関係の話題が出てきます。

【第9回 - 2018年6月号】確率:エントロピーでえらび,母函数できわめる

前半はエントロピーと確率の関係、後半はまさに確率に関する話です。

…が、今回は畑違いすぎてお手上げです。エントロピーは学部1年の物理の講義で聞いたことがあるなぁという程度です。

解答の内容は理解できませんでしたが、おもしろそうな問題を2つ挙げておきます。

題5 塩漬・糖漬が食品を長持ちさせるのはなぜか?

題11 1990年代GPSは軍事用チャネルと民間用チャネルが併存し,米国防省はわざと雑音を混ぜて民の精度を落としていた.ところが,あっけない工夫のおかげで,民のみ受信してなお軍の精度を達成する人が続出したので,雑音を廃した,という伝説がある.どんな工夫だったでしょうか?

キーワード:ボルツマン分布、確率変数の列の収束の概念いろいろ、大数の法則中心極限定理の証明、ワイエルシュトラスの近似定理など

【第10回 - 2018年7月号】力学:まわる剛体,いたずらな接点

タイトルにあるように、剛体の力学がテーマです。

自分でも多少は理解できたので、高校程度の物理の知識(慣性モーメント、摩擦係数、回転運動など)があればざっと読めるかと思います。

扱われている問題も生活に即したものが多く、イメージしやすく楽しいです。

  • 氷上の回転椅子に座って回転するには?(題1)
  • 長さが同じ4本脚の机を床に置くと、ガタガタすることがあるのはなぜか?それを直すにはどうすればいいか?(題2)
  • ビリヤード玉にバックスピンやトップスピンをかけるにはどこを打つべきか?(題8)
  • 逆立ち独楽はなぜ逆立ちするか?(題11)

【第11回 - 2018年8月号】群:位数をよりあわせ,構造をつむぐ

第4回(2017年7月号)に続いて、「群」は2回目です。

前半はあみだくじに代表される対称群置換の符号について。

 n 次対称群  S_n交代群  A_n の生成系、正多面体群と同型な群などがまとめられています。

次の問題は初めて見ました。確率と期待値を使って解かれています。

題5  S_n の置換の転倒数の平均は  \frac{1}{2} \binom{n}{2} = \frac{n(n-1)}{4}

記事内で言及されている15パズルの可解性は、『数学セミナー 2017年10月号』で取り上げられています。

wed7931.hatenablog.com

後半は元の位数に関する問題です。

印象的なのはこの問題です。

題8  S_9 に位数20の元は存在するか?位数18の元はどうか?  S_n の元の最大位数はどのくらいか,みつもれ.

最後には、スピンの実験が説明されています。群の準同型と2重被覆、ホモトピー類を体現する実験とのこと。 *4

【第12回 - 2018年9月号】線形代数:自由度の勘定,行列の分解

ガウスの消去法や次元定理などの線形代数の基本から、ラグランジュ補完、ホモロジー、離散フーリエ変換などの話題に展開していきます。

線形代数の教科書でよく見る問題が多い中、次の2つの問題が印象的です。前者は計算量、後者は固有値に関する問題。

題3 四則演算を1ステップと数えて,未知数  n 個,式  n 本の消去法のコストをみつもれ.クラメールの規則と比べよ.

題14 一年中雨季のケンブリッヂでは,  k 日目の降水量  r_k \frac{r_{k-3} + r_{k-2} + r_{k-1} }{3} と予報する.  r_1, r_2, r_3 は天気予報史初期の観測値,三日坊主で以来観測はやめてしまった.この数列は収束するか?収束先の極限は?

【第13回 - 2018年10月号】多変数微積分:渦巻く場,秘法 εε=δδ-δδ

前半はラグランジュ乗数やヘッセ行列、ストークスの公式などが扱われています。

後半はベクトル積とナブラ  \nabla の関係式と物理との関係です。ビオ-サバールの法則、マクスウェル方程式、ナビエ-ストークス方程式など、物理関係の用語が並びます。

次の問題は一見とっつきにくいですが、解答を見て「なるほど!」と思いました。

題5 閉多角形各辺にその辺のサイズの外向き垂ベクトル  \mathbf{n}_i を植える.  \sum_{i} \mathbf{n}_i = 0 である(各  \mathbf{n}_i を90°捻った和は閉 =0.捻る前の和も =0).閉多面体の類似はいかに?アルキメデスの浮力を説明しなさい.

【第14回 - 2018年11月号】集合:明るい形式,無限の暗がり

数学的帰納法、集合の基数(濃度)、選択公理・整列定理・ツォルンの補題の同値性など。

松坂和夫『集合・位相入門』で勉強していた内容を、とてもざっくりと復習した感じです。

印象的なのは次の問題です。ここで、可算無限  \aleph_0 = | \mathbb{N} | と連続体の濃度  \mathfrak{c} = \aleph= | \mathbb{R} | です。

題4  \mathbb{R} から  \mathbb{R} への解析関数全体の基数を言え.(文言を変えています)

題5 連続関数  f:  \mathbb{R} \to \mathbb{R} で,有理数では無理値を,無理点では有理値を取るものは存在するか?存在するなら例を作り,しないなら理屈を説明せよ.

 \mathbb{Q} \mathfrak{c} 次元ベクトル空間  \mathbb{R} の基底の存在(解8の文中)

加えて、あまりなじみのないシュペルナー族やランダムグラフ(とベッチ数の関係)についても書かれています。

【第15回 - 2018年12月号】微分方程式:軌道のゆくえ,相図のかわりめ

常微分方程式の解軌道、平衡点(不動点)の安定性と分岐、微分方程式を離散化した差分方程式、力学系など。

後半は物理に関係する話題が出てきます(減衰ふりこ、勾配流、シュレディンガー方程式など)。

常微分方程式はほとんど理解できていないため、うまくレポートできないのが残念です…。

【第16回 - 2019年1月号】確率:分枝と乱歩,ポワソンと待ち行列

前半は3種類の確率過程(分枝過程、乱歩、連続時間の確率過程)、後半は待ち行列のモデルについて書かれています。

特に、乱歩の確率過程では母関数(離散的な確率分布を係数にした冪級数)が大きな役割を果たしています。

乱歩は 『数学ガール/乱択アルゴリズム』 第8章、母関数は 『数学ガール』 第4章が参考になりそうです。

【第17回 - 2019年2月号】特殊相対論:時空の幾何,4運動量の物理

前半は、特殊相対論の主張やそこから導かれる内容について、ミンコフスキー時空やローレンツ群を使って説明されています。

光円錐やローレンツ群の単位元を含む連結成分  \mathrm{SO}^{+} (1,1) などが出てきて、自分が書いた表現論の修士論文に出てきた!とワクワクしました。
もう一度、きちんと理解したいものです。

後半は、4運動量と呼ばれるものを使って議論が展開されています。
残念ながら、ほとんど理解できませんでした…。

題4に書かれている「光速以下の速度をいくら加えたって光速は超えない」という主張がとても印象的です。

【第18回(最終回) - 2019年3月号】トライポス小史

この連載で扱われたトライポスの歴史が書かれています。

年代が進むにしたがって出題範囲が広くなっていっています。

18世紀の出題範囲にすでに含まれている静水力学という用語を初めて知りました。流体力学があることを考えると自然ですね。

また、後半に書かれている、学生指導についての筆者の工夫が印象的です。

*1:素因数分解をしたときに(1以外の)平方因子を持たない数のこと。つまり、素因数分解が相異なる素数の積になる。

*2:フェルマーの小定理の一般化

*3:つまり、 \alpha < \beta を満たす任意の正の実数  \alpha, \ \beta に対して、  \alpha < p/q < \beta を満たす素数  p, \ q が存在する。

*4:あまり理解できていないです…。