No.3ベストアンサー
- 回答日時:
普通、ロンスキヤンの一次独立性を証明するには、やはり、線型同次微分方程式との関係を使って証明します。
しかし、敢えて証明するとなれば、以下のようになるでしょう。f1,f2,...,fnを関数とし、
W(f1,f2,...,fn))≠0であるとします。
c1,c2,...,cnを定数としたとき、恒等的に
c1f1+c2f2+...+cnfn=0
が成り立つならば、
c1f1+c2f2+...+cnfn=0
c1f1'+c2f2'+...+cnfn'=0
c1f1''+c2f2''+...+cnfn''=0
............................
c1f1^(n-1)+c2f2^(n-1)+...+cnfn^(n-1)=0
がなりたちます。ところが、W(f1,f2,...,fn))≠0ですから、c1=c2=...=cn=0となります。(行列で表現された連立方程式「Ax=0が|A|≠0であるならば、これは自明な解x=0しか持つことができない」という定理はご存じですね)
したがって、f1,f2,...,fnは一次独立です。
ここで、少し補足をさせていただくと、No1では、
W(f1,f2,...,fn)≠0⇒関数f1,f2,..,fnは一次独立
の逆は一般的に成り立たないことをのべましたが、線型微分方程式との関係(連続、微分可能性という条件)で証明すれば、
W(f1,f2,...,fn)≠0⇔関数f1,f2,..,fnは一次独立
が成り立ちます。
それから、少しよけいなことを述べさせて頂くと、サラスの方法というのは3行3列の行列式の展開方法のことですので、2行2列の行列式の場合は特に名前はなかったような気がします。
この回答への補足
非常に詳しく丁寧な回答をしていただき、誠にありがとうございます。
度々の無礼で申し上げにくいのですが、学力の低い私でもわかるように、簡単に解説して頂きたいのです。この際厳密性にはこだわらず(専門書や教科書に載っているので)、感覚的にわかるようにご教授願います。御手数をお掛けしてすみません。
No.2
- 回答日時:
マナー違反になりますので、ご自分で計算して、どこまで導けたのか、途中の計算の過程を書いて下さい。
また、理解できないところはどこなのかを具体的に書いて下さい。ご自分の努力の形跡が見られない質問は削除の対象とされます。それから、話は逸れますが、1つお伺いします。このロンスキャンはどの場面で出されたものですか。線形代数学と書いてあるのですが、実際どうでしょうか。普通は線型微分方程式の特殊解の一次独立性を論じるときに必要とされますね。
この回答への補足
行列式で1行に元の関数、2行に導関数を並べ行列式をサラスの公理で展開しe^2xになったのですが、そもそもロンスキアン利用で1次独立であることの条件がわかっていないのです。(行列式)≠0で1次独立ということができるのかという部分です。解説を見るとロンスキアン≠0となるx∈(実数)があるで終わっていて、よく理解できません。つまりどういうこと?となってしまっているのです。ロンスキアン自体よくわかっていないのです。それは、線形微分方程式で本来なら主に扱われるべきなのかわかりませんが(まだそういうレベルではないので)補足的に特に何の説明もなくロンスキアンがでてきたので戸惑っていました。
申し訳ありませんが、そもそもロンスキアンとは何ですか?ロンスキアンで1次独立が言える理由がわかりません。
No.1
- 回答日時:
関数f1,f2,...fnのロンスキャンをW(f1,f2,...,fn)としたとき、注意しなければならないことは、
W(f1,f2,...,fn)≠0⇒関数f1,f2,..,fnは一次独立
は成り立ちますが、逆は一般的には、成り立たないことです。
ロンスキャンを求めるには、定義の式にそのまま当てはめればよいだけのことです。
W(f1,f2)=| f1 f2 |
| f1' f2' |
これはご自分で計算して下さい。
結果はe^(2x)となり、恒等的に0にはなりません。従って1次独立です。
この回答への補足
回答ありがとうございます。
回答がいまいち理解できません(私の勉強不足で)。もう少し、詳しく薄才の私でもわかるようご教授ください。お願いします。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 「FFTの基本は、DFTはサンプル数Nが偶数なら 2つのDFTに分解できるということ。 分解するとD 3 2022/03/31 21:01
- 生物学 エンドウを材料として、 種子の形と葉の色の形質について、遺伝の実験を行った。これらの形質に関する遺伝 1 2023/06/14 21:55
- 数学 高校数学の問題です。教えてください。 次の連立方程式を解け。 ただし、0<=x<=2π、0<=y<= 4 2022/08/31 18:33
- 数学 3次元実ベクトル空間において, 平面 P:x-y+z+1=0 と直線 L:2(x-1)=-y=-z 3 2022/10/29 14:39
- Excel(エクセル) Excel2007での条件付き書式について 6 2023/05/02 10:56
- C言語・C++・C# C++言語の16進数の表現についておしえてください 1 2022/11/14 17:46
- ノートパソコン ノートパソコンのキーボード割り当てを変えたい 4 2023/04/16 20:39
- 数学 1/(4cos^2x+sin^2)で、 tan(x/2)=tとおいたとき、 sinx=2t/(1+t 2 2022/07/04 13:58
- 数学 三角関数の問題なのですが、 0≦θ<2π のとき次の不等式を解け。 (1)sinx≧√3cosx ( 4 2023/05/18 00:15
- その他(学校・勉強) 中3の理科の問題です。 F1は左向き、大きさ5N, F2は右向き、大きさ2N, F1とF2の合力は左 1 2023/04/16 15:49
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
有理数と無理数が無限個あること
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
rankに関する証明問題です。
-
数学の証明問題で、「証明終了」...
-
無理数って二乗しても有理数に...
-
よって・ゆえに・したがって・∴...
-
素数の性質
-
じゃらんで旅行予約をしたので...
-
原始関数の存在性の証明につい...
-
兄弟の子どもの養子縁組は可能...
-
巡回群と巡回群の直積は巡回群?
-
liman=a(n→∞)、limbn=b(n→∞)な...
-
婿養子です、妻と離婚して妻の...
-
大学の二次試験で・・・
-
次元定理以外で
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
数学Aの整数の性質について質問...
-
心霊漫画家で新興宗教団体の教...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報