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

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, hedefines:

[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 existance of additive inverse etc? If so still not sure where to start.

Any help, much appreciated.

Thanks

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

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

# Proof set of one-forms is a vector space

Loading...

Similar Threads - Proof forms vector | Date |
---|---|

I Proof that Galilean & Lorentz Ts form a group | Dec 8, 2017 |

A Algebraic Proofs of Levi-Civita Symbol Identities | Jul 3, 2017 |

A Usage of kinetic energy in proof for E=mc^2 | Jul 2, 2017 |

A General relativity -- Proof of energy measured by observer | Apr 13, 2017 |

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