Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $V$ be a finite-dimensional vector space with euclidean product, and let $U$ be a subspace. Now let $P$ be the projection of $V$ onto $U$, and let $\omega$ be any alternating multilinear $k$-form. Let $\omega_t$ denote $P^\ast \omega$, the tangential part of $\omega$.

Then $\omega_n = \omega - \omega_t$ is called the normal part of $\omega$. It is now claimed that $\star(\omega_n) = (\star\omega)_t$.

But I do not believe that. I think it holds if $\omega$ is in the direct sum of $\Lambda^k U$ and $\Lambda^k (U^\perp)$, but this direct sum is generally not $\Lambda^k(V)$. Can you give me a proof?

share|cite|improve this question
I assume you mean $\omega_n$ is the normal part of $\omega$. – Grumpy Parsnip Jan 8 '12 at 12:51
Corrected. Yes, thanks. – shuhalo Jan 8 '12 at 12:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.