Is A Closed If Not Open in Topological Space?

  • Thread starter math8
  • Start date
  • Tags
    Topology
In summary, the concept of open and closed sets in topology can be a bit counterintuitive, as a set can be open but not closed, closed but not open, both open and closed, or neither open nor closed. These sets can have important implications for connectedness in a space.
  • #1
math8
160
0
If A is not open in a topological space, does it follow A is closed?
 
Physics news on Phys.org
  • #2
Not necessarily, the set A would be closed if X - A is open.
 
  • #3
If A, B are in a topology, does it imply A\B is in the Topology?
 
  • #4
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.
 
  • #5
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.
 

FAQ: Is A Closed If Not Open in Topological Space?

What is a closed set in a topological space?

A closed set in a topological space is a set that contains all of its limit points. In other words, every point in a closed set is either in the set itself or can be approached arbitrarily closely by points in the set.

How is a closed set different from an open set in a topological space?

An open set in a topological space is a set that does not contain any of its boundary points. This means that for every point in an open set, there is a small open neighborhood around it that is completely contained within the set. In contrast, a closed set contains all of its boundary points.

Is every open set a closed set in a topological space?

No, not necessarily. In certain topological spaces, there may be sets that are both open and closed, called clopen sets. However, in general, an open set and a closed set are distinct concepts and do not necessarily overlap.

How does the concept of closed sets relate to continuity in topology?

A function between two topological spaces is continuous if the inverse image of every open set in the codomain is an open set in the domain. This means that the preimage of a closed set in the codomain must also be a closed set in the domain. In other words, continuity of a function is preserved under preimages of closed sets.

Can a set be both open and closed in a topological space?

Yes, in certain topological spaces, there are sets that are both open and closed, called clopen sets. This occurs when a topological space has the discrete topology, where every subset is both open and closed. However, in most topological spaces, sets are either open or closed, but not both.

Similar threads

Replies
61
Views
3K
Replies
43
Views
3K
Replies
20
Views
1K
Replies
12
Views
5K
Replies
12
Views
3K
Replies
2
Views
995
Back
Top