線形空間Vの元xに対して、(V*)* (Vの双対空間の双対空間) の元Txを
Tx(f)=f(x) (fはV*の元) で定義する。
このとき、写像 x→Tx は線形同型写像である事を証明せよ。
(Vはもちろん有限次元と仮定している。無限次元では正しくない。)
という問題で、まず線形写像である事を示そうと思い、
Vの元からx,y 体Kからcを持ってきて、fは定義から線形写像だから
f(x+y)=f(x)+f(y),f(cx)=cf(x)より、
Tx+y(f)=f(x+y)=f(x)+f(y)=Tx(f)+Ty(f)
Tcx(f)=f(cx)=cf(x)=cTx(f)
が成り立つ事から、Txも線形写像である事が示せることはわかったのですが、同型写像を示す時、これはTxが全単射である事がいえればいいわけですよね。
ここから先が全く分からなくて困っています。どなたか私に知恵を授けてください。
No.2ベストアンサー
- 回答日時:
>少し見慣れない表記でδ_{ij}があるのですが、これは何を表しているのですか?
クロネーカーのデルタ
δ_{ij} = 1 ( i = j), = 0 ( i ≠ j)
>これとは違うのですか?
おなじ
No.1
- 回答日時:
>これはTxが全単射である事がいえればいいわけですよね。
V の基底を {e_1, ..., e_n}とすると、V* の基底は{f_1, ... , f_n} ( f_i(e_j) = δ_{ij} )
回答ありがとうございます!!
基底を用いて全単射を示すわけですね!
少し見慣れない表記でδ_{ij}があるのですが、これは何を表しているのですか?私が使っている教科書にはこういう表記がなくて・・・。
似たものだと
Vの元xをx=x_1e_1+,...,+x_ne_nと表したとき、定義でf_i(x)=x_iというものがあるのですが、これとは違うのですか?
是非教えてください!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 線形写像の全射性 双対空間 1 2022/12/11 18:22
- 数学 問題がよく分からないのであっているか見て欲しいです 次の各写像のうち単射であるもの,全射であるもの, 5 2022/07/01 09:37
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 代数の問題教えてください 1 2022/06/12 14:36
- 数学 線型独立か線型従属か 3 2022/05/04 16:43
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 対称変換 2 2022/12/11 16:14
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
画像の説明にある写像の表記T:k...
-
合成写像
-
線形独立テストsa+tb=0を行うと...
-
写像の記号の、右下の小文字の...
-
初めての複素関数の勉強
-
代数の問題がわからないので教...
-
微分方程式の線形、非線形の証明
-
四次対称群S4が可解群であるこ...
-
同型とは?
-
基本的な事ですが…(単射、全射...
-
ギリシャ文字のぱいって
-
部分空間について教えてください。
-
アーベル群の個数
-
Z[√2]の単数群を求め、素元を全...
-
ウラムとノイマンの原著論文
-
逐次近似法、数列
-
おすすめの幾何学の独習本
-
有限アーベル群の基本定理の証...
-
テンソル テンソル積の初学者で...
-
全射・部分写像の個数の問題
おすすめ情報