Krein–Milman theorem

Krein–Milman theorem

In mathematics, more precisely in functional analysis, the Krein–Milman theorem is a statement about convex sets. A particular case of this theorem, which can be easily visualized, states that given a convex polygon, one only needs the corners of the polygon to recover the polygon shape. The statement of the theorem is false if the polygon is not convex, as then there can be many ways of drawing a polygon having given points as corners.

Formally, let X be a locally convex topological vector space, and let K be a compact convex subset of X. Then, the theorem states that K is the closed convex hull of its extreme points.

The closed convex hull above is defined as the intersection of all closed convex subsets of X that contain K. This turns out to be the same as the closure of the convex hull in the topological vector space. One direction in the theorem is easy; the main burden is to show that there are 'enough' extreme points.

The original statement proved by Mark Krein and David Milman was somewhat less general than this.

Relation to the axiom of choice

The axiom of choice, or some weaker version of it, is needed to prove this theorem in Zermelo–Fraenkel set theory. This theorem together with the Boolean prime ideal theorem, though, can prove the axiom of choice.

Related results

Under the previous assumptions on K, if T is a subset of K and the closed convex hull of T is all of K, then every extreme point of K belongs to the closure of T. This result is known as "Milman's" (partial) "converse" to the Krein–Milman theorem.

The Choquet–Bishop–de Leeuw theorem states that every point in K is the barycenter of a probability measure supported on the set of extreme points of K.

References

*M. Krein, D. Milman (1940) "On extreme points of regular convex sets", Studia Mathematica 9 133–138.
* D. Milman (1947) "Characteristics of extremal points of regularly convex sets" (in Russian), Doklady Akad. Nauk SSSR (N.S.) 57 119–122
* H. L. Royden. "Real Analysis". Prentice-Hall, Englewood Cliffs, New Jersey, 1988.

----


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Milman — may refer to: Milman Baronets, a British title People David Milman (1912–1982), mathematician Dov Milman (1919–2007), israeli politician and diplomat Sir Francis Milman, 1st Baronet, British physician Henry Hart Milman (1791–1868), English… …   Wikipedia

  • Pierre Milman — Milman graduated with a B.A. from the University of Moscow in 1967. Later in 1975 he obtained his Ph.D. from the University of Tel Aviv after an interlude of several years as Researcher at the Institute of Chemical Physics and then Solid State… …   Wikipedia

  • Mark Krein — Mark Grigorievich Krein The memorial plaque of Mark Krein Born …   Wikipedia

  • David Milman — David Pinhusovich Milman (Russian: Давид Пинхусович Мильман; 15 January 1912, Chichelnik near Vinnytsia – 12 July 1982, Tel Aviv) was a Soviet and later Israeli mathematician specializing in functional analysis.[1] He was one of the major figures …   Wikipedia

  • Vitali Milman — Vitali Davidovich Milman ( he. ויטלי מילמן; ru. Виталий Давидович Мильман) (born 1939) is a mathematician specializing in analysis. He is currently a professor at the Tel Aviv University. In the past he was a President of the Israel Mathematical… …   Wikipedia

  • Mark Grigoryevich Krein — Mark Grigorievich Krein ( ru. Марк Григорьевич Крейн; 3 April 1907 – 17 October 1989) was a Soviet Jewish mathematician, one of the major figures of the Soviet school of functional analysis. He is known for works in operator theory (in close… …   Wikipedia

  • Gelfand–Naimark theorem — In mathematics, the Gelfand–Naimark theorem states that an arbitrary C* algebra A is isometrically * isomorphic to a C* algebra of bounded operators on a Hilbert space. This result was a significant point in the development of the theory of C*… …   Wikipedia

  • Riesz–Thorin theorem — In mathematics, the Riesz–Thorin theorem, often referred to as the Riesz–Thorin interpolation theorem or the Riesz–Thorin convexity theorem is a result about interpolation of operators. It is named after Marcel Riesz and his student G. Olof… …   Wikipedia

  • de Finetti's theorem — In probability theory, de Finetti s theorem explains why exchangeable observations are conditionally independent given some latent variable to which an epistemic probability distribution would then be assigned. It is named in honor of Bruno de… …   Wikipedia

  • Stone–Weierstrass theorem — In mathematical analysis, the Weierstrass approximation theorem states that every continuous function defined on an interval [ a , b ] can be uniformly approximated as closely as desired by a polynomial function. Because polynomials are the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”