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, the set of real numbers which we denote as R, and the set of complex numbers which we denote as C. These sets are known as fields. Fields F are sets that satisfy the following axioms:
Closure under addition: For all a,b∈F, a+b∈F.
Closure under multiplication: For all a,b∈F, ab∈F.
Commutativity of addition: For all a,b∈F, a+b=b+a.
Commutativity of multiplication: For all a,b∈F, ab=ba.
Associativity of addition: For all a,b,c∈F, (a+b)+c=a+(b+c).
Associativity of multiplication: For all a,b,c∈F, (ab)c=a(bc).
Existence of additive identity: There exists an element 0∈F such that for all a∈F, a+0=a.
Existence of multiplicative identity: There exists an element 1∈F such that for all a∈F, a1=a.
Existence of additive inverse: For all a∈F, there exists an element −a∈F such that a+(−a)=0.
Existence of multiplicative inverse: For all a∈F, there exists an element a−1∈F such that a⋅a−1=1.
Distributive property: For all a,b,c∈F, a(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:
Trichotomy: For all a,b∈F, exactly one of the following holds: a>b, a=b, or a<b.
Transitivity: For all a,b,c∈F, if a>b and b>c, then a>c.
Addition of inequalities: For all a,b,c∈F, if a>b, then a+c>b+c.
Multiplication of inequalities: For all a,b,c∈F, if a>b and c>0, then ac>bc.
Order of reciprocals: For all a,b∈F, if a>b>0, then a1<b1.
Remark: The symbol ≤ denotes "less than or equal to", and the symbol ≥ 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:
Open interval: The open interval (a,b) is the set of all x∈R such that a<x<b.
Closed interval: The closed interval [a,b] is the set of all x∈R such that a≤x≤b.
Half-open interval: The half-open interval [a,b) is the set of all x∈R such that a≤x<b.
Half-closed interval: The half-closed interval (a,b] is the set of all x∈R such that a<x≤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:
Infinite open interval: The infinite open interval (−∞,a) is the set of all x∈R such that x<a.
Infinite closed interval: The infinite closed interval (−∞,a] is the set of all x∈R such that x≤a.
Infinite open interval: The infinite open interval (a,∞) is the set of all x∈R such that x>a.
Infinite closed interval: The infinite closed interval [a,∞) is the set of all x∈R such that x≥a.
Infinite interval: The infinite interval (−∞,∞) is the set of all x∈R.
Empty set: The empty set ∅ is the set of all x∈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. The set of integers is a subset of the set of real numbers R.
Definition: The set of integers Z is defined as Z={0,±1,±2,±3,…}.
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 ba where a and b are integers and b=0. The set of rational numbers is denoted as Q. The set of rational numbers is a subset of the set of real numbers R.
Definition: The set of rational numbers Q is defined as Q={ba∣a,b∈Z,b=0}.
1.7 Irrational Numbers
Irrational numbers are numbers that cannot be expressed as a fraction ba where a and b are integers and b=0. The set of irrational numbers is denoted as I. The set of irrational numbers is a subset of the set of real numbers R.
Definition: The set of irrational numbers I is defined as I=R∖Q.
Some famous irrational numbers include π and 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.
Definition: The set of real numbers R is defined as R=Z∪Q∪I.
For example, the number 0.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, ∞ and −∞. These two elements are used to represent infinity. The set of extended real numbers is denoted as R∗.
Definition: The set of extended real numbers R∗ is defined as R∗=R∪{−∞,∞}.
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=−1 has no solution in the set of real numbers. To solve this problem, we introduce a new number i such that i2=−1. The set of complex numbers is denoted as C.
Definition: Complex number is an ordered pair of real numbers (a,b), where a is the real part and b is the imaginary part. The set of complex numbers C is defined as C={(a,b)∣a,b∈R}. For such x∈C, we have x=a+bi.
Remark: The real part of a complex number z=a+bi is denoted as ℜ(z)=a, and the imaginary part of a complex number z=a+bi is denoted as ℑ(z)=b. One may wonder what is the meaning of i. It is defined as i=−1, we called it the imaginary unit.
Theorem: For all z,w∈C, we have:
Addition: z+w=(a+c)+(b+d)i.
Multiplication: zw=(ac−bd)+(ad+bc)i.
Conjugate: The conjugate of z=a+bi is zˉ=a−bi.
Modulus: The modulus of z=a+bi is ∣z∣=a2+b2.
Division: wz=∣w∣2zwˉ.
Polar form: z=r(cosθ+isinθ). (It consists knowledge of trigonometry.)
De Moivre's Theorem: (cosθ+isinθ)n=cosnθ+isinnθ. (I still remember this theorem is needed for the joing admission exam in Macau...)
Roots of unity: The $n$th roots of unity are given by zk=cosn2πk+isinn2πk for k=0,1,2,…,n−1.
Euler's Formula: eiθ=cosθ+isinθ.
Remark: Since we have 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θ). This form is useful for calculating the powers of complex numbers. The angle θ is known as the argument of the complex number z. The modulus r is the distance of the complex number z from the origin.
Exercises
Express the following complex numbers in the form of a+bi:
(1+i)3
3−4i2+3i
i5+i16
In each case, determine all real x and y which satisfy the given relation.
x+iy=∣x−iy∣.
x+iy=(x−iy)2.
If z=x+iy and z=x−iy is the conjugate of z, prove the following:
z+w=z+w.
zw=z⋅w.
z=z.
z+z=2x.
References and Further Reading
Apostol, T. M. (1974). Mathematical Analysis. Addison-Wesley.
Zorich, V. A. (2004). Mathematical Analysis I. Springer.
Lang, S. (1986). A First Course in Calculus. Springer.
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.)
Silverman, R.A. Modern Calculus and Analytic Geometry. Springer. (This book is also good for you to understand the concepts of calculus.)