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:

Written on July 6, 2022