Hi all,(adsbygoogle = window.adsbygoogle || []).push({});

Just doing a bit of personal study on vector spaces and wanted to clear up my understanding on the following. This is my description of what I'm trying to understand, is it along the right lines? (apologies in advance, I am a physicist, not a pure mathematician, so there are most probably errors in the mathematical formalism I've used below):

Given an [itex]n[/itex]-dimensional vector space [itex]V[/itex] and an ordered basis [itex]E= \left[\mathbf{v}_{i}\right]_{i=1,2,\ldots ,n}[/itex], one can represent any vector [itex]\mathbf{v}\in V[/itex] with respect to this basis as a linear combination [tex]\qquad\qquad\qquad\qquad\qquad\qquad \mathbf{v}=\sum_{i=1}^{n}a_{i}\mathbf{v}_{i}[/tex] where [itex]a_{i}[/itex] are the components of [itex]\mathbf{v}[/itex] with respect to the basis vectors [itex]\mathbf{v}_{i}[/itex].

We can define an isomorphism between [itex]V[/itex] and [itex]\mathbb{R}^{n}[/itex], [itex]f:V\rightarrow\mathbb{R}^{n}[/itex] such that, with respect to the basis [itex]E[/itex]

[tex] \qquad\qquad\qquad\qquad\qquad\qquad \sum_{i=1}^{n}a_{i}\mathbf{v}_{i} \;\; \longmapsto \;\; \left(\begin{matrix}a_{1} \\ a_{2} \\ \vdots \\ a_{n}\end{matrix}\right)[/tex] Denoting this isomorphism as

[tex] \qquad\qquad\qquad\qquad\qquad\qquad \left[\mathbf{v}\right]_{E} = \left(\begin{matrix}a_{1} \\ a_{2} \\ \vdots \\ a_{n}\end{matrix}\right) [/tex] we observe that [tex] \qquad\qquad\qquad\qquad\qquad\qquad \left[\mathbf{v} +\mathbf{w} \right]_{E} = \left[\mathbf{v} \right]_{E} +\left[\mathbf{w} \right]_{E} \;\;\forall \,\mathbf{v},\mathbf{w} \in V[/tex] and

[tex] \qquad\qquad\qquad\qquad\qquad\qquad \left[c\mathbf{v} \right]_{E} = c\left[\mathbf{v} \right]_{E} \;\;\forall \,\mathbf{v}\in V\;\;\text{and} \;\; c\in F[/tex] where [itex]F[/itex] is the underlying scalar field of [itex]V[/itex].

Given this, we have that [tex] \qquad\qquad\qquad\qquad\qquad\qquad \left[\mathbf{v}\right]_{E} = \left[\sum_{i=1}^{n}a_{i}\mathbf{v}_{i}\right]_{E} = \sum_{i=1}^{n}a_{i} \left[\mathbf{v}_{i}\right]_{E} = \left(\begin{matrix}a_{1} \\ a_{2} \\ \vdots \\ a_{n}\end{matrix}\right) [/tex] which implies that [tex] \qquad\qquad\qquad\qquad\qquad\qquad \left[\mathbf{v}_{i}\right]_{E} = \left(\begin{matrix}0 \\ \vdots \\ 1 \\ \vdots \\ 0\end{matrix}\right)[/tex] where the only non-zero component is the [itex]i^{th}[/itex] component with a value of unity. Hence, it can be seen that, using such an isomorphism, one can make the basis vectors of a given [itex]n[/itex]-dimensional ordered basis, resemble the standard basis in [itex]\mathbb{R}^{n}[/itex]. This is true for all such [itex]n[/itex]-dimensional ordered bases for a given vector space [itex]V[/itex].

I am currently working my way through Nadir Jeevanjee's book "An Introduction to Tensors & Group Theory for Physicists" and in it he mentions that "given an ordered basis, it is always possible to represent the basis vectors, in the basis that they define, such that they resemble the standard basis" (in words close to that effect), and I'm just trying to make sense of the notion. (Please ignore the "change of basis" part of the title. I initially got a little over enthusiastic and subsequently realised discussing both in one thread might be a little too long-winded).

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Bases of vector spaces and change of basis

Loading...

Similar Threads - Bases vector spaces | Date |
---|---|

Orthonormal Bases: Determining Coefficients for Arbitrary Vector | Jan 19, 2011 |

Infinite-dimensional vector spaces and their bases! | Jul 22, 2010 |

Equivalent bases for Vector Spaces over Complexes. | May 5, 2010 |

Bases of Vector Spaces | Apr 18, 2007 |

Vector bases dilemma | May 11, 2005 |

**Physics Forums - The Fusion of Science and Community**