more smooth manifolds questions (differential forms edition)

some computations: for n vectors in basis, I get n equations, and out of n2n^2 sum terms, n+1 are 0...
1i<jαi(eiej)j<knαk(ejek)=0\sum_{1\leq i < j} \alpha_i(e_i \wedge e_j) - \sum_{j< k \leq n}\alpha_k(e_j \wedge e_k)=0 ,j=1,n\forall j =\overline{1,n}.
I guess the 2nd sum needed k instead of i, for clarity. I also see why everyone likes the Einstein summation notation, but I simply don't see what I am doing anymore when using that.
So I guess this is wrong?
 
some computations: for n vectors in basis, I get n equations, and out of n2n^2 sum terms, n+1 are 0...
1i<jαi(eiej)j<knαk(ejek)=0\sum_{1\leq i < j} \alpha_i(e_i \wedge e_j) - \sum_{j< k \leq n}\alpha_k(e_j \wedge e_k)=0 ,j=1,n\forall j =\overline{1,n}.
I guess the 2nd sum needed k instead of i, for clarity. I also see why everyone likes the Einstein summation notation, but I simply don't see what I am doing anymore when using that.
so...this? make β=(1,0,...0)\beta=(1, 0, ... 0), then β=(0,1,0,...,0)\beta=(0, 1, 0, ..., 0) and so on?
 
so...this? make β=(1,0,...0)\beta=(1, 0, ... 0)β=(1,0,...0), then β=(0,1,0,...,0)\beta=(0, 1, 0, ..., 0)β=(0,1,0,...,0) and so on?
I don't think it is a good idea asking questions about every step along the way. A much better -- and more efficient -- approach would be to try solving the problem, then posting the whole solution. This way we can have a much more meaningful conversation.
 
For α,βΩ1(Rn)\alpha, \beta \in \Omega^1(\mathbb{R}^n), α=i=1nαiei\alpha=\sum_{i=1}^n \alpha_i e_i, similar notation for beta.
αβ=1i<jn(αiβjαjβi)(eiej)\alpha \wedge \beta=\sum_{1 \leq i < j \leq n} (\alpha_i\beta_j-\alpha_j\beta_i)(e_i\wedge e_j)
Since it's for all β\beta, I choose β=e1\beta=e_1
αe1=1<i<nαi(eie1)\alpha \wedge e_1=\sum_{1 < i < n}\alpha_i(e_i \wedge e_1)
Since αβΩ2(Rn)\alpha \wedge \beta \in \Omega^2(\mathbb{R}^n), {eiej1i<jn}\{e_i \wedge e_j \mid 1 \leq i < j \leq n \} is a basis, and a linear combination of them cannot be 0 unless they're all multiplied by 0...
So, if αei=0,\alpha \wedge e_i =0, αi=0,i=2,n\alpha_i=0, \forall i=\overline{2,n}.
Then I just pick β=e2\beta=e_2 to show α1=0\alpha_1=0.
 
I think I wrote the same thing before, that's why I asked what I am supposed to do. :)
But here it is again.
 
For α,βΩ1(Rn)\alpha, \beta \in \Omega^1(\mathbb{R}^n), α=i=1nαiei\alpha=\sum_{i=1}^n \alpha_i e_i, similar notation for beta.
αβ=1i<jn(αiβjαjβi)(eiej)\alpha \wedge \beta=\sum_{1 \leq i < j \leq n} (\alpha_i\beta_j-\alpha_j\beta_i)(e_i\wedge e_j)
Since it's for all β\beta, I choose β=e1\beta=e_1
αe1=1<i<nαi(eie1)\alpha \wedge e_1=\sum_{1 < i < n}\alpha_i(e_i \wedge e_1)
Since αβΩ2(Rn)\alpha \wedge \beta \in \Omega^2(\mathbb{R}^n), {eiej1i<jn}\{e_i \wedge e_j \mid 1 \leq i < j \leq n \} is a basis, and a linear combination of them cannot be 0 unless they're all multiplied by 0...
So, if αei=0,\alpha \wedge e_i =0, αi=0,i=2,n\alpha_i=0, \forall i=\overline{2,n}.
Then I just pick β=e2\beta=e_2 to show α1=0\alpha_1=0.
I agree with this proof for Rn\mathbb R^n. In the case of an arbitrary differential manifold it can be used to show that for any pMp\in M there exists a neighborhood U:pUMU: p\in U \subset M such that α=0\alpha=0 in UU.
 
Which post?
True. The attempt at 13# wasn't too close, now that I think of it. o_O Sorry.

I agree with this proof for Rn\mathbb R^n. In the case of an arbitrary differential manifold it can be used to show that for any pMp\in M there exists a neighborhood U:pUMU: p\in U \subset M such that α=0\alpha=0 in UU.
So I take a map (U,ϕ)(U, \phi), and through ϕ1\phi^{-1} I move the basis eie_i into a basis on U? internet seems to say a homeomorphism maps basis to basis.

Thank you very much for help!!
 
True. The attempt at 13# wasn't too close, now that I think of it. o_O Sorry.


So I take a map (U,ϕ)(U, \phi), and through ϕ1\phi^{-1} I move the basis eie_i into a basis on U? internet seems to say a homeomorphism maps basis to basis.

Thank you very much for help!!
You link points to a question about topological bases, not vector spaces. But if you revisit the definition of differential manifolds you'll see that all differential structures are defined for points' neighborhoods.

Glad we've worked this out:) In the future feel free to post your self-contained solutions -- they are easier to discuss than references to previous posts. And by all means don't be afraid of making mistakes in your posts: addressing and fixing them is, in my experience, one of the most effective ways to learn new stuff.
 
You link points to a question about topological bases, not vector spaces. But if you revisit the definition of differential manifolds you'll see that all differential structures are defined for points' neighborhoods.
😓 Well then...I think an isomorphism of vector spaces sends basis to basis, and a homeomorphism is an isomorphism. Just to make sure I can have a basis on an open set homeomorphic to an open set in Rn\mathbb{R}^n

Glad we've worked this out:) In the future feel free to post your self-contained solutions -- they are easier to discuss than references to previous posts. And by all means don't be afraid of making mistakes in your posts: addressing and fixing them is, in my experience, one of the most effective ways to learn new stuff.

Alright, I'll keep that in mind. I expected the process of solving this exercise to be completely illogical, so I thought all attempts would be too naive. In hindsight, the exercise appears reasonable though.
Thanks for help!!
 
Top