A vector space is an abelian group over a field with scalar multiplication — Rn, sequence spaces, and spaces of continuous functions are the same structure in different packaging. Move (a,b) and the line y=a+bx and the point (a,b) move together.
(V,+) abelian over F,c(v+w)=cv+cw
Φ:P2→R3,a+bx+cx2↦(a,b,c)
Examples & Exercises
Show that the set S of all real sequences, with termwise addition (x+y)n=xn+yn and scalar multiplication (cx)n=cxn, is a vector space.
(x+y)n=xn+yn,(cx)n=cxn
Sliders a=1, b=0.5 — the line y=1+0.5x and the point (1,0.5).Show proof
Closure: if x,y∈S then every term of x+y=(xn+yn) is real, so x+y∈S. Likewise every term of cx=(cxn) is real, so cx∈S.
(S,+) is an abelian group: commutativity and associativity are inherited termwise from R, the identity is the zero sequence (0,0,…), and the inverse of x is (−xn).
The remaining scalar axioms hold termwise too: (c(dx))n=c(dxn)=(cd)xn=((cd)x)n, and (1x)n=1⋅xn=xn.
The distributive laws check out at the sequence level: (c(x+y))n=c(xn+yn)=cxn+cyn=(cx+cy)n, and ((c+d)x)n=(c+d)xn=cxn+dxn=(cx+dx)n. Hence S is a vector space over R.
Prove that Φ(a,b)=a+bi is an isomorphism R2→C of real vector spaces.
Φ(a,b)=a+bi,Ψ(a+bi)=(a,b)
Φ(0,1)=i — the imaginary unit i sits at the point (0,1).Show proof
Homogeneity for real scalars: for real t, Φ(t(a,b))=ta+tbi=t(a+bi)=tΦ(a,b). The scalars being real is the point — this is an isomorphism of real vector spaces.
Injectivity: a+bi=c+di forces a=c and b=d by uniqueness of real and imaginary parts, so Φ is injective.
Surjectivity: with Ψ(a+bi)=(a,b) we have Ψ(Φ(a,b))=(a,b) and Φ(Ψ(a+bi))=a+bi, so Ψ is the inverse of Φ. A bijective linear map is an isomorphism.
Prove that a linear isomorphism T:V→W sends linearly independent sets to linearly independent sets.
i=1∑nciT(vi)=0⟹c1=⋯=cn=0
Sliders a=1, b=−1 — the line y=1−x and the point (1,−1).Show proof
Assume {v1,…,vn}⊂V is linearly independent and ∑ciT(vi)=0. By linearity, ∑ciT(vi)=T(∑civi), so T(∑civi)=0.
Linear maps send 0 to 0 (T(0)=T(0⋅v)=0⋅T(v)=0), so injectivity of T gives ∑civi=0.
Independence of {vi} forces c1=⋯=cn=0. Hence {T(v1),…,T(vn)} is linearly independent.