社会人になりました。
こんにちは。ますまるです。
めちゃくちゃ久々に書いてます。もともと飽きやすいところがあったので長続きしないとは思っていたんですが、想像以上に早く飽きが来てしまいました…
そんなこんなで新年度を迎えたので心機一転、再開してみようと思った次第です。
特に隠していたわけじゃないですが実は今日、入社式がありました。恐らく、今日が入社式の会社も多いんじゃないでしょうか。社会人になれて嬉しい反面、とうとう社会人になってしまったという恐ろしさがあります。
仕事内容がデータサイエンス系なので面白そうなんですが、ここ1ヶ月くらいは遊び遊んで遊び続けるような、あまりにも自堕落な生活を送っていて勉強を全くしていませんでした。言い逃れもできないほどに自業自得ですが、正直、仕事に関して不安しかありません。多分、これから数ヶ月は平日休日ともに勉強しなくちゃいけないと思っています…うーん、つらい。
まぁそんなこんなで社会人になりました、というご報告でした。それでは。
交換子部分群の交換子部分群
こんにちは。Math。です。
とある数学の問題を考えている過程で,次のような問題にぶつかりました。
群 の交換子部分群の交換子部分群は, の正規部分群かどうか。
つい先日,これが正しいことを証明できたので,今回はその備忘録です。
交換子と交換子部分群
群 の任意の 2 つの元 に対して,
で定まる演算 を交換子といい, のことも交換子といいます。
交換子の性質は色々なところで紹介されていますので,細かい話はそちらに譲るとして,ここでは次の性質を用います。
任意の に対して次が成り立ちます。
の交換子全体で生成される群を交換子部分群といい, や と表します。先ほどの補題から,直ちに次のことが分かります。
は の正規部分群です。
ここで,以下では特に断らない限り,, とします。
交換子部分群の交換子部分群
以上の補題や命題を用いて冒頭に提示した問題—— は の正規部分群かどうか——が正しいことを証明してみます。
示すことは, と に対して が成り立つことです。
交換子部分群の定義より, のある元 を用いて
と書けます。このとき,命題の証明のときと同様にして,
が得られます。 は の正規部分群でしたから,各 は の元です。
つまり, は の交換子で生成されていますので です。■
おわりに
恥ずかしい話,この証明を思い付くまでに 1 週間以上も時間を費やしてしまいました…
私の知識不足なのか検索力が低いのかは分かりませんが,交換子部分群の交換子部分群についての記述は見つけても,それが元々の群の正規部分群であるかどうか書いてある記事はなく,いくつか専門書を見ても記載されていませんでした。
また,正規部分群の正規部分群は必ずしも元々の群の正規部分群ではないという事実を知り,一時は「反例がある」と考えていました。
思い付くまでに時間がかかった原因は,交換子部分群の元を生成元(交換子)で表そうとしていなかったせいでした。生成元を用いずに証明できないかとずーっと考えていて,式変形したりと試行錯誤はしていたのですが,いずれも失敗に終わりました。そこで初心に戻って,生成元で表して考えてみたところ今回の証明を思い付いたって感じです。
証明してしまえば「当たり前」とも思える結果なんですけれど,少しでも怪しいと思うものはきちんと自分の手で証明するのが大切ですね。
素数が無数に存在することの証明
こんにちは。Math。です。
素数が無数に存在することはよく知られた事実で,さまざまな証明方法が知られています。
今回は,私が最近知った証明方法をご紹介します。
準備
証明に入る前に,次の補題を証明しておきます。
一次関数と対数関数の発散スピードを比較すれば当然とも言えますが,一応,ちゃんと証明しておきます。
式 のままだと扱いづらいので と置き換えると,式 は次のように書き換えられます。
よって,式 の代わりに式 を示せば十分です。そこで,式 を少し変形して,
が成り立つことを示します。
として, の Taylor 展開(Maclaurin 展開)を考えると,
という不等式を得ます1。よって,
であり,左辺が 2 より大きくなればよいので, を
となるように取ればよいことが分かります。
したがって,式 を満たすような が存在します。すなわち,式 を満たす が存在します。■
本題の証明
先ほどの補題を用いて,若干の組合せ論的に素数が無数に存在することを示します。ただし,2 が最小の素数であることは既知であるとします。
自然数 に対して,素数が 個あると仮定します。以下,その 個の素数を と表すことにします。
補題より,不等式 を満たす が存在しますので, 以下の自然数のうち
の形で表せるものの個数 について考えます。このとき,
ですから, より が成り立ちます。
ここで,2 は最小の素数なので です。よって, が成り立ちます。
さて,各 の指数 の取り方が 通り(:Gauss 記号)あるので
が成り立ちます。つまり, は 未満です。
これより, 以下の自然数の中に,式 の形で表せない( 以外の素因数を持つ)ものが存在します。これは, 以外の素数が存在することを意味しますので,素数は少なくとも 個存在します。
おわりに
冒頭に「さまざまな証明方法」と述べましたが,正直に言いますと,ちゃんと噛み締めた証明方法は Euclid による方法と Furstenberg 位相を用いた方法の 2 つだけです(今回の方法を合わせて 3 つです)。Wikipedia にはほかの方法も載っていますが,細部までは理解していません。
あと,解析学関連は気づかぬうちに循環論法になっていたりするので難しいですね…
- の定義によっては循環論法に陥りそうで怖いので,ここでは Taylor 展開の式で定義しておきます。↩
バンドの貼り合わせと 1-ハンドル手術
こんにちは。Math。です。
GW 中に参考文献の論文を読んでいました。一応,初等的証明なので難易度は高くありませんが,絵をこねくり回さないといけないので大変でした。あと,英語が苦手なので読むのもひと苦労しました…
この論文の中で,面白いというか「そういう見方もできるのか!」と少々驚いた補題があったので,それについて書いていきます。
バンドの貼り合わせ
局所的な 2 つの曲面1の間に,半ひねりしたバンドを図 1 のように貼り合わせることを考えます。
これをバンドの貼り合わせとよぶことにします。
1-ハンドル手術
局所的な 2 つの曲面を,円筒で図 2 のように繋ぐことを考えます。トンネルやワームホールのイメージです。
これを 1-ハンドル手術とよぶことにします。
なお,図 2 のように綺麗な円筒でなくても大丈夫です。つまり,円筒が絡まっていたり,ねじられていても OK です。ただし,1-ハンドル手術で得られる曲面に,自己交差があってはいけません。
バンドの貼り合わせと 1-ハンドル手術
さて,この「バンドの貼り合わせ」と「1-ハンドル手術」に関して次の命題が成り立ちます。
下図のように,互いに逆ひねりの 2 つのバンドの貼り合わせによって得られる曲面は,もとの 2 つの曲面に 1-ハンドル手術を施して得られる曲面と同値です。
ここで言う「同値」とは,アンビエントアイソトピー変形で移り合うということです。つまり,図 3 の曲面を連続的に変形していき,最終的に,2 つの曲面が円筒で繋がっていることを見れば十分です。
図 3 左の曲面について,手前の曲面を上に(または奥の曲面を下に)引き伸ばすと,図 4 のようになります。
このとき,境界に(帽子のように)ツバを付けてあげれば,次のように円筒で繋がれていることが分かります。
したがって,図 3 左の曲面は,もとの 2 つの曲面に 1-ハンドル手術を施して得られる曲面に同値です。図 3 右についても同様なので,命題が成り立ちます。■
おわりに
図 3 の曲面を見て,そこに円筒が隠れていたとは思いもしませんでした。実に面白いです。こういうことがあるから数学はやめられません。
あと,今回の証明は数式が一つもない代わりに絵がたくさん必要だったので,それらを用意するのが大変でした。余裕があれば,ツバを付けた図なども作成したいと思います。
参考文献
- D. Bar-Natan, J. Fulman and L. H. Kauffman, An Elementary Proof That All Spanning Surfaces of a Link Are Tube-Equivalent, Journal of Knot Theory and Its Ramifications, Vol. 7, No. 7, 1998, pp.873-879
- 全体として 1 つの曲面であっても問題ありません。↩
Laurent 多項式環の単元
こんにちは。Math。です。
勉強していて Laurent 多項式環の単元が出てきたので,それについて書いていきます。
Laurent 多項式環
を不定元とします。
明らかなように,Laurent 多項式同士の和や積も Laurent 多項式です。したがって,次のことが言えます。
Laurent 多項式環の性質
言うまでもなく, における零元,単位元はそれぞれ 0 と 1 です。また,普通の多項式環2とは違い,次が成り立ちます。
の単元(逆元をもつ元)は ()です。
たちが の単元であることはすぐに確かめられます。よって, の単元がこれらしかないことを示していきます。
を単元とします。
ここで, の最小次数を とし, を の逆元とするとき,
とできます。つまり, は単元です。しかも,その最小次数は 0 以上なので,これを改めて と書けば, は負冪を持たない単元ということになります。
よって,単元 は負冪を持たないと仮定しても一般性を失いません。このとき, の最高次数を とし,
とします。また, の逆元 を
とします。ただし,, です。
において係数比較をすれば, に対して
が成り立ちます。
のときは直ちに が得られますので,以下では とします。
まず, のほうから調べていきます。
および より です。さらに,
より です。以下同様にして,
が成り立ちます。
次に, のほうから調べていきます。
そこで, と仮定すると, より です。さらに,
より です。以下同様にして,
が成り立ちます。このとき,
ですが, なので矛盾します。つまり,背理法により でなければなりません。
同じように, と仮定すれば矛盾が導かれるので,やはり です。これを繰り返すことで,
が成り立ちます。すなわち, と書けます。
このとき, より に注意すれば,
であることが分かります。特に, ですから, です。
したがって, です。■
おわりに
恐らく正しいはずです。
簡単に証明できるものかと思っていたら,想像以上に大変でした。因数定理などを利用すればエレガントに証明できるんじゃないかとも思いましたが,あいにく思いつきませんでした…
ひとまず,Laurent 多項式環の単元は の形をしていると分かったので満足です。
それでは。
かわいい溢れる『わたなれ』3 巻の感想
こんにちは。Math。です。
待ちに待った,みかみてれん先生著『わたしが恋人になれるわけないじゃん、ムリムリ!(※ムリじゃなかった!?)』の第 3 巻が発売されました。
嬉しすぎます。即買いです。
わたしが恋人になれるわけないじゃん、ムリムリ!(※ムリじゃなかった!?)3(ダッシュエックス文庫)
- 著者:みかみてれん
- イラスト:竹嶋えく
- 出版社:集英社
- 発売日:2021年4月23日
私がガールズ・ラブコメにハマったきっかけでもある本作品。第 1 巻はスパダリこと真唯が,第 2 巻は黒髪クール美少女の紗月さんがメインでした。
そしてついに,我らが大天使・紫陽花さんがメインの第 3 巻です。
「私、家出することにしたんだっ」
すべてはその一言から始まった。
夏休み、家族と喧嘩してしまった紫陽花さんは、意地になって家出すると言い出した! 一人旅は危なすぎでしょと焦ったわたしは、勢いでその旅に同行することに。
わたしが天使を守るんだ!
海沿いの町に泊まって、卓球をしたり温泉入ったり、紫陽花さんが甘えん坊妹になっちゃったり!? さらに真唯まで現れて、旅は一気に賑やかに。元気になった紫陽花さんも家族と和解して、一件落着。
——のはずだったんだけど。
わたしはずっと気づかなかった。紫陽花さんがどんな想いでわたしと一緒にいてくれたのかを。
出典:わたしが恋人になれるわけないじゃん、ムリムリ!(※ムリじゃなかった!?) 3/みかみてれん/竹嶋 えく | 集英社の本 公式
あらすじの時点で最高は確信していたんですけど,蓋を開けてみると期待以上でしたね。
優しいが服を着て歩いてるような存在の紫陽花さんが怒るところも甘えるところもいたずらなところも,何もかもが可愛いです。ふと我に返って羞恥に悶える紫陽花さんも天使すぎて,れな子の心境には深く共感するばかりでした。
そして,紫陽花さんのそんな一面を引き出したれな子には,もはや称賛しかありません。普段はネガティブ思考全開だけれど,いざとなれば不器用ながらにも一生懸命,友達のために行動できるれな子には,1・2 巻に引き続き惚れ直しました。ほんと罪づくりな女(褒め言葉)です。もちろん,自ら墓穴を掘りにいく姿もれな子の魅力の一つです。
真唯が再び登場してからは物語が更に大きく動き出し,勢いが衰えることを知らずの最後の最後—— 348 ページからの流れと 351 ページ冒頭のあの一文ですよ。これまでの物語が一気にフラッシュバックしてあの一文に収束したときには,冗談抜きで全身に鳥肌が立ちました。
みかみてれん先生,感服です…
おわりに
1・2 巻に引けを取らない最高の 3 巻でした。
個人的には,クールを身に纏う紗月さんのあんな姿が見られるとは思っていなくて,棚からぼた餅でした。ごちそうさまです。それに,紗月さんからの命令を素直に守らないれな子,なかなかの大物です。あとで痛い目を見ることになりそう…
それと,真唯ママとの邂逅はどう響いてくるんでしょうか。気になります。
次はいよいよ,みんなの妹・小柳香穂ちゃんがメインとのことで,とても楽しみです。可愛い愛されキャラだけれど裏があるっぽい香穂ちゃんを,(恐らく)深く知ることができる第 4 巻。待ち遠しいです。
それでは。
P.S. みかみてれん先生原作の『もし、恋が見えたなら』も面白いのでぜひ〜
加群の定義と例
こんにちは。Math。です。
普段,数学をやっていても加群って全く使わない(あるいは意識していない)ので,いざ出てくると定義とかすっかり忘れてしまっています。
ということで,今回は加群についてです。
加群
を(単位的)環, を可換群とします。また, を単位元とします。
右 -加群というものもありますが,特に断らない限り,以下では左 -加群のことを単に -加群と書きます。
-加群の定義は, を決めるたびに写像 が定まると考えることもできます。すなわち, が -加群であるということを「環準同型写像 が定まること」と定義できます。
では,条件 i〜iii による定義を定義 1,環準同型写像による定義を定義 2 とするとき,これらの同値性を証明してみます。
定義 1 を採用したとき,各 に対して
で写像 を定めます。
このとき,条件 i より は準同型写像です。また,条件 iii より ( の単位元)です。
さらに,条件 ii によって,任意の , に対して,
および
なので, は環準同型写像です。よって,環準同型写像が定まりました。
一方,定義 2 を採用したとき,環準同型写像 に対して,
で写像 を定めます。
このとき, が準同型であることから条件 i が成り立ちます。また, が環準同型であることから条件 ii,iii が成り立ちます。
したがって,定義 1 を採用すれば定義 2 の条件が,定義 2 を採用すれば定義 1 の条件がそれぞれ得られるので,この 2 つの定義は同値です。■
これより,どちらの定義を採用しても問題ないことが保証されました。なお,ここでは定義 1 のほうを採用します。
加群の例
環 はそれ自身で -加群です。当然と言えば当然で,環は加法について可換群ですし,結合則や分配法則も成り立つので,条件 i~iii を全て満たします。ほかにも,環 の任意のイデアルは -加群です。
もう少し具体的な例を挙げると,実数(複素数)係数の 次正方行列からなる環 に対して, 次元実(複素)ベクトル空間 は -加群です。
実際,単位行列 と任意の行列 ,ベクトル に対して,
- ,
が成り立ちます。
零因子の存在
環 の元 に対して, となる非零元 が存在するとき, を零因子といいます。
特に,環によっては非零元同士の積が 0 になることもあります。それと似たようなことが,-加群 でも起こり得ます。
すなわち,ある ()と ()に対して, ということが起こり得ます1。
例えば,実数係数の 2 次正方行列からなる環 と,2 次元実ベクトル空間 について,非零な元として
をとってくれば が成り立ちます。
したがって,一般に だからと言って「 または 」と言うことはできません。
おわりに
「 かつ のときに が成り立つかどうか」という疑問から今回,加群を復習しようと思い立った次第です。
結論から言うと,前節の最後に書いたように, かつ だとしても とは限りません。
そりゃそうかって感じもするんですが,久々に加群を復習できたので結果としては良かったです。