
#1
Sep911, 05:59 PM

P: 14

I'm trying to read this book "Automata, Computability, and Complexity" by Elaine Rich and on page 75 it defines this function: [itex]\delta'(Q,c) = \cup\{eps(p):\exists q\in Q((q,c,p)\in\Delta)\}[/itex]
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 [itex]\cup[/itex] mean when it's front of any set? It could be something like [itex]\cup\{x:x\in\mathbb{R}\}[/itex] 



#2
Sep1011, 08:31 AM

Mentor
P: 16,703

A union in front of a set is written when the elements in the set are sets themselves. So for example, we can have
[tex]\bigcup \{A~\vert~A\in \mathcal{A}\}[/tex] this just means to take the union of each element in the set. That is: [tex]\bigcup_{A\in \mathcal{A}}{A}[/tex] Writing [itex]\cup \{x~\vert~x\in \mathbb{R}\}[/itex] doesn't make much sense since the element of [itex]\mathbb{R}[/itex] aren't sets (unless you see them as Dedekind cuts). 



#3
Sep1011, 01:01 PM

P: 14

That explains things. Thanks!



Register to reply 
Related Discussions  
Vector symbol meaning  General Physics  1  
What is the meaning of this circuit symbol?  Electrical Engineering  2  
Relation between subspace union and probabilities union  Linear & Abstract Algebra  0  
What's the meaning of this symbol?  General Math  3  
Meaning of a mathematical symbol?  Math & Science Software  3 