Variation of A Complex Measure and Polar Decomposition
For a complex measure μ, one defines its variation, or absolute value, |μ| by the formula
where A is in Σ and the supremum runs over all sequences of disjoint sets (An)n whose union is A. Taking only finite partitions of the set A into measurable subsets, one obtains an equivalent definition.
It turns out that |μ| is a non-negative finite measure. In the same way as a complex number can be represented in a polar form, one has a polar decomposition for a complex measure: There exists a measurable function θ with real values such that
meaning
for any absolutely integrable measurable function f, i.e., f satisfying
One can use the Radon–Nikodym theorem to prove that the variation is a measure and the existence of the polar decomposition.
Read more about this topic: Complex Measure
Famous quotes containing the words complex, measure and/or polar:
“It’s a complex fate, being an American, and one of the responsibilities it entails is fighting against a superstitious valuation of Europe.”
—Henry James (1843–1916)
“We say that every man is entitled to be valued by his best moment. We measure our friends so. We know, they have intervals of folly, whereof we take no heed, but wait the reappearings of the genius, which are sure and beautiful.”
—Ralph Waldo Emerson (1803–1882)
“In time your relatives will come to accept the idea that a career is as important to you as your family. Of course, in time the polar ice cap will melt.”
—Barbara Dale (b. 1940)