- #1
"Don't panic!"
- 601
- 8
Hi all,
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 realized discussing both in one thread might be a little too long-winded).
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 realized discussing both in one thread might be a little too long-winded).