問、Q;有理数体、R:実数体とすると、RはQ上の(無限次元)ベクトル空間である。実数列a₁,a₂・・・an がたがいに従属であるための必要十分条件は、実数列a₁,a₂・・・anがQ上の一次従属となることである。
「実数列a₁,a₂・・・an がたがいに従属である」の定義は次の通りです。
a₁,a₂・・・akの自明でない従属関係式が存在するとき、その列はたがいに従属であると定義する。すなわち、整数n₁・・・nkで次の条件を満たすものが存在するときである。
(1)n₁a₁+…nkak=0
(2)n₁・・・nkの少なくとも一つは0でない。
一次関係式から有理数上にどう帰着させるか、逆として有理数上一次関係式から実数上で従属にどう帰着させるかが分りません。
解答方針などご教授願います。よろしくお願いします。
No.3ベストアンサー
- 回答日時:
なんというか・・・言葉がよくわからんのだけど・・・
「RがQ上の無限次元ベクトル空間」
これは定理として使っていい.
「実数列a₁,a₂・・・an がたがいに従属である」
というのの定義は
(0)n₁・・・nkは整数
(1)n₁a₁+…nkak=0
(2)n₁・・・nkの少なくとも一つは0でない
証明対象は
「実数列a₁,a₂・・・an がたがいに従属である」
ことと
「実数列a₁,a₂・・・anがQ上の一次従属」
は同値
・・・こういうこと?
だったら,自明だと思うのだが・・・・
ぶっちゃけた話,分母を払えば終わりじゃないですか?
どこに「無限次元ベクトル空間」を使うのかわからないから
裏読みしてしまう・・・勘違いしてるんかな
No.6
- 回答日時:
でしょ?
で、実数の Q 上一次従属を、省略して単に「従属」と呼ぶことにする
ってだけの話を、「必要十分」という言い廻しに引っ掛かって悩んでる
のかな?と思ったり。それにしては、整係数一次結合の式が出典に
書かれてある風な様子なのが合わないけれど… はて、出典の詳細は?
No.5
- 回答日時:
>ANo.4
そう.まさにそう.
「前提らしきもの」がどういう意図があるのか
何を前提に何を示したいのか・・・わからない
字面だけだと
No.3のように解釈するのは不自然ではないと思うけど
「なんでわざわざ」感が拭い去れない
No.4
- 回答日時:
←A No.3
実数列が整数上一次従属であることの必要十分条件が
有理数上一次従属である ということを証明せよってこと?
確かに「問」の文章は、そう読めなくはないが、
R が Q 上のベクトル空間であることを前提に、なぜ
整数上一次従属に名前をつけて「実数列が従属」と呼ぶのか、
何がしたいのかが、さっぱり判らない。
有理係数の従属一次結合の分母を払えば、
整係数の従属一次結合には、なるけどさ…
No.2
- 回答日時:
何が問題なのか良く分かりませんが、
Q;有理数体、R:実数体とすると、RはQ上の(無限次元)ベクトル空間である。
この証明でしょうか?
もし、1次元なら、
R は q1*a₁ の形の数の集合であり、a₁は固定されていて q1 が任意の有理数
となる。このときの要素の個数は有理数の要素の個数であり、加算無限個となる。
でも、実数はもっとたくさんあるから1次元ではない。
もし、2次元なら
R は q1*a₁+ q2*a₂ の形の要素からなり、その個数は2つの有理数の組み合わせの総数となり
これも、加算無限個となる、よってもっと次元が高くなる必要がある。
同じ話しから、有限次元ではないことは分かる。
無限の扱いがこの問題の鍵ですが、有理数の組に番号をつける方法や加算無限*加算無限の計算
などがあって、公理的集合論の確認が必要となる。
的外れなら、ごめんなさい。
No.1
- 回答日時:
その「自明でない従属関係式」には、
(a1)の2乗-(a2)=0 とかも含まれる?
そうでなければ、帰着させるも何も、冒頭の文は
有理数上一次従属を言い換えて「実数の従属」と
定義しているだけでしかない。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- その他(プログラミング・Web制作) どういうプログラムで組みますか?google colabでやってるんですけど、出来る方お願いします。 1 2022/07/06 09:28
- 数学 二つの関数u(t),v(t)が一次従属ならばu(t)v'(t)-u'(t)v(t)=0 の証明の方法 2 2022/05/05 21:44
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- その他(プログラミング・Web制作) どういうプログラムで組みますか?google colabでやってるんですけど、出来る方お願いします。 1 2022/07/17 18:41
- 数学 A(x+Δx, y, z(x+Δx,y)) のzを独立変数として考えx,zの2変数のテイラー展開をす 2 2023/03/29 17:43
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 次の問題について解答あるいはその方針を教えてほしいです。 a_n+1=1/(2+a_n) a_1=a 1 2022/11/03 21:36
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「無限の一つ前の数字は何?」...
-
無限順列に対して無限組合せを...
-
存在記号と「または」
-
アキレスと亀。
-
0から1の間の数は0から10の間の...
-
逆三角関数に関する質問を致し...
-
以下の説明文の変数係数とは何...
-
年代と年台・・・どちらが正し...
-
lim[n→∞](1-1/n)^n=1/e について
-
三角関数の範囲について、 0≦x≦...
-
エクセルでPrint Area と表示さ...
-
全員と同じグループを経験でき...
-
【数学】 lim x→a ↑これってど...
-
エクセルで(~以上,~以下)...
-
高2の数学の対数関数です。 真...
-
「余年」の意味について教えて...
-
不等式で辺々加えるときに不等...
-
ニュートンの冷却法則と熱伝導...
-
三角関数 -3分のπって3分の5...
-
高校数学1の問題集に、2次関数...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報