Proof on functions of an intersection of sets

Click For Summary
SUMMARY

The discussion centers on proving the function property g(A ∩ B) ⊆ g(A) ∩ g(B) for an arbitrary function g: ℝ → ℝ and sets A, B ⊆ ℝ. The classical approach involves selecting an arbitrary element a from the intersection g(A ∩ B) and demonstrating that it belongs to both g(A) and g(B). The proof hinges on understanding that if a ∈ g(A ∩ B), then there exists a value x₀ such that a = g(x₀) and x₀ is in A ∩ B, which leads to the conclusion that x₀ must also be in both A and B.

PREREQUISITES
  • Understanding of set theory, particularly intersections and subsets.
  • Familiarity with functions and their mappings, specifically real-valued functions.
  • Knowledge of proof techniques, including direct proof and element selection.
  • Basic concepts from mathematical analysis as presented in Abbott's Understanding Analysis.
NEXT STEPS
  • Study the properties of functions and their behavior over set intersections.
  • Explore additional examples of function proofs in mathematical analysis.
  • Learn about the implications of function continuity on set mappings.
  • Review the definitions and properties of subsets and intersections in set theory.
USEFUL FOR

Students of mathematical analysis, educators teaching set theory and functions, and anyone interested in formal proof techniques in mathematics.

jeffreydk
Messages
133
Reaction score
0
I'm working out of Abbott's Understanding Analysis and I'm trying to show the following,

For an arbitrary function [itex]g :\mathbb{R}\longrightarrow \mathbb{R}[/itex] it is always true that [itex]g(A\bigcap B) \subseteq g(A) \bigcap g(B)[/itex] for all sets [itex]A, B \subseteq \mathbb{R}[/itex].

I'm confused on how to get going with this--any help or hints would be greatly appreciated. Thanks.
 
Physics news on Phys.org
If [tex]X, Y[/tex] are sets for which you know the definitions or other properties, the classical way to show [tex]X \subset Y[/tex] is this:

1: Pick an arbitrary [tex]a \in X[/tex]

2: Use the definitions of the sets to show that [tex]a \in Y[/tex]

As a start, if you know that [tex]a \in g(A \cap B)[/tex], then you know that there is a value [tex]x_0[/tex] such that [tex]a = g(x_0)[/tex] and that [tex]x_0 \in A \cap B[/tex]. What else do you know about [tex]x_0[/tex], and how can you use that information?
 
Last edited:
Thanks, that really helps, I think I've got it now.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K