Introduction to Math Proof

Tutor: None Selected Time limit: 1 Day

Question No. 1: Suppose that S is a set. Prove that the subset relation ⊆ is a partial order on P(S), the power set of S.

Question No. 2: Suppose f : X→Y and let A⊆X and B⊆X. Prove:


Give an example where equality fails.

Question No. 3: Suppose f : X→Y and let C⊆Y and D⊆Y. Prove:


Apr 27th, 2015

1. P(S) is the set of all subsets of S. We ought prove that for any A, B, C from P(S)
a) A in A. It is obviois: for any xϵA true that xϵA;
b) A in B and B In A => A = B. Really, for any xϵA we see xϵB because A in B. Also for any yϵB we see yϵA, so A = B;
c) for A in B and B in C => A in C. Again the proof looks like a simple speaking: for any xϵA we know xϵB (because A in B) and further xϵC as B in C.

2. Once again we rely on definitions only.
The left side: y ϵ f(A\B) means there exists aϵ(A\B) such that y = f(a) AND aϵ(A\B).
In turn, aϵ(A\B) means aϵA AND a not ϵ B.

The right side: z ϵ f(A)\f(B) means that zϵf(A) AND z not ϵ f(B).
this turns into: there exists aϵA such that z = f(a) AND for any bϵB z not= f(b).

So, let z ϵ f(A)\f(B), we ought prove that z ϵ f(A\B).

But "there exists aϵA such that z = f(a) AND for any bϵB z not= f(b)"
implies z=f(a) AND aϵA AND a not ϵ B (a not in B because for any a in B z not= f(a)).
So the proof is complete.

Example: consider f(x) = x^2, f from R to R.
Let A=[-1; 1] B= [0; 1], prove that f(A\B) greater than f(A)\f(B):
f(A) = [0; 1], f(B) = [0; 1], so f(A)\f(B) is empty.
But A\B = [-1; 0) and f(A\B) = (0; 1] -- not empty.


xϵf^-1(A) by definition of f^-1 means that f(x)ϵA.

The left side: x ϵ f^-1[C\D] means that f(x)ϵ(C\D) and this means that f(x)ϵC AND f(x) not ϵ D.

The right side: x ϵ f^-1[C]\f^-1[D] means that xϵf^-1[C] AND x not ϵ f^-1[D].
This by definition means that f(x)ϵC AND f(x) not ϵ D.

So the left and the right sides tells us the same.

Apr 27th, 2015

Apr 27th, 2015
Apr 27th, 2015
Oct 26th, 2016
Mark as Final Answer
Unmark as Final Answer
Final Answer

Secure Information

Content will be erased after question is completed.

Final Answer