Meaning of a union symbol in front of a set?

  • Context: Undergrad 
  • Thread starter Thread starter df606
  • Start date Start date
  • Tags Tags
    Set Symbol Union
Click For Summary
SUMMARY

The discussion clarifies the meaning of the union symbol (\cup) when placed in front of a set, as defined in the book "Automata, Computability, and Complexity" by Elaine Rich. The notation \delta'(Q,c) = \cup\{eps(p):\exists q\in Q((q,c,p)\in\Delta)\} indicates that the union operator is applied to a collection of sets. Specifically, it is used to denote the union of elements that are themselves sets, such as \bigcup \{A~\vert~A\in \mathcal{A}\}, which means taking the union of each element in the set. The discussion emphasizes that using \cup with elements that are not sets, like real numbers, is nonsensical unless viewed through specific mathematical interpretations.

PREREQUISITES
  • Understanding of set theory and notation
  • Familiarity with union operations in mathematics
  • Basic knowledge of automata theory
  • Experience with mathematical functions and their representations
NEXT STEPS
  • Study the properties of union operations in set theory
  • Explore the concept of Dedekind cuts in real numbers
  • Learn about automata theory and its applications
  • Review advanced mathematical notation and functions in literature
USEFUL FOR

Mathematicians, computer scientists, students of automata theory, and anyone interested in advanced set theory concepts.

df606
Messages
14
Reaction score
0
I'm trying to read this book "Automata, Computability, and Complexity" by Elaine Rich and on page 75 it defines this function: \delta'(Q,c) = \cup\{eps(p):\exists q\in Q((q,c,p)\in\Delta)\}
I've never seen the union operator used in this way. What does it mean?
Apologies if this is in the wrong section.

Edit: I don't care what the stuff inside the brackets means. I understand that part. I'm asking, what does \cup mean when it's front of any set? It could be something like \cup\{x:x\in\mathbb{R}\}
 
Last edited:
Physics news on Phys.org
A union in front of a set is written when the elements in the set are sets themselves. So for example, we can have

\bigcup \{A~\vert~A\in \mathcal{A}\}

this just means to take the union of each element in the set. That is:

\bigcup_{A\in \mathcal{A}}{A}

Writing \cup \{x~\vert~x\in \mathbb{R}\} doesn't make much sense since the element of \mathbb{R} aren't sets (unless you see them as Dedekind cuts).
 
That explains things. Thanks!
 

Similar threads

Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K