21/06/29 12:00:23.60 8cDG8aiV.net
>>243
私は>>242でないけど、その記号は不等号「≦」ではなくて同型「≅」です。
L(V, W)≅W^nとはL(V,W)とW^nがベクトル空間として同型という意味。
基底に含まれるn個のベクトルの行き先であるWの元が決まれば一次写像は一意に決まるからL(V, W)≅W^n。
Wは無限次元なのでW^nも無限次元。
21/06/29 12:00:23.60 8cDG8aiV.net
>>243
私は>>242でないけど、その記号は不等号「≦」ではなくて同型「≅」です。
L(V, W)≅W^nとはL(V,W)とW^nがベクトル空間として同型という意味。
基底に含まれるn個のベクトルの行き先であるWの元が決まれば一次写像は一意に決まるからL(V, W)≅W^n。
Wは無限次元なのでW^nも無限次元。