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:
“The money complex is the demonic, and the demonic is God’s ape; the money complex is therefore the heir to and substitute for the religious complex, an attempt to find God in things.”
—Norman O. Brown (b. 1913)
“I love the pride whose measure is its own eminence and not the insignificance of someone else.”
—Franz Grillparzer (1791–1872)
“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)