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:
“Power is not an institution, and not a structure; neither is it a certain strength we are endowed with; it is the name that one attributes to a complex strategical situation in a particular society.”
—Michel Foucault (1926–1984)
“Both the man of science and the man of art live always at the edge of mystery, surrounded by it. Both, as a measure of their creation, have always had to do with the harmonization of what is new with what is familiar, with the balance between novelty and synthesis, with the struggle to make partial order in total chaos.... This cannot be an easy life.”
—J. Robert Oppenheimer (1904–1967)
“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)