The Real and Complex Number Systems
An overview of the chapter “The Real and Complex Number Systems” from the famous books of “Principles of Mathematical Analysis” written by Rudin. The authors create a brief introduction of the loopholes of rational numbers, thus introducing real and complex number systems that help fill these holes.
Introduction
P1: Show that is not satisfied by any rational
Proof: Suppose exists, then we can write , where m and n are integers that are not both even. If so, would also hold, indicating that m is even. If so, m would also be divisible by 4, since m needs to be an integer. If so, n must also be even, to make up for the extra 2. This would mean that both m and n share a common divisor, which is against our initial choice of m and n.
P2: Show that there is no largest rational number that satisfies the condition , and similarly no smallest number that satisfies the condition .
Proof: Now, suppose , let us define q such that:
From the above equation, we can also show that
If , then , and . The exact reverse is true when .
The purpose of the above two proofs is to show the loopholes in rational numbers. The real number system fills these gaps. This is the principal reason for the fundamental role which it plays in analysis.
Ordered Sets
P3: Suppose is an ordered set with the least-upper-bound property, , is not empty, and is bounded below. Let be the set of all lower bounds of , then
exists in , and and exists in .
Proof: Since is bounded below, is not empty. Thus elements in are always greater than elements of . Thus, is bounded above. Suppose the hypothesis holds, and , where exists in .
If we take a number less than , then will not be a upper bound of , and hence not belong to . Thus, it follows that also serves as the lower bound of .
The Real Field
P4: If , , and , then there is a positive integer such that
This is called the archimedean property of R.
Proof: Let A be the set of all , where runs through the positive integers. If the above hypothesis were false, would be an upper bound of A. If so, we could write . If so, we consider another point , where since . Then, is not an upper bound and could be written as , implying . This isn’t possible since is the upper bound of A.
P5: Between any two real numbers, there is a rational one. If , , and , then there exists a such that .
Proof: Since , we have . From the previous proof, we can show that .
From the above equation, we can clearly say that . Since is a real number, there must exist an integer between , and modifying the above inequality to the following:
Since , this could be simplified to .
P6: For every real and every integer , there is one and only one positive real such that .
Proof:
Complex Numbers
P7: If and are complex numbers, then
This is called the Schwarz Inequality.
Proof: