Counterexample for set identity

Click For Summary

Homework Help Overview

The discussion revolves around a function f:X to Y and the properties of images of sets under this function, specifically examining the statement that if two subsets A and B of X are disjoint, then their images under f are also disjoint.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to construct a counterexample to demonstrate that the statement is false, considering specific sets and a function. Some participants question the validity of the counterexample and discuss the nature of counterexamples in general.

Discussion Status

The discussion is ongoing, with some participants affirming the original poster's approach to using a specific counterexample. There is also a brief exchange about the correct representation of the empty set in LaTeX.

Contextual Notes

The original poster expresses uncertainty about the credibility of their counterexample and seeks further validation or alternative examples from other participants.

WannabeNewton
Science Advisor
Gold Member
Messages
5,850
Reaction score
553

Homework Statement


Consider the function [tex]f:X \to Y[/tex]. Suppose that A and B are subsets of X. Decide whether the following statements are necessarily true (I am including just the one I had trouble with):
(a) if [tex]A\cap B = \emptyset[/tex], then [tex]f[A]\cap f<b> = \emptyset </b>[/tex]

Homework Equations


The Attempt at a Solution


I know this statement is false and I know I have to use a counter example. The problem is I am not at all good with counter examples. Could I use a discrete situation as a way of disproving the statement? For example, if I let [tex]X = \mathbb{R}[/tex], A = {-1, -2, -3}, B = {1, 2, 3}, and f = {(x,y): y = x^2} then [tex]A\cap B = \emptyset[/tex] but f[A] = f = {1, 4, 9} so [tex]f[a]\cap f<b>\neq \emptyset </b>[/tex]. I don't know if this suffices as a counter example because it is a very specific example so I was hoping you guys could help me come up with one that would be credible?
 
Last edited:
Physics news on Phys.org
There's nothing wrong with a counterexample being specific. That looks fine to me.
 
Oh ok. Thank you.
 
The LaTeX symbol for the emptyset is simply \emptyset
 
micromass said:
The LaTeX symbol for the emptyset is simply \emptyset

Fixed it thanks mate.
 

Similar threads

Replies
20
Views
5K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
3
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
5K
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
23
Views
4K