虚数
を作ってみよう
◆Def.
を満たす数
を虚数単位と言う。
この一文とともに、高校で大した説明もなしに唐突に出て来る感もある虚数。
2乗してマイナスになる数なんて存在しないとこれまで言われていたのに、一体どういうことだ!? これは存在しない数ではないのか!? と混乱した方もいるのではないでしょうか。
一般に、(
は実数)で表される数のことを複素数と言います。
ガウスの複素数平面は素晴らしい道具で、 軸に加えて
軸を描いて視覚的に捉えることで「なるほど」と納得できる方も多いでしょう。
ですが、やっぱり「2乗してマイナスになるなんておかしい!」と納得できず、「本当は存在しないけど利便のために考え出した数」だと無理やり自分を納得させている方もいるのではないかと思います。
でも、本当に「本当はそんな数ないけど便利だからこういうの考えました」で済ませてしまって良いのでしょうか? 厳密性を重んじる数学なのに。
もちろん大学以上の数学では、この辺りをいい加減にはしていません。
虚数 は、他のものから作られます。
ないなら作ればいいじゃないという発想です。実際に、別のものから複素数を作ってみましょう。
新しい数学的対象を既知のものを使って構成するというやり方は、大学以上の数学では頻繁に出てきます。そのテクニックの一端をここで見ていきましょう。
作り方1 実数のペアから構成する
実数のペア (いわゆる
平面の元(要素))から複素数を構成します。
どうするかというと、特別な演算を入れることによって、実数のペアを複素数と実質同じものにしてしまうのです。
実際、大学における(たぶん)最もポピュラーな複素数の定義はこのやり方に則っています。
ところで、 は実数全体の集合、
で実数のペア全体の集合(いわゆる
平面)を表します。一般的な記法ですが、わからなければおまじないのようなものだと思っておいて頂ければ結構です。
◆Def.
に次の和と積を導入する。
任意の に対し、
和を
積を
で定義する。
このように和と積を定義したとき、 の元を複素数と言い、複素数全体の集合を
で表す。
このとき、 を
、
を
で表記することとする。
すると、
と表される。
上のように定義してやることで、実数のペアを複素数と見なすことができます。
和はともかくとして、積の定義が妙に複雑に見えますが、実際、 の表記で上の定義を見直してやると、普通の複素数の計算で
を使って、
になると言っているだけのことです。(手を動かして確かめてみて下さい)
普通の複素数の計算規則とまったく同じなので、もちろん除法もできます。
つまり、複素数の計算が先にあって、複素数で計算した場合の結果と同じになるように実数のペアでも和と積を定義してやったというわけです。
ちょっとずるい定義という感じもしますが、ともかく、この定義によれば、虚数単位 というのは単に
の別表記に過ぎないわけですから、構成元となった実数の存在さえ認めるなら、普通に実在する数というわけですね。
作り方2 行列から構成する
次の作り方は、特別な形の2×2実行列をそのまま複素数だとみなしてしまおうというものです。
和と積は通常の行列における和と積とまったく同じなので、作り方1のように特殊な演算を入れる必要はありません。
定義は次のようになります。
◆Def.
複素数全体の集合 を
と定義する。
このとき、 を単位行列
とし、
を
と定義すると、
となる。
を
と表記することとする。
はい。実はこれで複素数の定義になってしまうのです。
実際に和と積を計算してみましょう。これが普通の複素数とまったく同じであれば、計算規則がまったく同じということなので除法もできます。
に対して、
となり、通常の複素数の計算規則と一致しました。
作り方3 多項式を
で割った余りとして構成する
最後は多項式から複素数を作ってみます。
大学数学の体論(field theory)を知っていると普通の代数的構成なのですが、知らない人には変な作り方に見えるかもしれません。まあこんな作り方もできるよということで。
で実数係数の多項式全体の集合を表します。
などは
の元(要素)です。
で実数係数多項式を
で割った余りの集合(厳密には色々あるのですが、詳しくは剰余環という概念を学ぶと理解できます)を表します。
この には、次のような特殊な計算規則が入っています。
まず、 は実数係数の多項式を
で割った余りの集合なので、その元(要素)は
(
は実数)のように書けることを注意しておきます。(2次式で割った余りは1次以下の式になるため)
における和と積は、通常の多項式の和と積と同じように定義します。
すなわち、 に対して、
です。
ん? おかしいな?
と感じた方がいれば、それは正解です。
和の定義はまったく問題ありません。しかし、積の結果は(当然ですが)、一般には2次式になってしまいます。
は実数係数の多項式を
で割った余りの集合(1次以下の式)であると言っているにも関わらず。
このままでは定義は不完全ですね。
そこで、 の元(要素)に関するルールとして、次を採用します。
◆ルール
2つの多項式を で割った余りが等しいとき、その2つの多項式は等しいと考える。
あくまで という世界での話であることに注意して下さい。合同式をもし知っている方であれば、mod
の世界で考えると言えば伝わりやすいでしょうか。
例を挙げて説明しましょう。
◇Ex.
では、
と
は等しいです。
なぜなら、 と書けて、
を
で割った余りは
に等しいからです。
は
に等しいです。
となり、
で割り切れるからですね。
は
に等しいです。(
となり、2つの式を
で割った余りは等しくなります)
と
は等しくありません。(
だから)
このくらいでイメージは掴めたでしょうか。
この「余りが等しければ等しい」ルールでもって、積の定義を見直します。
となりました。
どこか上の方で見たことあるような形ですね。
この「余りが等しければ等しい」ルールで和と積を定義した を用いて、複素数全体の集合
を次のように定義します。
◆Def.
ここで、 という文字は別に
である必要はなくて、
でも
でも
でも何でも文字の名前が違うだけで実質的な意味は同じです。
なので、 を
に書き換えてしまいましょう。すると、
◆Def.
となり、 の元(要素)は1次以下の多項式として
と表すことができます。
和と積の式についても、上で計算した結果の を
に置きかえてやることで、
が成り立ちます。
これはよく見れば複素数の計算規則そのものです。
さらに、 を
で割った余りは
であることから、「余りが等しければ等しい」ルールにより、
が成立します。
このように、同じ対象でも色々な構成方法があります。少しは が存在するような気分になれたでしょうか?
この記事へのコメントはありません。