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:
“What we do is as American as lynch mobs. America has always been a complex place.”
—Jerry Garcia (1942–1995)
“REASON, is half of it, SENSE; and the measure of heaven itself is but the measure of our present appetites and concoctions.”
—Laurence Sterne (1713–1768)
“Professor Fate: My apologies. There’s a polar bear in our car.”
—Arthur Ross. Professor Fate (Jack Lemmon)