# Introduction to Math Proof

label Mathematics
account_circle Unassigned
schedule 1 Day
account_balance_wallet \$5

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:

f[A\B]⊇f[A]\f[B].

Give an example where equality fails.

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

f^-1[C\D]=f^-1[C]\f^-1[D].

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.

3f^-1[C\D]=f^-1[C]\f^-1[D].

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
Nov 19th, 2017
check_circle