「虚数」の版間の差分

削除された内容追加された内容

インライン

2020年8月13日 (木) 22:10時点における版

虚数（きょすう、英: imaginary number）とは、実数ではない複素数のことである。すなわち、虚数単位 $i = \sqrt -1$ を用いて表すと、

z = a + bi

（

a, b

は実数、

b \neq 0

）

と表される数のことである。

実数直線上にはないため、感覚的には存在しない数ととらえられがちであるが、実数の対、実二次正方行列、多項式環の剰余環の元として実現できる（複素数#形式的構成を参照）。

複素数平面上では、虚数全体は複素数平面から実軸を除いた部分である。

実係数の三次方程式を解の公式により解くと、相異なる3個の実数解をもつ場合、虚数の立方根が現れ、係数の加減乗除と冪根だけでは表せない（還元不能）。虚数はこの過程で認識されるようになった。ルネ・デカルトは1637年に、複素数の虚部を仏: "Nombre imaginaire"（「想像上の数」）と名付けた^[1]。

"imaginary number" を「虚数」と訳したのは、1873年の中国数学書『代数術』（John Fryer（zh:傅兰雅）, 華蘅芳著）である^[2]。

日本では、東京数学物理学会が1885年に記事で "Impossible or Imaginary Quantity" を「虚数」と訳している^[3]。

ただし、「虚数」と訳されている英語の "imaginary number" は、しばしば「2乗した値が $0$ 以下の実数になる複素数」を意味する場合がある^[4]。

用語について

虚数とは、実数でない複素数のことである^[5]。すなわち、虚数単位 $i = \sqrt -1$ を用いると

a + bi

（

a, b

は実数、

b \neq 0

）

と表せる数のことである。特に、実部が $0$ である虚数を純虚数という。

英語の "imaginary number" はふつうは虚数を意味するが、これはしばしば「2乗した値が $0$ 以下の実数になる複素数」を表すことがある。この定義によれば、複素数 $z$ に対して、

z 2 = - y 2 (y \geq 0)

ならば、 $(z + yi)(z - yi) = 0$ , $∴ z = \pm yi$ 。ゆえに、この意味での imaginary number とは、 $0$ または純虚数 (imaginary number) である^[6]^[7]。

複素数平面における虚数

実数直線を拡張した複素数平面では、純虚数は、虚軸上の原点を除く部分の点である。虚数は、実数と純虚数の線型結合である。虚数全体は複素数平面から実軸を除いた部分である。

虚数の導入により、 $cos θ + i sin θ$ を作用させることは、複素数平面上での、原点を中心とする $θ$ 回転に相当する。 $i 2 = -1$ より、虚数単位 $i$ は、複素数平面上では、実数単位 $1$ を原点中心に $90°$ 回転した位置にある。

虚数の大小

虚数に通常の大小関係を入れることはできない^[8]^[9]。つまり、複素数体 $C$ は順序体でない。

（証明）^[8]

背理法で示す。

虚数単位

i

と実数の間に、

+, \times

と両立する全順序があると仮定する。

i 2 = -1

より、

i \neq 0

∴ i > 0

or

i < 0

i > 0

ならば、両辺に

i

を掛けると、

-1 > 0

となり矛盾。

i < 0

ならば、両辺に

i

を掛けると、

-1 > 0

となり矛盾。

故に

i

と実数の間に通常の大小関係はない。

故に、虚数にも通常の大小関係はない。（証明終）

辞書式順序は全順序であるが、複素数に入れると $+, \times$ と両立しない。

→「順序集合 § 直積集合上の順序」を参照

虚数の応用

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

例えば電子工学では、電池の生み出す直流電圧は+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

歴史

虚数を発見したのはカルダーノで、1545年の代数の本に^[11]、10 を積が 40 になる2つの数に分ける問題が載せられている。カルダーノは、この問題は不可能だが形式的に解を求めれば

5 + \sqrt -15

と

5 - \sqrt -15

の2つであると書いている。

同じイタリアのラファエル・ボンベリは、1572年の代数の本で、三次方程式 $x 3 = 15 x + 4$ を、カルダーノが発見した解の公式で解くと

x={\sqrt[{3}]{2+11{\sqrt {-1}}}}+{\sqrt[{3}]{2-11{\sqrt {-1}}}}

という奇妙な式になることに気付いた。この三次方程式の解が $4, -3 + \sqrt 3, -3 - \sqrt 3$ であることを知っていたボンベリは

{\sqrt[{3}]{2+11{\sqrt {-1}}}}=2+{\sqrt {-1}}

{\sqrt[{3}]{2-11{\sqrt {-1}}}}=2-{\sqrt {-1}}

となることを発見し、カルダーノの解の公式から導かれる解が実数 $x = 4$ を表すことを実証した。

しかし当時は、 $0$ や負の数ですら架空のもの、役に立たないものと考えられており、負の数の平方根である虚数はなおさらであった。ルネ・デカルトも否定的にとらえ、1637年の著書『La Géométrie（幾何学）』で初めて仏: "nombre imaginaire"（「想像上の数」）と名付けた。これが英語の "imaginary number"、日本語の「虚数」の語源になった。

その後、オイラーによる虚数単位 $i = \sqrt -1$ の導入（1770年頃）、ガウスによる複素数平面の導入（1831年公表）、代数学の基本定理の証明（1799年）を経て、徐々に多くの数学者、人々に受け入れられるようになった。

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

虚数単位の性質

虚数単位 $i$ の整数乗 $i n$ は、整数 $n$ を 4 で割った余りを $n mod 4$ で表すことにすると、次のように簡潔に表現できる：

i n = i n mod 4

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

i 4 k = 1

i 4 k +1 = i

i 4 k +2 = -1

i 4 k +3 = - i

→詳細は「虚数単位」を参照

脚注

^ なぜ虚数単位iの2乗は-1になるのか?#6.3.2. 虚数の由来 x_seek
^ 片野善一郎『数学用語と記号ものがたり』裳華房、2003年8月25日、63頁。
^ 「HONKWAI KIJI 3」『Tokyo Sugaku-Butsurigaku Kwai Kiji』第3巻第3号、1885年、172-233頁、doi:10.11429/subutsukiji1885b.3.172。
^ Ahlfors, Lars V. (1979). Complex Analysis. (3 ed.). New York: McGraw-Hill. pp. 1-4. ISBN 978-0070006577
^ 日本数学会編『岩波数学辞典』（4版）岩波書店、2007年。ISBN 978-4000803090。
^ Weissteinn, Eric W. (1998). The CRC concise encyclopedia of mathematics. CRC Press. ISBN 978-0849396403
^ Hazewinkel, Michiel (1989). Encyclopaedia of Mathematics. Springer. ISBN 978-1556080043
^ ^a ^b ニューアクション編集委員会『NEW ACTION LEGEND数学2+B―思考と戦略数列・ベクトル』（単行本）東京書籍、2019年2月1日、53頁。ISBN 978-4487379927。
^ Weisstein, Eric W. "Complex Number". mathworld.wolfram.com (英語).
^ Martinez, Albert A. (2005). Negative Math: How Mathematical Rules Can Be Positively Bent. Princeton University Press. ISBN 978-0691123097
邦訳小屋良祐訳『負の数学―マイナスかけるマイナスはマイナスになれるか?』青土社、2006年12月1日。ISBN 978-4791763139。
^ 片野善一郎『数学用語と記号ものがたり』裳華房、2003年8月25日、60頁。

参考文献

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

外部リンク

Weisstein, Eric W. "Imaginary Number". mathworld.wolfram.com (英語).
Weisstein, Eric W. "Purely Imaginary Number". mathworld.wolfram.com (英語).
Why imaginary numbers really do exist

[x_seek-1] なぜ虚数単位iの2乗は-1になるのか?#6.3.2. 虚数の由来 x_seek

[2] 片野善一郎『数学用語と記号ものがたり』裳華房、2003年8月25日、63頁。

[3] 「HONKWAI KIJI 3」『Tokyo Sugaku-Butsurigaku Kwai Kiji』第3巻第3号、1885年、172-233頁、doi:10.11429/subutsukiji1885b.3.172。

[4] Ahlfors, Lars V. (1979). Complex Analysis. (3 ed.). New York: McGraw-Hill. pp. 1-4. ISBN 978-0070006577

[5] 日本数学会編『岩波数学辞典』（4版）岩波書店、2007年。ISBN 978-4000803090。

[6] Weissteinn, Eric W. (1998). The CRC concise encyclopedia of mathematics. CRC Press. ISBN 978-0849396403

[7] Hazewinkel, Michiel (1989). Encyclopaedia of Mathematics. Springer. ISBN 978-1556080043

[NEW_ACTION_2B-8] ニューアクション編集委員会『NEW ACTION LEGEND数学2+B―思考と戦略数列・ベクトル』（単行本）東京書籍、2019年2月1日、53頁。ISBN 978-4487379927。

[9] Weisstein, Eric W. "Complex Number". mathworld.wolfram.com (英語).

[Martinez-10] Martinez, Albert A. (2005). Negative Math: How Mathematical Rules Can Be Positively Bent. Princeton University Press. ISBN 978-0691123097
邦訳小屋良祐訳『負の数学―マイナスかけるマイナスはマイナスになれるか?』青土社、2006年12月1日。ISBN 978-4791763139。

[11] 片野善一郎『数学用語と記号ものがたり』裳華房、2003年8月25日、60頁。

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ 9行目: / 9行目: @@
 実係数の[[三次方程式]]を解の公式により解くと、相異なる3個の実数解をもつ場合、虚数の[[立方根]]が現れ、係数の[[算術|加減乗除]]と[[冪根]]だけでは表せない（[[還元不能]]）。虚数はこの過程で認識されるようになった。[[ルネ・デカルト]]は[[1637年]]に、複素数の虚部を {{lang-fr-short|"Nombre imaginaire"}}（「想像上の数」）と名付けた<ref name="x_seek">[https://xseek-qm.net/Matrix_complex.htm#_Toc526806433 なぜ虚数単位iの2乗は-1になるのか?#6.3.2. 虚数の由来] x_seek</ref>。
-"imaginary number" を「虚数」と訳したのは、1873年の中国数学書『代数術』（John [[フライヤー#姓|Fryer]]（[[:zh:傅兰雅]]）, [[華コウ芳]]著）である<ref>{{Cite book|和書 |author=片野善一郎 |title=数学用語と記号ものがたり |publisher=[[裳華房]] |date=2003-08-25 |page=63}}</ref>。
+"imaginary number" を「虚数」と訳したのは、1873年の中国数学書『代数術』（John [[フライヤー#姓|Fryer]]（[[:zh:傅兰雅]]）, [[華蘅芳]]著）である<ref>{{Cite book|和書 |author=片野善一郎 |title=数学用語と記号ものがたり |publisher=[[裳華房]] |date=2003-08-25 |page=63}}</ref>。
 日本では、東京数学物理学会が1885年に記事で "Impossible or Imaginary Quantity" を「虚数」と訳している<ref>{{Cite journal|和書|title=HONKWAI KIJI 3 |author=<!--記載無し--> |journal=Tokyo Sugaku-Butsurigaku Kwai Kiji |url=https://doi.org/10.11429/subutsukiji1885b.3.172 |日本物理学会、日本数学会 |volume=3 |issue=3 |pages=172-233 |year=1885 |doi=10.11429/subutsukiji1885b.3.172}}</ref>。