What is the Indexed Family of Subsets?

  • Thread starter Thread starter pezola
  • Start date Start date
  • Tags Tags
    Subsets
Click For Summary
SUMMARY

The discussion centers on proving the equality f(U_{α∈I} X_{α}) = U_{α∈I} f(X_{α}) for a function f: A → B and an indexed family of subsets {X_{α}}. The proof requires demonstrating that the left side is a subset of the right and vice versa. A participant highlights the importance of notation clarity, specifically the correct placement of symbols, which significantly impacts understanding and problem-solving. The user successfully completed the problem after receiving guidance on notation.

PREREQUISITES
  • Understanding of functions and mappings in set theory
  • Familiarity with indexed families of subsets
  • Knowledge of union operations in set theory
  • Proficiency in mathematical notation and symbols
NEXT STEPS
  • Study the properties of functions and their images under unions
  • Learn about indexed families and their applications in set theory
  • Practice writing proofs involving set operations and functions
  • Explore common notation errors in mathematical writing and how to avoid them
USEFUL FOR

Mathematics students, educators, and anyone involved in set theory or functional analysis who seeks to enhance their understanding of function properties and proof-writing techniques.

pezola
Messages
11
Reaction score
0

Homework Statement



Let f: A \rightarrow B be given and let {X_{\alpha}} for \alpha \in I be an indexed family of subsets of A.


Prove:

a) f(U_{\alpha\inI} X_{\alpha}) = U_{\alpha\inI}f(X_{\alpha})



The Attempt at a Solution



To prove these two things are equal I must show that the left side is a subset of the right and that the right side is a subset of the left. However, the notation on these problems is really confusing me. I understand that I am being asked to show that the function f applied to the union of all the X_{\alpha} s is equal to the union of what you get after you apply the function f to the X_{\alpha}s. And the result seems reasonable to me, but I have no idea how to right this out.

There are actually many more parts to this question, but I think I will be able to do them once I understand how to write things out.

(I had a hard time getting the symbols to type in right, so I am including a scanned version of the problem as well. Thanks.)
 

Attachments

Physics news on Phys.org
pezola said:
Let f: A \rightarrow B be given and let {X_{\alpha}} for \alpha \in I be an indexed family of subsets of A.

Prove:

a) f(U_{\alpha\inI} X_{\alpha}) = U_{\alpha\inI}f(X_{\alpha})

Hi pezola! :smile:

(you have to leave a space after \in :wink:)

Hint: start "if y ∈ f(\bigcup_{\alpha\in I}X_{\alpha}), then ∃ x ∈ \bigcup_{\alpha\in I}X_{\alpha} such that f(x) = y, so ∃ … " :smile:
 
It is amazing the difference a space will make. :biggrin:

Thank you so much!...I was able to do all parts of the problem and even presented them in class!
 

Similar threads

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