Cauchy completion
E825425
Cauchy completion is a construction in metric space theory that embeds a given space into a complete metric space by formally adding limits of all its Cauchy sequences.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Cauchy completion canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T9843532 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Cauchy completion Context triple: [Cauchy sequence, relatedTo, Cauchy completion]
-
A.
Cauchy sequence
A Cauchy sequence is a sequence whose terms become arbitrarily close to each other as the sequence progresses, providing a fundamental criterion for convergence in metric and normed spaces.
-
B.
Cauchy convergence criterion
The Cauchy convergence criterion is a fundamental concept in mathematical analysis that characterizes convergence of sequences (and series) by requiring that their terms become arbitrarily close to each other beyond some index.
-
C.
Stone–Čech compactification
The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
-
D.
Freudenthal compactification
The Freudenthal compactification is a topological construction that extends a non-compact, locally compact space by adding a boundary of “ends” to obtain a compact space that more finely captures its asymptotic structure than the one-point (Alexandrov) compactification.
-
E.
Alexandrov compactification
The Alexandrov compactification is a topological construction that adds a single “point at infinity” to a non-compact space to make it compact.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Cauchy completion Target entity description: Cauchy completion is a construction in metric space theory that embeds a given space into a complete metric space by formally adding limits of all its Cauchy sequences.
-
A.
Cauchy sequence
A Cauchy sequence is a sequence whose terms become arbitrarily close to each other as the sequence progresses, providing a fundamental criterion for convergence in metric and normed spaces.
-
B.
Cauchy convergence criterion
The Cauchy convergence criterion is a fundamental concept in mathematical analysis that characterizes convergence of sequences (and series) by requiring that their terms become arbitrarily close to each other beyond some index.
-
C.
Stone–Čech compactification
The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
-
D.
Freudenthal compactification
The Freudenthal compactification is a topological construction that extends a non-compact, locally compact space by adding a boundary of “ends” to obtain a compact space that more finely captures its asymptotic structure than the one-point (Alexandrov) compactification.
-
E.
Alexandrov compactification
The Alexandrov compactification is a topological construction that adds a single “point at infinity” to a non-compact space to make it compact.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
construction in metric space theory
ⓘ
mathematical construction ⓘ |
| adds | formal limits of all Cauchy sequences ⓘ |
| alsoKnownAs | metric completion ⓘ |
| appliesTo | pseudometric spaces ⓘ |
| basedOn | Cauchy sequences ⓘ |
| categoryTheoreticView | reflective subcategory embedding of metric spaces into complete metric spaces ⓘ |
| characterization |
every Cauchy sequence in the completion converges
ⓘ
every point of the completion is a limit of a Cauchy sequence from the original space ⓘ |
| condition | a metric space is complete if and only if it is isometric to its Cauchy completion ⓘ |
| constructionMethod |
equivalence classes of Cauchy sequences
ⓘ
quotient of the set of Cauchy sequences by the equivalence relation of vanishing distance ⓘ |
| containsIsometricCopyOf | original metric space ⓘ |
| defines | distance between equivalence classes via limit of distances of representatives ⓘ |
| embeddingType | isometric embedding ⓘ |
| ensures |
completeness of the resulting metric space
ⓘ
every metric space admits a Cauchy completion ⓘ original points correspond to constant Cauchy sequences ⓘ |
| equivalenceRelation | two Cauchy sequences are equivalent if their distance tends to zero ⓘ |
| example |
completion of Q with the usual metric is R
ⓘ
completion of continuous functions with respect to L2 norm gives an L2 space ⓘ completion of polynomials under suitable norm yields function spaces like C[0,1] or Lp spaces ⓘ |
| field |
analysis
ⓘ
metric space theory ⓘ topology ⓘ |
| generalizationOf | completion of the rational numbers to the real numbers ⓘ |
| input | metric space ⓘ |
| output | complete metric space ⓘ |
| preserves |
dense image of the original space in its completion
ⓘ
isometries up to unique isometry of completions ⓘ |
| property |
functorial up to isometry
ⓘ
original space is dense in its Cauchy completion ⓘ |
| purpose | to embed a metric space into a complete metric space ⓘ |
| relatedConcept |
Banach space
ⓘ
Cauchy sequence ⓘ complete metric space ⓘ completion of a uniform space ⓘ uniform continuity ⓘ |
| uniqueness | unique up to unique isometry ⓘ |
| universalProperty |
every uniformly continuous map from the original space to a complete metric space extends uniquely
ⓘ
initial object among complete metric spaces receiving an isometric embedding of the original space ⓘ |
| usedIn |
category-theoretic treatments of metric spaces
ⓘ
functional analysis ⓘ measure theory ⓘ metric geometry ⓘ probability theory ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Cauchy completion Description of subject: Cauchy completion is a construction in metric space theory that embeds a given space into a complete metric space by formally adding limits of all its Cauchy sequences.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.