Lecture 1
Lecture 1
2019
Real and Complex Analysis
MTL122/ MTL503/ MTL506
Lecturer: A. Dasgupta [email protected]
1. Basic Ideas
1.1. Sets.
A set is a collection of objects called elements. Usually, sets are denoted by capital
letters A, B,...,Z. A set can consist any type and number of elements. Even other
sets can be elements of a set. The sets dealt with here usually have real numbers as
their elements.
If all the elements of A are also elements of B, then A is a subset of B. In this case,
we write A ✓ B or B ✓ A. In particular, notice that whenever A is a set, then A ✓ A.
Two sets A and B are equal, if they have the same elements. In this case we write
A = B. It is easy to see that A = B i↵ A ✓ B and B ✓ A. Establishing that both
of these containments are true is the most common way to show two sets are equal.
The union of A and B is the set containing all the elements in either A or B:
A [ B = {x : x 2 A or x 2 B}.
The intersection of A and B is the set containing the elements contained in both
A and B:
A \ B = {x : x 2 A and x 2 B}.
The di↵erence of A and B is the set of elements in A and not in B:
A \ B = {x : x 2 A and x 2
/ B}.
Another common set operation is complementation. The complement of a set A is
usually thought of as the set consisting of all elements which are not in A.To make
sense of the complement of a set, there must be a well-defined universal set U which
contains all the sets in question. Then the complement of a set A ⇢ U is Ac = U \ A.
It is usually the case that the universal set U is evident from the context in which it
is used.
Theorem 1.1. (Exercise) Let A, B and C be sets.
1
2
(a) A \ (B [ C) = (A \ B) \ (A \ C)
(b) A \ (B \ C) = (A \ B) [ (A \ C)
Corollary 1.2. (De Morgan’s Laws) Let A and B be sets.
(a) (A [ B)c = Ac \ B c
(b) (A \ B)c = Ac [ B c .
Example 1.3.
(3) Q = { m n
, m.n 2 Z, n 6= 0}, set of rational numbers.
(4) R, the set of all real numbers. The set R will include all rational numbers,
all irrational numbers.
1.2. Tuples.
When listing the elements of a set, the order in which they are listed is unimportant;
e.g., {e, l, v, i, s} = {l, i, v, e, s}. If the order in which n items are listed is important,
the list is called an n-tuple. We denote a n-tuple by enclosing the ordered list in
parentheses. For example, if x1 , x2 , x3 , x4 are four items, the 4 tuple (x1 , x2 , x3 , x4 )
is di↵erent form the 4 tuple (x2 , x1 , x3 , x4 ).
Because they are used so often, the cases when n = 2 and n = 3 have special names:
2-tuples are called ordered pairs and a 3-tuple is called an ordered triple.
Definition 1.4. Let A and B be sets. The sets of all ordered pairs
A ⇥ B = {(a, b) : a 2 A and b 2 B}
is called the Cartesian product of A and B.
Example 1.5.
If A = {a, b, c} and B = {1, 2} then
A ⇥ B = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)},
and
B ⇥ A = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c)}.
Notice that A ⇥ B 6= B ⇥ A because of the importance of order in the ordered pairs.
2. Relations.
Definition 2.1. If A and B are sets, the any R ⇢ A ⇥ B is a relation from A to B.
If (a, b) 2 R, we write aRb.
In the special case when R ⇢ A ⇥ A, for some set A, there are some additional
terminologies.
R is symmetric, if aRb () bRa.
R is reflexive, if aRa.
3
4. Indexed Sets
We often have occasion to work with large collections of sets. For example, we
could have a sequence of sets A1 , A2 , A3 , ..., where there is a set An associated with
each n 2 N. In general, let ⌦ be a set and suppose for each 2 ⌦ there is a set A .
The set {A : 2 ⌦} is called a collection of sets indexed by ⌦. In this case, ⌦ is
called the indexing set for the collection.
6
In other words, we say that a set A is indexed by a set I if there is an onto function
f : I ! A. We then write
A = {ai : i 2 I},
where ai = f (i).
Example 4.1. {1, 4, 9, 16, ..} = {n2 : n 2 N}.
Example 4.2.
For each n 2 N, let An = {k 2 Z : k 2 n}. Then
A1 = A2 = A3 = { 1, 0, 1}, A4 = { 2, 1, 0, 1, 2}, ...,
is a collection of sets indexed by N.
Two of the basic binary operations can be extended to work with indexed collec-
tions. In particular, using the indexed collection from the previous paragraph, we
define [
A = {x : x 2 A for some 2 ⌦}
2⌦
and \
A = {x : x 2 A for all 2 ⌦}.
2⌦
and \ [
A\ B = (A \ B ).
2⌦ 2⌦
5. Cardinality
There is a way to use sets and functions to formalize and generalize how we count.
For example, suppose we want to count how many elements are in the set {a, b, c}.
The natural way to do this is to point at each element in succession and say “one,
two, three.” What we’re doing is defining a bijective function between {a, b, c} and
the set {1, 2, 3}. This idea can be generalized.
Definition 5.1. Given n 2 N. A set S has cardinality n, if there is a bijective function
f : S ! {1, 2, 3, ..., n}. We write card(S) = n.
7
Two sets A and B are said to have same cardinality if there exists a bijection from
A to B. It is common to write card(N ) = N0 .