Differential K-Forms on Rn: Meaningless w/ k>n?

  • Thread starter Thread starter TranscendArcu
  • Start date Start date
  • Tags Tags
    Differential
TranscendArcu
Messages
277
Reaction score
0
This is more a concept question than an actual homework problem but why is it more or less meaningless to define differential k-forms on Rn in this case of k > n?

I'm not really sure why this is so, but I might guess that since two dxis are the same in the product of such terms, then that whole term equals 0. If that's the case, is a k-form with k > n just the same as a k-form with k=n?
 
Physics news on Phys.org
Yes, that is the case but no, a k-form with k> n is not "just the same as a k-form with k= n". What is true is that there are NO k-forms with k> n. In fact, one can show that in n-dimensional space, there exist \begin{pmatrix}n \\ k\end{pmatrix} k-forms.

For example, if n= 1, there exist one 0-form, the empty form, and 1 1-form, dx. If n= 2, there exist one 0-form, two 1 forms, dx and dy, and one 2 form, dxdy. If n= 3, there exist one 0-form, three 1 forms, dx, dy, and dz, three 2-forms dxdy, dydz, and dzdx, and one 3-form, dxdydz.
 
Okay. Could you please show that there exist \begin{pmatrix}n \\ k\end{pmatrix} k-forms, or otherwise direct me to the proof of this?
 
So I found this quote that seems to explain what I'm asking about:

There are no nonzero differential forms of degree > n on an open subset of Rn. This is because is deg xI > n, then in the expression dxI at least two of the 1-forms dxi must be the same, force dxI = 0.
The only problem is that I don't know what "deg xI > n" means. What, specifically, is "deg"?

Thanks!
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top