Proof about pre-images of functions

Click For Summary
SUMMARY

The discussion centers on proving two properties of functions: that for a function ##f: M \rightarrow N##, if ##L \subseteq M## and ##P \subseteq N##, then ##L \subseteq f^{-1}(f(L))## and ##f(f^{-1}(P)) \subseteq P##. Participants suggest using specific elements from the subsets to demonstrate these properties, emphasizing the importance of tracking elements through the function and its inverse. The discussion highlights the necessity of understanding the definitions of pre-images and images in function theory.

PREREQUISITES
  • Understanding of functions and their properties, specifically pre-images and images.
  • Familiarity with set theory concepts, including subsets and mappings.
  • Basic knowledge of mathematical proofs and logical reasoning.
  • Experience with notation and terminology in mathematical analysis.
NEXT STEPS
  • Study the definitions and properties of function pre-images and images in detail.
  • Learn how to construct mathematical proofs involving functions and set theory.
  • Explore examples of functions and their inverses to solidify understanding.
  • Practice problems related to function mappings and subset relationships.
USEFUL FOR

Students of mathematics, particularly those studying abstract algebra or real analysis, as well as educators seeking to enhance their teaching of function properties and proofs.

PhysicsRock
Messages
121
Reaction score
19
The problem reads: ##f:M \rightarrow N##, and ##L \subseteq M## and ##P \subseteq N##. Then prove that ##L \subseteq f^{-1}(f(L))## and ##f(f^{-1}(P)) \subseteq P##.
My co-students and I can't find a way to prove this. I hope, someone here will be able to help us out. It would be very appreciated.

Thank you in advance and have a great day everyone.
 
Physics news on Phys.org
If this is a textbook homework type of problem, then there is a section and a format for that and we are only allowed to give hints and guidance.
Hint: pick a point in the smaller subset side and track it through the operations.
 
  • Like
Likes   Reactions: topsquark
FactChecker said:
If this is a textbook homework type of problem, then there is a section and a format for that and we are only allowed to give hints and guidance.
I guess I figured it out anyway, at least I tried. Thank you for the advice. I'll ask for a specific hint etc. next time.
 
PhysicsRock said:
The problem reads: ##f:M \rightarrow N##, and ##L \subseteq M## and ##P \subseteq N##. Then prove that ##L \subseteq f^{-1}(f(L))## and ##f(f^{-1}(P)) \subseteq P##.
My co-students and I can't find a way to prove this. I hope, someone here will be able to help us out. It would be very appreciated.

Thank you in advance and have a great day everyone.
Let ##x \in L##. Then ##y = f(x) \in f(L)##. Now, what is, by definition, ##f^{-1}(f(L))##? And why is ##x \in f^{-1}(f(L))##?

Hint: it might help conceptually (be less confusing) to let ##X = f(L)## so that ##y = f(x) \in X## and show that ##x \in f^{-1}(X)##.

PS the trick with these proofs is to get all the logical steps in the right order.
 
  • Like
Likes   Reactions: FactChecker and topsquark

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
1
Views
2K
  • · Replies 54 ·
2
Replies
54
Views
6K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K