In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, particularly in
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
, the Krein-Smulian theorem can refer to two theorems relating the closed
convex hull
In geometry, the convex hull, convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space, ...
and
compactness
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it ...
in the
weak topology
In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a ...
. They are named after
Mark Krein
Mark Grigorievich Krein (, ; 3 April 1907 – 17 October 1989) was a Soviet mathematician, one of the major figures of the Soviet school of functional analysis. He is known for works in operator theory (in close connection with concrete problems ...
and
Vitold Shmulyan, who published them in 1940.
Statement
Both of the following theorems are referred to as the Krein-Smulian Theorem.
See also
*
*
References
Bibliography
*
*
*
*
*
Further reading
* https://www.math.ias.edu/~lurie/261ynotes/lecture12.pdf
Banach spaces
Topological vector spaces
Theorems in functional analysis
{{hyperbolic-geometry-stub