2016-01-24

可解群のこと

数学群論

ガロア理論を用いて開冪により代数方程式の解の公式が表されるか，ということを示す際，この可解群の話は避けられない．
定義を眺めるといくぶんやる気がそがれると思うが，とりあえず書こう．

定義（可解群）
群 $G$ が可解群である，とは
1) $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_r=\{ 1 \}$ という正規部分群の列で，
2) $H_i / H_{i+1}(i=0 , 1 , 2, \ldots r-1)$ はアーベル群
を満たすものが存在することである．

ここからは群は有限群であるとする．

このとき次のことが成り立つ．

定理
群 $G$ が可解群であることと，
1) $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_s=\{ 1 \}$ という正規部分群の列で，
2) $H_i / H_{i+1}(i=0 , 1 , 2, \ldots s-1)$ は単純群かつ素数位数の巡回群
を満たすものが存在することは同値である．

（証明）
（ $\Leftarrow$ ）は明らかである．
（ $\Rightarrow$ ）
可解群で存在する正規部分群の列をさらに細かくする．
$H_i \triangleright H \triangleright H_{i+1}$ となる $H$ が存在するならば，それをとることを繰り返す．有限群であるからこの操作は有限回で終了する．
とれなくなったとき， $G=H_0 \triangleright H_1 \triangleright H_2 \triangleright \cdots \triangleright H_s=\{ 1 \}$ という正規部分群の列であるとする．
このとき各 $H_i / H_{i+1}$ は上のような $H$ が存在しないことから，正規部分群で自明なもの以外は存在しない．つまり単純群である．
また $H_i / H_{i+1}$ は元の正規部分群の列の剰余群の部分群とみなせるから，アーベル群である．
さらに自明な群ではないから，単位元以外の元がとれる．
この元で生成される巡回群を考えれば，それは $H_i / H_{i+1}$ の正規部分群であるが単純群で $\{ 1 \}$ でないので全体に一致する．
もしこの巡回群の位数が素数位数でないとすれば，正規部分群を真に含むので単純群であることに矛盾する．つまり素数位数の巡回群である．（証明終）

証明は素直だが，少しやぼったいかもしれない．

さて，可解群の話には次の交換子群の話がついてくる．上の定義があれば十分そうなのだが．

定義（交換子）
群 $G$ の要素 $a,b$ の交換子を $[ a,b ]=a^{-1} b^{-1}ab$ で定める．

定義（交換子群）
群 $G$ の部分群 $A,B$ に対し， $[ a,b ](a \in A, b \in B)$ 全体で生成される部分群を $A,B$ の交換子群 $[ A,B ]$ という．

定義（交換子群列）
群 $G$ に対し， $D_0(G)=G, D_1(G)= [ G, G]$ と定める．
さらに $D_{ i+1 }(G)=[ D_i(G) , D_i(G) ]$ とする．
このようにしてできる列， $G=D_0(G) \supset D_1(G) \supset D_2(G) \supset \cdots \supset D_i(G) \supset \cdots$ を交換子群列という．

連続して交換子について定義した．
これが何の役に立つのか，というと察しのいいかたは最後に列が登場したのを見て気がつくだろう．
実はこの交換子群列がどこかで $D_s(G)= \{ 1 \}$ となれば， $G$ は可解群であることが示されるのである．
まさにこの交換子群列が定義の正規部分群の列を与えているのである．
教科書によっては交換子で定義している．
前者の定義だと定義する内容は少なくて済むが，列が抽象的に与えられるためどのようにして見つけるのかが分からない．
後者であれば交換子を定義しなければいけないが，列を具体的に構成して与えられるという利点があるわけだ．

2016-01-23

図形と方程式・幾何ベクトル・複素平面の関係

数学

高校の数学２で図形と方程式という分野を学ぶ。
このときまでは直線は $y=mx+n$ で、放物線は $y=ax^2+bx+c$ ということは知っている。
図形は方程式で表現できる、ということをこの新しい分野で学ぶわけだ。

次に数学Bで幾何ベクトルを学び、さらに数学３で複素平面を、と進んでいく。

問題は幾何ベクトルでも複素平面でも、図形を式で表す試みをすることである。
その時々で新しい表現を学ぶのだが、それぞれに特徴があり
表現が得意なものもあれば苦手なものもあるという感じである。

でも共通しているものもあって、それは内分・外分の公式である。
複素平面バージョンで書いておこう。
複素数 $A(\alpha), B(\beta)$ を $m : n$ に内分する点は $\frac{n\alpha+m\beta}{m+n}$ である。

2016-01-22

e（自然対数の底、ネイピア数、ネピア数）の話

数学

自然対数の底，ネイピア数と呼ばれる数eがある。
日本では数学IIIで学ぶ。教科書では次の定義で導入される。

$\displaystyle e = \lim_{h \to 0} (1 + h)^{\frac{1}{h}}$

この式を眺めていてもよく分からない。

その理由は対数の微分にある。 $\log_a x$ に導関数の定義式を適用する。
$\frac{\log_a (x+h) - \log_a x}{h}=\log_a(1+\frac{h}{x})^{\frac{1}{h}}$
$h \to 0$ の極限を考えることになるが，最右辺の $\log$ の中身が問題である。
この部分が上の式によれば， $e^\frac{1}{x}$ に収束することになるわけだ。

2016-01-21

n次正方行列のスペクトル分解

数学

スペクトル分解を学んだことがなかったので，少しだけ考えたあと教科書を調べた。
一般のn次正方行列でできると思って考えていたのだが，教科書には正規行列であることが必要十分とあった。

もう少し勉強してから，ここに書くつもりである。

2016-01-20

行列の軽い計算

数学

対角化の計算をするときに，固有ベクトルをとって行列を作るわけだが，
次のことが気になっていた。

命題．
$P,Q$ は零行列ではないn次正方行列とする。
$PQ=O$ ならば $QP=O$ である。

（証明）
背理法。 $QP \neq O$ と仮定する。
$Q$ を右乗すると，左辺は $QPQ=QO=O$ から $O \neq O$ となり矛盾する。（証明終）

~~この零行列の部分を単位行列に変えた命題も全く同じように示される。~~

（20.5.20)
完全なる嘘の証明である．反例が存在する．
$\begin{equation*}P=\begin{pmatrix}1 &0 \\0 &0 \end{pmatrix},Q=\begin{pmatrix}0 &0 \\1 &0 \end{pmatrix} \end{equation*}$ とおくと， $PQ=O$ だが $QP \neq O$ である．

2016-01-19

級数の問題を解く（数列の問題との絡み）

数学

この問はどうするか。
１） $\displaystyle \lim_{n \to \infty} \frac{1+2+3+ \cdots +n}{n^2}$
級数ではないが，和の問題なので考えてみる。
解）
$\frac{1+2+ \cdots +n}{n^2}=\frac{n(n+1)}{2n^2}=\frac{1}{2}(1+\frac{1}{n}) \to \frac{1}{2}$ as $n \to \infty$ ．

このように一部が和の公式が使えるときは使うとよい。

２） $\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5}+ \cdots +\frac{1}{(2n-1)(2n+1)}+ \cdots$
有名な部分分数分解を使うときである。 $\frac{1}{(2n-1)(2n+1)}=\frac{1}{2}(\frac{1}{2n-1} - \frac{1}{2n+1})$
解）
$n$ までの和は部分分数分解を使うと次のとおりである。
$\frac{1}{1 \cdot 3} + \frac{1}{3 \cdot 5}+ \cdots +\frac{1}{(2n-1)(2n+1)}$
$=\frac{1}{2}(\frac{1}{1}-\frac{1}{3}+\frac{1}{3}-\frac{1}{5} + \cdots +\frac{1}{2n-1} -\frac{1}{2n+1}$
$=\frac{1}{2}(\frac{1}{1} -\frac{1}{2n+1})$ （先頭と最後以外は前後で打ち消しあう）
$\to \frac{1}{2}$ as $n \to \infty$ ．

2016-01-18

級数の問題を解く（等比級数の具体的な計算）

数学

前回
orz107orz.hatenablog.com
を受けて，実際の問題で公式を使ってみよう。

１） $\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\cdots + (\frac{1}{2})^n + \cdots$
初項が $\frac{1}{2}$ ，公比が $\frac{1}{2}$ の無限等比級数である。
公比の絶対値が1より小さいので，公式が使える。
$\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\cdots + (\frac{1}{2})^n + \cdots = \frac{\frac{1}{2}}{1-\frac{1}{2}}=1$ ．

２） $0.999\cdots$
かの有名な問題である。この・・・が曲者だ。
この・・・は何かを省略したものではない。別の解釈をする。
その解釈とは何かというと，級数だととらえるのが普通だと筆者は考えている。
つまり， $0.999 \cdots = 9 \cdot \frac{1}{10} + 9 \cdot (\frac{1}{10})^2 + 9 \cdot (\frac{1}{10})^3 + \cdots$ と考える。
そういうわけで，右辺に公式を使うと $\frac{\frac{9}{10}}{1-\frac{1}{10}}=1$ であるから， $0.999 \cdots = 1$ である。