Proving Inverse Function of Union Property

  • Thread starter Thread starter Geekster
  • Start date Start date
  • Tags Tags
    Proofs Set
Click For Summary
SUMMARY

The discussion centers on proving the inverse function of the union property for a function f: X → Y. The key statement to prove is that f^{-1}(∪_{α ∈ A} G_α) = ∪_{α ∈ A} f^{-1}(G_α), where {G_α : α ∈ A} is an indexed family of subsets of Y. The proof involves demonstrating that for any element t in f^{-1}(∪_{α ∈ A} G_α), it can be shown that t also belongs to the union of the inverse images f^{-1}(G_α). The discussion highlights the importance of understanding the definition of an inverse function and equivalences in the proof process.

PREREQUISITES
  • Understanding of inverse functions in set theory
  • Familiarity with indexed families of sets
  • Knowledge of union operations in set theory
  • Proficiency in logical equivalences and proof techniques
NEXT STEPS
  • Study the properties of inverse functions in set theory
  • Learn about indexed families of sets and their applications
  • Explore logical equivalences and their role in mathematical proofs
  • Practice proving set identities involving unions and inverse images
USEFUL FOR

Mathematics students, particularly those studying set theory and functions, as well as educators looking to enhance their understanding of inverse functions and proof techniques.

Geekster
Messages
38
Reaction score
0
Disclaimer: I might have some problems getting my LaTeX code to work properly so please bear with me while I figure out how to properly use the forum software.

Homework Statement


The exercise is to prove the following statements.

Suppose that [itex]f:X \rightarrow Y[/itex], the following statement is true.
If [itex]\{G_{\alpha} : \alpha \in A\}[/itex] is an indexed family of subsets of Y, then [itex]f^{-1}(\bigcup_{\alpha \in A} G_\alpha) =\bigcup_{\alpha \in A} f^{-1}( G_\alpha)[/itex].

Homework Equations



The relevant information in this case is the definitions. In this case I need to know what the definition of an inverse function is.

DEF: Suppose [itex]f:X \rightarrow Y[/itex] and [itex]A \subset Y[/itex]. [itex]f^{-1}(A) = \{x \in X: f(x) \in A\}[/itex]

The Attempt at a Solution



The solution I've been looking thus far is a point wise argument.

Choose [itex]t \in f^{-1}(\bigcup_{\alpha \in A} G_\alpha)[/itex]. So by definition we know
[itex]t \in \{x \in X: f(x) \in (\bigcup_{\alpha \in A} G_\alpha)\}[/itex]. And here is where I'm kind of stuck. I need to some how get my chosen element to be in the other set, therefore making the one set a subset of the other. Then complete the converse of the argument to finish the proof.

Any ideas on where I should be looking, or what I should be thinking about here?
 
Last edited:
Physics news on Phys.org
[itex]f(x) \in \cup_{\alpha \in A} G_\alpha[/itex] is equivalent to "there is some [itex]\alpha \in A[/itex] such that [itex]f(x) \in G_\alpha[/itex]". Also, you don't have to worry about doing the converse if every step you take is an equivalence.
 

Similar threads

Replies
20
Views
4K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
Replies
23
Views
4K
Replies
8
Views
2K
Replies
20
Views
5K
  • · Replies 26 ·
Replies
26
Views
3K