Escolar Documentos
Profissional Documentos
Cultura Documentos
2015 August 10
Lecture 1 Outline
Methods of Proof
Sets
Binary Relations
Functions
Math camp is a review course: the amount of material covered is large, and if
you are not already somewhat familiar with it, you may be in trouble. Please,
talk to me if that is the case.
How
Two daily meetings.
Lectures in the morning.
The o cial schedule says 75 minutes, but I will use more time in many/most
cases, so plan for lectures to go for about 90 minutes.
I will bring handouts; you should read (last year) posted handouts before class.
Learning in this class, like other Ph.D. courses, means doing much more than
just reading book and notes, and listening to lectures.
Learning by doing: you can only learn that which you practice.
Working in groups is strongly encouraged... but always try to work through all
problems on your own before meeting with others.
A great test of understanding: can you explain it to others?
This room (4716) is reserved for you all day long. Use it as a place to work
together, with or without Eric or me.
Suggestions
Some Friendly Advice
To learn this sort of mathematics (and Ph.D. level economics) you need to do
much more than just read the material and listen to lectures.
Learning by doing.
Wait, I said this already...
Suggestions for this, and other, Ph.D. courses (not in order of importance):
problem solving (Problem Sets!) is the most valuable part of any course;
DO NOT LOOK FOR/AT ANSWERS. The point is not to get it right, but to
learn what you can do by yourself and what you need to work on.
active reading: work through each line of a proof, be sure you understand how
to get from one line to the next;
memorizing is no use: it will not help you do a proof you have not seen before.
Ultimate Objective
You are here to produce original research, not to repeat what others
have done.
Mastery of the tools necessary to produce original research is the objective.
Why
This class is designed for incoming 1st year Ph.D. students in economics.
Therefore, we will cover mathematics that is useful during the economics
Ph.D.
Lots of what happens in the rst year classes takes the form: state a
(mathematical) result and then prove it.
The main goal is for you to practice how to think in rigorous terms:
assumptions, statement, proof.
For the most part, I do not expect you to learn new things since this class is
intended as a review.
Stu
Course requirements:
Three exams, one at the end of each week:
each of these weekly short tests will focus on the material covered that week.
Simple Logic
P means P is true, :P means P is false (or not P).
Proofs
Mathematiclans often collect information and make observations
about particular cases or phenomena in an attempt to form a theory (a
model) that describes patterns or relationships among quantities and
structures. This approach to the development of a theory uses inductive
reasoning.
However, the characteristic thinking of the mathematician is
deductive reasoning, in which one uses logic to develop and extend a
theory by drawing conclusions based on statements accepted as true.
Proofs are essential in mathematical reasoning because they
demonstrate that the conclusions are true. Generally speaking, a
mathematical explanation for a conclusion has no value if the explanation
cannot be backed up by an acceptable proof.
Smith, Eggen, Andre
(Replace mathematician with economist)
A proof is not an example. An example only shows the statement can be true
given the assumptions, while a proof shows the statement is always true given
the assumptions.
An example can be used to show that a statement is false; this is called a
counterexample.
Methods of Proof
Proof by Deduction
Proof by Deduction:
A list of statements, the last of which is the statement to be proven.
Each statement in the list is either
an axiom: a fundamental assumption about mathematics; or
part of the denition of the object under study; or
a previously established theorem; or
follows from previous statements in the list by a valid rule of inference.
5j <
) jf (x)
In words: for every strictly postive epsilon, there exists a strictly postive delta (possibly dependent on
epsilon) such that if the distance between x and 5 is strictly less than delta, then the distance between
f (x) and f (5) is strictly less than epsilon.
To prove the claim, we must systematically verify that this denition is satised.
Proof.
Let " > 0 be given. Pick
Suppose jx
n "o
>0
(") = min 1;
11
1, then 4 < x < 6, so 9 < x + 5 < 11 and jx + 5j < 11.
f (5)j =
<
=
jx 2
11
(")
"
11
11
"
5)j = jx + 5jjx
Thus, we have shown that for every " > 0, there exists > 0 such that
jx 5j < ) jf (x) f (5)j < ", and therefore f is continuous at x = 5.
5j
Proof by Contraposition
Contrapositive
The contrapositive of the statement P ) Q is the statement :Q ) :P.
Theorem
P ) Q is true if and only if :Q ) :P is true.
Proof.
)
Proof by Contraposition
Theorem
Given two real numbers x and y , 8" > 0, x
y +")x
x y
| {z }
Q
)
)
:P
z
}|
{
9" > 0 such that x > y + "
Proof.
Suppose x > y . Then x
y
6
y + " < y + (x
as desired.
so that we have
y) = x
Pn
k =0
k=
n(n+1)
2
equivalently: 0 + 1 + 2 +
+n =
n(n+1)
.
2
Proof.
1
k =0
n
X
Pn+1
k =0
k=
(n+1)((n+1)+1)
:
2
k + (n + 1)
k =0
n(n + 1)
+ (n + 1)
by the Induction hypothesis
2
n
(n + 2)
= (n + 1)
+ 1 = (n + 1)
2
2
Pn
So, by mathematical induction, k =0 k = n(n+1)
for all n 2 N0 .
2
=
Proof by Contradiction
claim
Proof.
negation of the claim
m
n
or
n2 = 2r 2
Sets
Denition
A set X is a collection of objects.
We write x 2 X to mean x is an element of X .
If x is not a member of X , we write x 2
= X.
The symbol ; denotes the empty set.
Denition
If A and B are sets, and if for every x 2 A we have x 2 B, we say that A is a
subset of B, and write A B, or B A.
If, in addition, 9x 2 B such that x 2
= A, then A is said to be a proper subset of B.
Note that A
Set Operations
Denition (Set Equality)
Given two sets A and B:
A=B,A
Equivalently:
B and A
x 2A,x 2B
Denitions
The union of two sets A and B is a new set dened as follows:
A [ B = fx : x 2 A or x 2 Bg
The intersection of two sets A and B is a new set dened as follows:
A \ B = fx 2 A j x 2 Bg
The dierence of two sets A and B is a new set dened as follows:
AnB = fx 2 A : x 2
= Bg
Denition
Power Set
Given a set X , the power set of X , denoted 2X , is the collection of all subsets of X .
Example
Given the set N of all natural numbers, 2N is the set of all subsets of N, Thus, ;,
f1; 2g, f2; 4; 6; : : :g are elements of 2N .
N
N
We can also form 22 = 2(2 ) , the set of all subsets of the set of all subsets of
N
2
the natural numbers; 22 and so on.
Question
Is the power set always a set?
Russells Paradox: if the collection of all sets is always a set , then one can form
E = fX 2 : X 62 X g, the set of all sets which are not elements of themselves. Is
E 2 E ? If so, then E 62 E , contradiction; if not, then E 2 E , again a contradiction.
Moral of the story: one has to be careful in forming sets (see
ZermeloFraenkel set theory).
Describing Sets
Let X be any set, and P(x) a mathematical statement about a variable x. Then
fx 2 X : P(x)g
is also set; it is the collection of all elements x of X such that the statement P(x)
is true.
The statement P can be complex. In particular, it can include quantiers.
Examples
fx 2 [0; 1] : 8y 2 [0; 1] x
fx 2 (0; 1) : 8y 2 (0; 1) x > y g is also a valid set; it equals the empty set.
The set of all upper bounds for X
2R is U = fu 2 R : u
x 8x 2 X g
In practice, the things we economists do are always legal. You can apply the power
set construction an arbitrary nite number of times, and use quantiers of the form
8x 2 X as long as X is a set formed by taking at most a nite number of
2R
2( )
applications of the power set operation. Thus, 2
is ne.
The set X (the points one plugs into the function) is called the functions
domain;
the set Y (the items that one can get out of the function) is called the
functions codomain or range.
is a set; it consists of all those elements t in the interval [a; b] such that f (t) < 7.
Classes of Functions
Denition
A function f : X ! Y is onto if 8y 2 Y , 9x 2 X such that y = f (x)
The fact that a function is onto is sometimes written as f (X ) = Y
(image=range).
Denition
A function f : X ! Y is said to be one-to-one if f (x) = f (x 0 ) implies that x = x 0 .
Result
An equivalent denition of one-to-one function is that for every two points
x; x 0 2 X such that x 6= x 0 , it is the case that f (x) 6= f (x 0 ).
Prove this as an exercise.
Denition
A bijection is a function f : A ! B that is one-to-one, and onto.
Cardinality
Denition
Two sets A; B are numerically equivalent (or have the same cardinality) if there is
a bijection f : A ! B.
Remember, a bijection is a function f : A ! B that is one-to-one
(a 6= a0 ) f (a) 6= f (a0 )), and onto (8b 2 B 9a 2 A such that f (a) = b).
Example
A = f2; 4; 6; : : : ; 50g is numerically equivalent to the set f1; 2; : : : ; 25g under the
function f (n) = 2n.
Example
B = f1; 4; 9; 16; 25; 36; 49 : : :g = fn2 : n 2 Ng is numerically equivalent to N.
Finiteness
Denition
A set is nite if it is numerically equivalent to f1; : : : ; ng for some n.
A set that is not nite is called innite.
Example
A = f2; 4; 6; : : : ; 50g is nite while B = f1; 4; 9; 16; 25; 36; 49; 64; : : :g is innite.
Finiteness
A set is either countable or uncountable.
Denition
A set is countable if it is numerically equivalent to the set of natural numbers
N = f1; 2; 3; : : :g.
A set that is not countable is called uncountable.
Example
The set of integers Z = f0; 1; 1; 2; 2; : : :g is countable. Dene f : N ! Z by
f (1)
= 0
f (2)
= 1
f (3)
=
..
.
f (n)
( 1)n
jnk
2
where bxc is dened as the greatest integer less than or equal to x. One can
easily verify that f is one-to-one and onto (Exercise).
Cardinality Results
Theorem
The set of rational numbers Q is countable.
Theorem (Cantor)
2N , the set of all subsets of N, is not countable.
Prove these results as exercise.
Cardinality Facts
Notation
We let jAj denote the cardinality of A.
Note that j j cannot be the absolute value as since it contains a set (same
symbols can have dierent meanings depending on the context).
REMARKS
If A is numerically equivalent to f1; 2; : : : ; ng for some n 2 N, then jAj = n.
A and B are numerically equivalent if and only if jAj = jBj.
If jAj = n and A is a proper subset of B, jBj > n = jAj.
Binary Relations
Denition
Given two sets X and Y , their Cartesian product is dened as
X Y = f(x; y ) : x 2 X ; y 2 Y g.
The Cartesian product is the set of all possible pairs.
Denition
R
Example
Suppose X = f1; 2; 3g and R
R = f(1; 1); (2; 1); (2; 2); (3; 1); (3; 2); (3; 3)g:
This describes the binary relation weakly greater than, or
Equivalence Relations
Denition
When X = Y and R
Denitions
A binary relation R on X is
reexive if 8x 2 X ; xRx.
Denition
A binary relation R on X that is reexive, symmetric and transitive is called an
equivalence relation.
Y : y = f (x)g
Remark
The fact that f is a function tells us that
(x; y ) 2 Gf ^ (x; z) 2 Gf
remember that ^ means and.
y =z
Example
Suppose f : X ! Y is a function from X to Y . The binary relation R
dened by
xRy () f (x) = y
is the graph of the function f . Thus, one can think of a function as a binary
relation R from X to Y such that for each x 2 X there exists exactly one y 2 Y
such that (x; y ) 2 R.
Function Operations
Example
The statement
8f : N ! R 9x 2 R such that 9n
/ 2 N such that f (n) = x
says there is no function mapping N onto R.
Inverse Image
Denition
Let f : X ! Y be a function from X to Y . The inverse image of a set W
dened as
f 1 (W ) fx 2 X j f (x) 2 W g:
Y is
Invertible Functions
Denition
A function f : X ! Y is called invertible if the inverse image mapping is a function
from Y to X .
Notation
If f is invertible, then for every y 2 Y one denes f
which f (x) = y .
Theorem
A function is invertible if and only if it is both one-to-one and onto.
Prove this as an exercise (notice, this is a , statement).
Operations on Functions
Denition
Given two functions g : X ! Y and f : Y ! Z the composition function f
mapping from X to Z dened as f g = f (g (x)) for every x 2 X .
g is a
Notation
Since f g : X ! Z , one can write it as a function h : X ! Z dened by
h(x) f (g (x)) for every x 2 X .
Denition
If f : X ! Y and g : X ! Y , then we can form new functions from X to Y
The sum, denoted f + g and dened by (f + g )(x) = f (x) + g (x).
Multiplication by a constant, denoted f and dened by ( f )(x) = f (x).
The product, denoted fg and dened by (fg )(x) = f (x)g (x).
The quotient, denoted f =g and dened by (f =g )(x) =
f (x )
g (x ) .
These denitions make sense only when the range has special structure so
that one can add, multiply by a constant, multiply, or divide elements of Y .
Tomorrow
Vector Spaces
Real Numbers