21/11/21 23:13:16.99 bnJTFdIH.net
>>960
そこの「基底に依存しない」が>>935の「基底に依存しない」の意味なら
基底に依存しない同型写像の存在に矛盾はない
それは>>914に書かれているとおり
>基底を固定して線形写像αを作ってしまえば、それは基底によらない意味を持つよ
という意味で
たとえば>>935の記法を使えば
あるe0についてのα_e0を以て任意のeについてα_e=α_e0と定義するという（アホみたいな）ことだけど
21/11/21 23:13:16.99 bnJTFdIH.net
>>960
そこの「基底に依存しない」が>>935の「基底に依存しない」の意味なら
基底に依存しない同型写像の存在に矛盾はない
それは>>914に書かれているとおり
>基底を固定して線形写像αを作ってしまえば、それは基底によらない意味を持つよ
という意味で
たとえば>>935の記法を使えば
あるe0についてのα_e0を以て任意のeについてα_e=α_e0と定義するという（アホみたいな）ことだけど