- ベストアンサー
半正定値行列の証明
- みんなの回答 （2）
- 専門家の回答
関連するQ&A
- 行列式が±１になるn×n行列の群であるかの証明
行列式が±１になるn×n行列(Ｇとおく)においてその掛け算が 群であるかないかの証明なのですが、逆元についての証明つまり全てのＧにおける元ｇにおいて ｇ×ｇ＾-1＝ I ＝ｇ＾-1×ｇ となるＧに含まれる逆元ｇ＾-1が存在するかどうかの証明を教えてください。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 正定値行列の最大・最小
正定値行列の最大・最小 行列の問題で以下の問題が分からないので、分かる方はヒントをいただければと思います。 一応画像を張っておきますが（張れてないかも・・・）見えにくい（見えない）場合は、下に同じ表現の文章を書いていますので下の文章を見てください。 Ａをp次対称行列,ｂをp次元ベクトルとす。このときfを ｆ(ｘ1,ｘ2,・・・,ｘp) = ｘ^tＡｘ + （ｂ,ｘ） (-∞<ｘi<+∞) と、定義する。 (1)Aが正定値行列であるとき、fの最大値、最小値を求めよ。 (2)Aが非不正定値行列でｂがＭ（Ａ）の元でないとき、ｆの最大・最小を求めよ。ただしＭ（Ａ）は行列Ａの縦ベクトルが張る線形部分空間を表す。 初めのｆの定義でのｘ＾tはｘの転置行列、（ｂ、ｘ）はｂとｘの内積を表しています。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 半群になるかどうかの証明
こんばんは。 研究で次のような問題で戸惑っています。次のものが半群となるかどうか調べたいのですが、なかなか証明できません・・。アドバイス等をいただきたく質問させていただきました。ご回答お願いいたします。 Ｓ＝Ｎ、 ａ○ｂ＝Ｇ⊂Ｄ（ａ、ｂ） （ａ、ｂの最大公約数） Ｓ：空でない集合 Ｎ：自然数全体の集合 ※「○」はマルのことです。
- ベストアンサー
- 数学・算数
- 正定値行列同士の足し算 固有値
A>0、B>0とします このときA+B>0となるという事実を次のようにして理解してます 任意のベクトルx≠0で2次形式を作ると x^T(A+B)x=x^TAx + x^TBx>0 なので正定値行列だと思いますが 結局これは固有値が全て正だということでもあると思います AとBが対称行列、かつ固有値が全て正のとき なぜA+Bの固有値も全て正になるんですか？ 2次形式を使わない証明方法お願いします
- 締切済み
- 数学・算数
- 部分群であることの証明
部分群であることの証明 Gを群、Hをその部分集合とし、a,b∈Gに対し、「a～b⇔ab^(-1)∈H」なる～ が同値関係であるとする。このとき、HはGの部分群であることを証明してほしいです。 部分群であることを証明するには、(1)結合法則が成り立つこと(2)単位元の存在(3)逆元の存在が言えればいいこと、 同値関係の定義については理解しています。 ですが証明文を書くことができず、困っています。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- ある問いの巡回群の証明
Ｇを有限群として、任意の自然数ｄに対してＧの部分集合 ｛x|x^d=e,x∈Ｇ｝ に含まれる元の数がｄ以下ならＧは巡回群となる。 Ｇの位数をｎとしてｎの元の存在を示そうと思うんですがうまく説明ができなく困ってます、、
- 締切済み
- 数学・算数
- 有限群が自由加群でないことの証明
田村の「トポロジー」を勉強しています。その中で次のような証明がありました。 "Gを有限群とするとき、aをGの任意の元とするとta=0となる整数tが存在するからGは自由加群ではない" しかし、この証明でなぜ自由加群でないことを証明できたのか分かりません。また、t=0とすれば自由加群でなくても成立は明らかだと思います。 アドバイスをお願いします。
- ベストアンサー
- 数学・算数
- 群、半群だと何が嬉しいのですか？
群論（？）について全くといっていいほど勉強したことがないのですが、他の分野の勉強をしている時によく群や半群といった言葉が出てきます。 ・結合則を満たす時に半群 ・更に逆元と単位元が存在すれば群 という定義はわかるのですが、群や半群だと何が良いのでしょうか？ （群にはどんな性質があるんでしょうか？） 線形代数の時に、置換は群をなすとか。 力学系の勉強をしている時に、解軌道が半群をなす。 とかチマチマ出てきていたのですが、「定義は確かに満たしてるのはわかるけど… だから何？？何がいえるの？」という疑問がいまだに残っています。
- ベストアンサー
- 数学・算数
