##  [Completion](/completion-2) 

 Definition

The process of adjoining limits of Cauchy-like sequences (or inverse-limit elements determined by a filtration or topology) to an algebraic object so that the resulting object is complete with respect to the given topology or filtration.

 

 

 

 

 

 





## Principle

Principle

Complete by formally adding limits necessary to make Cauchy sequences converge; equivalently, take an appropriate inverse limit or quotient by the intersection of neighbourhoods of zero to impose completeness and the universal property for continuous maps from the original object.

 

 

 

 

 





## Demonstration

Demonstration

Given a commutative ring A and an ideal I, the I-adic completion à = lim← A/I^n is obtained by adjoining compatible sequences of coset representatives; for A = Z and I=(p), the p-adic completion produces the p-adic integers Z_p.

 

 

 

 

## Misapplication

Misapplication

Applying completion without first ensuring a separated (Hausdorff) topology and then interpreting the result as a subobject of the original—this can confuse the completed object with the original when the original was not separated, and can lead to double-counting nilpotents.

 

 

 

 

 





## Consequence

Consequence

The completed object satisfies the chosen completeness property and a universal mapping property for continuous (or filtered) maps; completions often preserve exactness properties under finiteness hypotheses and allow analytic techniques (e.g., power-series expansions).

 

 

 

 

## Reversal

Reversal

The inverse notion is passing from a complete object to a dense subobject or to the original non-complete object by forgetting limit points; this loses universality and convergence of Cauchy sequences.

 

 

 

 

 





## Boundary

Boundary

Completion requires a specified topology or filtration (metric, I-adic, grading); it is not intrinsic without that datum. Completions may fail to preserve finiteness, integrality, or reducedness unless additional hypotheses (Noetherian, separated) hold.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Completion is close to topological closure but differs: closure adds limit points inside a fixed ambient object, while completion often produces a new object containing formal limits absent from the original; completion can change algebraic invariants while closure does not necessarily do so.

 

 

 

 

 





## Synthesis

Synthesis

Completion is the canonical process of adjoining formal limits determined by a topology or filtration to obtain a complete algebraic object with a universal property for continuous maps, provided one controls separation and finiteness conditions.