PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
complete (Definition)

A metric space $X$ is complete if every Cauchy sequence in $X$ is a convergent sequence.

Examples:

  • The space $\mathbb{Q}$ of rational numbers is not complete: the sequence $3$ $3.1$ $3.14$ $3.141$ $3.1415$ $3.14159$ $3.141592\ldots$ consisting of finite decimals converging to $\pi \in \mathbb{R}$ is a Cauchy sequence in $\mathbb{Q}$ that does not converge in $\mathbb{Q}$
  • The space $\mathbb{R}$ of real numbers is complete, as it is the completion of $\mathbb{Q}$ with respect to the standard metric (other completions, such as the $p$ adic numbers, are also possible). More generally, the completion of any metric space is a complete metric space.
  • Every Banach space is complete. For example, the $L^p$ -space of p-integrable functions is a complete metric space if $p \geq 1$




"complete" is owned by djao.
(view preamble | get metadata)

View style:


Attachments:
a closed subset of a complete metric space is complete (Result) by ehremo
a complete subspace of a metric space is closed (Result) by ehremo
Log in to rate this entry.
(view current ratings)

Cross-references: p-integrable functions, Banach space, numbers, standard metric, completion, real numbers, converge, Cauchy sequence, finite, sequence, rational numbers, convergent sequence, metric space
There are 70 references to this entry.

This is version 7 of complete, born on 2001-10-27, modified 2008-01-23.
Object id is 603, canonical name is Complete.
Accessed 18110 times total.

Classification:
AMS MSC54E50 (General topology :: Spaces with richer structures :: Complete metric spaces)

Pending Errata and Addenda
None.
[ View all 5 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)