Union Homework: Prove f(E U F)=f(E) U f(F)

  • Thread starter Thread starter Bashyboy
  • Start date Start date
  • Tags Tags
    Image Union
Click For Summary

Homework Help Overview

The problem involves a function f mapping from set A to set B, with subsets E and F of A. Participants are tasked with proving that f(E ∪ F) = f(E) ∪ f(F) and that f(E ∩ F) ⊆ f(E) ∩ f(F).

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the implications of elements belonging to the union and intersection of sets E and F, questioning the reasoning behind the inclusion of elements in f(E ∪ F) based on their membership in f(E) or f(F).

Discussion Status

The discussion is ongoing, with some participants providing clarification on the implications of set membership, while others raise concerns about the uniqueness of elements mapped by the function f.

Contextual Notes

There is a focus on the definitions of the function and the sets involved, with participants exploring the assumptions regarding the elements of E and F and their images under f.

Bashyboy
Messages
1,419
Reaction score
5

Homework Statement


Show that if ##f: A \rightarrow B## and ##E,F \subseteq A##, then ##f(E \cup F) = f(E) \cup f(F)##, and ##f(E \cap F) \subseteq f(E) \cap f(F)##.

Homework Equations



##f(E) := \{f(x)~|~ x \in E \}##.

The Attempt at a Solution



Okay, showing ##f(E \cup F) \subseteq f(E) \cup f(F)## is rather easy. Let us look at the second direction. Let ##y \in f(E) \cup f(F)## be arbitrary. Then ##y \in f(E)## or ##y \in f(F)##, which means there exists ##x_1 \in E## and ##x_2 \in F## such that ##f(x_1) = y = f(x_2)##.

It isn't clear why this implies ##y = f(x) \in f(E \cup F) := \{f(x) ~|~ x \in E ~or~ x \in F \}##. Certainly if ##x_1 = x_2 := x## were the case, then I could see this.
 
Physics news on Phys.org
What you proceeded isn't correct.
##y\in f(E)## or ##y\in f(F)## implies that ##\exists x\in E## or ##x\in F,## that is, ##x\in E\cup F,## st. ##f(x)=y.## Hence ##y\in f(E\cup F).##
 
Why wouldn't we have different ##x##'s? For instance, consider ##y=f(x) = x^2##. Given a ##y##, there exist two different ##x##'s.
 
There's no another ##x## in my statement. Just confirm if ##x## belongs to ##E\cup F.##
 

Similar threads

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