An $n$-form $\omega$ is positive semidefinite or just positive (denoted $\omega \geq 0$) if the following equivalent conditions hold:

the integral of $\omega$ on any open submanifold? of $X$ is nonnegative;

the coordinate of $\omega$ in any oriented local coordinate system on $X$ is nonnegative;

the value of $\omega$ at any point $p$, when applied to any positively oriented collection of $n$tangent vectors at $p$, is nonnegative.

Supposing $X$ is unoriented, an $n$-pseudoform$\omega$ is positive semidefinite if the following equivalent conditions hold:

the integral of $\omega$ on any open submanifold? of $X$ is nonnegative;

the coordinate of $\omega$ in any local coordinate system on $X$ is nonnegative;

the value of $\omega$ at any point $p$, when applied relative to either local orientation $o$ at $p$ to any $o$-oriented collection of $n$tangent vectors at $p$, is nonnegative.

Arguably, positivity of pseudoforms is fundamental; an orientation allows one to interpret forms as pseudoforms.

A (pseudo)-form is positive definite (denoted $\omega \gt 0$) if it is also nondegenerate (nowhere zero), or equivalently if the conditions above hold with “strictly positive” in place of “nonzero” (taking integrals over only inhabited submanifolds). A positive definite form can be interpreted as a volume (pseudo)-form on $X$.

Properties

If $X$ is oriented, then every $n$-form $\omega$ has an absolute value${|\omega|}$, which is a positive $n$-form. However, even if $\omega$ is smooth, still ${|\omega|}$ may only be continuous. However, if $\omega$ is nondegenerate, then not only will ${|\omega|}$ be also nondegenerate, it will be smooth (if $\omega$ is). Even if $X$ is unoriented, still any $n$-form or $n$-pseudoform $\omega$ will have a positive $n$-pseudoform ${|\omega|}$ as absolute value.

Revised on January 24, 2013 09:33:18
by Toby Bartels
(98.19.39.195)