このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][br]前回の最後に土台を固めました。[br]しかし、それは湧き上がるかもしれないことへのあとずけのフォローでした。[br][br]今回は数学の総力戦に進む段階での基本、[br]つまり、各分野の基本ではないけれど、応用に進むときには「足場になる事柄」を確認しておこう。

幾何・位相のキーワード[br][br][b][size=150]＜位相空間＞[br][/size][/b]ユークリッド空間、距離空間では、[color=#0000ff][b]始まりは「距離の定義[/b]」[/color]です。[br]距離を定義し、定義した距離で近傍を定義して、それから開区間の一般化としての開集合を定義してました。[br]ユークリッド空間、距離空間では、[br]その部分集合、つまり図形は、[br]全体と空と和と積が入る開集合色、[br]全体から開集合を引いた差の閉集合色、[br]どっちの色でもある全体と空。どっちでもない残り。[br]きれいに4色の図形に分かれていましたね。[br][br]しかし、位相空間では定義する順番が逆になります。[br]くわしくはこちら、[url=https://www.geogebra.org/m/twxxx3yq#material/ndgvexhf]https://www.geogebra.org/m/twxxx3yq#material/ndgvexhf[/url][br][br]開集合の特徴「[b][color=#0000ff]Xと空集合がメンバーで、和集合も積集合もメンバーだ[/color][/b]」で「[b]開集合を定義[/b]」します。[br]そこから、全体集合Xの中の部分集合たち、つまり、図形たちのうち、開集合の定義に入るもの、開集合族を[b]位相Ｏ[/b]とするのです。[br]位相の決まった空間を[b]位相空間（Ｘ，Ｏ）[/b]と呼びました。[br]最後に近傍を定義しますが、距離は定義しません。[br]位相空間（X,Ｏ）で図形Yが点ｐの近傍となるのは、Yの内側にOの要素で{p}を覆うAをとれるときです。[br]さらに、Yが開集合なら開近傍といいます。[b]近傍というのはお隣さん[/b]のイメージですね。[br]極端な２つの位相を見ておきましょう。[br][br]たとえば、[b]Ｏ={X,空集合}[/b]なら、[b]べったり位相（密着位相）[/b]です。[br]空間を切ったり、図形を覆ったりする部品がありません。どの点も線分も、全体という1個で覆うしかないので、みなコンパクト、みな同じ近傍Rを持ちます。[br][b]みんなお隣さん[/b]という感じ。ギュギュっとつまっている。[br][br]たとえば、[b]Ｏ={2^X}[/b]はサラサラ位相（離散位相）[br]すべての部分集合を開集合、１点も開集合。だからどの点ｐもp自身｛p｝で覆える。１つ１つの点がそれ自身を近傍にできるから[b]近傍を共有しないことが可能[/b]となります。[br][b]みんなポツンと一軒家[/b]という感じでしょうか。[br][br][br][b][size=150]＜ｎ次元多様体＞[/size][/b][br]多様体というのは図形のことですが、図ありきの図形でありません。[br]ｎ次元多様体はｎ次元ユークリッド空間のある点の[b]近傍と同相[/b]になるユークリッド空間の中の点集合です。[br][b]独立なｎ個のパラメータの成分でかける点集合[/b]なので、[br]図形としてイメージできるとか、図がかけるという意味はないし、[br]図形なのに、点・辺・面という特徴量は、最初は持ちません。[br][br]たとえば、2次元球面S２は、3次元空間の中の球の表面です。[br][b]表面は2次元ですが、球体は3次元にあります[/b]。[br][br][b][size=150]＜種数g=０，１，２,...＞[/size][/b][br]閉曲面を位相同型で分類したときに[br]球面と同相なものを種数０、[br][b]トーラスと同相なものを種数１[/b]といます。[br]トーラスは球面に取っ手を１つつけたために穴が１つあいたとイメージすることができると、[br]種数は穴の数とか取っ手の数と同じことになります。[br]くわしくは、こちら、[url=https://www.geogebra.org/m/twxxx3yq#material/yme5x69w]https://www.geogebra.org/m/twxxx3yq#material/yme5x69w[/url][br]これまで扱ってきた[size=150]「[color=#0000ff][b]楕円曲線」[/b][/color][/size][color=#0000ff]は、[br][b]複素平面に広げるとまさにこの種数１（トーラス）になる図形[/b][/color]なのです。[br][br][color=#444444][b][size=150]＜アフィンVS射影＞[br][/size][/b][/color]アフィン幾何は射影幾何との対比で使われる用語です。[br][br]アフィン幾何だけだと、スクリーンにななめから光線を当てると[br]本来移したい図形の長さ、角度がゆがんでしまうけど、平行と交点数は保たれるというよい性質がある。[br][br][b]直線は直線のままで、平行線は交わらない。このユークリッド空間の特徴[/b]を[br]射影幾何と対比して語るときに使われます。[br][br]射影幾何では、リーマン球面のように、[b]無限遠点が無限遠点Ｏ∞の1点[/b]となります。[br]アフィン空間の曲線Ｅを射影空間に移した曲線Ｄにしましょう。[br][b]Ｅ：y^2=x^3-xのとき、[br][/b]x＝X/Z,y=Y/Zとして代入して、[br]両辺にＺ^3をかけると、[br]Ｄは同次3次式[br][b]Y^2 Z=X^3-XZ^2[/b]となります。[br][br][b]曲線Eの点(a,b)は曲線Ｄの点(a,b,1)に対応[/b]します。[br]Dの座標点[b][color=#0000ff][size=200](X,Y,Z)=(0,1,0)[/size][/color][/b]は式を満足させますが、[br]ＥではZ→0のあり得ない点(0/0,1/0)＝(∞,∞)となりますね。[br]Ｅにはないが[b]Ｅのへりの点無限遠点Ｏ∞[/b]を表すことがわかります。[br]この点は[b][color=#0000ff][size=150]Ｄでは他の点と対等な1点として空間に閉じ込められています[/size][/color][/b]よね。[br]くわしくはこちら[url=https://www.geogebra.org/m/twxxx3yq#material/npnfscat]https://www.geogebra.org/m/twxxx3yq#material/npnfscat[/url]

代数・群論のキーワード[br][br][b][size=150]＜アーベル拡大＞[/size][/b][br]「ガロア拡大」には同値な言い換えがありましたね。[br][br]・代数拡大L/Kで自己同型群G=Aut(L/K)で不変な体L^G=Kとなる。[br]・任意のｘ∈Lについて、ｘのK上の共役は、どれもLに属している。(正規拡大）[br]・体LはK上の多項式f(x)∈K[x]の最小分解体だ。[br][br]そして、方程式論では、[br]このガロア拡大を連続的に行うことに対応して、ガロア群が正規部分群に畳まれるガロア対応が連鎖して恒等写像にいきつく。[br]このように体と群の２つの領域で、体は拡大し群は縮小するというきれいな対応が連続できるときに方程式が解けるというのが、[br][b]ガロアの方程式論（ガロアの基本定理）[/b]だったね。[br][br]この美しいガロア拡大に条件をつけたものにアーベル拡大があります。[br]「[b]アーベル拡大[/b]」という体の拡大は、[b][color=#0000ff][size=150]ガロア群がアーベル群になる[/size][/color][size=150]もの[/size][/b]のことです。[br][br]方程式の解となるものたちのあつまりLがKの拡大で、[br][b]解をコップLの中でかき混ぜるガロア群[/b]が[b]どっち先にまぜても同じ[/b]なるものですね。[br]くわしくはこちら、[url=https://www.geogebra.org/m/twxxx3yq#material/pcupzrfu]https://www.geogebra.org/m/twxxx3yq#material/pcupzrfu[/url][br][br][b][size=150]＜素イデアル＞[br][/size][/b]環というのは、体から積の逆元の存在をぬいたものだった。環の代表は整数があるが、集合の外の要素をエクステして整数環が作れたね。[br]整数に倍数、素数、約数などの大切な用語があったように、その抽象化としての環Ｒにも同様な用語があるので、それを確認しよう。[br][br]環Ｒの要素aの倍数の集合、イデアル(a)を決めると、[b][color=#0000ff]素イデアル[/color][/b]Ｐというものができる。[br]Rの2要素a,bの積abがＰにあるなら、a,bの１つはＰに入る。[br]Ｒの例として整数Ｚをとろう。[br]イデアル(1)＝Ｚ，(2)は２の倍数、(6)は6の倍数。(2)は素イデアルだが、(6)は素イデアルではないですね。[br](2)に入らない2数の積で２の倍数を作ることはできないし、4×9=36は(6)に属するけれども、4も9も(6)にはないからだ。[br][br]素イデアルに似ているものが[b][color=#0000ff]極大イデアル[/color][/b]Ｍだ。[br]Ｍを部分集合にするイデアルＡが存在するならＡはＭかＲのどちらかにあるものだ。[br]言い換えるとＲ＝(1)、Ａ＝(a),M=(m)としてみるとよい。aが1以上m以下ならば、a＝1かa=mしかない。このようにイデアルの生成元言い換えると、[b]素数が１かその数自身しか約数がないという素数の定義[/b]と同じだね。[br]「素イデアル」が積による素数の定義で、[br]「極大イデアル」が商による素数の定義になっているように見えるね。[br]また、大切なことは次の通り。[br][br]極大イデアルは素イデアルである。[br]Pが素イデアルであることは、R/Pが整域であることと同値。[br]Mが極大イデアルであることは、R/Mが体であることと同値。[br][br][b][size=150]＜ユークリッド整域＞[/size][/b][br]2数の積が０ならば０が含まれるというのが整域だったが、[br]さらに整除の原理がなりたつものを[b]ユークリッドの整域（ED)[/b]といった。[br]要素にノルムをうまく定義すれば、割り算して商と余りが出せるということだね。[br]ガウス整数環Z[i]で、ノルムをN(x)=|x|とすれば、[br][b]ガウス整数でも商と余りの計算ができる（★）だから、[br][/b]ので、[b]ユークリッドの互除法ができる[/b]ことになるね。[br]さらに、[b]約元[/b]を決めることもでき、すだれ算ができるはずだから、[b]素因数分解（素イデアル分解）もできる[/b]でしょう。[br]環Rで１の約元つまり、単数は±１だけとはかぎらない。Z[i]の単数には±iもあるので注意しよう。[br]これが一意的にできると（UFD)という。[br]くわしくは、こちら、[url=https://www.geogebra.org/m/twxxx3yq#material/w3ujrp2m]https://www.geogebra.org/m/twxxx3yq#material/w3ujrp2m[br][/url][br]★下につけた、アプレット「ガウス整数の整除とガウス平面」を使って、ガウス整数の割り算をして、[br]商と余りがきまることを実感しよう。[br][br][b][size=150]＜類体論＞[/size][/b][br]類体論といえば、Qにx^2+1の根を添付するアーベル拡大Q(i)の部分Z[i]はガウス整数で、前にもかいたようにガウス整数の素元が複素数になることもあれば、整数そのままになることもある[br]というトピックは有名ですね。[br]他にも面白い定理があります。[br][br]「[b]クロネッカー・ウェーバーの定理[/b]」です。[br][b][color=#0000ff]有理数体Q上の多項式P(x)の根で作るQのガロア拡大がもしアーベル拡大なら、P(x)の根はすべて１のべき根を使ってかける。平たくいうとQ(√m)がQ(ζn)に含まれるといことです[/color][/b]。[br]たとえば、[br]√2=ζ8+ζ8-1,[br]√3=(ω-ω^2)i^(-1) [br]√5=ζ5-(ζ5)^2-(ζ5)^3+(ζ5)^4です。[br]ｑが2以外の素数の場合は、[b](-1)^(q-1)/2 qの平方根[/b]は、[br][b]Σχ_q(n)(ζq)^n ( for n in range(q)) [br][/b]ただし、χ_q(n)は、n≡m^2(mod q)となる整数mがあると１、ないとー１とします。[br]という一般化ができるようです。[br]要するに、sqrt((-1)^(q-1)/2 q)はζqを使ってかけるということですね。[br][br][b]＜フロベニウス変換＞[/b][br]これに関連して、[br]有理数体Qのアーベル拡大Q(ζn)/Qのフロベニウス変換φpは[br]ｎを割り切らない素数pで、[b]ζn→（ζn)^p[/b][br]のp乗変換があります。[br][br]クロネッカー・ウェーバーの定理から、アーベル拡大K/Qは必ずQ[ζn]に含まれます。[br]だから、Gal(K/Q）でのφpはGal（Q(ζn)/Q)でのφpの制限になるのです。[br]ということは、sqrt((-1)^(q-1)/2 q)はζqを使ってかけるのだから、[br]素数pはアーベル拡大Q（sqrt((-1)^(q-1)/2 q)）を使って分解できそうですね。[br]そうすると、素数ｐを素イデアル分解するという理想的な状態ができるかもしれません。