Re: 3×3正値エルミート行列の正値性
ちょっと訂正です。
H_n^+はベクトル空間ではありませんでした。
> さて,
> ⊿(A_1,A_2,…,A_{n-1},):H_n^+→R^+;
> H_n^+∋∀X→⊿(A_1,A_2,…,A_{n-1},X)∈R^+ですから,
> ⊿(A_1,A_2,…,A_{n-1},)∈(H_n^+)^* ←H_n^+の双対空間
> となってますよね。
> そして,今,H_n^+〜(H_n^+)^*という事が分かってるので(〜はベクトル同型を表す),
>
>
> g:H_n^+→(H_n^+)^*;H_n^+∋∀A→g(A)を(g(A))(X):=<A,X>と定義すればこのgはベクトル同型写像となりますね。
gの定義域をH_nと拡張して定義すればH_nはC上ベクトル空間ですね。
この時,
g:H_n→(H_n)^*;H_n∋∀A→g(A)を(g(A))(X):=<A,X>と定義すれば,
これは⊿(A_1,A_2,…,A_{n-1},X)=<M^*,X> for∀X∈H_n
を満たすM^*∈H_nが一意的に存在する事を意味します。
そして,
A_1,A_2,…,A_{n-1}∈H_n^+なら
⊿(A_1,A_2,…,A_{n-1},X)>0 for∀X∈H_n^+ (∵証明済み)でしたので,
<M^*,X>>0 for∀X∈H_n^+ なら,M∈H_n^+
でなければなりませんね。
これでOKだと思います。
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735