Does the Interval [-1,∞) Include Any Open Sets?

  • Thread starter Thread starter zli034
  • Start date Start date
  • Tags Tags
    Set
AI Thread Summary
The discussion centers on whether the interval [-1,∞) contains any open sets and whether it is itself an open set. It is clarified that [-1,∞) is a half-open interval and thus not an open set because it includes the endpoint -1. However, it does contain open sets, such as the interval (4, 7). Participants also note that any non-zero interval on the real line can contain various combinations of open and closed sets. Ultimately, the distinction between the interval being open versus containing open sets is emphasized.
zli034
Messages
106
Reaction score
0
On the number line R, does [-1,\infty) contain an open set?

because it includes -1, don't think it is an open set.
 
Physics news on Phys.org
zli034 said:
On the number line R, does [-1,\infty) contain an open set?

because it includes -1, don't think it is an open set.

It's a half open interval that you've shown. If you define a set {[-1,\infty)} then it contains at least one half open subset.
 
Last edited:
Is the question: Is [-1, \infty) an open set?

Or is the question: Does [-1, \infty) contain an open set?
 
Office_Shredder said:
Is the question: Is [-1, \infty) an open set?

Or is the question: Does [-1, \infty) contain an open set?

What's the difference?
 
It is not an open set. But it contains the open set (4, 7) for example.
 
g_edgar said:
It is not an open set. But it contains the open set (4, 7) for example.
I guess I'm not understanding the OP's question. Any non zero interval on the reals "contains" every possible combination: [a,b],(a,b),(a,b],[a,b). Any such interval has a bijective mapping to the entire set of reals, so of course the interval [-1,\infty) "contains" open sets.

EDIT: Perhaps I'm mistaken, but in terms of open and closed sets or subsets, I'm considering the actual membership of a given set to be dependent on the specification (choice) of that set. Therefore I could specify that every subset of C:C subset of R be closed.
 
Last edited:
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...

Similar threads

Replies
18
Views
2K
Replies
1
Views
1K
Replies
13
Views
1K
Replies
5
Views
2K
Replies
7
Views
3K
Back
Top