TheoremBase

Coordinates with Respect to a Basis

A finite family is a basis exactly when every vector is a linear combination of it with uniquely determined coefficients.

Statement

In the setting of Linear Algebra: Standing Notation, let KK, with ++, ⋅\cdot, 00 and 11, be a field, let VV, with its addition and scalar multiplication, be a vector space over KK, let n∈N0n\in\mathbb{N}_{0}, and let v=(v1,…,vn)v=(v_{1},\dots,v_{n}) be an nn-tuple in VV.

Coordinates. vv is a basis of VV if and only if for every u∈Vu\in V there is exactly one nn-tuple (λ1,…,λn)(\lambda_{1},\dots,\lambda_{n}) in KK with

u=∑i=1nλivi.u=\sum_{i=1}^{n}\lambda_{i}v_{i}.

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…