Back to Dimension Characterizes Isomorphism

Exercise 18

Avg difficulty 3.0

Does every correspondence between bases, when extended to the spaces, give an isomorphism? That is, suppose that VV is a vector space with basis B=⟨β⃗1,…,β⃗n⟩B=\langle\vec{\beta}_{1},\ldots,\vec{\beta}_{n}\rangle and that f ⁣:B→Wf\colon B\to W is a correspondence such that D=⟨f(β⃗1),…,f(β⃗n)⟩D=\langle f(\vec{\beta}_{1}),\ldots,f(\vec{\beta}_{n})\rangle is basis for WW. Must f^ ⁣:V→W\hat{f}\colon V\to W sending v⃗=c1β⃗1+⋯+cnβ⃗n\vec{v}=c_{1}\vec{\beta}_{1}+\cdots+c_{n}\vec{\beta}_{n} to f^(v⃗)=c1f(β⃗1)+⋯+cnf(β⃗n)\hat{f}(\vec{v})=c_{1}f(\vec{\beta}_{1})+\cdots+c_{n}f(\vec{\beta}_{n}) be an isomorphism?

Hefferon, Linear Algebra, Maps Between Spaces, Dimension Characterizes Isomorphism, Exercise 18

AI Tutor

Adapted from Linear Algebra © 2016 Jim Hefferon. Licensed under CC BY-SA 3.0 US. Source: Linear Algebra. Imported at revision df2262e.