Inverse Images and Sets (union & intersection)

Click For Summary
SUMMARY

The discussion focuses on the properties of inverse images and functions concerning set operations, specifically the intersection of sets A and B. It establishes that the inverse image of the intersection of two sets, denoted as I_{f}(A ∩ B), is equal to the intersection of their individual inverse images, I_{f}(A) ∩ I_{f}(B). However, it also provides a counterexample demonstrating that the image of the intersection, f(A ∩ B), does not equal the intersection of the images, f(A) ∩ f(B), using the absolute value function as a specific case.

PREREQUISITES
  • Understanding of set theory, particularly intersections and unions.
  • Familiarity with functions and their properties, including images and inverse images.
  • Knowledge of mathematical notation related to functions and sets.
  • Basic experience with counterexamples in mathematical proofs.
NEXT STEPS
  • Study the properties of inverse images in detail, focusing on functions and set operations.
  • Explore counterexamples in set theory to deepen understanding of function behavior.
  • Learn about specific functions such as the absolute value function and their implications in set theory.
  • Investigate the differences between images and inverse images in various mathematical contexts.
USEFUL FOR

Students of mathematics, particularly those studying set theory and functions, as well as educators looking for examples to illustrate the properties of inverse images and set operations.

NastyAccident
Messages
60
Reaction score
0

Homework Statement


Suppose f is a function with sets A and B.
1. Show that:
I_{f} \left(A \cap B\right) = I_{f} \left(A\right) \cap I_{f} \left(B\right)
Inverse Image of F (A intersects B) = Inverse Image of F (A) intersects Inverse Image of B.

2. Show by giving a counter example that:
f\left(A \cap B\right) \neq f\left(A\right) \cap f \left(B\right)
F (A intersects B) does not equal F (A) intersects F(B)

Homework Equations



Knowledge of Sets and Inverse Images

The Attempt at a Solution


1.
Let c be an element of I_{f} \left(A \cap B\right).
By the definition of I_{f} \left(A \cap B\right), there is a d\in(A \cap B) so that I_{f}(d)=c.
Since, d\in(A \cap B), d \in A & d \in B. Since d\inA, I_{f}(d)\in I_{f}(A). This follows alongside d\inB, I_{f}(d)\inI_{f}(B).
Since I_{f}(d)=c \in I_{f}(A) and I_{f}(d)=c \in I_{f}(B), c = I_{f}(A)\capI_{f}(B).

Thoughts? Also would I need to show that the I_{f}(A)\capI_{f}(B) \in I_{f} \left(A \cap B\right) to show true equality?

2.
f\left(A \cap B\right) \neq f\left(A\right) \cap f \left(B\right)
I'm thinking either the absolute value function or a square function of some sort would show that it is not equal. Though, I'm not sure how to proceed with depicting the counter example.
NA
 
Last edited:
Physics news on Phys.org
Okay, so my counterexample for No. 2 is:

f(x)=|x| {-3,...,-1} = A and {1,...,200} = B

There is no intersection between A ∩ B. However, there is an intersection with f(A) ∩ f(B) that gives the set {1,3}.

Thus, {null} != {1,3}.

Figured out the wording that I was missing =) Just need help with i now!
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
4K
Replies
15
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K