Is A Closed If Not Open in Topological Space?

  • Context: Graduate 
  • Thread starter Thread starter math8
  • Start date Start date
  • Tags Tags
    Topology
Click For Summary

Discussion Overview

The discussion revolves around the relationship between closed and open sets in topological spaces, specifically questioning whether a set that is not open must necessarily be closed. It includes examples and definitions related to topology.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Technical explanation

Main Points Raised

  • Some participants argue that a set A not being open does not imply that A is closed.
  • One participant suggests that A is closed if the complement X - A is open.
  • There is a question raised about whether the difference A\B is in the topology when A and B are in a topology.
  • Another participant reiterates the question about A\B and notes that the definition of a topological space does not specify anything about A\B.
  • Examples are provided illustrating the four possibilities of sets being open, closed, both, or neither, including specific intervals and their properties in different topological spaces.
  • It is mentioned that in connected spaces, the only sets that are both open and closed are the empty set and the space itself.

Areas of Agreement / Disagreement

Participants do not reach a consensus on whether a set that is not open must be closed, with multiple competing views and examples presented throughout the discussion.

Contextual Notes

Some limitations include the lack of clarity on the definitions of open and closed sets in different topological contexts, as well as the implications of set operations like A\B not being explicitly defined in the topology.

math8
Messages
143
Reaction score
0
If A is not open in a topological space, does it follow A is closed?
 
Physics news on Phys.org
Not necessarily, the set A would be closed if X - A is open.
 
If A, B are in a topology, does it imply A\B is in the Topology?
 
math8 said:
If A, B are in a topology, does it imply A\B is in the Topology?

If A, B are in a topology then A and B are open. If I remember correctly, the definition of the topological space doesn't say anything about A\B.
 
math8 said:
If A is not open in a topological space, does it follow A is closed?

No. Topology is a little silly like that!

Here are the basic examples I use for each of the four possiblities. Each is written in standard interval notation.

open (but not closed)
(0, 1)

closed (but not open)
[0, 1]

neither closed nor open (I like to think of these as "half open" or "half closed")
[0, 1)
(0, 1]

both open and closed
[tex]\varnothing[/tex], [tex]\mathbb{R}[/tex]

With these, you can think of more exotic examples in different spaces. In [tex]\mathbb{R}^n[/tex], for example, closed balls with a finite number of points removed will be neither open nor closed. In the set of integers using the discrete topology (or any set with the discrete topology), all points will be open AND closed.

Open AND closed sets are important when discussing connectedness. In a connected space (such as [tex]\mathbb{R}[/tex] or [tex]\mathbb{R}^n[/tex], the ONLY open-and-closed sets will be [tex]\varnothing[/tex] and the space itself.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
10K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 61 ·
3
Replies
61
Views
7K
  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 43 ·
2
Replies
43
Views
7K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 37 ·
2
Replies
37
Views
5K