How to Prove f(A and B) is in f(A) and f(B) Using Element Argument

  • Context: Undergrad 
  • Thread starter Thread starter JessBrown
  • Start date Start date
  • Tags Tags
    Argument Element Proof
Click For Summary
SUMMARY

The discussion focuses on proving that f(A ∩ B) is a subset of both f(A) and f(B) using an element argument. The participants clarify that for any element x in f(A ∩ B), it must also exist in both f(A) and f(B). The method involves selecting an arbitrary element from f(A ∩ B) and demonstrating its membership in the other two sets. This approach is essential for understanding the properties of functions in set theory.

PREREQUISITES
  • Understanding of set theory concepts, particularly intersections of sets.
  • Familiarity with functions and their mappings between sets.
  • Knowledge of element arguments in mathematical proofs.
  • Basic proficiency in logical reasoning and proof techniques.
NEXT STEPS
  • Study the principles of set theory, focusing on intersections and unions.
  • Learn about functions and their properties, particularly in the context of set mappings.
  • Explore element arguments and their applications in mathematical proofs.
  • Investigate related topics such as the properties of images and pre-images of functions.
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding set theory and function properties, particularly in the context of proofs and logical reasoning.

JessBrown
Messages
11
Reaction score
0
So X, Y = non-empty sets, and f = function (X,Y)

I have to show that

f(A and B) (c underlined) f(A) and f(B)

using element argument.

I have no idea - started with choosing x as a particular but arbitrarily chosen element of f(A and B) so now I have to show it is in f(A) and f(B) but I don't know how! any help would be awesome, thanks!
 
Physics news on Phys.org
Hi Jess! :smile:
JessBrown said:
- started with choosing x as a particular but arbitrarily chosen element of f(A and B)

Start with if x ε f(A&B), then ∃ … :wink:
 

Similar threads

Undergrad Contrapositive of theorem and issue with proof
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad Is this conditional expectation identity true?
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Does the definition of cardinality assume distinguishability?
  • · Replies 9 ·
Replies
9
Views
2K
MHB Is Every Statement Correct in Defining an Onto Function?
  • · Replies 6 ·
Replies
6
Views
2K
Undergrad How do E[X] and E[|X|] relate?
  • · Replies 6 ·
Replies
6
Views
2K
Undergrad How to implement proper error estimation using MC
  • · Replies 3 ·
Replies
3
Views
3K
Undergrad Basic Measure Theory: Borel ##\sigma##- algebra
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Formula for the propagation of complex errors
  • · Replies 5 ·
Replies
5
Views
2K
Graduate Why Does f(a) < a Imply f(a) is Not a Fixed Point?
  • · Replies 2 ·
Replies
2
Views
1K
Graduate Proving Lim F(x,y) is the Distribution Function for X
  • · Replies 1 ·
Replies
1
Views
1K