Dense-in-itself

Last updated

In general topology, a subset of a topological space is said to be dense-in-itself [1] [2] or crowded [3] [4] if has no isolated point. Equivalently, is dense-in-itself if every point of is a limit point of . Thus is dense-in-itself if and only if , where is the derived set of .

Contents

A dense-in-itself closed set is called a perfect set. (In other words, a perfect set is a closed set without isolated point.)

The notion of dense set is distinct from dense-in-itself. This can sometimes be confusing, as "X is dense in X" (always true) is not the same as "X is dense-in-itself" (no isolated point).

Examples

A simple example of a set that is dense-in-itself but not closed (and hence not a perfect set) is the set of irrational numbers (considered as a subset of the real numbers). This set is dense-in-itself because every neighborhood of an irrational number contains at least one other irrational number . On the other hand, the set of irrationals is not closed because every rational number lies in its closure. Similarly, the set of rational numbers is also dense-in-itself but not closed in the space of real numbers.

The above examples, the irrationals and the rationals, are also dense sets in their topological space, namely . As an example that is dense-in-itself but not dense in its topological space, consider . This set is not dense in but is dense-in-itself.

Properties

A singleton subset of a space can never be dense-in-itself, because its unique point is isolated in it.

The dense-in-itself subsets of any space are closed under unions. [5] In a dense-in-itself space, they include all open sets. [6] In a dense-in-itself T1 space they include all dense sets. [7] However, spaces that are not T1 may have dense subsets that are not dense-in-itself: for example in the dense-in-itself space with the indiscrete topology, the set is dense, but is not dense-in-itself.

The closure of any dense-in-itself set is a perfect set. [8]

In general, the intersection of two dense-in-itself sets is not dense-in-itself. But the intersection of a dense-in-itself set and an open set is dense-in-itself.

See also

Notes

  1. Steen & Seebach, p. 6
  2. Engelking, p. 25
  3. Levy, Ronnie; Porter, Jack (1996). "On Two questions of Arhangel'skii and Collins regarding submaximal spaces" (PDF). Topology Proceedings. 21: 143–154.
  4. Dontchev, Julian; Ganster, Maximilian; Rose, David (1977). "α-Scattered spaces II".
  5. Engelking, 1.7.10, p. 59
  6. Kuratowski, p. 78
  7. Kuratowski, p. 78
  8. Kuratowski, p. 77

Related Research Articles

<span class="mw-page-title-main">Compact space</span> Type of mathematical space

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number linewould be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces.

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

In topology, the closure of a subset S of points in a topological space consists of all points in S together with all limit points of S. The closure of S may equivalently be defined as the union of S and its boundary, and also as the intersection of all closed sets containing S. Intuitively, the closure can be thought of as all the points that are either in S or "very near" S. A point which is in the closure of S is a point of closure of S. The notion of closure is in many ways dual to the notion of interior.

In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood.

The Baire category theorem (BCT) is an important result in general topology and functional analysis. The theorem has two forms, each of which gives sufficient conditions for a topological space to be a Baire space. It is used in the proof of results in many areas of analysis and geometry, including some of the fundamental theorems of functional analysis.

In mathematics, a topological space is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior. According to the Baire category theorem, compact Hausdorff spaces and complete metric spaces are examples of Baire spaces. The Baire category theorem combined with the properties of Baire spaces has numerous applications in topology, geometry, analysis, in particular functional analysis. For more motivation and applications, see the article Baire category theorem. The current article focuses more on characterizations and basic properties of Baire spaces per se.

In the mathematical field of general topology, a meagre set is a subset of a topological space that is small or negligible in a precise sense detailed below. A set that is not meagre is called nonmeagre, or of the second category. See below for definitions of other related terms.

In the mathematical field of topology, a Gδ set is a subset of a topological space that is a countable intersection of open sets. The notation originated from the German nouns Gebiet'open set' and Durchschnitt'intersection'. Historically Gδ sets were also called inner limiting sets, but that terminology is not in use anymore. Gδ sets, and their dual, F𝜎 sets, are the second level of the Borel hierarchy.

In topology and related branches of mathematics, a totally disconnected space is a topological space that has only singletons as connected subsets. In every topological space, the singletons are connected; in a totally disconnected space, these are the only connected subsets.

In topology and related areas of mathematics, a subspace of a topological space X is a subset S of X which is equipped with a topology induced from that of X called the subspace topology.

In mathematics, more specifically in point-set topology, the derived set of a subset of a topological space is the set of all limit points of It is usually denoted by

In general topology, a subset of a topological space is perfect if it is closed and has no isolated points. Equivalently: the set is perfect if , where denotes the set of all limit points of , also known as the derived set of .

<span class="mw-page-title-main">Locally connected space</span> Property of topological spaces

In topology and other branches of mathematics, a topological space X is locally connected if every point admits a neighbourhood basis consisting of open connected sets.

In mathematics a topological space is called countably compact if every countable open cover has a finite subcover.

In mathematics, a topological space is said to be limit point compact or weakly countably compact if every infinite subset of has a limit point in This property generalizes a property of compact spaces. In a metric space, limit point compactness, compactness, and sequential compactness are all equivalent. For general topological spaces, however, these three notions of compactness are not equivalent.

In mathematics, particularly topology, a Gδ space is a topological space in which closed sets are in a way ‘separated’ from their complements using only countably many open sets. A Gδ space may thus be regarded as a space satisfying a different kind of separation axiom. In fact normal Gδ spaces are referred to as perfectly normal spaces, and satisfy the strongest of separation axioms.

In topology and related areas of mathematics, a subset A of a topological space X is said to be dense in X if every point of X either belongs to A or else is arbitrarily "close" to a member of A — for instance, the rational numbers are a dense subset of the real numbers because every real number either is a rational number or has a rational number arbitrarily close to it. Formally, is dense in if the smallest closed subset of containing is itself.

In mathematics, a scattered space is a topological space X that contains no nonempty dense-in-itself subset. Equivalently, every nonempty subset A of X contains a point isolated in A.

References

This article incorporates material from Dense in-itself on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.