2018-05-31

代数的数の加減乗除

定理解説

定義零でない有理数係数一変数多項式の根となるような複素数のことを代数的数とよぶ。代数的数 $\alpha$ について、 $\alpha$ を根に持つ零でない有理数係数一変数多項式の中で次数が最小でモニックなものを $\alpha$ の最小多項式といい、 $\alpha$ の最小多項式の次数を $\alpha$ の次数とよぶ。

定理 $\alpha, \beta$ を代数的数とする。このとき、 $\alpha+\beta$ と $\alpha\beta$ はともに代数的数である。また、 $\beta\neq0$ であれば $\beta^{-1}$ も代数的数である。

証明. $\alpha, \beta$ ともに零でない場合を考えれば十分である。 $\alpha$ , $\beta$ の次数をそれぞれ $n, m\geq 1$ とし、 $\gamma$ を $\alpha+\beta$ または $\alpha\beta$ とする。

$A:=\{\alpha^i\beta^j \mid 0\leq i\leq n-1, 0\leq j \leq m-1\} = \{\gamma_1, \dots, \gamma_N\}$

とするとき、 $\alpha, \beta$ の最小多項式を利用して次数下げすることによって、任意の $A$ の元 $\gamma_l$ に対して $\gamma\gamma_l$ は $A$ の元の整数係数一次結合で表せることがわかる。 $1\leq k\leq N$ に対して $\gamma\gamma_k=\sum_{l=1}^{N}c_{k,l}\gamma_l$ と有理数 $c_{k,l}$ を用いて表示すると、縦ベクトル $\Gamma={}^t(\gamma_1, \dots, \gamma_{N}) \neq 0$ と行列 $C:=(c_{k,l})_{1\leq k, l \leq N}$ に対して $C\Gamma=\gamma\Gamma$ が成り立つ。 $\Gamma\neq 0$ より

$\det(C-\gamma I)=0$

であり( $I$ は単位行列)、 $\gamma$ は多項式 $\det(C-xI)$ の根であることがわかった。

また、 $\beta$ の最小多項式を $x^m+a_1x^{m-1}+\cdots +a_m$ とすると、 $\beta^{-1}$ は $a_mx^m+a_{m-1}x^{m-1}+\cdots +1$ の根である。 Q.E.D.

2018-05-31

高木貞治の論文"Zur Theorie der natürlichen Zahlen"を読む

定理解説

高木貞治博士の論文を読むシリーズ第二弾です。第一弾は

integers.hatenablog.com

でした。今回は高木博士が50代後半の時に出版された論文

Teiji Takagi, Zur Theorie der natürlichen Zahlen, Proceedings of the Imperial Academy of Japan, Vol. 7, (1931), 29-30.

を読みます。

極めて短い論文ですが、要約すると「自然数について、加法の存在性定理を導いてしまえば帰納法なしに結合法則および交換法則を証明できる」という内容だと思いました。もちろん、存在性定理の証明には帰納法の公理を使いますが。

ちなみに、最近は自然数に $0$ を含めるのが主流だと思われますが、Peanoや高木博士は $1$ から始めています。

本論

Peanoの公理を思い出す:

$1$ は自然数である。
自然数 $x$ に対して、次の自然数 $x'$ が唯一つ存在する。
各自然数 $x$ に対して、 $1\neq x'$ である。
$x'=y'$ であれば $x=y$ である。
自然数の集合が $1$ を含み、自然数 $x$ を含むときは $x'$ を含むのであれば、その集合は自然数全体の集合である。

$F(x)=x'$ という関数( $\mathbb{N}\to\mathbb{N}$ )は $F(x')=F(x)'$ なる関数等式を満たしているが、逆にこの関数等式を満たすような関数 $F(x)$ を全て決定したい。

$F(1)=1$ を仮定した場合は、 $F(x)=x$ である。理由: $F(x)=x$ が所望の関数等式および $F(1)=1$ を満たすことは明らか。逆に、関数等式および $F(1)=1$ を満たす関数 $F$ があったと仮定する。(一つの)自然数 $x$ に対して、 $F(x)=x$ が成り立つと仮定する。このとき、 $F(x')=F(x)'=x'$ が成り立つので、公理5. より全ての自然数 $x$ に対して $F(x)=x$ が成り立つ。

このケースを除くために、自然数 $a$ に対して $F(1)=a'$ であるとする(公理3.)。これを今後 $F_a(x)$ と表す。すなわち、

$F_a(1)=a',\quad F_a(x')=(F_a(x) )'. \tag{1}$

定理 (1)を満たすような関数 $F_a(x)$ が唯一つ存在する。

証明. 一意性は公理5. より明らか。存在性を $a$ に関する帰納法で証明する。 $a=1$ のとき、 $F_1(x):=x'$ が(1)を満たす。実際、

$F_1(1)=1',\quad F_1(x')=(x')'=(F_1(x) )'$

である。次に、 $F_a(x)$ が存在すると仮定する。 $p=a'$ とするとき、 $F_p(x):=F_a(x')$ が(1)を満たす。実際、

$\begin{align}F_p(1)&=F_a(1')=(F_a(1) )'=(a')'=p',\\ F_p(x') &= F_a((x')')=(F_a(x') )'=(F_p(x) )'\end{align}$

である。 Q.E.D.

証明から次がわかる。

系 $F_a(x)$ は

$F_1(x)=x',\quad F_{a'}(x)=F_a(x') \tag{2}$

を満たす。

さて、 $\varphi(x):=F_b(F_a(x) )$ とおこう。(1)より

$\begin{align}\varphi(1)&=F_b(F_a(1) )=F_b(a')=(F_b(a) )', \\ \varphi(x') &= F_b(F_a(x') )=F_b( (F_a(x) )')=(F_b(F_a(x) ) )'=(\varphi(x) )'\end{align}$