Ordered Basis for Coordinate Plane

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $a_1, a_2 \in \R^2$ such that $\set {a_1, a_2}$ forms a linearly independent set.

Then $\tuple {a_1, a_2}$ is an ordered basis for the $\R$-vector space $\R^2$.


Hence the points on the plane can be uniquely identified by means of linear combinations of $a_1$ and $a_2$.


Proof

OrderedBasisForPlane.png

Let $P$ be any point in the plane for which we want to provide a linear combination of $a_1$ and $a_2$.


Let the distance from $O$ to the point determined by $a_1$ be defined as being $1$ unit of length on the line $L_1$.

Let the distance from $O$ to the point determined by $a_2$ be defined as being $1$ unit of length on the line $L_2$.


Draw lines parallel to $L_1$ and $L_2$ through $P$.

Then the coordinates $\lambda_1$ and $\lambda_2$ of $P$ are given by:

$P = \lambda_1 a_1 + \lambda_2 a_2$

by the Parallelogram Law.


This theorem requires a proof.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Ordered_Basis_for_Coordinate_Plane&oldid=639686"