Whats the difference between a closed set vs a set thats NOT open?

AI Thread Summary
In topology, a set that is "not open" does not necessarily imply that it is "closed," as many subsets of real numbers can be neither. For example, intervals like [0,1) are not open because they contain boundary points that are not interior points, yet they are also not closed. The concept of "clopen" sets, which are both open and closed, exists in topology, highlighting that these terms are not interchangeable. The distinction is crucial in understanding the properties of sets within a given topology. Therefore, "not open" and "closed" are fundamentally different concepts in this context.
michonamona
Messages
120
Reaction score
0
Let f: D->R be continuous. If D is not open, then f(D) is not open.

Why can they not replace 'not open' with closed?

Thank you

M
 
Physics news on Phys.org
Not open does not imply closed. Most subsets of the real numbers are neither open nor closed (e.g. N, or [0,1), etc.). On the other hand, the set of all real numbers is both open and closed.

If a set A is not open then there exists a point x in A such that x is not an interior point of A. For instance, 0 is not interior to the interval [0,1), so its not open. Yet the interval is still "half-open", so it can't be closed.
 
Last edited:
blkqi's answers is the one relevant to your question, but going more generally, into the topological definition, a topology is a set S plus a collection of special subsets T which is closed under finite intersections and arbitrary unions, and such that both S and the null set are in T. Then a closed set is one which has an open set as complement. Thus both S and the null set are "clopen", both closed and open. There again you see that "not open" and "closed" are not synonyms.
Taking the standard topology on the real numbers, this reduces to blkqi's answer.
 
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
1
Views
2K
Replies
7
Views
3K
Replies
5
Views
2K
Replies
36
Views
4K
Replies
2
Views
2K
Replies
1
Views
1K
Replies
9
Views
2K
Back
Top