
ふと、以下のような命題を思いついたのですが、きちんと証明できません。証明または反証の分かる方は教えてください。
「n個の複素数からなる集合Aが乗法と除法について閉じているならば、Aは方程式 x^n=1 の解の集合と一致する」
なお、以下のことについては分かっているので説明無しに使っていただいても構いません。
(i) Aの任意の元a に対して、ある自然数 p が存在し、a^p = 1となる。
(ii) Aの任意の元a に対して、(i)のようなpのうち最小のものを p1 とすると、{ a, a^2, ... a^p1 }は、方程式 x^p1 = 1 の解の集合と一致する。
(iii) Aの任意の元a に対して |a| = 1 である。ここで |a| は a の絶対値を表す。
(iv) 一般に方程式 x^m = 1 の解は e^(t/m)2πi (t=1,2,...,m) と書ける。
No.2ベストアンサー
- 回答日時:
書き落とされたのだと思いますが,
【相異なるn個の複素数からなる集合A】としないと題意が成立しませんね.
n=10 で, Aの要素は全部1なんてこともできちゃいますから.
(1) A = {z_1,z_2,・・・,z_n}
とします.当然,要素の中に同じものはありません.
全部の要素に z_j≠0を掛けてやると,やはり
(2) A = {(z_1)*(z_j),(z_2)*(z_j),・・・,(z_n)*(z_j)}
です.
なぜなら,
(a) 乗法について閉じているから(2)の{ }内はすべてAの要素である.
(b) (2)の{ }に同じものがあれば,
すなわち (z_k)*(z_j) = (z_m)*(z_j) となっていれば,
z_j≠0 から z_k = z_mとなってもとの(1)のAの中に同じものが
あることになってしまう.
だからです.
したがって,
(1)の要素を全部掛け合わせたのものと(2)の要素を全部掛け合わせたのものとは等しく,
(3) (z_1)*(z_2)*・・・*(z_n) = (z_1)*(z_j)*(z_2)*(z_j)*・・・*(z_n)*(z_j)
となり,(z_1)*(z_2)*・・・*(z_n)≠0 で両辺を割れば
(4) (z_j)^n = 1
が得られます.
n 個の z_j は相異なるのですから,集合Aの要素は相異なる1のn乗根(ちょうどn個)です.
【乗法と除法について閉じているならば】の代わりに
【乗法について閉じているならば】とすれば,
集合Aは
(c) 相異なる1のn乗根
(d) 0および相異なる1の(n-1)乗根
の2通りがあるのはほとんど同じ議論で示せるでしょう.
No.1
- 回答日時:
複素数をαとおくと、
α^k (kは1≦k≦n)は乗法について閉じているのだから、
α^k=α
⇔α^(k-1)=1
ここでs=k-1 (sは0≦s≦n-1)とおくと、
⇔α^s=1
これは除法についても同様。
(証明終了)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
集積点が、まったく分かりませ...
-
集積点 孤立点 『Aに属する元で...
-
数学でのセミコロンについて
-
∈と⊂の違いは何ですか?
-
(1)PまたはQを通る道順 (2)図中...
-
この黄線で、囲んだ部分の縦線...
-
R\\{0} って、0を除く実数って...
-
近傍系と基本近傍系
-
数学で、数字の上にある横線の意味
-
数字は存在するのか
-
有理数÷有理数は絶対有理数なん...
-
部分が全体に等しいのが無限で...
-
高1数学
-
急いでます!この問題分かる方...
-
Rの半開区間(0,1]と開区間(0,1)...
-
空集合のべき集合
-
高校1年の数学Aです。 この、ピ...
-
Zornの補題の意味は何?
-
補集合と余事象
-
【緊急】キャロル表の書き方
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報