2018-11-02

直積群の基本

数学群論

$G_1, G_2$ を群としたとき，直積集合 $G_1 \times G_2$ の元 $(a_1, a_2),(b_1,b_2)$ に次のように演算を入れる。
$(a_1, a_2)(b_1,b_2):=(a_1b_1,a_2b_2)$
右辺のそれぞれの成分は，元の群の演算をおこなうこととする。これで直積集合は群となる。直積群，もしくは単に直積と呼ぶ。

群 $G$ の部分群 $H_1, H_2$ が次の2条件を満たすとする。
1) $H_1$ の任意の元と $H_2$ の任意の元は可換である。
2) 任意の $G$ の元 $a$ はある $a_1 \in H_1$ および $a_2 \in H_2$ で $a=a_1a_2$ と一意的に表せる。
$G$ は部分群 $H_1, H_2$ の直積であるといい， $G=H_1 \times H_2$ と表す。

最初の定義は与えられた2個の群から新たな群を生み出す方法であり，2番目の定義は1つの群を分解するイメージだろうか？素因数分解のような…。群論のイメージは自分自身にはまだあまりないので，よく分からないが今のところはそのように認識しておこう。

（追記19.9.23）
半直積というものもあることを知った。ソースはウィキブックスである。あなどれない。

2018-08-02

勾配（grad）の話

数学

ナブラというものがある。
$\nabla = \partial _1 e_1 + \partial _2 e_2 + \cdots + \partial _n e_n$ で定義する。
ここで $e_*$ は各軸の正方向の単位ベクトル（＝基本ベクトル）である。

つまりナブラは微分作用素であって，関数 $f$ に対して
$\nabla f=\partial _1 f e_1 + \partial _2 f e_2 + \cdots + \partial _n f e_n$
となり各成分の方向への偏微分をベクトルで表現している。

このナブラを使うと、関数の勾配を計算できる。

具体例を挙げておく。
例．
$f(x,y)=\sqrt{9 - x^2 - y^2}, x^2 + y^2 <9$ とする。
このとき $\nabla f(x,y,z)=(\frac{-x}{9-x^2-y^2},\frac{-y}{9-x^2-y^2})$ である。

正直これではなんのことやら？である。
もう少し考えてみよう。

上の例の関数は $z=f(x,y)$ とすると3次元空間内の曲面を与える。
そこでこの曲面の各点 $(a,b,f(a,b))$ の接平面を求める。
接平面は
　 $z = f(a,b) + \partial_x f(a,b) (x-a) + \partial_y f(a,b) (y-b)$
で与えられる。

（20.6.17）
タイトルと内容を書き換えた。

2018-07-12

三角不等式（絶対値）

数学

実数 $a, b$ に対して，次の不等式が成立する。
$|a+b| \leq |a| + |b|$ ．
この不等式を三角不等式という。

証明は右辺の平方と左辺の平方を計算する方法が教科書にある。
ほかにもこのような方法もよく知られている。

（証明）
絶対値の性質から従う式 $-a \leq |a| \leq a, -b \leq |b| \leq b$ の辺々を加えると，
$-(a + b) \leq |a| + |b| \leq a+b$ となる。これと証明すべき式は同値である。
（証明終）

2017-12-02

前の日の複素数の方程式（東北大学）の記事について

数学

問題文には必要十分条件であることを示せ、と書かれているが果たしてこれでいいのだろうか、と一瞬迷った。
つまり議論的には $z$ がちょうど2個存在するための十分条件を求めただけのように見える。
逆はいいのか…？という話である。

結論から言うと問題ない。
なぜならこの解は、次のような構造で解かれているからである。
（１） $\alpha \neq \bar{\beta}$ ならば $z$ がちょうど2個となる
（２） $\alpha = \bar{\beta}$ ならば $z$ がちょうど2個とならない
つまり $\alpha, \bar{\beta}$ の起こりうる関係をすべて調べつくしている。そこで対偶をとってみる。
（１）´ $z$ がちょうど2個とならないならば $\alpha = \bar{\beta}$
（２）´ $z$ がちょうど2個となるならば $\alpha \neq \bar{\beta}$
よって、同値であることが示されるのである。

2017-12-01

東北大学2017年数学問5を解く

数学

難しかった。複素数の方程式の解の存在条件なんて知らなかったからだ。
かなり考えて、結局は実数の話にすりかえることで解決できることに気がついた。

５． $\alpha, \beta, \gamma$ を複素数とし， $z \bar{z}+\alpha z + \beta \bar{z} + \gamma=0$ …(*)を満たす複素数 $z$ を考える．
以下の問いに答えよ．
(1) $z$ は $(\alpha - \bar{\beta})z - (\bar{\alpha} - \beta)\bar{z}+\gamma - \bar{\gamma}=0$ を満たすことを示せ．
(2) $|\alpha|=|\beta| \neq 0$ と仮定し，また $\gamma$ は負の実数であると仮定する．このとき，(*)を満たす $z$ がちょうど2個あるための必要十分条件を $\alpha, \beta$ を用いて表せ．

解）(1) (*)の両辺の複素共役をとり、辺々引くと得られる．
(2) 仮定から(1)の式は $(\alpha - \bar{\beta})z - (\bar{\alpha} - \beta)\bar{z}=0$ となる．
移項して $\alpha z + \beta \bar{z} =\bar{\alpha} \bar{z} + \bar{\beta} z=\overline{\alpha z + \beta \bar{z}}$ が得られる．
これは $\alpha z + \beta \bar{z}$ が実数であることを意味する．つまり(*)は実数の方程式であることが分かる．
$z=x+yi, \alpha=a+bi, \beta=c+di$ とおき，(*)に代入し整理すると次の式が得られる．
$x^2 + y^2 +(a+c)x+(-b+d)y+\gamma + ((b+d)x+(a-c)y)i=0$ …(**)
左辺が実数であることから虚部が0より $(b+d)x+(a-c)y=0$ …(***)を得る．
(**)と(***)を $x,y$ の連立方程式とみて解くが，以下のように場合分けして考える．
（i） $a-c \neq 0$ の場合
$y=\frac{b+d}{a-c} x$ と変形できるので， $\frac{b+d}{a-c}=A$ と置き換えて，(**)に代入する．
$(1+A^2)x^2+((a+c)+(d-b)A)x+\gamma=0$
これは $x$ についての2次方程式である． $\gamma < 0$ に注意すると，この方程式の判別式は $D=((a+c)+(d-b)A)^2-4(1+A^2)\gamma >0$ となるので，常に異なる2個の実数解が存在する．よって元の $z$ の実部が異なるので，(*)を満たす $z$ も2個存在する．
（ii） $a - c =0$ の場合
(***)は $(b+d)x=0$ となる．
$x=0$ のとき(**)は $y^2 + (-b+d)y + \gamma =0$ となる． $\gamma < 0$ に注意すると，この方程式の判別式は $D=(-b+d)^2- 4 \gamma >0$ であるから， $y$ が異なる2個の実数解を持つことになり， $z$ の虚部が異なり，(*)を満たす $z$ も2個存在する．
$b+d =0$ のとき，(**)は $x^2 + y^2 +2ax -2by + \gamma =0$ となる．
どのような $a, b$ に対しても $(x+a)^2 + (y-b)^2=a^2 + b^2 - \gamma$ となる．
この式の右辺は常に正ゆえ，中心 $(-a,b)$ ，半径 $\sqrt{a^2 + b^2 - \gamma}$ の円の方程式を表す．
つまり $x,y$ は円周上の点をすべてとるので， $z$ も無数に存在する．
以上（i）（ii）から $a=c,b=-d$ のときを除いて（*）を満たす $z$ はちょうど2個存在することになる．
$\alpha, \beta$ の言葉で言い換えると， $\alpha \neq \bar {\beta}$ が求める条件である．

2017-10-18

岩手大学2017農学部第5問を解く

数学岩手大学

珍しく単純な多項式の問題だが，なんというか，微妙な出題だと思う。
物足りない感じがするので，元々はもうちょっと尾ひれがあったか，
問いたいものがあったのかもしれない。

５．
実数 $x$ について， $A=x^4+4x^3+4x^2+5,B=x^2+2x+2$ とおくとき，次の問いに答えよ。
(1) 整式 $A$ を整式 $B$ で割った商と余りを求めよ。
(2) $A$ を $B$ の2次式で表せ。
(3) 設問(2)で求めた式を用いて， $\frac{A}{B}$ の最小値と，そのときの $x$ の値を求めよ。

解）
(1)
割り算を実際実行すればよく，商 $x^2+2x-2$ ，余り $9$ である。

(2)
(1) の計算から，割り算の原理を使って書き下すと
$A=B \times (x^2+2x-2)+9$
であるが， $x^2+2x-2=B-4$ より $A=B(B-4)-9=B^2-4B+9$ となる。

(3)
$B=(x+1)^2+1>0$ であるから(2)の両辺を $B$ で割って， $\frac{A}{B}=B-4+\frac{9}{B}$ を得る。
ここで右辺に相加相乗平均の不等式を用いると，
$\frac{A}{B}=B+\frac{9}{B}-4 \geq 2 \times 3 -4 =2$ ．
等号成立条件は $B=\frac{9}{B}$ ，つまり $B^2=9$ で $B>0$ より $B=3$ となる。
これは $(x+1)^2+1=3$ より $(x+1)^2=2$ すなわち $x=-1 \pm \sqrt{2}$ である。
以上より $x=-1 \pm \sqrt{2}$ で最小値 $2$ をとる。

2017-10-17

岩手大学2017農学部第4問を解く

数学岩手大学

例によって，関数のグラフをかくことはできない。
技術の問題である…。
そして数学２の積分の分野のオーソドックスな問題であって，練習に丁度いいと思う。
ただし放物線の次数を昇べきの順にしているのは少しだけいじわるのような気がする。
ま、マイナスを出さないということなんだろうが…。

４．
放物線 $C:y=2x-x^2$ と直線 $\ell : y=ax$ について，定数 $a$ が $0 < a < 2$ の範囲にあるとき，次の問いに答えよ。
(1) 放物線 $C$ と直線 $\ell$ で囲まれた部分の面積を $a$ を用いて表せ。
(2) 直線 $\ell$ が，放物線 $C$ と $x$ 軸とで囲まれた部分の面積を二等分するときの $a$ の値を求めよ。

解）
(1)
放物線と直線の共有点の $x$ 座標を求めると $-x^2+2x=ax$ を解いて $x=0,2-a$ である。
求める面積は $S_1=\int_0^{2-a}(-x^2+2x-ax)dx=\frac{1}{6}(2-a)^3$ ．（1/6公式）

(2)
放物線と $x$ 軸で囲まれた部分の面積は $\int_0^2(-x^2+2x)dx=\frac{1}{6} \times 2^3$ ．
この面積の二等分が $S_1$ に等しければよいので，
$\frac{1}{6}(2-a)^3 = \frac{1}{6} \times 2^3 \times \frac{1}{2}$
これを解いて， $a=2 - 2^{\frac{2}{3}}$ を得る．