虚数

出典: Wikipedio


虚数(きょすう)とは、実数ではない複素数のことである。ただし、しばしば「虚数」と訳される imaginary number は、「2乗した値がゼロを超えない実数になる複素数」として定義される場合がある<ref>Ahlfors, Lars V. Complex Analysis. 3rd ed. New York: McGraw-Hill, 1979. Pages 1-4. ISBN 978-0070006577</ref>。i または j で表わされる虚数単位は代表的な虚数の例である。

1572年にラファエル・ボンベリ (en) は虚数を定義した。しかし当時は、ゼロや負の数ですら架空のもの、役に立たないものと考えられており、負の数の平方根である虚数はなおさらであった。ルネ・デカルトも否定的にとらえ、著書『La Géométrie(幾何学)』で「虚数」と名付けた<ref name="Martinez">Albert A. Martinez, Negative Math: How Mathematical Rules Can Be Positively Bent, Princeton University Press, 2005, ISBN 978-0691123097 小屋良祐訳『負の数学』青土社、2006年 ISBN 978-4791763139</ref>が、その後徐々に多くの数学者に認知されていった。なお、1/0も計算不可能な数の例であるが、従来の虚数と異なり無限大に発散し、なおかつ複数の無限大に発散・振動(+∞、-∞、∞i等)するためこのような種の虚数は定義できない。(ゼロ除算参照)

目次

用語について

通常虚数とは、実数でない複素数を意味する<ref>『岩波数学辞典』第4版、2007年 ISBN 978-4000803090</ref>。すなわち、複素数

a + b ia, b は実数、i は虚数単位)

のうち、b ≠ 0 を満たすものである。また、a = 0 かつ b ≠ 0 を満たすものを純虚数という。虚数に対応する英語 imaginary number や、純虚数に対応する英語 purely imaginary number もその意味を持つ<ref>Michiel Hazewinkel, Encyclopaedia of Mathematics, Springer, 1989, ISBN 978-1556080043</ref>。一方、英語の imaginary number は、しばしば「2乗した値がゼロを超えない実数になる複素数」として定義される。この定義によれば、y が実数のとき、

<math>(y i)^2 = y^2 \cdot i^2 = - y^2 \le 0\,</math>

であるから、y i は imaginary number となり、逆に imaginary number はそのようなものに限る。すなわち、この意味での imaginary number とは、上記の複素数の表現において a = 0 を満たすものであり、これには実数 0 も含まれる<ref>Eric W. Weisstein, The CRC concise encyclopedia of mathematics, CRC Press, 1998 ISBN 978-0849396403</ref>。この流儀においては、purely imaginary number は imaginary number と同義語とされる。

幾何学的な表現

画像:Complex conjugate picture.svg
複素平面のイラスト。純虚数は虚軸 Im 上にある。

幾何学的には、純虚数は複素平面の実軸と直交する虚軸の上の点と解される。一般に複素数は、実軸上にある実数と虚軸上にある純虚数の和であり、複素平面上の点として表される。このような平面上では、-1をかけることは180度の回転に対応し、i をかけることは反時計回り90度の回転に対応する。そして i2 = -1 という式は、90度の回転を2回繰り返すと180度の回転と同じ結果になることを意味する。なお90度の回転を時計回りで2回繰り返しても180度の回転と同じことになるが、これは、-i方程式 x2 = -1 の解であることを意味する。

虚数の応用

通常は、様々なデータの表現に実数が用いられることが多い。しかし人の数を数えるのには役に立たない分数も石の大きさを比べるのには役立つし、物体の重量を記述するには役に立たない負の数も借金の額を表わすのには不可欠である<ref name="Martinez" />。同様に、信号処理制御理論電磁気学量子力学地図学等の分野を記述するには虚数が必要となる。

例えば電子工学では、電池の生み出す電圧は+12ボルトや-12ボルト等と実数で表わすが、家庭用の交流電圧を表わすには2つのパラメータが必要となる。1つは、120ボルト等という振幅で、もう1つが位相と呼ばれる角である。このような2次元の値は数学的にはベクトルか複素数で表わされる。ベクトル表現では、直交座標系は通常X成分とY成分で表わされる。一方、フェーザ表示と呼ばれる複素数表現では、2つの値は実部、虚部となる。例えば実部が0で虚部が120の純虚数は、位相が90度で120ボルトの電圧を意味し、これは物理学的に普通にありうることである。

いくつかのプログラミング言語は複素数を扱うことができる。例えば、Pythonでは虚数単位に j を用いて次のように記述する(1行目の記号 > はソフトウェアにおける形式的なものであって、式の一部ではない)。

>>> (5+2j) * (8+5j)
(30+41j)

MATLAB での例:

>> (5+2j) * (8+5j)
ans =
  30.0000 +41.0000i
>> (5+i*2) * (8+5j)
ans =
  30.0000 +41.0000i

歴史

1637年にデカルトは初めて「虚数」という言葉を使った。ただし、虚数の考え方自体はそれ以前の1500年代ジェロラモ・カルダーノによって発見されており、レオンハルト・オイラーカール・フリードリヒ・ガウスを経て、人々に受け入れられるようになった。

1843年ウィリアム・ローワン・ハミルトンは、複素平面にもうひとつ虚数軸を付け足して3次元に拡張することを試みた結果、さらにもうひとつ虚数軸を付け足して得られる四元数の集合が自然な体系であることを発見した。

虚数単位の累乗

虚数単位 i累乗は次のようなサイクルの繰り返しとなる。

i-3 = i
i-2 = -1
i-1 = -i
i0 = 1
i1 = i
i2 = -1
i3 = -i
i4 = 1
i5 = i
i6 = -1

整数 n を 4 で割った余りを n mod 4 と書くことにすれば、この法則は次のように簡潔に表現できる。

in = in mod 4

すなわち、m整数として次が成り立つ。

i4m = 1
i4m+1 = i
i4m+2 = -1
i4m+3 = -i

脚注

<references />

関連項目

参考文献

  • Paul Nahin, An Imaginary Tale: The Story of the Square Root of Minus One, Princeton University Press, 1998, ISBN 978-0691027951

外部リンク

ar:عدد تخيلي bn:অবাস্তব সংখ্যা ca:Nombre imaginari da:Imaginære tal de:Imaginäre Zahl el:Φανταστικός αριθμός en:Imaginary number es:Número imaginario fi:Imaginaariluku fr:Nombre imaginaire pur gl:Número imaxinario he:מספר מדומה id:Bilangan imajiner is:Þvertala ko:허수 la:Quantitas imaginaria lmo:Nümar imaginari mk:Имагинарен број ml:അവാസ്തവികസംഖ്യ nl:Imaginair getal pl:Liczby urojone pt:Número imaginário ru:Мнимое число sv:Imaginära tal ta:கற்பனை எண் th:จำนวนจินตภาพ uk:Уявне число ur:Imaginary number vls:Imaginaire getalln xal:Ухалдг тойг yo:Nọ́mbà tíkòsí zh:虚数 zh-yue:純虛數

個人用ツール