Theorem
The real numbers
are a completion of the set of rational numbers
Proof
A metric space
is a completion of a metric sp[ace
if
is complete and
is isometric to a dense subset ofso that
for
The closure of
inissinceis dense in
is complete with the Euclidean metric so with the Euclidean metric onand
is a completion of