２つの群 X，Y について， 準同型写像 f : X → Y は単射 ⇔ Ker f = {0} （0 は 単位元） を示そう． 目次 f は単射 ⇒ Ker f = {0} の証明 Ker f = {0} ⇒ f は単射 の証明 f は単射 ⇒ Ker f = {0} の証明 f の準同型性より，∀x ∈ X に対し，f(x) = f(x+0) = f…

相加・相乗平均の3次元グラフを描く．描画ソフトはgeogebraを用いる． 相加・相乗平均の不等式 実数 $a , b \geq 0$ に対し，$\displaystyle \frac{a+b}{2} \geq \sqrt{ab}$ が成り立つ．等号条件は $a=b$ である． $\displaystyle \frac{a+b}{2}$ と $\sqrt…