Professional Documents
Culture Documents
In this chapter we will introduce elementary set theory. Although, this the-
ory as an independent branch of mathematics was founded by the German
mathematician George Cantor (1845–1918) in the second half of the 19th cen-
tury, it turned out to be the unifying foundation to almost all branches of
mathematics.
N ⊂ Z ⊂ Q ⊂ R.
11
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.
12 An Introduction to Real Analysis
The set [a, b] is called a closed interval, the set (a, b) is called an open interval,
and the sets [a, b) and (a, b] are called half-open or half-closed intervals. We
will also use the term interval for some unbounded subsets of R :
[a, ∞) = {x ∈ R : a ≤ x}, (a, ∞) = {x ∈ R : a < x}
(−∞, b] = {x ∈ R : x ≤ b}, (−∞, b) = {x ∈ R : x < b}.
Using this notation, we can write R = (−∞, ∞). Although, R has no endpoint,
by convention it is accepted as both open and closed. The intervals [a, ∞) and
(−∞, b] have only one endpoint and therefore are accepted as closed.
The union of two sets A and B denoted as A ∪ B is the set of all elements
which belong to A or B (or both), i.e.,
A ∪ B = {x : x ∈ A or x ∈ B}.
The intersection of two sets A and B denoted as A∩B is the set of all elements
which belong to A and B, i.e.,
A ∩ B = {x : x ∈ A and x ∈ B}.
The complement of a set B with respect to a set A denoted as A\B is the set
of elements which belong to A but not to B, i.e.,
e.g., {x ∈ R : x2 + 1 = 0}. It is clear that the empty set is unique, and for any
given set A, ∅ ⊆ A. Two sets A and B are said to be disjoint if they have no
common element, i.e., A ∩ B = ∅. The largest set which contains all elements
likely to be considered during some specified mathematical treatment is called
the universal set, and we denote it by U. Often, we write U \A as Ac , and call
it the complement of the set A.
The following simple laws for sets can be proved rather easily.
1. Idempotent laws:
(i). A ∪ A = A, (ii). A ∩ A = A.
2. Commutative laws:
(i). A ∪ B = B ∪ A, (ii). A ∩ B = B ∩ A.
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.
Sets and Functions 13
3. Associative laws:
(i). (A ∪ B) ∪ C = A ∪ (B ∪ C), (ii). (A ∩ B) ∩ C = A ∩ (B ∩ C).
4. Distributive laws:
(i). A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), (ii). A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
5. Identity laws:
(i). A ∪ ∅ = A, A ∪ U = U, (ii). A ∩ ∅ = ∅, A ∩ U = A.
6. Complement laws:
(i). A ∪ Ac = U, (Ac )c = A, (ii). A ∩ Ac = ∅, U c = ∅.
7. De Morgan laws:
(i). (A ∪ B)c = Ac ∩ B c , (ii). (A ∩ B)c = Ac ∪ B c .
Now let A and B be sets, and suppose that with each element a of A there
is associated a subset of B which we denote by Ca . The set whose elements
are the sets Ca is denoted by {Ca } and is called a family of sets. The union
and intersection of these sets Ca is defined by
S = ∪ {Ca : a ∈ A} = {x : x ∈ Ca for some a ∈ A}
and
P = ∩ {Ca : a ∈ A} = {x : x ∈ Ca for all a ∈ A}.
If A = {1, 2, · · · , n}, then we write
S = ∪nm=1 Cm and P = ∩nm=1 Cm ,
and if A = N , the usual notation is
S = ∪∞
m=1 Cm and P = ∩∞
m=1 Cm .
De Morgan laws hold for arbitrary unions and intersections also, i.e.,
(∪{Ca : a ∈ A})c = ∩ {Ca : a ∈ A}c (2.1)
and
(∩{Ca : a ∈ A})c = ∪ {Ca : a ∈ A}c .
Copyright © 2018. CRC Press LLC. All rights reserved.
(2.2)
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.
14 An Introduction to Real Analysis
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.
Sets and Functions 15
then (g ◦ f )(x) = g(f (x)) = g(x3 + 2) = 5(x3 + 2) + 1 = 5x3 + 11. For this
example, the composite function f ◦ g also exists and (f ◦ g)(x) = f (g(x)) =
f (5x + 1) = (5x + 1)3 + 2 = 125x3 + 75x2 + 15x + 3. Thus, even if both the
functions g ◦ f and f ◦ g are defined, these may not be equal.
The following results provide some relationships between images and in-
verse images of subsets of A and B.
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.
16 An Introduction to Real Analysis
In (1) and (4) of Theorem 2.1 and (1) of Theorem 2.2, ⊆ cannot be replaced
by = . In fact, if we consider A = R, B = [−1, 1], f = sin, C = [0, π/2] and
D = [π/2, 5π/2], then C ∩ D = {π/2}, f (C ∩ D) = {1} and f (C) ∩ f (D) =
[0, 1] ∩ [−1, 1] = [0, 1], and hence f (C ∩ D) ⊂ f (C) ∩ f (D). In the following
result we add certain restrictions so that equality holds.
Problems
Copyright © 2018. CRC Press LLC. All rights reserved.
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.
Sets and Functions 17
Answers or Hints
belonging to all Bn .
(iii). If x ∈ A, then there exists the least number i, say, s for which x ∈ As .
If s = 1 we have x ∈ A1 . If s > 1, then x ∈ As \ ∪s−1 j=1 Aj . In both cases x
belongs to the right-hand side. The converse is obvious.
2.3. (i). Consider A = {a, b, c} and R ⊆ A × A, R = {(a, a), (b, b), (c, c),
(a, b), (b, c)}.
(ii). Consider A = {a, b, c} and R ⊆ A × A, R = {(a, b), (b, a), (a, c),
(c, a)}.
(iii). Define a < b iff there is an element c ∈ R, c > 0 such that b = a + c.
(iv). xRy iff |x − y| ≤ 2.
(v). Consider A = {a, b, c} and R ⊆ A × A, R = {(a, a), (b, b), (c, c),
(a, b), (b, c), (a, c)}.
(vi). xRy iff (x − y)2 > 0.
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.
18 An Introduction to Real Analysis
2.4. We shall prove part (3). If f (C ∩ D) = f (C) ∩ f (D) for all C and
D subsets of A, then f is injective. For this, consider x, y ∈ A such that
x ̸= y. Let C = {x}, D = {y}. From f (C ∩ D) = f (C) ∩ f (D), we have
f (C ∩ D) = f (∅) = ∅ = f (C) ∩ f (D), therefore f (C) ̸= f (D). This means
that f (x) ̸= f (y), and hence f is injective. Conversely, from Theorem 2.1(4)
we already know that f (C ∩ D) ⊆ f (C) ∩ f (D), and hence it suffices to show
that f (C) ∩ f (D) ⊆ f (C ∩ D). Let y ∈ f (C) ∩ f (D). Then, y ∈ f (C) and
y ∈ f (D). Thus, there exist points x1 ∈ C and x2 ∈ D such that f (x1 ) = y
and f (x2 ) = y. Now since f is injective and f (x1 ) = y = f (x2 ) we must have
x1 = x2 , i.e., x1 ∈ C ∩ D. But then, y = f (x1 ) ∈ f (C ∩ D).
2.5. We shall prove part (i). Since g is surjective R(g) = C, and hence for
any c ∈ C there exists b ∈ B such that g(b) = c. Now since f is surjective, there
exists a ∈ A such that f (a) = b. But then, (g ◦ f )(a) = g(f (a)) = g(b) = c, so
g ◦ f is surjective.
Copyright © 2018. CRC Press LLC. All rights reserved.
Agarwal, Ravi P., et al. An Introduction to Real Analysis, CRC Press LLC, 2018. ProQuest Ebook Central,
http://ebookcentral.proquest.com/lib/utlib-ebooks/detail.action?docID=5312952.
Created from utlib-ebooks on 2022-03-06 09:27:11.