Trouble Understanding Indexed Union of Lines in the Plane

AI Thread Summary
The discussion revolves around the confusion regarding the indexed union of lines in the plane, specifically how it relates to subsets of the plane. The initial misunderstanding was about the nature of the union versus intersection of sets, leading to the incorrect assumption that the indexed union would yield an empty set. Clarification was provided that the indexed union consists of individual lines, each containing all points along those lines. The distinction between the indexed union and intersection was crucial for understanding the concept. Ultimately, the participant expressed clarity on the topic after the discussion.
MotoPayton
Messages
96
Reaction score
0
I am having trouble understanding how the indexed union of ln in the first picture is equal to a subset of the plane; an element of it is a point on one of the lines. If I were to choose say 0 1 2 then the indexed union should be y=0 union y=1 union y=2. These lines would have no points in common so the total indexed union should be the empty set. I understand the second second set, it is the indexed union giving me trouble. Sorry if the pictures are blurry my phone isn't the greatest.

0306132054a.jpg


http://i603.photobucket.com/albums/tt113/KtmPayton/0306132054.jpg
 
Physics news on Phys.org
MotoPayton said:
These lines would have no points in common so the total indexed union should be the empty set.


You didn't include the part of the text where I_n is defined.

Why would having points in common be relevant to a union of sets? Are you thinking of an intersection of sets instead?
 
The definition of In is on the next link. In is a subset of R2 and is the line of equation y=n.
I have to admit for some reason I was stuck on thinking this was an intersection. Thinking about it some more I have realized that the individual sets of the indexed union each contain a line. Those particular sets contain all the points that make up the line.
That is how it differs from the other one where the individual set contains all the different lines. Pretty sure I have it now. Thanks for helping.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top