Week 01
Week 01
The Σ-notation used in the last line instructs you to For integer n > 0 and any real numbers x0 , . . . , xn , we
substitute, in turn, k = 0, 1, . . . , 11 into the expression have
2k and to add the results. n
X n
X n−1
X
xk = x0 + xk = xk + xn
k=0 k=1 k=0
1.3 Exercise: Σ-notation
Exercise:
2
X 2x2 ?
2 k−1 n n−1
Evaluate k 2 .
nxn ?
X X
(j + 2)x2j = (j + 2)x2j +
k=0 (n + 2)x2 ?
j=0 j=0
none of these ?
1.4 Fundamental rules for summation
Let n be a positive integer. The following examples 1.7 Sets
illustrate important rules.
A set is any collection of objects. These objects are
(i) The summation index can be renamed: called the members or elements of the set.
n
X n
X If x is an element of a set B, we write x ∈ B and say
j
2 = 2k ; that x is in B.
j=0 k=0
If x is not an element of B, we write x ∈
/B.
(ii) You can take out a common factor:
One way to specify a set is to put a list of its el-
n
X n
X ements inside a pair of curly braces. For example
5 (j 2 + 3j + 1) = 5 (j 2 + 3j + 1) ; A = {2, 3, 5, 7, 11, 13} is a set.
j=0 j=0
The order in which the elements are listed is irrelevant:
(iii) You can change the order of the terms:
{2, 3, 5, 7, 11, 13} = {7, 5, 3, 13, 11, 2} .
n n n
Alternatively we may describe a set in words or sym-
X X X
2j + j2 = (2j + j 2 ) .
j=0 j=0 j=0 bols. For example, A is the set of prime numbers that
MT1810 – 2021/22 2
(iv) {1, 3} ∈ S
1.16 Definition: size of a set
1.9 The natural numbers Suppose A = {e1 , e2 , . . . , en } such that the ei are all
different. Then A has n elements, and we write |A| =
We write N for the set of natural numbers, so n. So |A| is the number of elements in A.
N = {1, 2, 3, 4, . . .} . Examples: |{1, 2, 4}| = 3 , |∅| = 0.
1.19 Complement, set difference To show a set is not closed under some operation it is
enough to give one well chosen example. But to show
Consider subsets A and B of a given set U (U is called it is closed, a general argument is required.
the universal set).
The complement of A in U , denoted by A0 , is the set 1.22 Exercise
of elements in U but not in A.
Consider the set A = {−1, 0, 1}. Which of the follow-
We have A0 = {x ∈ U : x ∈
/ A}. ing statements are correct?
The set difference A \ B of A and B is the set of (i) A is closed under addition.
elements in A but not in B.
(ii) A is closed under subtraction.
We have A \ B = {x ∈ A : x ∈
/ B}.
(iii) A is closed under multiplication.
1.20 Principle of inclusion-exclusion
(iv) A is closed under division.
Let A, B, C be sets. Then
|A ∪ B| = |A| + |B| − |A ∩ B| 1.23 A proof
• closed under addition if x+y ∈ A whenever x ∈ A 1.24 Problem (see also homework sheet 0)
and y ∈ A;
(i) Prove that Q is closed under subtraction. (ii) Prove
• closed under multiplication if xy ∈ A whenever that Q is closed under division. Pay close attention to
x ∈ A and y ∈ A; how you write the proof. Use the above proof as your
• closed under subtraction if x − y ∈ A whenever model.
x ∈ A and y ∈ A;
• closed under division if x/y ∈ A whenever x ∈ A, 1.25 Propositions
y ∈ A and y 6= 0. Mathematical statements, or propositions, are sen-
tences which are umambiguously true or false. Ex-
Thus N is closed under addition and multiplication. amples:
But N is not closed under subtraction: for instance
1 ∈ N, 2 ∈ N, but 1 − 2 6∈ N. N is also not closed under Let P be the sentence “4 is greater than 1.” Then P
division. is a proposition, and P is true.
You may assume that Z is closed under addition, sub- Let Q be the sentence “There is a real number x such
traction and multiplication. But Z is not closed under that x2 + 1 = 0 .” Then Q is a proposition, and Q is
division. false.
MT1810 – 2021/22 4
P ∨ Q: n is a prime or even (or both). The implication P ⇒ Q (“P implies Q”) is false when
P is true and Q is false and true otherwise. In partic-
Definition: ular, whenever P is false, P ⇒ Q is true.
The negation ¬P (“not P ”) of P is true when P is Notice that P ⇒ Q is the same as (¬P ) ∨ Q.
false and false when P is true.
The logical equivalence P ⇔ Q (“P is equivalent to
Example (cont’d): Q”) is true when P ⇒ Q and Q ⇒ P are both true
¬P : n is not a prime. and false otherwise.
• A implies B.
• A =⇒ B.
• If A, then B.
• If A, B.
• B if A.
• A only if B.
• A is sufficient for B.
• B is necessary for A.
• A is equivalent to B.
• A ⇐⇒ B.