この項目では、複素数全体を表す C(実数で考えると平面、複素数で考えると「直線」)について説明しています。複素数を成分とする「平面」C2については「複素数空間」をご覧ください。
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;line-height:1.25em;background-color:#f9f9f9;display:flow-root}.mw-parser-output .side-box-abovebelow,.mw-parser-output .side-box-text{padding:0.25em 0.9em}.mw-parser-output .side-box-image{padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .side-box-imageright{padding:2px 0.9em 2px 0;text-align:center}@media(min-width:500px){.mw-parser-output .side-box-flex{display:flex;align-items:center}.mw-parser-output .side-box-text{flex:1}}@media(min-width:720px){.mw-parser-output .side-box{width:238px}.mw-parser-output .side-box-right{clear:right;float:right;margin-left:1em}.mw-parser-output .side-box-left{margin-right:1em}}ウィキブックスに複素数平面
数学において、複素平面(ふくそへいめん、独: Komplexe Zahlenebene, 英: complex plane)[1]あるいは数平面[2](すうへいめん、独: Zahlenebene)、z-平面とは、複素数 z = x + iy を直交座標 (x, y) に対応させた直交座標平面のことである。複素数の実部を表す軸を実軸 (real axis)(実数直線)、虚部を表す軸を虚軸 (imaginary axis) という。
1811年頃にガウスによって導入されたため、ガウス平面 (Gaussian plane) とも呼ばれる[3]。一方、それに先立つ1806年に Jean-Robert Argand(英語版)も同様の手法を用いたため、アルガン図 (Argand Diagram)[4] とも呼ばれている。さらに、それ以前の1797年の Caspar Wessel(英語版)の書簡にも登場している。このように複素数の幾何的表示はガウス以前にも知られていたが、今日用いられているような形式で複素平面を論じたのはガウスである[3]。三者の名前をとってガウス・アルガン平面、ガウス・ウェッセル平面などとも言われる[3]。
英称 complex plane の訳として複素数平面と呼ぶことも少なくなく[5]、大学以上の数学書では『複素平面』または『ガウス平面』の方が〔複素数平面よりも〕圧倒的に主流であるとの見解がある[6]。しかし、接頭辞「複素?」を「係数体を複素数体とする」という意味に解釈すると、複素数を成分とする「平面」という意味になり、C2(実部と虚部に分けると実4次元線形空間)[注釈 1](二次元複素解析空間)を指すので、文脈によってどちらを指しているかは注意が必要である。日本の高等学校の学習指導要領では現在は「複素数平面」が用いられている。 複素数 z = r(cosα + i sinα)(r ? 0, α は実数)に cosβ + i sinβ(β は実数)を掛けると、z の偏角が β 増える。このことから、虚数単位 i = cos.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}π/2 + i sinπ/2 は、実数直線における実数単位 1 を原点中心、反時計回りに 90° 回転した位置にあると考えることができる。そこで、実数直線を拡張し、実軸と虚軸からなる座標平面を導入すると、複素数の演算が幾何学的な操作に対応し、見通しが良くなる。この平面を複素平面という。複素平面では、複素数の実部、虚部が点(位置ベクトル)のそれぞれ x座標(x成分)、y座標(y成分)に対応する。 絶対値は、複素平面においては、その複素数が表す点と原点 O(0) の距離に等しい。複素共役は、実軸対称に当たる。 複素数 z を直交座標表示すると、z = x + yi(x, y は実数)となり、加法・減法・実数倍 は、幾何学的には平面上の平行移動および原点中心の拡大縮小
概観
複素数を、複素数への左からの[注釈 2]作用と考えると、平面 R2 上での原点を動かさない反転や回転を含む線型変換(一次変換)を引き起こす。この一次変換の表現行列は、複素数の実二次正方行列としての実現と考えることができる。
複素数の代数的演算により、ガウス平面上で平行移動と任意の一次変換が行えるから、したがって任意のアフィン変換を施すことが可能である。ここで、ガウス平面に無限遠点を付け加えて1点コンパクト化し、ガウス平面を拡張したリーマン球面(補完数平面)上で考えると、複素数 x + iy はリーマン球面上の点 [x : y : 1] と見なせる。リーマン球面上のアフィン変換は一次分数変換であり、複素数をアフィン変換の表現行列として実現することもできる。 歴史上、複素平面のアイデアをはじめて発表したのは、当時デンマークの支配下にあったノルウェー生まれの測量技師、Caspar Wessel 複素数平面の導入により、複素数全体 C には幾何学的な意味づけができる。 複素数平面は、実数体 R 上の2次元線形空間である。(1, i) は、複素数平面の基底である。 係数体を複素数体 C とすると、C は複素「直線」(次元 1)である。 複素数平面 C は、距離函数 d ( z 1 , z 2 ) = 。 z 1 − z 2 。 ( z 1 , z 2 ∈ C ) {\displaystyle d(z_{1},z_{2})=|z_{1}-z_{2}|\quad (z_{1},z_{2}\in \mathbb {C} )} について完備距離空間である。 この事実は、代数学の基本定理の証明に使われる。 複素数全体 C に無限遠点を付け加えるとコンパクト空間 C ∪ {∞} になる(1点コンパクト化)。C ∪ {∞} は2次元球面 S2 に同相である。この2次元球面をリーマン球面という。同相写像の具体的な構成法については「複素数#複素数球面」を参照 係数体を C と見た場合、 C は複素直線と呼ばれ、C ∪ {∞} は複素射影直線と呼ばれる。 複素数の乗除は、極形式表示し、ガウス平面上での幾何学的操作を考えると、見通しが良くなる。 複素数 z = x + yi(x, y は実数)に対して、直交座標表示 (x, y) の極座標表示を (r, θ) (r ? 0) とすると、x = r cosθ, y = r sinθ より、 z = r ( cos θ + i sin θ ) {\displaystyle z=r\,(\cos \theta +i\sin \theta )}
導入
空間としての複素数平面
線形空間
距離空間
コンパクト化
複素数の積と回転
Size:24 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef