Namespaces
Variants
Actions

Difference between revisions of "Dense set"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
Line 1: Line 1:
The same as an [[Everywhere-dense set|everywhere-dense set]]. More generally, a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310701.png" /> is called dense in an open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310702.png" /> of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310703.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310704.png" /> is contained in the closure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310705.png" /> or, which is the same, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310706.png" /> is everywhere dense in the subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310707.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310708.png" /> is not dense in any non-empty open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d0310709.png" />, it is a [[Nowhere-dense set|nowhere-dense set]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031070/d03107010.png" />.
+
{{MSC|54A05}}
 +
[[Category:Topology]]
 +
{{TEX|done}}
 +
 
 +
A subset $A$ of topological space $X$ is dense if the closure of $A$ is the entire space $X$. A common alternative definition is:
 +
* a set $A$ which intersects every nonempty open subset of $X$.  
 +
 
 +
If $U\subset X$, a set $A\subset X$ is called ''dense'' in $U$ if $A\cap U$
 +
is a dense set in the subspace topology of $U$. When $U$ is open this is equivalent to the requirement that the closure (in $X$) of $A$ contains $U$.
 +
 
 +
A set which is not dense in any non-empty open subset of a topological space $X$ is called [[Nowhere-dense set|nowhere dense]].

Revision as of 17:24, 22 September 2012

2020 Mathematics Subject Classification: Primary: 54A05 [MSN][ZBL]

A subset $A$ of topological space $X$ is dense if the closure of $A$ is the entire space $X$. A common alternative definition is:

  • a set $A$ which intersects every nonempty open subset of $X$.

If $U\subset X$, a set $A\subset X$ is called dense in $U$ if $A\cap U$ is a dense set in the subspace topology of $U$. When $U$ is open this is equivalent to the requirement that the closure (in $X$) of $A$ contains $U$.

A set which is not dense in any non-empty open subset of a topological space $X$ is called nowhere dense.

How to Cite This Entry:
Dense set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dense_set&oldid=16528
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article