In mathematics, specifically measure theory, a **complex measure** generalizes the concept of measure by letting it have complex values.^{[1]} In other words, one allows for sets whose size (length, area, volume) is a complex number.

Formally, a *complex measure* on a measurable space is a complex-valued function

that is sigma-additive. In other words, for any sequence of disjoint sets belonging to , one has

As for any permutation (bijection) , it follows that converges unconditionally (hence, since is finite dimensional, converges absolutely).

One can define the *integral* of a complex-valued measurable function with respect to a complex measure in the same way as the Lebesgue integral of a real-valued measurable function with respect to a non-negative measure, by approximating a measurable function with simple functions.^{[2]} Just as in the case of ordinary integration, this more general integral might fail to exist, or its value might be infinite (the complex infinity).

Another approach is to not develop a theory of integration from scratch, but rather use the already available concept of integral of a real-valued function with respect to a non-negative measure.^{[3]} To that end, it is a quick check that the real and imaginary parts μ_{1} and μ_{2} of a complex measure μ are finite-valued signed measures. One can apply the Hahn-Jordan decomposition to these measures to split them as

and

where μ_{1}^{+}, μ_{1}^{−}, μ_{2}^{+}, μ_{2}^{−} are finite-valued non-negative measures (which are unique in some sense). Then, for a measurable function *f* which is *real-valued* for the moment, one can define

as long as the expression on the right-hand side is defined, that is, all four integrals exist and when adding them up one does not encounter the indeterminate ∞−∞.^{[3]}

Given now a *complex-valued* measurable function, one can integrate its real and imaginary components separately as illustrated above and define, as expected,

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 (*A*_{n})_{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.

The sum of two complex measures is a complex measure, as is the product of a complex measure by a complex number. That is to say, the set of all complex measures on a measure space (*X*, Σ) forms a vector space over the complex numbers. Moreover, the *total variation* defined as

is a norm, with respect to which the space of complex measures is a Banach space.

**^**Tao, Terence (2011-09-14).*An Introduction to Measure Theory*. American Mathematical Soc. ISBN 978-0-8218-6919-2.**^**Tao, Terence (2011-09-14).*An Introduction to Measure Theory*. American Mathematical Soc. ISBN 978-0-8218-6919-2.- ^
^{a}^{b}Taylor, Michael Eugene (2006).*Measure Theory and Integration*. American Mathematical Soc. ISBN 978-0-8218-4180-8.

- Folland, Gerald B. (1999).
*Real analysis. Modern techniques and their applications*. Pure and Applied Mathematics (Second edition of 1984 original ed.). New York: John Wiley & Sons, Inc. ISBN 0-471-31716-0. MR 1681462. Zbl 0924.28001. - Rudin, Walter (1987).
*Real and complex analysis*(Third edition of 1966 original ed.). New York: McGraw-Hill Book Co. ISBN 0-07-054234-1. MR 0924157. Zbl 0925.00005.

Basic concepts | |||||
---|---|---|---|---|---|

Sets | |||||

Types of Measures | - Atomic
- Baire
- Banach
- Besov
- Borel
- Brown
- Complex
- Complete
- Content
- (Logarithmically) Convex
- Decomposable
- Discrete
- Equivalent
- Finite
- Inner
- (Quasi-) Invariant
- Locally finite
- Maximising
- Metric outer
- Outer
- Perfect
- Pre-measure
- (Sub-) Probability
- Projection-valued
- Radon
- Random
- Regular
- Saturated
- Set function
- σ-finite
- s-finite
- Signed
- Singular
- Spectral
- Strictly positive
- Tight
- Vector
| ||||

Particular measures | |||||

Maps | |||||

Main results | - Carathéodory's extension theorem
- Convergence theorems
- Decomposition theorems
- Egorov's
- Fatou's lemma
- Fubini's
- Hölder's inequality
- Minkowski inequality
- Radon–Nikodym
- Riesz–Markov–Kakutani representation theorem
| ||||

Other results |
| ||||

Applications & related |