PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
closed set (Definition)

Let $(X,\tau)$ be a topological space. Then a subset $C\subseteq X$ is closed if its complement $X\setminus C$ is open under the topology $\tau$

Examples:

  • In any topological space $(X,\tau)$ the sets $X$ and $\emptyset$ are always closed.
  • Consider $\R$ with the standard topology. Then $[0,1]$ is closed since its complement $(-\infty,0) \cup (1,\infty)$ is open (being the union of two open sets).
  • Consider $\R$ with the lower limit topology. Then $[0,1)$ is closed since its complement $(-\infty,0)\cup[1,\infty)$ is open.

Closed subsets can also be characterized as follows:

A subset $C\subseteq X$ is closed if and only if $C$ contains all of its cluster points, that is, $C'\subseteq C$

So the set $\{1,1/2,1/3,1/4,\ldots\}$ is not closed under the standard topology on $\R$ since $0$ is a cluster point not contained in the set.




"closed set" is owned by yark. [ full author list (2) | owner history (2) ]
(view preamble | get metadata)

View style:

Other names:  closed subset
Also defines:  closed
Log in to rate this entry.
(view current ratings)

Cross-references: cluster points, lower limit topology, open sets, union, standard topology, open, complement, subset, topological space
There are 170 references to this entry.

This is version 7 of closed set, born on 2002-03-02, modified 2007-02-06.
Object id is 2739, canonical name is ClosedSet.
Accessed 23991 times total.

Classification:
AMS MSC54-00 (General topology :: General reference works )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)