はじめに
こんにちは. 今回はタイトルの通り, 今年の東大数学の第3問が代数的に面白い解釈ができるというお話をしていこうと思います. 東大の過去問を見たくないという方にとってはネタバレ注意です!
この内容は, inspired by
AKITOさんのツイート
です. 感謝申し上げます.
群に関する基本事項を分かっていると楽ですが, そうではない高校生にもなんとなく分かるように説明をしていこうと思います.
それでは早速, 問題を見ていきましょう.
座標平面上を次の規則(i), (ii)に従って秒ごとに動く点を考える.
(i)最初に, は点にいる.
(ii)ある時刻でが点にいるとき, その秒後にはは
- 確率で軸に関してと対称な点
- 確率で軸に関してと対称な点
- 確率で直線に関してと対称な点
- 確率で直線に関してと対称な点
にいる.
以下の問いに答えよ. ただし, (1)については, 結論のみを書けばよい.
(1)がとりうる点の座標をすべて求めよ.
(2) を正の整数とする. 最初から秒後にが点にいる確率と, 最初から秒後にが点にいる確率は等しいことを示せ.
(3) を正の整数とする. 最初から秒後にが点にいる確率を求めよ.
長いですね. 図にすると以下のようになります.
上図の8つの点((1)で聞かれているのがこれです)を点が動き, その動きは4つのうちから1つの軸を選びそれに関して反転させるというものです.
まず頭の中で何回か操作をしてみると, いろいろな対称性があることがわかります. 具体的には,
- 軸または軸を選び続けると, 特定の4点しか通らない.
- またはを選び続けても, 特定の4点しか通らない.
- 奇数回の操作後, 偶数回の操作後では, それぞれ特定の4点にしかいることはない.(ななめの正方形が浮かび上がってきます.)
などでしょうか.
さて, 大学数学では, 「対称性を記述する」と言われる理論があります. それが群論です.
状況を抽象化する
このままでは若干分かりにくいので, 今回の問題の本質を抽出していきましょう.
まず, 8つの点が成す8角形は正8角形としてしまって問題なく, その方が対称性が分かりやすくなります. また, 頂点が軸上にあった方が何かと都合が良いので, 次のように図を描きかえてしまいましょう.
ここで, 点はとの間にあったので, この図では辺が対応することに注意します.
すると元の問題は次のように書き換えられます.
「正8角形 を, のどれかに関して反転させる」という操作を回繰り返したとき, 赤く塗った辺が元の位置に戻ってくる確率を求めよ.
このような, ある対象に対する(可逆な)操作の合成がどのように振る舞うか, を数式で表現するのが群論となります. (正確にはこれは群の作用ですが.)
群論(二面体群)を知らない方は以下をクリックして簡単な説明を読んでください.
群論の簡単な説明(クリックして開く)
まず, 「4つの軸による反転」という操作を, もっと簡単な操作で表せないかと考えてみます.
例えば, 「で反転した後, で反転する」という操作を考えてみてください. この合成はどのような操作になるでしょうか?
(再掲)
そう, 実はこれは「90°回転する」という操作になっているのです!
そこで, 4つの軸による反転は, 「による反転」と「回転」の2種類の操作の合成だけで表せるのではないか?と考えられます. 実際これは正しいです.
それでは, これを数式で表すことを考えてみましょう. 正8角形の全体を変えずに点のみを動かす操作として最も単純なものとして,
・「による反転」を
・「45°回転」を
と表すことにしましょう.
さらに,
・操作の合成を積で表すことにします. つまり, 例えば「で反転した後に90°回転」という操作はと表されます.
・逆の操作を, 逆数のように肩にを付けて表すことにします. つまり例えば「-45°回転した後にで反転」という操作はと表されます.
・「何もしない」という操作をで表すことにします. すると, が成り立ちます.
ここで注意は, であるということです. 実際, 以下の図のようになります.
このように, 通常の積と違って交換法則が成り立たないことに注意してください. 上の図をよく見ると, 正しくはと, をさらに-90°回転したものが等しい, 即ちが成り立つことが分かります.
この関係式を使うことで, 例えば
のように簡約化ができます. 従ってこのようにを右に動かしていくことにより, 正8角形に対する「全ての操作の集合」は
の合計16個になることが分かります.
このような操作の集合とそれらの合成による関係性を合わせて, 二面体群といってと表します.(もちろん正角形に対する操作の場合となります. )
それでは最後に, 4つの軸に関する反転をとで表してみましょう.
(再掲)
に関する反転は, 「-45°回転し, 上下反転し, 45°回転する」という操作により作ることができます. 従ってこれは,
よりと表すことができます!
そうすると, 初めに書いた「で反転した後で反転」=「90°回転」というのも, から簡単にわかってしまいます.
同様に考えると, に関する反転はとなることが分かります.
群を考える
ということで, 二面体群
において, に関する反転たちの積が, 赤く塗った辺を動かさない操作になる条件, つまり積がまたはに等しくなるような条件を考えていきましょう.
ところが, の積しか考えないのでに等しくなることはありえません!さらにを改めてと書いてしまうことで, における以下のような問題に書き換えられます.
これは群論の言葉で言うと, の, により生成される部分群がと同型なのでそこで考えて行く, ということです.
において, とおく.
の確率に従ってを回選んだとき, それらの積がとなる確率を求めよ.
さて, たちの積を考えたいのですが, この積は交換できないので, 回数だけでなく出た順番まで考慮しないといけなくてちょっと難しそうです. そこで, modをとって単純化することを考えてみます!
群論を知っている方向けの説明(クリックして開く)
は位数8ですが, 一般に位数の群はAbel群(
龍孫江さんの動画
などを参照)なので, を位数2の正規部分群で割ると商がAbel群になりうまく行きそうな気がしてきます. ところが, の位数2の正規部分群はしかありません!
剰余群は位数4のAbel群で明らかに巡回群ではないので, が分かります.
記号の濫用ですがの商による像もで表し, と書くことにします.
群論を知らない方向けの説明(クリックして開く)
群におけるmodとして, 剰余群という概念があります. 今回は, 「のベキをmod2する」ことを考えてみましょう.
通常のmod2とは「差が2の倍数である2数を同一視する」というものでしたから, 今回は「がであるようなとを同一視する」ことを考えます. このようにして新しく得られた群をと書きます.
具体的に書くと, であったところがやなどとなり, となります.
するとこの世界では, となり, 積が交換可能になるのです!
※ただし実際には, 一般の群ではどんなmodでも考えられるわけではなく, 同一視する部分が「正規部分群」と呼ばれる特別な性質を持っている必要があります. 今回のは実は正規部分群になっています. さらに, 位数(=要素数)が2の, 「あまり潰さない」正規部分群は, 実はこれに限られるのです!
剰余群で考える
これででの考察に移れるのですが, ここではとは同一視されているので, 積がとなる確率だけを求めることはできなくなってしまいます.
しかし!実は...(クリックして開く)
| | | | |
| | | | |
この表で, と, との確率が等しくなっていることがここで効いてきます. においてとなっているとき, ならそれをに, ならそれをに, 変えたものを考えると, 確率は変わらず積はになるのです!
従って, 個のたちの積がになる確率とになる確率は等しいことがわかります! これが元々の問題の(2)に対応しています.
すると, さらに以下のような問題に書き換えられることになります.
において, , をそれぞれ確率で選ぶことを回繰り返すとき, それらの積がとなる確率の倍の値を求めよ.
ここまで来ると, 積は可換ですから結局「をどちらも偶数回ずつ掛ける」確率を求めれば良いことになりますね. (積が可換なので, 選ぶ順番を気にせず回数だけ考えればよくなったところがポイント.)
これは, を変数と対応させて
を展開したときの, の係数の和
の倍と等しくなります.(展開したときにどのように選んで掛け合わされるか考えてみてください!)
これは, まずの方を見ることでが奇数ならであることが分かります. そしてが偶数のときはによっての係数の和を求められますから, 答えは
と求めることができます.
おわりに
こう見てみると, 元々の(2)の誘導が本質的なものだったということになりますね. 2つを同一視することにより操作の合成を簡単に捉えることができるようになります. この発想を, 群論を用いて「剰余群」として説明付けられるのはとても面白いですね.
お楽しみいただけたでしょうか. これを読んで群論に興味を持ってもらえたら幸いです.
群環と表現論による解法
実はもうちょっとだけ続きます. ただしこの後は私があまり詳しくない分野を用いますので, お話程度に読んでいただけると幸いです.
上で用いた解法は, 母関数を用いるためには「順番は気にせず回数のみを考えれば良い状況」、即ち変数の積が可換である必要があったため, のままではだめでさらにその剰余群を考えたのでした.
しかし, 群の元を変数とした係数つきの形式和, と言えば群環ではないですか!群環で母関数を考えることにより, 上記の問題を解決することができます.
具体的には, 群環とは, の8つの元を基底, 係数をとするベクトル空間に, 積を群での積によって定めて得られる環です. つまり,
のように積が入った, 群の元の係数つき形式和の環です.
すると, 上述の
において, とおく.
の確率に従ってを回選んだとき, それらの積がとなる確率を求めよ.
この問題は, 次のように書き換えられます.
すごく簡単になりましたね. さらに, 表現論の一般論で有限群に対しは係数行列環の直積と同型になることが知られているので, あとは同型が具体的に分かれば乗も簡単に計算できます.
と, ここまで来て私には手に負えなくなってしまったので友人の
げの
くんに助けを求めたところ,
事実:で, 同型は により定まるもので与えられることが知られている.
と教えてもらったので, これを使ってみます. (勉強しないといけません.)
これによるの行先を頑張って計算してみると, なんととなり, 行列の部分が0になりました!従ってこれの乗はであり, これをに戻したときのの係数が分かれば良いです.
ところがこの同型の逆写像を与える式が知られていて,
こちらの記事
のように有限群のFourier逆変換と呼ばれるもので, これを用いることで
と求めることができました.
東大入試が表現論を使って解けるなんてびっくりですね!
おわりに
この考え方を使うと, 普段の母関数の, 代入して足して係数を求めるというやつも, 上のFourier逆変換で説明することができそうです.
また, 今回のように群を割ることによって群環を簡単にする, という手法に一般論はあるのか, などいろいろと疑問が湧きました.
いつかこの辺をきちんと勉強してまとめなおせたら良いなと思います.
それでは, 最後まで読んでくださった方, ありがとうございました.