In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, Maharam's theorem is a deep result about the decomposability of
measure space
A measure space is a basic object of measure theory, a branch of mathematics that studies generalized notions of volumes. It contains an underlying set, the subsets of this set that are feasible for measuring (the -algebra) and the method that i ...
s, which plays an important role in the theory of
Banach space
In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vector ...
s. In brief, it states that every
complete measure space
In mathematics, a complete measure (or, more precisely, a complete measure space) is a measure space in which every subset of every null set is measurable (having measure zero). More formally, a measure space (''X'', Σ, ''μ'') is c ...
is decomposable into "non-atomic parts" (copies of products of the
unit interval ,1on the reals), and "purely atomic parts", using the
counting measure on some discrete space. The theorem is due to
Dorothy Maharam
Dorothy Maharam Stone (July 1, 1917 – September 27, 2014)
was an American mathematician born in Parkersburg, West Virginia, who made important contributions to measure theory and became the namesake of Maharam's theorem and Maharam algebra.
L ...
.
It was extended to localizable
measure space
A measure space is a basic object of measure theory, a branch of mathematics that studies generalized notions of volumes. It contains an underlying set, the subsets of this set that are feasible for measuring (the -algebra) and the method that i ...
s by
Irving Segal
Irving Ezra Segal (1918–1998) was an American mathematician known for work on theoretical quantum mechanics. He shares credit for what is often referred to as the Segal–Shale–Weil representation. Early in his career Segal became known for h ...
.
The result is important to classical Banach space theory, in that, when considering the Banach space given as an
Lp space of
measurable function
In mathematics and in particular measure theory, a measurable function is a function between the underlying sets of two measurable spaces that preserves the structure of the spaces: the preimage of any measurable set is measurable. This is in di ...
s over a general measurable space, it is sufficient to understand it in terms of its decomposition into non-atomic and atomic parts.
Maharam's theorem can also be translated into the language of
abelian von Neumann algebras. Every abelian von Neumann algebra is isomorphic to a product of σ-finite abelian von Neumann algebras, and every σ-finite abelian von Neumann algebra is isomorphic to a spatial
tensor product of discrete abelian von Neumann algebras; that is, algebras of
bounded function
In mathematics, a function ''f'' defined on some set ''X'' with real or complex values is called bounded if the set of its values is bounded. In other words, there exists a real number ''M'' such that
:, f(x), \le M
for all ''x'' in ''X''. A fun ...
s on a
discrete set
]
In mathematics, a point ''x'' is called an isolated point of a subset ''S'' (in a topological space ''X'') if ''x'' is an element of ''S'' and there exists a neighborhood of ''x'' which does not contain any other points of ''S''. This is equival ...
.
A similar theorem was given by
Kazimierz Kuratowski for
Polish spaces, stating that they are isomorphic, as
Borel spaces, to either the reals, the integers, or a finite set.
References
Banach spaces
Theorems in measure theory
{{mathanalysis-stub