Meaning of \bigcup Symbol & Index Set Explained

  • Context: Mathematica 
  • Thread starter Thread starter Yegor
  • Start date Start date
  • Tags Tags
    Mathematical Notation
Click For Summary

Discussion Overview

The discussion centers around the meaning of the \bigcup symbol and the concept of an index set in set theory. Participants explore the definitions and implications of these concepts, including their applications in mathematical notation.

Discussion Character

  • Conceptual clarification
  • Technical explanation

Main Points Raised

  • One participant defines the \bigcup symbol as representing the union of sets, explaining that it collects all elements from the sets indexed by T.
  • Another participant generalizes the concept of union to an arbitrary number of sets, affirming that the expression represents the union of all A_t.
  • A participant suggests that the index set T is used to label other sets, allowing for flexibility in the size of the collection of sets A_t.
  • Another participant expresses confusion about the concept of an index set and requests further clarification.

Areas of Agreement / Disagreement

Participants generally agree on the definition of the \bigcup symbol and its role in set theory, but there is some uncertainty regarding the concept of an index set, with differing levels of understanding expressed.

Contextual Notes

Some participants mention the flexibility of index sets in terms of cardinality, but do not provide specific definitions or examples, leaving some assumptions about the nature of index sets unresolved.

Yegor
Messages
147
Reaction score
2
T is an index set. And for each [tex]t \in T[/tex] [tex]A_t[/tex] is a set
[tex]\bigcup_{t \in T} A_t = \{x : \exists t \in T with x \in A_t \}[/tex]
What means this [tex]\bigcup[/tex] symbol and entire expression?
And question on index set: is it used just for orderring any other set?
 
Physics news on Phys.org
It's the union. If A and B are sets, [itex]A\cup B[/itex] denotes the union of A and B. It's that set which contains all the elements of A and those of B. So
[tex]A \cup B = \{x|x\in A \vee x\in B\}[/tex]

To generalize this to a union of an arbitrary number of sets is easy. That's exactly what your expression is: the union of all [itex]A_t[/itex].
 
thank you very much, Galileo!
What about my guess about "index set"?
 
I didn't understand what you meant exactly, but I think you have the right idea. The index set is just there to label the other sets. This way you can make T finite, countably infinite or uncountably infinite with the same notation. So the collection of sets A_t may be a finite, or infinite collection of any cardinality.
 
I just stumbled onto this post and it relates exactly to what I'm trying to figure out. This concept of an index set is very baffling to me. Can you give a little more detail on what exactly an index set is?
 

Similar threads

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