- #36
pwsnafu
Science Advisor
- 1,082
- 85
ehild said:The complex numbers are defined above the real numbers, as ordered pairs of real numbers, written in the form as z=x+yi, with addition and multiplication defined.
The construction of the complex numbers from the real numbers is via ordered pars of reals.
You can define the complex numbers without any reference to the reals.
From WikipediaYou can not define real numbers with complex numbers.
Let K be a topological field, which contains a subset P, satisfying
- P is closed under addition, multiplication and inverses.
- If ##x, y \in P## and ##x \neq y## then ##y-x \in P## or ##x-y \in P##, but not both.
- For all non-empty ##S \subset P## there exists ##x \in P## such that ##S+P = x+P##.
Then K with the topology generated by ##\{ y \, |\, p - (y-x)(y-x)^* \in P,\, x \in K, \, p \in P\}## is isomorphic as topological fields to the complex numbers, and P is the set of positive numbers. Once you have the positive reals, you have all of the reals.