Define Sets $\{x,y\}$ and $x \cup y$

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Set
Click For Summary
SUMMARY

The discussion defines the sets $\langle x,y \rangle$ and their unions, specifically $\bigcup \langle x,y \rangle$ and $\bigcup \bigcup \langle x,y \rangle$. It establishes that $\langle x,y \rangle = \{ \{x\}, \{x,y\} \}$, leading to $\bigcup \langle x,y \rangle = \{x,y\}$ and $\bigcup \bigcup \langle x,y \rangle = x \cup y$. The reasoning behind the latter equality is grounded in the definition of generalized union, which states that $\bigcup\{A_1,\dots,A_n\} = A_1 \cup \dots \cup A_n$, applicable even for infinite sets.

PREREQUISITES
  • Understanding of set theory concepts, particularly unions and ordered pairs.
  • Familiarity with the notation and operations of generalized unions.
  • Basic knowledge of mathematical logic and definitions.
  • Experience with finite and infinite set distinctions.
NEXT STEPS
  • Study the properties of generalized unions in set theory.
  • Explore the implications of ordered pairs in mathematical contexts.
  • Learn about the differences between finite and infinite sets in set theory.
  • Investigate additional examples of union operations with various set configurations.
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in advanced mathematical concepts related to unions and set definitions.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hey! (Wave)

If $x \neq y $, define the sets $\bigcup \langle x,y \rangle , \bigcup \bigcup \langle x,y \rangle$.

According to my notes, it is like that:

$$\langle x,y \rangle= \{ \{x\}, \{x,y\} \} $$

$$ \bigcup \langle x,y \rangle=\{x,y\} $$

$$ \bigcup \bigcup \langle x,y \rangle=x \cup y$$

Why is it $ \bigcup \bigcup \langle x,y \rangle=x \cup y$ and not $\bigcup \bigcup \langle x,y \rangle=\{x,y\}$ ? (Thinking)
 
Physics news on Phys.org
It follows from the definition of generalized union that $\bigcup\{A_1,\dots,A_n\}=A_1\cup\dots\cup A_n$. I would claim that this equality is the idea behind the definition of the generalized union, and this definition is a generalization to the case when the set is not necessarily finite.
 
Evgeny.Makarov said:
It follows from the definition of generalized union that $\bigcup\{A_1,\dots,A_n\}=A_1\cup\dots\cup A_n$. I would claim that this equality is the idea behind the definition of the generalized union, and this definition is a generalization to the case when the set is not necessarily finite.

I understand..Thank you very much! (Smile)
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
16
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K