fumiaki

複素数についての質問です。−1\sqrt{-1}をiiとして定義するなら以下の2つの解釈ができると思います。

①i2=i・i=−1・−1=(−1)・(−1)=1=1i^2=i・i=\sqrt{-1}・\sqrt{-1}=\sqrt{(-1)・(-1)}=\sqrt{1}=1

②i2=(−1)2=−1i^2=(\sqrt{-1})^2=-1

この2つの考え方のうち②を複素数の定義として採用しているのには都合の良い理由があるのでしょうか?

また、このように2つの解釈がある中で片方を採用することで整合性の持った拡張ができるのならばゼロで割ることの矛盾も解消できる気がしていて、いくつかアイデアを考えているのですが良いアイデアはありませんか?

回答 3件

ベストアンサー

一見あってるように見えますが、一般的に①の解釈は間違っています。

完璧な説明ができるかちょっと分かりませんが、簡単に言えばルートの記号の中に勝手に入れ込んじゃだめ!ってことですかね。そんなことができるのは実数の世界だけです。つまり、

a×a=ab は、a,b>0の時だけなのです\sqrt{a}×\sqrt{a}=\sqrt{ab} は、a,b>0の時だけなのです

だから、−1・−1は\sqrt{-1}・\sqrt{-1}は

−1・−1=i・i=−1\sqrt{-1}・\sqrt{-1}=i・i=-1

と計算するべきなんです。なので①の考え方は棄却され、矛盾も何もなくなります


補足

なにか不十分だったりしたら教えてください。完璧な説明が難しかったので…

  • あら、解答が被ってしまいましたね。なんかすみません🙇

  • fumiaki

    a,b>0a,b>0の時にしか成り立たないのは定義でそうなっているからというのは分かるのですが、なぜそのような定義をした方が数学的に都合がいいのかが知りたいです。それを認めるとどのような不都合が生じるのかがわかりません。若干哲学的な質問ですいません。

  • まるまる引用して申し訳ないです。特に中盤らへんでしょうか、虚数に関するちょっとした歴史が書いてあります。ここに書いてある通り、@fumiaki様のご質問で受けた矛盾自体が求めていた不都合なのかなと解釈しました。もしこれでも十分でなければ申し付けください。できる限り何とかしますので(笑)


    https://mathsoc.jp/publication/tushin/1501/1501iitaka.pdf

    因みにその文章のURLです。3頁に載っています

  • fumiaki

    難しい質問をしてしまいましたが、ちゃんと答えてくれてありがとうございます。あらかたは理解できたと思います。また読み込んで完全に理解できるようにします。

  • fumiaki
    お礼

    みなさん解答ありがとうございました。

manimani1

ab=ab\sqrt{a}\sqrt{b}=\sqrt{ab} という式は a>0 ,b>0a>0\ , b>0 の時しか成り立ちませんね..

なので①は3つ目の等号がまちがっています;;

②の真ん中を抜いたやつ(?)が本来の ii の定義かとおもいます

eyemask57

考え方がおそらく逆だと思います.−1\sqrt{-1}をiiと定義しているのではなく,i2=−1i^2=-1となるようなiiを−1\sqrt{-1}と定義しています.


さらに言えば複素数C\mathbb{C}は実数R\mathbb{R}の直積R2\mathbb{R}^2(ベクトルみたいなもの)で定義できます.(a,b),(c,d)∈R2(a,b),(c,d) \in \mathbb{R}^2について,演算を

(a,b)+(c,d)=(a+c,b+d)(a,b)+(c,d)=(a+c,b+d)

(a,b)∗(c,d)=(ac−bd,ad+bc)(a,b)*(c,d)=(ac-bd,ad+bc)

で定義することによって,(0,1)∗(0,1)=(−1,0)(0,1)*(0,1)=(-1,0)となります.この(0,1)(0,1)を−1\sqrt{-1}やiiと定めています.


同様にして,ε2=0 , ε≠0\varepsilon ^2 =0 \ , \ \varepsilon\neq 0となるような演算を定めることができますが,この場合でもここで定義した$\varepsilone$で割ることはできないようです.全ての数が任意の数になってしまいます.

  • eyemask57

    なぜゼロ除算が定義されてないかと言えば,俗っぽく言えば「それを認めると数学がガチでおもんなくなるから」です.ゼロ除算を認めたとたんに全ての数が同じになり,演算が機能しなくなります.それは数学が考察対象として面白くなくなるので,数学の中ではゼロ除算は認めていません.

    同じ考え方が代数学で出てくる「体」と言われる概念に出てきます.1(乗法の単位元)と0(加法の単位元)はやはり特別なんです.

  • fumiaki

    ゼロ除算についての話をありがとうございます。体の概念は少しやっただけなのでざっくりとしか分かりませんでしたがもっと理解できるようにします。

関連する質問

関連する記事

質問する