- #1
Azrael84
- 34
- 0
Hi,
I am currently working through 'Schutz-First course in General Relativity' problem sets. Question 2 of Chapter 3, asks me to prove the set of one forms is a vector space.
Earlier in the chapter, he defines:
[tex] \tilde{s}=\tilde{p}+\tilde{q} [/tex]
[tex] \tilde{r}=\alpha \tilde{p} [/tex]
To be the one forms whose values on a vector [tex]\vec{A}[/tex] are:
[tex] \tilde{s} (\vec{A})=\tilde{p}(\vec{A})+\tilde{q}(\vec{A}) [/tex]
[tex] \tilde{r}(\vec{A})=\alpha \tilde{p}(\vec{A}) [/tex]
Given this definition, surely some of the axioms to be a vector space, are simply satisfied by defintion (namely closure under addittion, and closure under scalar multiplication), so how does one prove these things, if they have been definied so? Or should I be looking to prove other vector space axioms, like existence of additive inverse etc? If so still not sure where to start.
Any help, much appreciated.
Thanks
I am currently working through 'Schutz-First course in General Relativity' problem sets. Question 2 of Chapter 3, asks me to prove the set of one forms is a vector space.
Earlier in the chapter, he defines:
[tex] \tilde{s}=\tilde{p}+\tilde{q} [/tex]
[tex] \tilde{r}=\alpha \tilde{p} [/tex]
To be the one forms whose values on a vector [tex]\vec{A}[/tex] are:
[tex] \tilde{s} (\vec{A})=\tilde{p}(\vec{A})+\tilde{q}(\vec{A}) [/tex]
[tex] \tilde{r}(\vec{A})=\alpha \tilde{p}(\vec{A}) [/tex]
Given this definition, surely some of the axioms to be a vector space, are simply satisfied by defintion (namely closure under addittion, and closure under scalar multiplication), so how does one prove these things, if they have been definied so? Or should I be looking to prove other vector space axioms, like existence of additive inverse etc? If so still not sure where to start.
Any help, much appreciated.
Thanks