Positive and negative sets

Template:Unreferenced In measure theory, given a measurable space $(X,\mathrm{\Sigma })$ and a signed measure $\mu$ on it, a set $A\in \mathrm{\Sigma }$ is called a Template:Visible anchor for $\mu$ if every $\mathrm{\Sigma }$-measurable subset of $A$ has nonnegative measure; that is, for every $E\subseteq A$ that satisfies $E\in \mathrm{\Sigma },$ $\mu (E)\ge 0$ holds.

Similarly, a set $A\in \mathrm{\Sigma }$ is called a Template:Visible anchor for $\mu$ if for every subset $E\subseteq A$ satisfying $E\in \mathrm{\Sigma },$ $\mu (E)\le 0$ holds.

Intuitively, a measurable set $A$ is positive (resp. negative) for $\mu$ if $\mu$ is nonnegative (resp. nonpositive) everywhere on $A.$ Of course, if $\mu$ is a nonnegative measure, every element of $\mathrm{\Sigma }$ is a positive set for $\mu .$

In the light of Radon–Nikodym theorem, if $\nu$ is a σ-finite positive measure such that $|\mu |\ll \nu ,$ a set $A$ is a positive set for $\mu$ if and only if the Radon–Nikodym derivative $d\mu /d\nu$ is nonnegative $\nu$-almost everywhere on $A.$ Similarly, a negative set is a set where $d\mu /d\nu \le 0$ $\nu$-almost everywhere.

Properties

It follows from the definition that every measurable subset of a positive or negative set is also positive or negative. Also, the union of a sequence of positive or negative sets is also positive or negative; more formally, if $A_1,A_2,\dots$ is a sequence of positive sets, then $$\bigcup _{n=1}^{\mathrm{\infty }}{A}_n$$ is also a positive set; the same is true if the word "positive" is replaced by "negative".

A set which is both positive and negative is a $\mu$-null set, for if $E$ is a measurable subset of a positive and negative set $A,$ then both $\mu (E)\ge 0$ and $\mu (E)\le 0$ must hold, and therefore, $\mu (E)=0.$

Hahn decomposition

The Hahn decomposition theorem states that for every measurable space $(X,\mathrm{\Sigma })$ with a signed measure $\mu ,$ there is a partition of $X$ into a positive and a negative set; such a partition $(P,N)$ is unique up to $\mu$-null sets, and is called a Hahn decomposition of the signed measure $\mu .$

Given a Hahn decomposition $(P,N)$ of $X,$ it is easy to show that $A\subseteq X$ is a positive set if and only if $A$ differs from a subset of $P$ by a $\mu$-null set; equivalently, if $A\setminus P$ is $\mu$-null. The same is true for negative sets, if $N$ is used instead of $P.$

See also

• Template:Annotated link