Is the solution to this problem as trivial as I think?

Click For Summary

Discussion Overview

The discussion revolves around a problem in set theory involving functions and their preimages. Participants explore the implications of the definitions of inverse images and preimages in the context of sets and functions, questioning the perceived triviality of the problem.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant presents a problem involving sets and functions, suggesting that the solution seems trivial based on their understanding of inverse functions.
  • Another participant points out a misunderstanding regarding the notation ##f^{-1}##, clarifying that it represents a set of preimages rather than an inverse function.
  • A subsequent reply acknowledges the clarification and expresses gratitude for the correction.
  • A participant provides a link to a list of properties related to functions and sets, potentially as a resource for further understanding.
  • Another participant offers an example involving the function ##f(x)=x^2## to illustrate the concept of computing preimages, suggesting it as a way to clarify the original problem.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the triviality of the problem, as there is a mix of understanding and confusion regarding the definitions involved. The discussion reflects differing levels of familiarity with the concepts of preimages and inverse functions.

Contextual Notes

There is a noted confusion regarding the terminology used for preimages versus inverse functions, which may affect participants' interpretations of the problem. The discussion also highlights the importance of precise definitions in set theory.

Who May Find This Useful

This discussion may be useful for students or individuals seeking clarification on the concepts of functions, preimages, and set theory, particularly in the context of mathematical proofs and definitions.

PhysicsRock
Messages
121
Reaction score
19
The problem goes as follows: Let ##M, N## be sets and ##f : M \rightarrow N##. Further let ##L \subseteq M## and ##P \subseteq N##. Then show that ##L \subseteq f^{-1}(f(L))## and ##f^{-1}(f(P)) \subseteq P##.
Obviously, I would simply use the definition of a functions inverse to obtain ##f^{-1}(f(L)) = L \subseteq L## and vice versa for ##P##. This seems quite trivial to me though, so am I doing this correctly or is there a mistake in my thoughts?

Thank you everyone and have a great day.
 
Physics news on Phys.org
PhysicsRock said:
The problem goes as follows: Let ##M, N## be sets and ##f : M \rightarrow N##. Further let ##L \subseteq M## and ##P \subseteq N##. Then show that ##L \subseteq f^{-1}(f(L))## and ##f^{-1}(f(P)) \subseteq P##.
Obviously, I would simply use the definition of a functions inverse to obtain ##f^{-1}(f(L)) = L \subseteq L## and vice versa for ##P##. This seems quite trivial to me though, so am I doing this correctly or }1is there a mistake in my thoughts?

Thank you everyone and have a great day.
You have a typo in the ##P## statement.

##f^{-1}## is not the inverse function. It is a set, namely ##f^{-1}(L)=\{m\in M\,|\,f(m)\in L\}.##

It isn't difficult to prove these statements, but it's not about inverse functions, just preimages.
 
fresh_42 said:
You have a typo in the ##P## statement.

##f^{-1}## is not the inverse function. It is a set, namely ##f^{-1}(L)=\{m\in M\,|\,f(m)\in L\}.##

It isn't difficult to prove these statements, but it's not about inverse functions, just preimages.
That clears things up, thank you :)
 
As an example if you're still confused, ##f:\mathbb{,R} \to \mathbb{R}## defined by ##f(x)=x^2##. Try computing ##f^{-1}(f(L))## for ##L=[0,1]##
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 2 ·
Replies
2
Views
745