Abstract
A sequence may appear to converge but fails to do so because its limit is ‘missing’ from the metric space. Such sequences are called ‘Cauchy’; these, and the related concept of asymptotic sequences, are defined in this chapter. Complete metric spaces are spaces in which Cauchy sequences converge. Every metric space can be ‘completed’; for example, \(\mathbb {R}\) is the completion of \({\mathbb {Q}}\). Baire’s theorem shows that the resulting complete space may be quite larger than the original space. Uniformly continuous functions preserve Cauchy sequences and completeness. Examples include Lipschitz functions. The Banach fixed point theorem is a unifying principle about contractive Lipschitz maps that has applications in various mathematical fields. Separable spaces are metric spaces whose points can be approximated in a constructive manner.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
There is a catch here: The metric used in the proposition is not the Euclidean one. But the inequalities used there remain valid for the Euclidean metric, \(\sqrt{d_X(a_n,x)^2+d_Y(b_n,y)^2}<\sqrt{\epsilon ^2/4+\epsilon ^2/4}<\epsilon \).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Muscat, J. (2014). Completeness and Separability. In: Functional Analysis. Springer, Cham. https://doi.org/10.1007/978-3-319-06728-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-06728-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06727-8
Online ISBN: 978-3-319-06728-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)