TheoremBase

Linear Maps Are Determined by Their Values on a Basis

Given a basis of V and arbitrary vectors of W, one for each basis vector, there is exactly one linear map from V to W sending each basis vector to the corresponding vector.

Statement

In the setting of Linear Algebra: Standing Notation, let KK be a field, let VV and WW be vector spaces over KK, let n∈N0n\in\mathbb{N}_{0}, let (v1,…,vn)(v_1,\dots,v_n) be a basis of VV, and let w1,…,wn∈Ww_1,\dots,w_n\in W.

Linear extension. There is exactly one linear map TT from VV to WW such that

Tvi=wifor each i∈[n].Tv_i=w_i\qquad\text{for each } i\in[n].

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…