实线性空间

实线性空间（real linear space）是1993年公布的数学名词。设E为实线性空间，配有通常微分结构。则E与其任一点v处的切空间TvE同构，即有平移𝓙v:E→Ev定义为给定w∈E，令γ(t)=v+tw，设𝓙vw:=γ'(0)。则若