数学ナビゲーター掲示板 [One Tree All Message]

数学ナビゲーター掲示板

ツリー一括表示
行列のノルム /学生 (22/10/17(Mon) 17:50) #51983
`└` Re[1]: 行列のノルム /nacky (22/10/18(Tue) 11:40) #51985
`└` Re[2]: 行列のノルム /学生 (22/10/18(Tue) 12:28) #51986

親記事　/ ▼[ 51985 ]

■51983 / 親階層)

　行列のノルム

□投稿者/ 学生一般人(1回)-(2022/10/17(Mon) 17:50:00)

sup(v≠0）|Av|/|v|=sup(|v|=1)|Av|
Aを複素数成分のk次正方行列とする
vは数ベクトル空間C^kを動く
これの証明をx=y⇄x<=yかつy<=xのような形の証明を教えてください

[ □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 51983 ] / ▼[ 51986 ]

■51985 / 1階層)

　Re[1]: 行列のノルム

□投稿者/ nacky 一般人(2回)-(2022/10/18(Tue) 11:40:49)

まず実数からなる集合 $2$S,T$ が $2$S\subset T$ となっているとき $2$\sup S\leq\sup T$ が成り立つので
$2$\sup_{v\ne 0}\frac{|Av|}{|v|}\geq \sup_{|v|=1}\frac{|Av|}{|v|}=\sup_{|v|=1}|Av|$
が成り立つ.

また $2$e>0$ を任意にとると上限の定義よりある $2$w\ne 0$ について
$2$\sup_{v\ne 0}\frac{|Av|}{|v|}-e<\frac{|Aw|}{|w|}$
が成り立つ. ここで $2$u=\frac w{|w|}$ とおくと $2$|u|=1$ であり
$2$\sup_{v\ne 0}\frac{|Av|}{|v|}-e<\frac{|Aw|}{|w|}=|Au|\leq\sup_{|v|=1}|Av|$
が成り立つ. $2$e>0$ は任意だったので $2$e\to 0$ と極限をとると
$2$\sup_{v\ne 0}\frac{|Av|}{|v|}\leq\sup_{|v|=1}|Av|$
が得られる.

ちなみにですが実際は
$2$\left\{\frac{|Av|}{|v|}\middle|v\ne 0\right}=\{|Av|\ \mid\ |v|=1\}$
であることから求める等式は得られます.

[ 親 51983 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

▲[ 51985 ] / 返信無し

■51986 / 2階層)

　Re[2]: 行列のノルム

□投稿者/ 学生一般人(2回)-(2022/10/18(Tue) 12:28:20)

解答ありがとうございます。
とても理解しやすかったです。

[ 親 51983 / □ Tree ] 返信/引用返信 [メール受信/OFF] 削除キー/

- Child Tree -
Edit By 数学ナビゲーター