Prove or disprove that subsets a and b of x and f:x->y f(f-1(a))=a

  • Thread starter Thread starter fleuryf
  • Start date Start date
  • Tags Tags
    Subsets
Click For Summary
SUMMARY

The discussion centers on the mathematical statement that for any non-empty sets X and Y, and any subset A of Y, the equation f(f^-1(A)) = A holds true under specific conditions. The participants clarify that A must be a subset of Y for the expression f(f^-1(A)) to be valid. A counterexample is provided using the function f: X -> Y defined by the pairs {(1,2), (3,4), (5,6)}, demonstrating that if f is not surjective, the equation does not hold, as shown with A = {8} leading to an empty result.

PREREQUISITES
  • Understanding of set theory and functions, particularly the concepts of injective and surjective mappings.
  • Familiarity with the notation f^-1(A) representing the preimage of a set under a function.
  • Basic knowledge of mathematical proofs and counterexamples.
  • Ability to analyze and interpret mathematical statements and their conditions.
NEXT STEPS
  • Study the properties of injective and surjective functions in depth.
  • Learn about the implications of the preimage and image of sets under functions.
  • Explore additional counterexamples that illustrate the failure of f(f^-1(A)) = A when f is not surjective.
  • Review formal proof techniques in set theory to strengthen understanding of mathematical arguments.
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced set theory and function properties, particularly in the context of proofs and counterexamples.

fleuryf
Messages
3
Reaction score
0

Homework Statement



Prove or disprove that for any non empty sets X and Y, any subset A of X, and f:X->Y, f(f^-1(A))=A

Homework Equations


The Attempt at a Solution



I know that for x element of A f(x) = f(A) so x is an element of f^-1(f(A)). If I can assume f is injective then I can go from here but that's not given in the problem...

Note that A is a subset of X not Y.
 
Last edited:
Physics news on Phys.org
fleuryf said:

Homework Statement



Prove or disprove that for any non empty sets X and Y, any subset of X, and f:X->Y, f(f^-1(A))=A



Homework Equations





The Attempt at a Solution



I know that for x element of A f(x) = f(A) so x is an element of f^-1(f(A)). If I can assume f is injective then I can go from here but that's not given in the problem...

Your first step is to state the problem clearly and correctly. Is A a subset of X or Y? For f^-1(A) to make sense, A must be a subset of Y. But in your solution attempt you have f(A) which would only make sense of A is a subset of X.
 
Yes, turns out there was a typo in the problem as it was given which explains the difficulty in solving it.

A is indeed a subset of Y which makes the statement f(f^-1(A)) true if the mapping is surjective but in the example

X={1,3,5} Y={2,4,6,8} f:X->Y = {(1,2),(3,4),(5,6)}

Where f is not onto and A = {8}, f^-1(A) = {empty}, f(f^-1(A)) = {empty} <> A

I think this is it.

Thank you
 

Similar threads

Replies
23
Views
4K
Replies
1
Views
2K
Replies
20
Views
5K
Replies
6
Views
2K
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K