せっかくならば、枝葉末節に追われず数学したい。
それでいて、難関数学を解きたい。
そんな欲張りを叶えたのがこの企画だ。
mathman X アルゴリズム・オブ・シックスシグマ 〜東大理系入試すら打倒するチートフローチャート〜
一部、内容を紹介しよう。
論理・写像・空間から、数学を一つの体系として捉える
数学には、論理・写像・空間という三つの根本的な見方がある。
論理は、条件がどう組み合わさり、何から何が言え、どの可能性が残るかを扱う。写像は、変数が何と結びつき、どう変化を伝え、どの結果を生み出すかを扱う。空間は、その関係に方向や近さ、広がりを与え、多数の対象を配置・集約・分解して扱う。
この三つは、数学を三分野に仕分けするための箱ではない。同じ対象を異なる姿で捉え、操作を持ち運ぶための視点である。
方程式の解を探すことは、論理では条件を満たすものの存在を問うことであり、写像では特定の出力に対応する入力を探すことであり、空間では条件を満たす点の位置や交わりを調べることである。この往来を理解すると、代数で行っている計算が幾何で何を意味し、幾何の操作が論理で何を保証しているのかが見えてくる。
目指すのは、少数の基本的な見方から、多くの操作を導ける体系である。
写像――変数を、関係と連鎖の中で捉える
変数は、一つずつ孤立して存在するとは限らない。ある変数を変えると、別の変数が変わり、その変化がさらに先へ伝わる。数学で重要なのは、変数の値に加えて、この依存関係を捉えることである。
ロボットアームを考えると分かりやすい。先端に近い関節を動かすと、主にその先の短い部分が動く。根元に近い関節を動かすと、その先に連なる部分全体が動き、末端の位置が大きく変わりうる。
この例が示しているのは、変数が連鎖のどこに位置するかによって、影響を及ぼす範囲が変わるということである。
さらに、同じ角度だけ動かしても、腕の長さや姿勢によって末端の変化は異なる。変数間のつながりだけでなく、その関係の形、倍率、方向まで必要になる。
一般に、連鎖する関係を、
u = f(x)
v = g(u)
と書けば、全体は、
v = g(f(x))
という合成になる。
微分可能な場合、小さな変化の伝わり方は、
dv/dx = (dv/du) * (du/dx)
で表される。チェインルールは、連鎖の各段階の反応をつないで、全体の反応を求める規則である。
途中の反応が大きければ増幅され、小さければ弱められる。複数の経路があるなら、それらが同じ方向へ働くことも、打ち消し合うこともある。上流にあること、影響経路が多いこと、各経路の反応が強いことは、組み合わせて考える必要がある。
この写像の見方は、順方向と逆方向を生む。
順方向では、入力を決めて出力を求める。関節角度から末端位置を求めるのが、その例である。
逆方向では、出力を指定し、それを実現する入力を探す。「末端をこの場所に置くには、関節角度がどうであればよいか」と考える。
逆方向では、一つの出力に複数の入力が対応することも、対応する入力が一つもないこともある。そこで、逆算は存在条件の問題になる。
例えば、
y = x^2
なら、出力を4にする実数の入力は2と-2である。出力を-1にする実数の入力は存在しない。
このように、出力を決めて、その出力に対応する入力の集まりを調べるのが逆像の発想である。逆関数が一つに定まらなくても、逆像は考えられる。
値域を求める問題も、二方向から扱える。入力の範囲を動かして出力を集めることもできるし、出力をtと置いて、「このtを実現する入力が存在する条件」を求めることもできる。
値域、解の存在、軌跡、最大・最小は、この順と逆の往来によってつながる。
空間――多くの関係を、少数の軸と方向で捉える
東、西、南、北、北東、南東、南西、北西。これらは二本の軸で説明できる。方向ごとに別の規則を用意する必要はない。二つの成分の組合せとして表せるからである。
ここに空間の集約力がある。
多数の変数や状態を、軸、方向、距離、位置関係で整理すると、一つずつ追わなければ分からなかった関係を、まとめて捉えられるようになる。
例えば、
x + y = 10
を満たす実数の組は、平面上の一本の直線になる。さらにx >= 0、y >= 0という条件を加えれば、一本の線分になる。
二つの変数があっても、許される組合せは平面全体に広がっていない。関係によって動ける範囲が狭まっている。
このとき、
s = x + y
d = x – y
を新しい座標にすれば、
s = 10
と書ける。合計方向は固定され、差の方向だけが変わる。元のx、yでは混ざっていた情報が、固定成分と可変成分に分かれる。
座標を変える価値は、このように、関係の違いを軸の違いとして取り出せるところにある。
直交や射影も、この分解を支える。ある方向への成分を取り出せば、全体の中から、その方向に関係する部分を調べられる。条件に適した軸を選べば、複数の変数をまとめて動かす方向も、一つの座標として表せる。
この考えは、関数にも広がる。
例えば、
F(x) = 3*x^2 + 2*x + 5
は、x^2、x、1という三つの関数を、それぞれ3、2、5という係数で組み合わせたものと見られる。
多変数なら、
F(x,y) = 3*x^2 + 2*x*y + 5*y^2
のように、変数間の相互作用を表すx*yも部品になる。
関数を一つの対象として扱い、その部品となる関数を基底として整理する。これによって、線形代数の軸分解と、関数空間での分解がつながる。多項式では次数別の分解ができ、周期的な関数では周波数別の分解ができる。
ここで、変数、次数、係数は別々の情報を担っている。
どの変数が含まれるかは、何に依存するかを表す。次数は、その成分が変化の大きさに対してどう応答するかに関わる。係数は、その成分の重みや符号を表す。
例えば、
F(u,v) = u^2 + 0.01*v^4
では、係数だけ見ればv方向の重みは小さい。しかし、同じ大きさtをそれぞれの方向に与えると、二つの成分は、
t^2
0.01*t^4
となる。tが小さい領域と大きい領域では、どちらが強く効くかが変わる。
したがって、非線形を扱うには、方向・次数・係数・規模を組み合わせて見る必要がある。「この変数が重要」という評価も、どこから、どの方向へ、どれだけ動かすかに依存する。
対称性――異なる状態を、共通するものとして集約する
対称性は、写像と空間を結ぶ重要な接点である。
空間では、鏡映、回転、移動などによって、形の一致を捉える。写像では、ある変換を施しても、対象や調べている性質が保たれることとして捉える。
二変数の入れ替えなら、
(x,y) -> (y,x)
という変換である。
この変換に対し、どんな関数f(x,y)でも、
S(x,y) = (f(x,y) + f(y,x))/2
A(x,y) = (f(x,y) – f(y,x))/2
と置けば、
f(x,y) = S(x,y) + A(x,y)
と分解できる。Sは入れ替えても変わらず、Aは入れ替えると符号が反転する。
つまり、一つの関数を、同じ変換に対して異なる反応をする成分へ分けられる。多項式の場合、Aはx-yを因数に持つため、対称性の分解が因数分解にもつながる。
ここでは、「対称性を見抜く」という観察が、入れ替え、足す、引くという操作になっている。
原点や軸の選び方も、対称性の見え方を変える。対称中心を原点に置けば、複雑だった対応が符号の反転だけで書けることがある。式の平方完成が、空間では原点を移して形を読みやすくする操作になるのも、この関係による。
保存量は、動いても変わらないものを通じて、状態を同じ集まりへまとめる。例えば、
x^2 + y^2 = r^2
が保たれるなら、状態は同じ円上に制限される。部分の変化があっても、全体として保たれる量が、動ける場所を決めている。
保存量によって得られる形は、円のように囲まれたものだけでなく、直線や双曲線の場合もある。共通するのは、変化を一つずつ追う代わりに、保存される値によって許される状態をまとめられることである。
局所から全体へ――空間と写像を組み合わせる
複雑な対象でも、小さな範囲に限れば単純な形で扱えることがある。曲線をその近くで直線として捉え、曲面を接平面で捉える発想である。
微分は、その地点の近くで、変化をどのような線形関係として捉えられるかを与える。多変数では、複数の方向への反応をまとめて扱うことになる。
ただし、場所が変われば、適した方向や反応の大きさも変わる。そのため、局所的な記述を全体につなぐには、場所ごとの情報と、その対応関係が必要になる。
微分幾何では、各領域に座標を設け、その領域同士が重なるところで座標の対応を調べる。局所の座標表示を写像でつなぎ、一つの空間を扱う。
この発想は、問題解決にも通じる。ある領域では増加する、別の領域では減少する。ある条件では近似が有効だが、別の条件では高次の成分が効く。領域ごとに分析し、その境界や重なりを確認して、全体の結論へ進む。
局所的な単純化と、全体への接続を一緒に扱うことが、空間と写像の組合せの強みである。
論理――分岐と連鎖を通じて、可能性を尽くす
論理では、条件の「かつ」「または」「否定」「ならば」を扱う。
「かつ」は、条件を同時に満たすことを要求する。「または」は、複数の可能性のいずれかを許す。「ならば」は、ある条件から別の条件への連鎖を作る。
量化記号も、この構造に重なる。有限個の候補について考えれば、
すべてのxでP(x)が成り立つ
= P(x1) AND P(x2) AND …
あるxでP(x)が成り立つ
= P(x1) OR P(x2) OR …
という対応になる。
この視点から、数学の探索を木として捉えられる。どの場合に分かれるかが枝分かれを作り、ある条件から次の条件を導くことが枝の連鎖を作る。
例えば、
A*B = 0
は、
A = 0 OR B = 0
という分岐になる。因数分解は、方程式を複数の可能性へ分ける論理操作でもある。
反対に、ある枝の上位条件が不可能だと分かれば、その先の候補はまとめて除外できる。川の上流を塞げば、その先の支流に水が流れないのと同じ構図である。
ここでは、一つずつ候補を調べるよりも、広い範囲に共通する条件を捉えることが強く働く。すべての候補がある上限に従うなら、その上限を超える目標へ至る枝は一括して消せる。
不変量や保存量も、この枝切りに使える。許された操作で変わらない量を見つければ、その量が異なる状態には到達できないと判断できる。
存在条件と射影――論理と空間が同じ操作になる
条件を満たす(x,y)の集まりを考え、それをx軸へ射影する。
あるxが射影先に残るのは、元の集まりに、そのxを持つ点が一つでも存在するときである。つまり、
xが射影先に残る
<=> 条件を満たすyが少なくとも一つ存在する
となる。
射影は、具体的にどのyだったかを捨てながら、「対応するyが存在する」という情報を残す操作である。論理で存在を問うこと、代数で変数を消去すること、空間で射影することが、ここでつながる。
逆に、一方の変数を固定すれば、空間の断面を調べられる。各断面で得られる出力を集めれば全体の値域になり、各断面で最大値を求めて比較すれば、予選決勝法になる。
存在なら可能かどうか、最大化なら最良の値、個数なら何通りあるか。外側の問いに必要な情報を残して、内側の変数を集約していく。
射影や断面は、図形だけの道具ではない。多変数の条件や探索をまとめる操作としても働く。
探索・再帰・存在定理――有限の操作から何が言えるか
連続関数について、区間の両端で符号が異なれば、その間にゼロになる点が存在する。中間値定理によって存在を保証し、その区間を繰り返し半分に絞っていくのが二分法の基本構図である。
この操作は、区間を枝分かれさせ、解の存在を保証できる枝を選んで進む探索として捉えられる。数値計算と論理木が、同じ構図に重なる。
平均値定理も、区間全体の変化から、ある地点で成り立つ性質の存在を導く。全体の情報を使って、局所の存在を保証する働きを持つ。
離散的な問題でも、領域を分け、各領域に何がありうるかを評価し、残す枝を選ぶという発想は使える。連続性の代わりに、順序、個数、整数性、評価式などが探索を支える。
数学的帰納法は、出発点と次の段階へ進む規則から、すべての自然数の段階へ性質を伝える。無数の段階を個別に証明する代わりに、繰り返し使える一つの接続規則で集約する。
無限木を考えると、さらに「どこまでも続く一本の経路が存在するか」という問題が現れる。無限二分木の経路の存在は、逆数学で扱われる重要な原理である。
ここで接続しているのは、有限の段階で成り立つこと、無限の対象が存在すること、実際にそれを探索できることの関係である。逆数学は、そうした存在や結論を保証するために、どの原理が必要なのかを調べる視点を与える。
イデアル――条件の連鎖をまとめて扱う
多項式の条件、
f = 0
g = 0
が成り立つなら、任意の多項式A、Bに対して、
A*f + B*g = 0
も成り立つ。
元の条件から、このように生み出せる多項式の集まりが、fとgによって生成されるイデアルである。
これは、条件から派生する大量の式を、一つのまとまりとして扱う方法だと見られる。条件を一つずつ増やして追う代わりに、それらを生み出す側を捉える。
例えば、
A*f + B*g = 1
という恒等式を作れたなら、f = 0とg = 0を同時に満たす点では0 = 1となってしまう。したがって、その条件を満たす解は存在しない。個々の解候補を調べることなく、その枝全体を切れる。
また、体を係数とする有限変数の多項式環では、どのイデアルも有限個の多項式で生成できる。ヒルベルトの基底定理は、無数の派生条件を有限の生成元で集約できる構造を保証する。
イデアルの見方は、条件の生成と集約を通じて、論理木の枝切りや変数消去につながる。
多変数・次数・係数を、分岐と連鎖の中で読む
式を計算の構造として見ると、多変数性、次数、係数も、分岐や連鎖と結びつけて捉えられる。
例えば、
(x + y)^2
= (x + y)*(x + y)
を展開すると、二つの括弧からそれぞれxかyを選ぶ組合せが生まれる。
x*x
x*y
y*x
y*y
同じ結果になるx*yとy*xをまとめることで、
x^2 + 2*x*y + y^2
となる。
この例では、変数は選択の種類、次数は一つの項で掛け合わされる変数の個数、係数2は同じ項に至る選び方の数として現れている。
重みの付いた選択なら、各選択の重みを掛け、同じ結果に至るものを足し合わせる。負の重みがあれば打ち消しも起こる。この構造は、場合の数、確率、母関数、多項式の係数計算をつなぐ。
逆方向にまとめれば、
x*y + x*z = x*(y + z)
となる。分かれていた計算の共通部分を上流へ取り出し、共有できる形にする。因数分解には、分岐の共通構造を集約する面がある。
次数と木の深さが常に一致するわけではないが、式をどのような加算・乗算の構造で作っているかを見ることで、高次・多変数の複雑さがどこから生じているかを調べられる。
三つの視点を往来する
写像によって、変数間の依存、連鎖、分岐、順と逆を捉える。その関係を空間として配置すると、動ける方向、固定される成分、対称性、近さ、広がりが見える。さらに、射影や基底分解によって、必要な情報を集約できる。
論理は、その情報を使って、何が存在し、何がすべての場合に成り立ち、どの候補を残し、どの枝を切れるかを決める。そこで得た存在条件や不可能性は、再び写像や空間の理解へ戻る。
例えば、下流の目標から逆像を求めると、上流変数に必要な条件が現れる。その条件を空間として見ると、許される方向や範囲が分かる。その方向への変化を次数と係数に分けると、どの規模で何が効くかが分かる。全体の制約が見つかれば、到達しない探索枝をまとめて除外できる。
この往来こそが、体系の中心にある。
一つの決まった順番で全問題を処理するのではなく、同じ問題を複数の表現へ翻訳し、そこで使える操作を持ち帰る。未知の問題に向き合うときも、まず変数・関係・条件を捉え、そこから順逆の探索、空間的な集約、論理的な分岐を作っていく。
数学の各分野は、この共通した操作を、それぞれの対象に適した形で発達させている。論理・写像・空間から捉えることで、その操作を分野の境界を越えて使えるようになる。
＝＝＝
 |
 |
 |
"make you feel, make you think."
SGT&BD
(Saionji General Trading & Business Development)
説明しよう！西園寺貴文とは、常識と大衆に反逆する「社会不適合者」である！平日の昼間っからスタバでゴロゴロするかと思えば、そのまま軽いノリでソー◯をお風呂代わりに利用。挙句の果てには気分で空港に向かい、当日券でそのままどこかへ飛んでしまうという自由を履き違えたピーターパンである！「働かざること山の如し」。彼がただのニートと違う点はたった１つだけ！そう。それは「圧倒的な書く力」である。ペンは剣よりも強し。ペンを握った男の「逆転」ヒップホッパー的反逆人生。そして「ここ」は、そんな西園寺貴文の生き方を後続の者たちへと伝承する、極めてアンダーグラウンドな世界である。 U-18、厳禁。低脳、厳禁。情弱、厳禁。