How are inverse images used to prove set inclusions?

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 4K views
drmarchjune
Messages
1
Reaction score
0
I am studying the very first chapter of analysis, but can't quite get through this problem:

Prove f −1(f(A)) ⊇ A
Prove f(f −1(B)) ⊆ B
 
Physics news on Phys.org
How did you begin the problem?
For [itex]A \subseteq f^{-1}( f(A))[/itex], consider two cases.
case 1:[itex]A = \emptyset[/itex]
case 2: [itex]A \neq \emptyset[/itex]
 
in general , to prove that [tex]A\subseteq B[/tex] , we prove

[tex]\forall x[x\in A\Rightarrow x\in B][/tex]


and to prove this ,you let x be arbitrary. since we have an implication inside the square bracket, we assume antecedent , and set out to prove consequent . So assume
[tex]x\in A[/tex]