Exercise 26

Does Theorem 1.9 need that $\langle\vec{\beta}_{1},\ldots,\vec{\beta}_{n}\rangle$ is a basis? That is, can we still get a well-defined and unique homomorphism if we drop either the condition that the set of $\vec{\beta}$’s be linearly independent, or the condition that it span the domain?