Kuratowski’s embedding theorem
Let be a set and be the set of bounded functions with norm . Kuratowski’s embedding theorem states that every metric space can be embedded isometrically into the Banach space
.
Proof. One can assume that . Fix a point and for every define a function by
Then for every so is bounded. By setting , , we have the mapping . It requires to prove that is an isometry.
Let . As we have that
Therefore . On the other hand
Therefore .
References
- 1 J. VÃÂisÃÂlÃÂ: Topologia II. 2nd corrected issue, Limes ry., Helsinki, Finland (2005), ISBN 951-745-209-8