Advertisement
Published in:
2014 | OriginalPaper | Chapter
4. Completeness and Separability
Author : Joseph Muscat
Published in: Functional Analysis
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.