20/10/04 09:01:33.73 mLeuvA76.net
>>854
>これ結構良いね
文章の意味、ホンっっっトにわかってる？
>定理 2 に拠って B = T ◯ ρ なる T ∈ L(X⊗Y ; F0(I × J)) が一意的に存在する。
>このとき T は全単射となり X⊗Y と F0(I × J) との同型を与える。
で、君、肝心のX⊗Yの定義に関する記述、全く引用してないよね
ちゃんと全部読んでる？
「積ベクトル空間 X × Y の生成するベクトル空間 F0(X×Y) を導入する：
F0(X×Y) = {f : X × Y → K; #Suppf < ∞}」
双線型写像であれば零を与える組を想定して
F0(X×Y)の部分集合M1, M2 を次で定義する：
M1 = {ι(ax+a’x’,y) － aι(x,y) － a’ι(x’,y) ∈ F0(X × Y ); x, x’ ∈ X, y ∈ Y, a, a’ ∈ K}
M2 = {ι(x,ay+a’y’) － aι(x,y) － a’ι(x,y’) ∈ F0(X × Y ); x ∈ X, y, y’ ∈ Y, a, a’ ∈ K}
M1 ∪ M2 の生成する F0(X × Y ) の部分空間を M とする：M = Span(M0 ∪ M1)
F0(X × Y ) を M で割った商ベクトル空間を Z とする：Z = F0(X × Y )/M」
X⊗Yは集合としては上記のZであるが、これがF0(I × J)と同型になること、わかってる？
定理４の証明、全部省略してるけど もしかして訳も分からず鵜呑み？
それダメだよ 馬鹿になるから