dポイントがお得になるネット回線は?

行列の正定・半正定・負定について自分なりに調べてみたのですが、
イマイチ良くわかりません。。。
どなたか上手く説明していただけないでしょうか?
過去の質問の回答に

>cを列ベクトル、Aを行列とする。
>(cの転置)Ac>0
>となればAは正定値といいます。
>Aの固有値が全て正であることとも同値です。

とあったのですが、このcの列ベクトルというのは
任意なのでしょうか?
また、半正定は固有値に+と-が交じっていて、
負定は固有値が-のみなのですか?

どなたかお願いしますorz

このQ&Aに関連する最新のQ&A

A 回答 (2件)

まず、行列の正定・半正定・負定値性を考えるときは、


行列は対称行列であることを仮定しています。
なので、正確な定義は、

定義 n次正方 "対称" 行列 A が正定値行列であるとは、
『ゼロベクトルではない任意の』n次元(列)ベクトル c に対して、
(cの転置)Ac>0
となることである。

です。

対称行列Aが正定値なら、その固有値はすべて正です。
(cとして固有ベクトルをとってみればよいでしょう。)
逆に、対称行列Aの固有値がすべて正なら、Aは正定値行列です。

ただし、対称行列ではないAの固有値がすべて正だからといって、
(cの転置)Ac>0とは限りません。
例えば、
A =
[ 1 4 ]
[ 0 1 ]
とすると、Aは対称行列ではなく、固有値は1です。
しかし、
(cの転置) = [ 1, -2]
とすると、
(cの転置)Ac = -3 < 0
となってしまいます。(実際に計算して確かめてください。)
なので、行列Aが対称行列であるという条件はとても重要です。

また、半正定値の定義は、上の定義で
『ゼロベクトルではない任意の』 --> 『任意の』
と書き直したものです。
このとき、半正定値行列の固有値はすべて0以上です。(つまり0も許します。)
逆に、対称行列の固有値がすべて0以上なら、その行列は半正定値です。

さらに、負定値の定義は、『ゼロではない任意の』ベクトルcに対して
(cの転置)Ac<0
となることです。
固有値についてはもうわかりますね。
    • good
    • 3

ここ


http://ja.wikipedia.org/wiki/%E5%9B%BA%E6%9C%89% …
にあるように、
正定値は、固有値がすべて正、
半正定値は固有値がすべて非負、すなわち正または0、
負定値は固有値がすべて負、ということになります。
一方、(cの転置)Ac>0の場合は、cの条件は0ベクトルでない任意のベクトル(もちろんかけ算できる次元のものであることが前提)です。
この表現についてはたとえば
http://case.f7.ems.okayama-u.ac.jp/statedu/defin …
などをご参考に。
    • good
    • 1

このQ&Aに関連する人気のQ&A

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aを見た人はこんなQ&Aも見ています

このQ&Aを見た人が検索しているワード

このQ&Aと関連する良く見られている質問

Q線形数学で「正定」とは?

ある大学院の入試問題を見ていたら、
・次の行列が正定であることを示せ。
という問題があったのですが、「正定」というものが全く分かりません。
「正定」であるというはどういうことか、そしてその証明方法を知っていらっしゃる方がいましたら、是非教えてください。

Aベストアンサー

cを列ベクトル、Aを行列とする。
(cの転置)Ac>0
となればAは正定値といいます。
Aの固有値が全て正であることとも同値です。

Q線形・非線形って何ですか?

既に同じようなテーマで質問が出ておりますが、
再度お聞きしたく質問します。

※既に出ている質問
『質問:線形、非線型ってどういう意味ですか?』
http://oshiete1.goo.ne.jp/kotaeru.php3?q=285400
結局これを読んでもいまいちピンと来なかった...(--;


1.線形と非線形について教えてください。
2.何の為にそのような考え方(分け方)をするのか教えてください。


勝手なお願いですが、以下の点に留意いただけると大変うれしいです。
何せ数学はそんなに得意ではない人間+歳なので...(~~;

・わかりやすく教えてください。(小学生に説明するつもりぐらいだとありがたいです)
・例をあげてください。(こちらも小学生でもわかるような例をいただけると助かります)
・数式はなるべく少なくしてください。

『そんな条件じゃ説明できないよー』という方もいると思いますが、どうぞよろしくお願いいたしますm(__)m

Aベストアンサー

昨日「線形の方がなんとなくてわかりやすくないですか」と書いたんですが、やっぱり理系の人間らしく、もうちょっときちんと説明してみます。昨日は数式をなるべく出さないように説明しようとがんばったんですが、今日は少しだけ出しますが、勘弁してください。m(__)m(あと、長文も勘弁してください)


数学的にはちょっとここまで言えるかわかりませんが、自然界の法則としては、「線形」が重要な意味を持つのは、xの値が変化するにつれて変化するyがあったときに、

(yの増加量)/(xの増加量)=A(一定)

という規則が成り立つからです。

xやyの例としては昨日の例で言う例1だとxがガムの個数、yが全体の金額、例2だとxが時間、yが走った距離です。

この規則が何で役に立つかというと、式をちょっと変形すると、

(yの増加量)=A×(xの増加量)・・(1)

ということがわかります。つまり、Aの値さえわかれば、xが増えたときのyの値が容易に推測できるようになるわけです。


ここで「Aの値さえわかれば」と書いていますが、この意味を今から説明します。

自然界の法則を調べるためには何らかの実験を行います。例えば、りんごが木から落ちる運動の測定を行います。
ここから質問者様がイメージできるかわかりませんが、りんごは時間が経つにつれて(下に落ちるにつれて)落下するスピードが速くなるんです。今、実験として、1秒ごとにりんごのスピードを測定したとします。そしてその結果をグラフにプロットしていくと、直線になることがわかります。(ここがわかりにくいかもしれませんが、実際に実験を行うとそのようになるのです)

数学の問題のように初めから「時速100kmで走る」とか「1個100円のガム」とかいうことが与えられていれば直線になることはすぐにわかります。
しかし、自然界の法則はそうもうまくいきません。つまり、実験を行ってその結果をプロットした結果が直線状になっていたときに初めて「何らかの法則があるのではないか」ということがわかり、上で書いた「Aの値さえわかれば」の「A」の値がプロットが直線状になった結果、初めてわかるのです。

そして、プロットが直線状になっているということは、永遠にそうなることが予想されます。つまり、今現在はりんごが木から落ちたときしか実験できませんが、その結果を用いて、もしりんごが雲の上から落としたときに地面ではどのくらいのスピードになるかが推測できるようになるわけです。ここで、このことがなぜ推測できるようになるかというと、(1)で書いた関係式があるからです。このように「なんらかの法則があることが推測でき、それを用いて別の事象が予言できるようになる」ことが「線形」が重要だと考えられる理由です。

しかし、実際に飛行機に乗って雲の上からりんごを落としたらここで推測した値にはならないのです。スカイダイビングを想像するとわかると思いますが、最初はどんどんスピードが上がっていきますが、ある程度でスピードは変わらなくなります。(ずっとスピードが増え続けたら、たぶんあんなに空中で動く余裕はないでしょうか??)つまり、「線形から外れる」のです。

では、なぜスピードが変わらなくなるかというと、お分かりになると思いますが、空気抵抗があるからなんですね。(これが昨日「世の中そううまくはいかない」と書いた理由です)つまり、初めは「線形」かと思われたりんごを落とすという実験は実際には「非線形」なんです。非線形のときは(1)の関係式が成り立たないので、線形のときほど容易には現象の予測ができないことがわかると思います。


では、非線形だと、全てのことにおいて現象の予測が難しいのでしょうか?実はそうでもありません。例えば、logは非線形だということをNo.5さんが書かれていますが、「片対数グラフ」というちょっと特殊な形のグラフを用いるとlogや指数関数のグラフも直線になるんです。つまり、普通のグラフでプロットしたときに「非線形」になるため一見何の法則もないように見えがちな実験結果が「片対数グラフ」を用いると、プロット結果が「線形」になってlogや指数関数の性質を持つことが容易にわかり、それを用いて現象の予測を行うことが(もちろん単なる線形よりは難しいですが)できるようになるわけです。


これが私の「線形」「非線形」の理解です。つまり、

1) 線形の結果の場合は同様の他の事象の推測が容易
2) 非線形の場合は同様の他の事象の推測が困難
3) しかし、一見非線形に見えるものも特殊な見方をすると線形になることがあり、その場合は事象の推測が容易である

このことからいろいろな実験結果は「なるべく線形にならないか」ということを目標に頑張ります。しかし、実際には先ほどの空気抵抗の例のように、どうしても線形にはならない事象の方が世の中多いんです。(つまり、非線形のものが多いんです)

わかりやすいかどうかよくわかりませんが、これが「線形」「非線形」を分ける理由だと思っています。

やっぱり、「線形の方がなんとなくわかりやすい」くらいの理解の方がよかったですかね(^^;;

昨日「線形の方がなんとなくてわかりやすくないですか」と書いたんですが、やっぱり理系の人間らしく、もうちょっときちんと説明してみます。昨日は数式をなるべく出さないように説明しようとがんばったんですが、今日は少しだけ出しますが、勘弁してください。m(__)m(あと、長文も勘弁してください)


数学的にはちょっとここまで言えるかわかりませんが、自然界の法則としては、「線形」が重要な意味を持つのは、xの値が変化するにつれて変化するyがあったときに、

(yの増加量)/(xの増加量)=...続きを読む

Q「ノルム、絶対値、長さ」の違いについて

あじぽんと申します。よろしくお願いします。

ベクトルや複素数などに出てくる「ノルムと絶対値と長さ」というのは同じことを違う言葉で表現しているのでしょうか?
手元にある書籍などには全てが同じ式で求められています。
同じ式で表現されていても意味は少しづつ違っていたりするのでしょうか?

よろしくお願いします。

Aベストアンサー

どれも同じような性質を持ちますが、違いの1つとして定義される空間が違います。

「絶対値」は、実数や複素数といった「数」に対して定義されます。
定義は、一通りしかありません。
ベクトルに対して、絶対値を求めるという言い方をする場合もあるかもしれませんが、それはベクトルの長さを表す記号に絶対値の記号を利用する場合があるからであり、参考書にも文章として「ベクトルの絶対値」という言い方はあまりされていないのではないでしょうか?



「長さ」というのは、空間にある「線」に対して定義できます。
数に対しては「長さ」という言い方はあまり聞かないと思います。
例えば、「3」の長さというような言い方は耳になじまないと思います。
一方、ベクトルの場合は、「矢印」という「線」になりますので「長さ」が定義できます。



最後の「ノルム」は、線形空間に対して定義できます。(もちろん実数、複素数やベクトルも線形空間です)
ノルムの条件を満たせばノルムになるため、複数のノルムが考えられます。
そのため、「(1,1)というベクトルに対するノルムは?」
という質問に対しては、「どのノルムを使うか?」という条件が欠けているため厳密に言うと「解答はできません」。
例としてよく扱われるノルムは「ユークリッドノルム」と言われ、通常のベクトルの長さと等しくなります。

ベクトルに対するノルムでは、「最大値ノルム」というのが他の例としてよく使われます。
これは、ベクトルの各要素の最大値で定義されます。
(例:(3,1,5)というベクトルの最大値ノルムは、3つの数字の最大値である5になります)

ノルムというと、線形空間であれば定義できるため、
f(x) = 3x^2+5x
という数式に対するノルムというのも考えられます。
(数式は、定数倍したり、足し算したりできますよね)
数式に対して「絶対値」とか「長さ」と言ってもピンと来ないですよね。

しかし、まだやられていないかもしれませんが、数式に対するノルムというのは存在します。


そうすると、なんでこんなんがあるねん。って話になると思います。

ここで、ベクトルに対してある定理があったとします。

それがさっきのような数式など他の線形空間でも成り立つんだろうか?
というのを考えるときに「ノルム」の登場です。

その定理の証明で、「ベクトル」として性質を使わずに「ノルム」の性質だけを使って証明ができれば、
それは「ベクトル」に対する証明でなくて「ノルムを持つもの」に対する証明になります。
(ちょっと難しいかな?)


このようにして、定理の応用範囲を広げるために「長さ」や「絶対値」の考え方をベクトルだけでなく「線形空間」という広い考え方に適用できるようにしたのが「ノルム」になります。

どれも同じような性質を持ちますが、違いの1つとして定義される空間が違います。

「絶対値」は、実数や複素数といった「数」に対して定義されます。
定義は、一通りしかありません。
ベクトルに対して、絶対値を求めるという言い方をする場合もあるかもしれませんが、それはベクトルの長さを表す記号に絶対値の記号を利用する場合があるからであり、参考書にも文章として「ベクトルの絶対値」という言い方はあまりされていないのではないでしょうか?



「長さ」というのは、空間にある「線」に対して...続きを読む

Qエクセルで計算すると2.43E-19などと表示される。Eとは何ですか?

よろしくお願いします。
エクセルの回帰分析をすると有意水準で2.43E-19などと表示されますが
Eとは何でしょうか?

また、回帰分析の数字の意味が良く分からないのですが、
皆さんは独学されましたか?それとも講座などをうけたのでしょうか?

回帰分析でR2(決定係数)しかみていないのですが
どうすれば回帰分析が分かるようになるのでしょうか?
本を読んだのですがいまいち難しくて分かりません。
教えてください。
よろしくお願いします。

Aベストアンサー

★回答
・最初に『回帰分析』をここで説明するのは少し大変なので『E』のみ説明します。
・回答者 No.1 ~ No.3 さんと同じく『指数表記』の『Exponent』ですよ。
・『指数』って分かりますか?
・10→1.0E+1(1.0×10の1乗)→×10倍
・100→1.0E+2(1.0×10の2乗)→×100倍
・1000→1.0E+3(1.0×10の3乗)→×1000倍
・0.1→1.0E-1(1.0×1/10の1乗)→×1/10倍→÷10
・0.01→1.0E-2(1.0×1/10の2乗)→×1/100倍→÷100
・0.001→1.0E-3(1.0×1/10の3乗)→×1/1000倍→÷1000
・になります。ようするに 10 を n 乗すると元の数字になるための指数表記のことですよ。
・よって、『2.43E-19』とは?
 2.43×1/(10の19乗)で、
 2.43×1/10000000000000000000となり、
 2.43×0.0000000000000000001だから、
 0.000000000000000000243という数値を意味します。

補足:
・E+数値は 10、100、1000 という大きい数を表します。
・E-数値は 0.1、0.01、0.001 という小さい数を表します。
・数学では『2.43×10』の次に、小さい数字で上に『19』と表示します。→http://ja.wikipedia.org/wiki/%E6%8C%87%E6%95%B0%E8%A1%A8%E8%A8%98
・最後に『回帰分析』とは何?下の『参考URL』をどうぞ。→『数学』カテゴリで質問してみては?

参考URL:http://ja.wikipedia.org/wiki/%E5%9B%9E%E5%B8%B0%E5%88%86%E6%9E%90

★回答
・最初に『回帰分析』をここで説明するのは少し大変なので『E』のみ説明します。
・回答者 No.1 ~ No.3 さんと同じく『指数表記』の『Exponent』ですよ。
・『指数』って分かりますか?
・10→1.0E+1(1.0×10の1乗)→×10倍
・100→1.0E+2(1.0×10の2乗)→×100倍
・1000→1.0E+3(1.0×10の3乗)→×1000倍
・0.1→1.0E-1(1.0×1/10の1乗)→×1/10倍→÷10
・0.01→1.0E-2(1.0×1/10の2乗)→×1/100倍→÷100
・0.001→1.0E-3(1.0×1/10の3乗)→×1/1000倍→÷1000
・になります。ようするに 10 を n 乗すると元の数字になるた...続きを読む

QKer(核)やIm(像)の意味がわからない。

Aはm×n行列、xはn次ベクトル、bはm次ベクトル
このとき
KerA={x∈Rn|Ax=0}
ImA={Ax∈Rm|x∈Rn}と定義する。
※Rn,Rmのn,mはRの右肩にあります。

この定義のいみがよくわかりません。
よろしくお願いします。

Aベストアンサー

ベクトルxは、
  b=Ax
という対応によって、別のベクトルbにうつされます。
このとき、b=0になるのはどんな場合かを考えてみます。
x=0の場合は、b=0です。
しかし、Aの中身によっては、x≠0なのに、b=0
になる場合があるでしょう?
b=0になるような、xをすべて集めた集合を考え、
その集合をKer(A)と書いているのです。

こんどは、Imのほうですが、bを好き勝手に決めたとして、
 b=Ax
となるような、xがいつでもきめられるでしょうか?
どんなbに対しても、連立一次方程式が問題なく解ける場合
(解が一通りしかない場合)もありますが、解がない場合だって
ありますよね? これも、Aの中身によります。
そこで、xをいろいろ変えてみて、でてくるbを
すべて集めてできた集合を、Im(A)とかきます。

なれないうちは、
Ker(A)は、連立方程式Ax=0の解xの集合、
Im(A)は、Ax=bが解ける場合のbの集合
とでも理解しておけばいかがですか?
本当は、方程式ではなくて、ベクトル空間の概念ですけども。

ベクトルxは、
  b=Ax
という対応によって、別のベクトルbにうつされます。
このとき、b=0になるのはどんな場合かを考えてみます。
x=0の場合は、b=0です。
しかし、Aの中身によっては、x≠0なのに、b=0
になる場合があるでしょう?
b=0になるような、xをすべて集めた集合を考え、
その集合をKer(A)と書いているのです。

こんどは、Imのほうですが、bを好き勝手に決めたとして、
 b=Ax
となるような、xがいつでもきめられるでしょうか?
どんなbに対しても、連...続きを読む

Q正定値行列は正則行列

らしいのですが、証明法が思いつきません。
よろしくお願いします。

Aベストアンサー

NO.1です。
>行列式がその固有値の積となる
がわかりませんでした。
とのことですが、
行列Aは適当な行列Pを取るとP^{-1}APがジョルダン標準形に変形することが出来ます。Det(P^{-1}AP)=DetAであり、Det{P^{-1}AP)は対角成分をかけたものであり、対角成分はAの固有値と一致します。

Q正定値行列とは??

x_1, x_2, ..., x_nは互いに異なる正の整数です。(i,j)成分が1/(x_i+x_j)である行列は正定値行列であることを証明してください。

正定値行列の意味を調べたのですが、意味が分かっても解決の糸口になりませんでした。ヒントをよろしくお願いします。

※別の質問を同時に投稿させていただいています。頼ってばかりで申し訳ありません;

Aベストアンサー

>#4お礼

さすが、理解が早いですね。

そうですね、帰納法で出来ます。

僕は最初、対称式の因数分解の方法(因数定理の利用)で考えていたのですが、「対称性」を考えれば、あえて使わなくても解けますね。
(まあでも、因数定理あるいは、多項式の因数分解の一意性を、暗に仮定していますが・・。まあ、そこは気にしないでいいでしょう。気にしないで下さい。僕も気にしません!)

まず、見やすくするために、ちょっと問題を一般化して見ましょうか。(しなくてもいいですが)

x_1,x_2,・・,x_n , y_1,y_2,・・,y_n を「文字」として、
ij成分が1/( x_i + y_j )
であるような行列Y(これは対称行列ではないことに注意)の行列式を
f( x_1,x_2,・・,x_n , y_1,y_2,・・,y_n )
とします。
このfが、
f=(Yのすべての成分の積)×(x_i たちの差積)×(y_i たちの差積) ・・・●
となることが同様に言えます。これを言えば十分ですよね。

行列式をまず第一行で展開して、分母を「すべての成分の分母の積」で通分すると、分子は、
(成分の分母の2n-2次式)×( x_2 ~ x_n の差積)×(yのn-1個の差積)の和や差になりますよね。 ・・・※

つまり、分子の式は、( x_2 ~ x_n の差積)で割り切れる訳です。

同様に第二行で展開すれば、同じ分子の式が、( x_1,x_3 ~ x_n の差積)で割り切れることが分かります。

これら全てを考えれば、分子の式が、任意のi,jについて x_i-x_j で割り切れることが分かります。
つまり、( x_1 ~ x_n の差積)で割り切れることが分かります。

次に同じように、第一列~第n列で展開すれば、同じ分子が、
( y_1 ~ y_n の差積)で割り切れることが分かります。

よって、分子は、( x_1 ~ x_n の差積)×( y_1 ~ y_n の差積)で割り切れることが分かりますが、※から、これで次数は合うので、割った商は「定数」になることが分かります。
そこで、たとえば、
{(x_1)^(n-1)}{(x_2)^(n-2)}・・(x_(n-1))×{(y_1)^(n-1)}{(y_2)^(n-2)}・・(y_(n-1))
の項の係数を考えれば、(第一行で展開したものの分子と比較して)、共に1になることが分かるので、商は1になります。

よって題意が証明されます。

ごめんなさい、ほとんど書いてしまいました。

>#4お礼

さすが、理解が早いですね。

そうですね、帰納法で出来ます。

僕は最初、対称式の因数分解の方法(因数定理の利用)で考えていたのですが、「対称性」を考えれば、あえて使わなくても解けますね。
(まあでも、因数定理あるいは、多項式の因数分解の一意性を、暗に仮定していますが・・。まあ、そこは気にしないでいいでしょう。気にしないで下さい。僕も気にしません!)

まず、見やすくするために、ちょっと問題を一般化して見ましょうか。(しなくてもいいですが)

x_1,x_2,・・,x_...続きを読む

Q固有値と固有ベクトル・重解を解に持つ場合の解法

以前質問させていただいたのですが、教科書に固有値が重解の場合の固有ベクトルを求める解法が省かれていて理解できませんでした。
問題はこんな感じです。
2×2行列式A
A=
|1 -1|
|4 -3|
の固有値と固有ベクトルを求めよ。
(自分の解法)
まず
与式=
|1-t -1|
|4 -3-t|
サラスの方法で展開し、
(1-t)(-3-t) - (-1)・4
=t^2 + 2t 1
=(t+1)^2
となるので固有値をλ1,λ2として、
λ1=-1,λ2=-1
(ここまではできたのですが、解が重解になってしまいました。固有ベクトルを求める方法ができなくてこまってます。)

固有値λ1=λ2=-1より、求めるベクトルをx=t[x1,x2]とすると
A=
|1-(-1) -1 |
|4 -3-(-1)|
=
|2 -1|
|4 -2|
よって
2x1-x2 = 0
4x1-2x2 = 0
この二つは同一方程式より、x1 = 2x2
任意の定数αをもちいてx1 = αとすれば、
x = αt[1,2]

しかし、答えには、
x1 = αt[1,2]
x2 = βt[1,2] + αt[0,-1]

とありました。なぜなでしょう?
参考にしたページなんかを載せてくれるとありがたいです。

ちなみにこんな問題もありました。
A=
|0 0 1|
|0 1 0|
|-1 3 2|

これは固有値がすべて1になる場合です。
これも解法がのってませんでした。

以前質問させていただいたのですが、教科書に固有値が重解の場合の固有ベクトルを求める解法が省かれていて理解できませんでした。
問題はこんな感じです。
2×2行列式A
A=
|1 -1|
|4 -3|
の固有値と固有ベクトルを求めよ。
(自分の解法)
まず
与式=
|1-t -1|
|4 -3-t|
サラスの方法で展開し、
(1-t)(-3-t) - (-1)・4
=t^2 + 2t 1
=(t+1)^2
となるので固有値をλ1,λ2として、
λ1=-1,λ2=-1
(ここまではできたのですが、解が重解になってしまいました。固有ベクトルを求める方法ができなくて...続きを読む

Aベストアンサー

重解であろうがどうであろうが,求める方法は同じだから
わざわざ取り上げることはないという話でしょう.

No.1さんと同様,記号の混乱があるので
「参考書」やらが間違ってるのか,質問者の転記ミスなどかは
分かりませんが,
>とありました。なぜなでしょう?
答えを確かめましたか?
本当にその「解答」があってますか?
大学の数学の本なんて結構間違い多いですよ.

ちなみに・・・λが固有値のとき
(A-λI)x = 0 の解空間が固有空間です.
これは線型写像 A-λI のカーネル Ker(A-λI) だから
n次の正方行列を相手にしてる場合は
n=dim(Im(A-λI))+dim(Ker(A-λI))
=rank(A-λI) + dim(Ker(A-λI))
だから
固有空間の次元
= dim(Ker(A-λI))
= n - rank(A-λI)

したがって,
A=
|1 -1|
|4 -3|
のとき,λ=-1とすれば
A-λI= <<<--- 質問者はここを書き間違えている
|1-(-1) -1 |
|4 -3-(-1)|
=
|2 -1|
|4 -2|
だから,rank(A-λI)=1
よって,固有空間は1次元
だから,本質的に(1,2)以外に固有ベクトルはないのです.
(0,-1)が固有ベクトルではないことは容易に確認できます.

A=
|0 0 1|
|0 1 0|
|-1 3 2|
の場合も同様.A-λIのランクを計算すれば2だから
固有空間の次元は1で,計算すれば(1,0,1)を固有ベクトルと
すればよいことが分かります.

重解であろうがどうであろうが,求める方法は同じだから
わざわざ取り上げることはないという話でしょう.

No.1さんと同様,記号の混乱があるので
「参考書」やらが間違ってるのか,質問者の転記ミスなどかは
分かりませんが,
>とありました。なぜなでしょう?
答えを確かめましたか?
本当にその「解答」があってますか?
大学の数学の本なんて結構間違い多いですよ.

ちなみに・・・λが固有値のとき
(A-λI)x = 0 の解空間が固有空間です.
これは線型写像 A-λI のカーネル Ker(A-λI) だから
n...続きを読む

Q偏微分の記号∂の読み方について教えてください。

偏微分の記号∂(partial derivative symbol)にはいろいろな読み方があるようです。
(英語)
curly d, rounded d, curved d, partial, der
正統には∂u/∂x で「partial derivative of u with respect to x」なのかもしれません。
(日本語)
ラウンドディー、ラウンドデルタ、ラウンド、デル、パーシャル、ルンド
MS-IMEはデルで変換します。JIS文字コードでの名前は「デル、ラウンドディー」です。

そこで、次のようなことを教えてください。
(1)分野ごと(数学、物理学、経済学、工学など)の読み方の違い
(2)上記のうち、こんな読み方をするとバカにされる、あるいはキザと思われる読み方
(3)初心者に教えるときのお勧めの読み方
(4)他の読み方、あるいはニックネーム

Aベストアンサー

こんちには。電気・電子工学系です。

(1)
工学系の私は,式の中では「デル」,単独では「ラウンドデルタ」と呼んでいます。あとは地道に「偏微分記号」ですか(^^;
その他「ラウンドディー」「パーシャル」までは聞いたことがあります。この辺りは物理・数学系っぽいですね。
申し訳ありませんが,あとは寡聞にして知りません。

(3)
初心者へのお勧めとは,なかなかに難問ですが,ひと通り教えておいて,式の中では「デル」を読むのが無難かと思います。

(4)
私はちょっと知りません。ごめんなさい。ニックネームは,あったら私も教えて欲しいです。

(2)
専門家に向かって「デル」はちょっと危険な香りがします。
キザになってしまうかどうかは,質問者さんのパーソナリティにかかっているでしょう(^^

*すいません。質問の順番入れ替えました。オチなんで。

では(∂∂)/

Q準正定値とは?

講義で、2次形式 Z = X'AX が準正定値のとき、凸関数であることを証明せよ

という課題が出たのですが、準正定値をいう単語の意味がわからず
解くことができません。検索エンジンでもそれらしいのが出てこなくて
ここに質問をすることにしました^^;

どなたか教えてください。お願いします

Aベストアンサー

Z=X'AX (Xはn次元ベクトル、Aは対称行列、ですよネ)

この2次形式が準正定値(半正定値、ともいいます)とは
任意のXに対して X'AX>=0が成り立つことを言います。

0ベクトル以外の任意のXに対して X'AX>0が成り立つときは
正定値である、と言います。

たとえば3変数の場合
x^2+y^2+z^2 は正定値
x^2+(y-2z)^2(つまり x^2+y^2+4z^2-4yz) は準正定値 です
x^2+y^2-z^2 は正定値でも準正定値でも負定値でも準負定値でもない
2次形式です。

もし固有値を知っているなら、
Aが正定値であることと、Aのすべての固有値が正であることが同値
Aが準正定値であることと、Aのすべての固有値が0以上であることが
同値です


このQ&Aを見た人がよく見るQ&A

人気Q&Aランキング

おすすめ情報