Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
I need to find a few examples about the differences between real numbers and complex numbers like:
1) if $x \in \mathbb R $ then $x^2 \geq0$ is true
if $z \in \mathbb C $ then $z^2 \geq0$ is false
2) let $a \in \mathbb R/\{0, 1\} $ if $a^x =a^y$ then $x=y$ is true
let $a\in \mathbb z/\{0, 1\} \in \mathbb C $ if $a^x =a^y$ then $x=y$ is false
But these examples are not cool enough and feel very trivial. Can you suggest some other properties like these?
Thanks.
The relation $<$ on the real numbers is a total order that preserves order under addition and multiplication in the way we're used to, but there is no such order-preserving total order on the complex numbers.
Good question!
Firstly, I'd like to partially disagree with one of the points made in the comments. Arthur writes:
If $z \in \mathbb{C}$ then $z^2 \geq 0$ isn't just false. It makes no sense to ask about.
Now, I agree with the broader point that "undefined" is different to "false". However, the statement is based on an assumption that the writer of the hypothetical article under question hasn't defined a binary relation $\geq$ on the complex plane. This assumption isn't necessarily justified. Indeed, the writer could have defined $\geq$ on $\mathbb{C}$ in any old weird way, and that would be a valid definition. Furthermore, there's actually a reasonable notion of order for the complex plane, though it seems not to be well-known.
Moving on, what you've got to understand about $\mathbb{C}$ is that algebraically, it's just better than $\mathbb{R}$. There's essentially no reason to use $\mathbb{R}$ instead of $\mathbb{C}$, if all you care about is addition, multiplication, and solving polynomial equations, except perhaps for the added challenge of weird things happening due to a failure of algebraic closedness. Thus, I agree with Matthew Daly and Mark Kamsma point.
The reals form an ordered field, the complex numbers do not.
That is, the real numbers are totally-ordered by a relation that plays well with addition and multiplication. This, together with the completeness of the real line, is key to understanding what $\mathbb{R}$ is all about.
Indeed, using that $\mathbb{R}$ is a complete ordered field, we can prove the following important fact:
Characterization of connected subsets of the real Line. For all non-empty $X \subseteq \mathbb{R}$, the following are equivalent:
- $X$ is topologically connected
- For all $a,b \in X$, we have $[a,b] \subseteq X$.
This is untrue for $\mathbb{C}$ with the aforementioned order, and also untrue for $\mathbb{Q}$ with the standard order (because $2$ does not imply $1$ in that case). This, in turn, allows us to prove the all-important intermediate value theorem using the fact that the image of a connected set under a continuous function is connected. The rest of real-analysis largely hinges on this observation. For example, using the least upper bound property, we can prove the existence of the Weierstrass function $f$. And then, using IVT, we can prove e.g. the existence of an $x \in \mathbb{R}$ satisfying $xf(x) = 398173749$. Try doing that using only complex-analytic techniques!
And so, your list of things that are special about $\mathbb{R}$ should include the following:
Here's an interesting "global" difference, which is unfortunately a bit abstract but hopefully still interesting:
Let's look at just the additive and multiplicative behavior - that is, we're considering $\mathbb{R}$ and $\mathbb{C}$ as fields. An automorphism of a field is a bijection from the field to itself which preserves the structure - e.g. $\alpha(x+y)=\alpha(x)+\alpha(y)$, and so forth.
Every field has at least one automorphism, namely the identity (the trivial automorphism). $\mathbb{C}$ has one obvious nontrivial automorphism, namely conjugation $$a+bi\mapsto a-bi\quad (a,b\in\mathbb{R}),$$ and assuming the axiom of choice it has a lot more (although they're quite wild). By contrast, $\mathbb{R}$ has no nontrivial automorphisms whatsoever! The key observation is that the ordering on $\mathbb{R}$ is definable (which has a precise general meaning, incidentally) just from the field structure: $x\ge y$ iff there is some $z$ such that $y+z^2=x$. From this, together with the fact that each rational must be fixed by each field automorphism (a good exercise) and the density of $\mathbb{Q}$ in $\mathbb{R}$, we rule out any nontrivial automorphisms.
The two points where this breaks down for $\mathbb{C}$ are:
The relation $\exists z(y+z^2=x)$ does not define an ordering on $\mathbb{C}$ (indeed, $\mathbb{C}$ as a field cannot be definably ordered at all).
$\mathbb{Q}$ is not in fact dense in $\mathbb{C}$. Even without a definable ordering, if $\mathbb{Q}$ were dense in $\mathbb{C}$ we could at least conclude that there were no continuous automorphisms, but this prevents us from even saying that much (and indeed conjugation is continuous).
The field of complex numbers is algebraically closed, but the field of real numbers is not.
Considering the integers (which are included in the reals and complex) an interesting fact is that $5, 13, \cdots$ are prime integers in the real field but they are not prime in the complex field (Gaussian Integers).
Rolle's Theorem does not hold for complexe valued functions.
Another point is that the complex numbers form a two-dimensional vector space over the field of real numbers, $${\Bbb C}=\{a+ib\mid a,b\in{\Bbb R}\}$$ with basis $\{1,i\}$.
$\mathbb{C} - \{0\}$ is connected and has a non-trivial fundamental group, while $\mathbb{R} - \{0\}$ is not connected and its components are contractible.
Polynomials with real coefficients have a property that is not shared by complex polynomials. Here we deal with several variable polynomials.
Let $f_1,f_2,\ldots, f_m$ be $m (>1)$ polynomials in $n(>1)$ complex variables, and so we can talk of the set of all common zero locus of $f_i$'s: that is the collection of points in $n$-dimensional complex space where all the $f_i$'s vanish.
If we consider similar locus for real polynomials in $\mathbf{R^n}$, this can always be realized ALWAYS as the zero locus of a SINGLE polynomial, namely $\sum_if_i^2$.
In the complex case there are complex loci which can't be reduced to single polynomial equation.
The real numbers satisfy the Archimedian property, complex numbers don't.
well another difference is that complex numbers are actually on a specific quadrant in the complex plane meanwhile real numbers are just chillin on the real axis
