目標
の直積を用いて複素数を定義することが本記事の目標です.
素朴な複素数の定義
複素数は素朴には,以下のような定義でした.すなわち,を満たす異なる2解のうち一方をとおき,なる集合を考え,これをとかきます.の元を複素数とよびます.は体になります.すなわち,次の公理を満たします.
集合に対して,加法と乗法という二つの演算が定まっているとする.が次を満たすとき,を体とよぶ.
A1. 任意のに対して,和が定まっている.
A2. 任意のに対して,が成立する.
A3. 任意のに対して,が成立する.
A4. ある元が存在し,が成立する.このを零元とよぶ.零元は一意的である.実際,を零元とすると,である.
A5. 任意のに対して,が存在して,が成立する.このをの加法逆元とよぶ.加法逆元は一意的である.実際,をの加法逆元とすると,であり,である.
A6. 任意のに対して,積が定まっている.
A7. 任意のに対して,が成立する.
A8. 任意のに対して,が成立する.
A9. があって,任意のに対して,が成立する.このを乗法単位元とよぶ.乗法単位元は一意的である.実際,を乗法単位元とすると,である.
A10. 任意のでないに対して,が存在して,が成立する.このをの乗法逆元とよぶ.乗法逆元は一意的である.実際,をの乗法逆元とすると,であり,である.
A11. 任意のに対して,が成立する.
任意のに対して定まる一意的な加法逆元をとかく.
任意のに対して定まる一意的な乗法逆元をとかく.
実際に体になっていることを確認するためには,上の11個の公理を満たすことを確認すればいいですね!
に定まる基本的な演算は以下の通りです.
-
- ただし,
以下では,素朴に定義した複素数とまったく同じ構造をもつ集合を定義しようということが目標になります.
似ているぞ
は複素数平面の点として,直交座標系の一点と似ています.そこで,逆に考えて,をと見ようというのが概略です.つまり,にしかるべき構造を入れて,複素数を構成します.まずは,演算を定義しましょう.
突然よく分からない写像を定義しましたが,この写像で,に,素朴に定義した複素数と同じ演算を入れています.
をそれぞれ乗法,加法と呼びます.に上の演算を入れたもの,をと書きます.すなわち,です.の元を複素数とよびます.に対して,と書きます.に対して,であることを,かつであることと定義します.
に関して,次が成立します.
は,上で定義した乗法と加法に関し,を加法単位元,を乗法単位元として体をなす.
体の公理を満たすことの確認
上で述べた体の公理を満たすことを確認する.
A1 写像の作り方から,任意のについて和が定まっている.
A2 任意のに対して,が成立する.
A3 とすれば,が成立する.
A4 とすれば,任意のに対して,が成立する.
A5 任意のに対して,とすれば,が成立する.
A6 写像の作り方から,任意のについて積が定まっている.
A7 任意のに対して,が成立する.
A8 とすれば,
であり,,であり,が成立する.
A9 とおく.任意のに対して,である.
A10 とする.このとき,の少なくとも一方はではなく,である.
そこで,とすると,が成立する.
A11 とすれば,,が成立する.
以上により,が体の公理をすべて満たすことが確認できました.よって,上で定義したはめでたく体になります!!!
虚数単位とは……
複素数といえば虚数単位,の導入が本質的な役割を果たしていました.しかし,上の構成ではが何なのか全くわかりません.はを満たすことが重要でした.では,上の定義でに相当するものは一体何でしょうか.実は,次が成立します.
虚数単位
とすれば,である.を虚数単位とよぶ.ただし,である.
上の命題では,実数と,複素数を同一視しています.同一視について少し考えてみます.写像として,なるものを考えます.は上で定義した演算として,
を考えれば(正確には,は定義域の制限をしています),からへの写像が次のように定まります.すなわち,とすれば,任意のに対して,となり,はの任意の二元の第一成分の積を返す写像になります.に関しても,とすれば,となります.すなわち,とは”似て”います.つまり,複素数では,となりますが,この第一成分に注目して,をと同じものとして考えるということです.(ということを考えましたが全く頓珍漢なことを言っているかもしれません.ご指摘いただければ幸いです.)
をとかきます.
を用いると,複素数について次のような表現が可能です.
以上で,から構成した複素数が,という見慣れた表現を持つことがわかりました.
おまけ
ちょっとした計算をしてみましょう.
であり,です.
最後に
同一視ってなんでしょうか.よく分からなくなりました.
なにはともあれ,複素数の定義は完了です.