Complete space : Completeness (topology) 

Examples

The space Q of rational numbers, with the standard metric given by the absolute value, isn't complete. Consider for instance the sequence defined by x₁ := 1 and x_n+1 := x_n/2 + 1/x_n. This is a Cauchy sequence of rational numbers, but it doesn't converge towards any rational limit; in fact, it converges towards the irrational number √2, the square root of two.

The open interval (0,1), again with the absolute value metric, isn't complete either. The sequence (1/2, 1/3, 1/4, 1/5, ...) is Cauchy, but doesn't have a limit in the space. However the closed interval [0,1] is complete; the sequence above has the limit 0 in this interval.

The space R of real numbers and the space C of complex numbers (with the metric given by the absolute value) are complete, and so is Euclidean space Rⁿ. Other normed vector spaces may or may not be complete; those which are, are the Banach spaces.

The space Q_p of p-adic numbers are complete for any prime number p. This space completes Q with the p-adic metric in the same way that R completes Q with the usual metric.

If S is an arbitrary set, then the set S^N of all sequences in S becomes a complete metric space if we define the distance between the sequences (x_n) and (y_n) to be 1/N, where N is the smallest index for which x_N is distinct from y_N, or 0 if there is no such index. This space is homeomorphic to the product of a countable number of copies of the discrete space S.

Some theorems

Every compact metric space is complete. In fact, a metric space is compact if and only if it is complete and totally bounded.

A subspace of a complete space is complete if and only if it is closed.

If X is a set and M is a complete metric space, then the set B(X,M) of all bounded functions[?] f from X to M is a complete metric space. Here we define the distance in B(X,M) in terms of the distance in M as

d(f,g) := sup_x d(f(x),g(x)).

If X is a topological space and M is a complete metric space, then the set C_b(X,M) consisting of all continuous bounded functions f from X to M is a closed subspace of B(X,M) and hence also complete.

The Baire category theorem says that every complete metric space is a Baire space. That is, the interior of a union of countably many nowhere dense subsets of the space is empty.

Completion

For any metric space M, one can construct a complete metric space M' (which is also denoted as M with a bar over it), which contains M as a dense subspace. It has the following universal property: if N is any complete metric space and f is any uniformly continuous function from M to N, then there exists a unique uniformly continuous function f' from M' to N which extends f. The space M' is determined up to isometry by this property, and is called the completion of M.

The completion of M can be constructed as a set of equivalence classes of Cauchy sequences in M. For any two Cauchy sequences (x_n)_n and (y_n)_n in M, we may define their distance as

d(x,y) = lim_n d(x_n,y_n).

Cantor's contsruction of the real numbers is a special case of this; the real numbers are the completion of the rational numbers using the ordinary absolute value to measure distances. By using different notions of distance on the rationals, one obtains different incomplete metric spaces whose completions are the p-adic numbers.

If this completion procedure is applied to a normed vector space, one obtains a Banach space containing the original space as a dense subspace, and if it is applied to an inner product space, one obtains a Hilbert space containing the original space as a dense subspace.

Topologically complete spaces

Note that completeness is a property of the metric and not of the topology, meaning that a complete metric space can be homeomorphic to a non-complete one. An example is given by the real numbers, which are complete but homeomorphic to the open interval (0,1), which isn't complete. Another example is given by the irrational numbers, which are not complete as a subspace of the real numbers but are homeomorphic to N^N (a special case of an example in Examples above).

In topology one considers topologically complete (or completely metrizable) spaces, spaces for which there exists at least one complete metric inducing the given topology. Completely metrizable spaces can be characterized as those spaces which can be written as an intersection of countably many open subsets of some complete metric space. Since the conclusion of the Baire category theorem is purely topological, it applies to these spaces as well.

Generalisations

It is also possible to define the concept of completeness for uniform spaces using Cauchy nets instead of Cauchy sequences. If every Cauchy net has a limit in X, then X is called complete. One can also construct a completion for an arbitrary uniform space similar to the completion of metric spaces. The most general situation in which Cauchy nets apply is Cauchy spaces[?]; these too have a notion of completeness and completion just like uniform spaces.

A topological space may be completely uniformisable without being completely metrisable; it is then still not topologically complete.

einer Nation machte, die.html">die.html">die.html">die.html">die.html">die.html">die.html">die.html">die von der heutigen italienischen durch wenig die Melancholie der Engländer, von dieser ihren Eigensinn, ihre Franzosen ihren Leichtsinn, von dieser ihre Sorglosigkeit für die von selbst geht und sie.html">sie.html">sie.html">sie sich nur zu bücken und zu schmeicheln haben, ihre Festigkeit, wobei er jedoch die Einschaltung machte, daß seit Tugend sehr abgenommen und in eine weibische Weichlichkeit und bisweilen vom Boden und Himmel überstimmt würde, den ganzen Mannheit leitete er die ganze Verfassung des h. Römischen Reichs her, es müßten denn die Sitten der Nation ganz umgegossen werden. Lehnsverfassung noch bis auf.html">auf den heutigen Tag erhalten, eine Menge Vasallen herrschten, nur sollte der Adel nicht ungekränkt fremde wenn sie lang in fremden Ländern lebten, verlören sie ihr Deutsches, Rechte ihres Landesherrn, ihre Anhänglichkeit an ihren Boden, könnten leicht Knechte des ersten werden, der sie finde. \XDCbrigens Deutscher, der gereist hat, ein Franzose, der alt geworden ist, und Despotismus dieser Nation schrieb er der Strenge ihres Klima, der Haufens der Einwohner zu, denn überall, wo Mangel ist, ist blindlings gefallen läßt. Alle diese Sachen aber verhehlte Johannes Mannheim sorgfältig den angestellten Meditationen seinem Sohn als ein Erbstück hinterlassen Schutzgeist durch die Welt dienen könnte. Wir werden in der Folge erwiesen. Albertine aber, anstatt sich von dem Beispiel ihres Mannes warnen zu ihrem Herzen aufgekommen waren, verderbten auf einmal die Unschuld wehmütig und rührend wie Engel, um die scheidende Sonne hingen, .

 On wordlookup.net  

All is still licensed under the GNU FDL.
It uses material from the wikipedia.