Proof That the Real Numbers Are a Completion of the Set of Rational Numbers


The real numbersare a completion of the set of rational numbers


A metric spaceis a completion of a metric sp[aceifis complete and is isometric to a dense subset ofso thatfor

The closure ofinissinceis dense in

is complete with the Euclidean metric so with the Euclidean metric onandis a completion of