会うは別れの

高校３年時のこと。

僕は或る女性英語教師を猛烈に恋していた。

彼女は日本人ではあったが、大メディア向けに英文記事を執筆するなどなかなかの英語通。

しかも、ご本人は明言されなかったが彼女の英語はスコットランド訛りで、これは彼女の発話を聴いていて僕なりに気づいたことであった。

僕自身は幼少期にロンドンで過ごしたことがあり、近所に住んでいた日本人女性がスコットランド訛りで喋っていたのを覚えており、だからこの女教師のアクセントにもピンときたのである。

この女教師についてもうひとつ特徴的だったのは、テニス部の顧問を務めており、しかも左腕でラケットを振るって凄まじいボールを打ち放ったこと。

僕自身、戯れ半分に彼女とコートで相対したことがあったが、彼女が打ち込んでくる超特急のサーブはこちらのラケットを弾き飛ばさんほどに強烈で、だからとてもラリーなど続けられようはずもなかった…

彼女こそが僕の初恋であった。

そしてこの初恋は失恋に終わってしまった。

彼女は婚約していたのである。

恋とは不思議なもので、しかも意地悪なもの。

結ばれぬものと判れば分かるほど、いよいよ惹かれて漕がれてゆくのは人のさだめか本性か、ともあれ、我ながら馬鹿ではなかろうかとの自嘲と嫌悪に揺り動かされてやまぬのであった。

====================

進学が片付き、進路も定まり、僕の高校卒業はいよいよだ。

それでもこの女性教師への恋心は留まりもせず収まりもせず　─　いや、それでもどうにか、おのれなりのささやかな解決策に思い至った。

要するに彼女を忘れてしまうえばよいのである。

冷徹にいえば、記憶から消し去ってしまえばよいのである。

そこで閃いたことがあった。

そもそも、だ。

人間は特定の物事や人物のみを記憶に留め置くことはなく、必ず周辺の物事や人物の光や音と拮抗させつつ記憶しているはずだ。

よって、或る特定の人物を忘却しようとすれば、その人物「以外」のあらゆる光やあらゆる音についてはむしろ記憶が強化されるはずではないか。

端的に例示すれば　─

或る物質粒子 Xが (+)の電荷を有するならば、その周辺のさまざまな物質粒子 Y', Y'', Y''' ... はどれも (-)の電荷を有しているはず。

ここで「(+)電荷の X」を除去するならば、「さまざまな (-)電荷 のY', Y'', Y''' ... 」は増えるはずだ。

半導体素子の組み合わせ次第で、電子と正孔が分離してゆくに似ている。

そうだ、これだ。

初恋の女性教師を忘れ去るためには、むしろ「彼女以外の」あらゆるものを鮮烈に記憶に留めてゆけばよいのだ。

うむ。

校舎の威容、教室の静謐、級友たちの意気と意地、年輩教師たちの叱責、運動部の快哉と怒号、どれもこれもを記憶に刻め…

こうして卒業式の日を迎えた。

式次第が進行し、別れの刻がおとずれる。

=================

胸を聳やかしつつ真っすぐに校舎をあとにした僕は、隣接するテニスコートの前を横ぎったところで足を留めた。

コート内にて快活な声を挙げつつ、女子生徒たちを指導していたのは　─　

おや？あれは初めて見かける女性教師だぞ。

女子生徒たちに請われるまま、彼女は日本語と英語を入り交ぜての指導を続けており、その英語アクセントは聞き紛えようのないスコットランド訛り…。

彼女の左腕から次々と放たれる超スピードスピンのボールがコート面上をあちらへこちらへと貫いてゆく。

その一撃一撃ごとに、僕はおのれの事態も局面も分からなくなってゆくのだった。

正／逆の電位と放電をおのれの脳内の思考素子に覚えつつ、あらためて分かりかけていたのは、僕はこの女性教師を見初めてしまい、「新たな初恋」のプログラムを起動させ始めていたということであった。

※　おわり　─　いや、これは有と無の論理反転を人間の脳神経に展開させたような、そういう一種の恐怖譚のつもり。

もともと物理学でいう運動量の保存則（数学でいう対称性）のアイデアをちょっと拝借しているんだ。

そんなわけで終わりは無いんだ。

【読書メモ】 笑わない数学

一般に人間の思考においては、何らかの表象を「〇〇なるもの（名詞）」と「□□を為す（動詞）」とに予め次元峻別した上で、これらを組み合わせてさまざまな命題をつくる。

だから、例えば「みかんを食べる」などの命題を整然と作ることが出来る。

ところが数学においては、「〇〇なるもの」と「□□を為す」が混然一体であり、直観にまかせて記せば、「みかんを食べる」と「食べるのみかん」に区別が無いようなのである。

もっと職業人らしく論ずれば、「コンピュータ」と「プログラム」だ。

前者は電位差から成る実体機構に過ぎぬが、後者は信号ロジックを為し、だから両者は別次元のもの　─　それでいて、「コンピュータがプログラムを動かす」と言い、また「プログラムがコンピュータを動かす」とも言い、どちらの表現も数学上なりたつ。

このように数学は実体量と関数を転換可能、だから主体と客体も交換可能、なるほど数学思考そのものには善も悪もなかろうが、実体の物理量と経済価値をすり替えるやつらもわんさかといる。

…といったようなところが、僕なりに日夜ウヤムヤと浮かんだり消えたりの随想ではある。

それで、しばらくぶりにまた数学本を取り上げてみようと思い立ったのであった。

そのうちの一冊がこれだ。

『笑わない数学　NHK笑わない数学制作班　KADOKAWA』

本書はいわば高校(以上)数学の超ダイジェスト本であろう。

総じて概括に留め置かれたコンテンツゆえ読み進めやすいが、しばしば概括的すぎるため却って不明瞭でもあり、数学ファンでもなんでもない僕にとってはところどころ難解でもある。

むしろ図説にこそ大注目すべきであり、文字通りカラフルなこれら描写が随所にて平易さ（そして難解さ）を直截に語り掛けてくる。

本書のひとつのお薦めは『テーマ４：フェルマー最終定理』であり、n=4 に限った場合の証明例が呈されているほか、女性数学者ソフィー・ジェルマン考案の素数なども数学冒険譚の一端として楽しめる箇所ではある。

なお、僕は『テーマ６:ガロア理論』にちょっと拘ってみた　─　理由は、たまたま併読している或る物理本にてラグランジュの名および’対称性’の観念を見出し、それで本書に立ち換えてみようと思いついたため。

だから此度の【読書メモ】としても、この『テーマ６』を僕なりに掻い摘んで以下にざっとまとめおいた。

四則演算が自由に可能ななんらかの計算の系を、その「体」とする。

すべての有理数の集合Ｑは有理数の「体」である。

なんらかの代数方程式はさまざまな「体」から成り、代数方程式の全ての「解」が見つかるならば、その代数方程式を最小分解した「体」も見つかるはずである。

例えば；

有理数a. b. c から成る２次方程式 ax² + by+ c = 0 (a≠0) における「解の公式」にて、

冪根√(b²-4ac)  の部分が有理数とならぬ可能性があっても、全ての有理数集合の「体]Q にこの √(b²-4ac) を付け加えて拡張すれば、最小分解「体」を得られるはず。

「解」の公式の導出をヨリ一般化すると；

(0).  代数方程式のすべての係数を含むような「体」K0 を設定する。

(1).  ある a1 ∈ K0 の冪根を付け加えて 拡張の「体」 k1 を作る。

(2).  ある a2 ∈ K1 の冪根を付け加えて 拡張の「体」 k2 を作る。

.....

(n).  ある an ∈ Kn-1の冪根を付け加えて 拡張の「体」 kn を作り、これによってすべての「解」を含ませる。

─　このテンプレートに則って  a1 から an を見出すフローである。

 =================

ラグランジュ・リゾルベントの基本発想。

3次方程式にはちょうど3つの解が、4次方程式にはちょうど4つの解が存在するが、これは解の公式のみに限定的に収まる特性ではないと。

それぞれの方程式にて、複素数を投入しつつ、解をバラして置き換えてまた足し合わせれば、原型よりも簡単な方程式に帰着すると。

確認例。

3次方程式 ax³ + bx² + cx +d = 0　にて ３個の解を A, B, C  とし、さらに 複素数t³ =1 となるt (但し t≠1) を用意する。

ここでこの３次方程式を低次の X = At² + Bt + C へと落としこむ　─　この手口がラグランジュ・リゾルベント式。

方程式の解を A→B, B→C, C→A と並べ替えると、Xの値は

Ｘ = Bt² + Ct + A

=  At³ + Bt²+ Ct

= tX

と換えることが出来る。

もう１回並べ替えると t²X となる。

さらにもう１回並べ替えると X に戻る。

すると、 X x (tX) x (t²X) =  t³X³ = X³   

X³ まで見つかるので X があらためて定義出来たことになる。

こうしてリゾルベント式によれば、もともとの3次方程式におけるよりも早く X 値を導くことが出来る。

ここでの「解の置換」こそは図案が着想上の大ヒントたりうる。

P.173～p.174.における正三角形および正四面体の「対称性」と併せて見ればじつに納得しやすい。

※　因みに、ラグランジュは’力学作用の経路と積分’を起こした数学者であり、まさに近代の物理数学の嚆矢といえ、彼がオイラーともども最小経路の定式化を進めていった由はさまざまな物理読本にも引用されている。そして「対称性」の観念も物理学上のさまざま「保存則」と邂逅するに至っている。

=================

「群」の導入。

ラグランジュまでの代数方程式の「解」、および相応の図形の「対称性」、これらを繋ぐのがガロア以来の演算「群」。

※　ここのところとりわけ難しいが、さまざまな演算／変換コマンドの集まりとしての「群」の意であろうと僕なりに見受けつつ、記しおくこととする。

「群」は以下の条件を満たすものとする。

1. 複数の連続操作とそれら合成操作によって成る。

2. これら合成操作は順不同かつ結合可能。

3. 何も変換せぬ(原点保持の)操作も一つと数える。

4. すべての操作に逆元がある。

代数方程式と図形それぞれ、さまざまな「群」によって表現し直してみれば、「対称性」とともに「’複雑さ’」をも表現出来る。

解の公式における「体」の拡大系列を k0 ⊂ k1⊂ k2 ⊂ ... kn-1 ⊂ kn とすると、

複雑に成っているはずのこの「体」 k0 ⊂ kn は、個々レベルでの巡回の「群」に分解が出来る。

k0 ⊂ k1 を表す巡回群

k1⊂ k2 を表す巡回群

 ... 

kn-1 ⊂ kn を表す巡回群

こうして「体」を単純きわまる巡回「群」にまで分解しきれば、最小分解「体」を表現しきったことになり、ゆえに複雑さが判然とする。

あらためて、３次方程式と対称性の三角形にて、解の公式を確定できるかどうかが分かる。

同様に、４次方程式と対称性の四面体にても分かる。

ところが、５次以上のほとんどの(？)方程式では「巡回群」をいかに組み上げても最小分解「体」を表現出来ず、つまり複雑すぎることになり、だから「解」を特定出来ない。

（冪根を投入してもやはり出来ない。）

========================================

以上　『テーマ６』がかなり難度高い数学論である由をおそるおそる察しつつの、あくまでも僕なりのメモである。

若手社会人～学生諸君、とくにガロアと『群論』まわりににちょっと挑んでみてはどうだろうか。

ピノキオ

世界には、さまざまな命題の組み合わせがある。

これら命題には、『真』と『偽』のいずれかがありうる。

さて、ここにピノキオという人形が在り、このピノキオは『真』の命題のみを叩き込まれて作り上げられた存在　─　としよう。

ゆえに、ピノキオは『真』の命題のみを発信するはずである。

もしもピノキオがうっかり『偽』の命題を発信した場合、ピノキオは鼻が伸びてしまう。

ちょっと『偽』を言うと、ちょっとだけ鼻が伸びる。

もっと『偽』を言ってしまうと、もっと鼻が伸びる。

更にさらに『偽』の命題を発すれば、更にさらに鼻が伸びてしまう。

いったい、ピノキオの意義は何だろう？

『真』から成る神によって創られ、人間による『偽』を戒めるようにと遣わされたのではないだろうか？

=======================

ああ、なるほどね。

ここまではあたしにも分かった。

でも、あたしはまだ納得しきれていないのよ。

だって、あたしは　─　ピノキオくんの鼻をこうしてキュッキュッと引っ張っているんだから。

さぁさぁピノキオくん、おまえは鼻を引っ張られると『偽』の言葉を発するんでしょう？

あら、なんですって？『僕は人形ではなく、人間です、だから鼻を引っ張るのはやめて下さい』ですって？

な～るほど、おまえは『偽』を叫んでいるわけね。

じゃあ、もっともっと鼻を引っ張ってみましょうね、ほぅらほらほら！

えっ？なんだって？『僕は人間です、もう鼻を引っ張らないで下さい』ですって？？

はっはははは、や～っぱり『偽』を叫んでいるわね。ふっふふふふふ、それじゃあもっともっとも～っと鼻を引っ張っちゃうわよ～、さてさてどういうことになっちゃうのかしら？…

おやっ？

AIの生成プログラムがメッセージを送信してきたわね。

えーーと、なになに？…『宇宙の原初より貫かれてきたあらゆる数学と論理学を以て判定すれば、ピノキオが人間であるとの命題は真である』… ですって？！

ああ！そうだったのね！ピノキオくん！おまえは人間だったのね！それじゃあ鼻がこんなに伸びているのはおかしいわ。縮めなければならないわね！

（おわり）