Notes of Calculus

Chapter 1 : Real and Complex Systems

Author: Kenneth, S.K. Cheng

Table of Contents

1.1 Introduction

Throughout our studying in secondary school, we have been exposed to the concept of functions. In this chapter, we will be looking at functions in a more mathematical way. We will be looking at the definition of functions, the domain and range of functions, and the different types of functions.

1.2 The Field Axioms

We have encounted many domains in mathematics, such as the set of integers which we denote as Z\mathbb{Z}, the set of real numbers which we denote as R\mathbb{R}, and the set of complex numbers which we denote as C\mathbb{C}. These sets are known as fields. Fields F\mathbb{F} are sets that satisfy the following axioms:

  1. Closure under addition: For all a,bFa, b \in \mathbb{F}, a+bFa + b \in \mathbb{F}.
  2. Closure under multiplication: For all a,bFa, b \in \mathbb{F}, abFab \in \mathbb{F}.
  3. Commutativity of addition: For all a,bFa, b \in \mathbb{F}, a+b=b+aa + b = b + a.
  4. Commutativity of multiplication: For all a,bFa, b \in \mathbb{F}, ab=baab = ba.
  5. Associativity of addition: For all a,b,cFa, b, c \in \mathbb{F}, (a+b)+c=a+(b+c)(a + b) + c = a + (b + c).
  6. Associativity of multiplication: For all a,b,cFa, b, c \in \mathbb{F}, (ab)c=a(bc)(ab)c = a(bc).
  7. Existence of additive identity: There exists an element 0F0 \in \mathbb{F} such that for all aFa \in \mathbb{F}, a+0=aa + 0 = a.
  8. Existence of multiplicative identity: There exists an element 1F1 \in \mathbb{F} such that for all aFa \in \mathbb{F}, a1=aa1 = a.
  9. Existence of additive inverse: For all aFa \in \mathbb{F}, there exists an element aF-a \in \mathbb{F} such that a+(a)=0a + (-a) = 0.
  10. Existence of multiplicative inverse: For all aFa \in \mathbb{F}, there exists an element a1Fa^{-1} \in \mathbb{F} such that aa1=1a \cdot a^{-1} = 1.
  11. Distributive property: For all a,b,cFa, b, c \in \mathbb{F}, a(b+c)=ab+aca(b + c) = ab + ac.

1.3 Order Axioms

When we learn about inequalities, we often use the order axioms. However, we just simply accept them without knowing why they are true. The order axioms are as follows:

  1. Trichotomy: For all a,bFa,b \in \mathbb{F}, exactly one of the following holds: a>ba > b, a=ba = b, or a<ba < b.
  2. Transitivity: For all a,b,cFa,b,c \in \mathbb{F}, if a>ba > b and b>cb > c, then a>ca > c.
  3. Addition of inequalities: For all a,b,cFa,b,c \in \mathbb{F}, if a>ba > b, then a+c>b+ca + c > b + c.
  4. Multiplication of inequalities: For all a,b,cFa,b,c \in \mathbb{F}, if a>ba > b and c>0c > 0, then ac>bcac > bc.
  5. Order of reciprocals: For all a,bFa,b \in \mathbb{F}, if a>b>0a > b > 0, then 1a<1b\frac{1}{a} < \frac{1}{b}.

Remark: The symbol \leq denotes "less than or equal to", and the symbol \geq denotes "greater than or equal to".

1.4 Intervals

In mathematics, we often use intervals to describe a set of numbers. There are four types of intervals:

  1. Open interval: The open interval (a,b)(a,b) is the set of all xRx \in \mathbb{R} such that a<x<ba < x < b.
  2. Closed interval: The closed interval [a,b][a,b] is the set of all xRx \in \mathbb{R} such that axba \leq x \leq b.
  3. Half-open interval: The half-open interval [a,b)[a,b) is the set of all xRx \in \mathbb{R} such that ax<ba \leq x < b.
  4. Half-closed interval: The half-closed interval (a,b](a,b] is the set of all xRx \in \mathbb{R} such that a<xba < x \leq b.

Apart from these, we also have infinite intervals which are used for describing unbounded sets of numbers. There are also five types of infinite intervals:

  1. Infinite open interval: The infinite open interval (,a)(-\infty, a) is the set of all xRx \in \mathbb{R} such that x<ax < a.
  2. Infinite closed interval: The infinite closed interval (,a](-\infty, a] is the set of all xRx \in \mathbb{R} such that xax \leq a.
  3. Infinite open interval: The infinite open interval (a,)(a, \infty) is the set of all xRx \in \mathbb{R} such that x>ax > a.
  4. Infinite closed interval: The infinite closed interval [a,)[a, \infty) is the set of all xRx \in \mathbb{R} such that xax \geq a.
  5. Infinite interval: The infinite interval (,)(-\infty, \infty) is the set of all xRx \in \mathbb{R}.
  6. Empty set: The empty set \emptyset is the set of all xRx \in \mathbb{R} such that there are no elements in the set.

1.5 Integers

We learn about integers in secondary school. Integers are numbers that can be written without a fractional component. Integers can be positive, negative, or zero. The set of integers is denoted as Z\mathbb{Z}. The set of integers is a subset of the set of real numbers R\mathbb{R}.

Definition: The set of integers Z\mathbb{Z} is defined as Z={0,±1,±2,±3,}\mathbb{Z} = \{0, \pm 1, \pm 2, \pm 3, \ldots\}.

1.6 Rational Numbers

Rational numbers, one may think of them as extension of integers. Rational numbers are numbers that can be expressed as a fraction ab\frac{a}{b} where aa and bb are integers and b0b \neq 0. The set of rational numbers is denoted as Q\mathbb{Q}. The set of rational numbers is a subset of the set of real numbers R\mathbb{R}.

Definition: The set of rational numbers Q\mathbb{Q} is defined as Q={aba,bZ,b0}\mathbb{Q} = \left\{\frac{a}{b} \mid a, b \in \mathbb{Z}, b \neq 0\right\}.

1.7 Irrational Numbers

Irrational numbers are numbers that cannot be expressed as a fraction ab\frac{a}{b} where aa and bb are integers and b0b \neq 0. The set of irrational numbers is denoted as I\mathbb{I}. The set of irrational numbers is a subset of the set of real numbers R\mathbb{R}.

Definition: The set of irrational numbers I\mathbb{I} is defined as I=RQ\mathbb{I} = \mathbb{R} \setminus \mathbb{Q}.

Some famous irrational numbers include π\pi and 2\sqrt{2}.

1.8 Real Numbers

Real numbers are numbers that can be represented on the number line. Real numbers include integers, rational numbers, and irrational numbers. The set of real numbers is denoted as R\mathbb{R}.

Definition: The set of real numbers R\mathbb{R} is defined as R=ZQI\mathbb{R} = \mathbb{Z} \cup \mathbb{Q} \cup \mathbb{I}.

For example, the number 0.50.5 is a real number because it can be represented on the number line.

Next we extend the concept of real numbers by adjoining two new elements, \infty and -\infty. These two elements are used to represent infinity. The set of extended real numbers is denoted as R\mathbb{R}^*.

Definition: The set of extended real numbers R\mathbb{R}^* is defined as R=R{,}\mathbb{R}^* = \mathbb{R} \cup \{-\infty, \infty\}.

1.9 Complex Numbers

Complex numbers might be not familiar to you. It actually follows from the axioms governing the relation << that the square of any real number is nonnegative. This means that the equation x2=1x^2 = -1 has no solution in the set of real numbers. To solve this problem, we introduce a new number ii such that i2=1i^2 = -1. The set of complex numbers is denoted as C\mathbb{C}.

Definition: Complex number is an ordered pair of real numbers (a,b)(a,b), where aa is the real part and bb is the imaginary part. The set of complex numbers C\mathbb{C} is defined as C={(a,b)a,bR}\mathbb{C} = \{(a,b) \mid a,b \in \mathbb{R}\}. For such xCx \in \mathbb{C}, we have x=a+bix = a + bi.

Remark: The real part of a complex number z=a+biz = a + bi is denoted as (z)=a\Re(z) = a, and the imaginary part of a complex number z=a+biz = a + bi is denoted as (z)=b\Im(z) = b. One may wonder what is the meaning of ii. It is defined as i=1i = \sqrt{-1}, we called it the imaginary unit.

Theorem: For all z,wCz, w \in \mathbb{C}, we have:

  1. Addition: z+w=(a+c)+(b+d)iz + w = (a + c) + (b + d)i.
  2. Multiplication: zw=(acbd)+(ad+bc)izw = (ac - bd) + (ad + bc)i.
  3. Conjugate: The conjugate of z=a+biz = a + bi is zˉ=abi\bar{z} = a - bi.
  4. Modulus: The modulus of z=a+biz = a + bi is z=a2+b2|z| = \sqrt{a^2 + b^2}.
  5. Division: zw=zwˉw2\frac{z}{w} = \frac{z\bar{w}}{|w|^2}.
  6. Polar form: z=r(cosθ+isinθ)z = r(\cos \theta + i \sin \theta). (It consists knowledge of trigonometry.)
  7. De Moivre's Theorem: (cosθ+isinθ)n=cosnθ+isinnθ(\cos \theta + i \sin \theta)^n = \cos n\theta + i \sin n\theta. (I still remember this theorem is needed for the joing admission exam in Macau...)
  8. Roots of unity: The $n$th roots of unity are given by zk=cos2πkn+isin2πknz_k = \cos \frac{2\pi k}{n} + i \sin \frac{2\pi k}{n} for k=0,1,2,,n1k = 0, 1, 2, \ldots, n-1.
  9. Euler's Formula: eiθ=cosθ+isinθe^{i\theta} = \cos \theta + i \sin \theta.

Remark: Since we have C\mathbb{C} is a field, we can perform addition, subtraction, multiplication, and division on complex numbers.

By the polar form of complex numbers, we can represent complex numbers in the form of z=r(cosθ+isinθ)z = r(\cos \theta + i \sin \theta). This form is useful for calculating the powers of complex numbers. The angle θ\theta is known as the argument of the complex number zz. The modulus rr is the distance of the complex number zz from the origin.

Exercises

  1. Express the following complex numbers in the form of a+bia + bi:
    1. (1+i)3(1+i)^3
    2. 2+3i34i\frac{2+3i}{3-4i}
    3. i5+i16i^5+i^{16}
  2. In each case, determine all real xx and yy which satisfy the given relation.
    1. x+iy=xiy.x+iy = |x-iy|.
    2. x+iy=(xiy)2.x+iy = (x-iy)^2.
  3. If z=x+iyz = x + iy and z=xiy\overline{z} = x - iy is the conjugate of zz, prove the following:
    1. z+w=z+w\overline{z + w} = \overline{z} + \overline{w}.
    2. zw=zw\overline{zw} = \overline{z} \cdot \overline{w}.
    3. z=z\overline{\overline{z}} = z.
    4. z+z=2xz+\overline{z} = 2x.

References and Further Reading

  1. Apostol, T. M. (1974). Mathematical Analysis. Addison-Wesley.
  2. Zorich, V. A. (2004). Mathematical Analysis I. Springer.
  3. Lang, S. (1986). A First Course in Calculus. Springer.
  4. Hass J., Heil C., Weir M. (2013). Thomas' Calculus. Pearson. (I think this should be the easiest book for you to understand the concepts of calculus.)
  5. Silverman, R.A. Modern Calculus and Analytic Geometry. Springer. (This book is also good for you to understand the concepts of calculus.)