In mathematics, the Kuratowski embedding allows one to view any metric space as a subset of some Banach space. It is named after Kazimierz Kuratowski.
The statement obviously holds for the empty space.
If (X,d) is a metric space, x0 is a point in X, and Cb(X) denotes the Banach space of all bounded continuous real-valued functions on X with the supremum norm, then the map
defined by
is an isometry.[1]
The above construction can be seen as embedding a pointed metric space into a Banach space.
The Kuratowski–Wojdysławski theorem states that every bounded metric space X is isometric to a closed subset of a convex subset of some Banach space.[2] (N.B. the image of this embedding is closed in the convex subset, not necessarily in the Banach space.) Here we use the isometry
defined by
The convex set mentioned above is the convex hull of Ψ(X).
In both of these embedding theorems, we may replace Cb(X) by the Banach space ℓ ∞(X) of all bounded functions X → R, again with the supremum norm, since Cb(X) is a closed linear subspace of ℓ ∞(X).
These embedding results are useful because Banach spaces have a number of useful properties not shared by all metric spaces: they are vector spaces which allows one to add points and do elementary geometry involving lines and planes etc.; and they are complete. Given a function with codomain X, it is frequently desirable to extend this function to a larger domain, and this often requires simultaneously enlarging the codomain to a Banach space containing X.
^Juha Heinonen (January 2003), Geometric embeddings of metric spaces, retrieved 6 January 2009
^Karol Borsuk (1967), Theory of retracts, Warsaw{{citation}}: CS1 maint: location missing publisher (link). Theorem III.8.1
and 25 Related for: Kuratowski embedding information
mathematics, the Kuratowskiembedding allows one to view any metric space as a subset of some Banach space. It is named after Kazimierz Kuratowski. The statement...
are surfaces of genus 0. See "graph embedding" for other related topics. The Polish mathematician Kazimierz Kuratowski provided a characterization of planar...
Euclidean norm, and the maximum norm, respectively. More generally, the Kuratowskiembedding allows one to see any metric space as a subspace of a normed vector...
ω-continuous families; hence still ω-continuous. Incidentally, by the Kuratowskiembedding any metric space is isometric to a subset of a normed space. Hence...
algorithm may be a planar graph embedding, if the graph is planar, or an obstacle to planarity such as a Kuratowski subgraph if it is not. Planarity...
finite metric spaces. Kuratowskiembedding, an embedding of any metric space into a Banach space defined similarly to the Kuratowski map Injective metric...
a Riemannian metric g, Gromov proceeds as follows. One exploits Kuratowskiembedding. One imbeds X in the Banach space L ∞ ( X ) {\displaystyle L^{\infty...
proofs of this impossibility are known, and form part of the proof of Kuratowski's theorem characterizing planar graphs by two forbidden subgraphs, one...
greedy planar embedding can be found by applying the Knaster–Kuratowski–Mazurkiewicz lemma to a weighted version of a straight-line embedding algorithm of...
graph theory, a mathematical discipline, a linkless embedding of an undirected graph is an embedding of the graph into three-dimensional Euclidean space...
of the forbidden minors for linkless embedding. In other words, and as Conway and Gordon proved, every embedding of K6 into three-dimensional space is...
measurable cardinals were introduced by Stefan Banach (1930). Banach & Kuratowski (1929) showed that the continuum hypothesis implies that 𝔠 is not real-valued...
J\colon N\to L} into some common metric space L. Wijsman convergence Kuratowski convergence Hemicontinuity Fréchet distance Hypertopology Rockafellar...
horned sphere − A particular embedding of a sphere into 3-dimensional Euclidean space. Antoine's necklace − A topological embedding of the Cantor set in 3-dimensional...
(induced) subgraph or minor. A prototypical example of this phenomenon is Kuratowski's theorem, which states that a graph is planar (can be drawn without crossings...
graph structure theorem may be looked at as a vast generalization of the Kuratowski theorem. A version of this theorem proved by Wagner (1937) states that...
an elementary embedding extendible cardinal A cardinal κ is called extendible if for all η there is a nontrivial elementary embedding of Vκ+η into some...
for a later edition of Bourbaki that combined this notation with the Kuratowski definition of ordered pairs, this number grows to approximately 2.4 × 1054...
1860 and 1930 fertilized graph theory back through the works of Jordan, Kuratowski and Whitney. Another important factor of common development of graph theory...
definition of the ordered pair (a, b) as {{a,1}, {b, 2}}. A few years later Kuratowski (1921) offered a definition that has been widely used ever since, namely...
1007/978-3-030-27195-4_8 Katz, Mikhail (1991), "On neighborhoods of the Kuratowski imbedding beyond the first extremum of the diameter functional", Polska...
{\displaystyle R_{\alpha }} . If ( x , y ) {\displaystyle (x,y)} is the usual Kuratowski ordered pair (two types higher than x {\displaystyle x} and y {\displaystyle...
outerplanarity. A 1-outerplanar embedding of a graph is the same as an outerplanar embedding. For k > 1 a planar embedding is said to be k-outerplanar if...
isometric embedding of X {\displaystyle X} into Aim ( X ) {\displaystyle \operatorname {Aim} (X)} ; this is essentially a generalisation of the Kuratowski-Wojdysławski...
distributive lattices with ℵ2 compact elements using a construction based on Kuratowski's free set theorem. We denote by Con A the congruence lattice of an algebra...