Definition:Scattered Space
Definition
Let $T = \struct {S, \tau}$ be a topological space.
Definition 1
A topological space $T = \struct {S, \tau}$ is scattered if and only if it contains no non-empty subset which is dense-in-itself.
That is, $T = \struct {S, \tau}$ is scattered if and only if every non-empty subset $H$ of $S$ contains at least one point which is isolated in $H$.
Definition 2
A topological space $T = \left({S, \tau}\right)$ is scattered if and only if it contains no non-empty closed set which is dense-in-itself.
That is, $T = \left({S, \tau}\right)$ is scattered if and only if every non-empty closed set $H$ of $S$ contains at least one point which is isolated in $H$.
Also defined as
According to 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.), a topological space $T$ is defined as scattered:
- ... if it contains no non-empty dense-in-itself subsets; ...
and it is immaterial whether those subsets are closed or not.
On the other hand, PlanetMath's definition specifically requires that in order for a space to be classified as scattered, only its closed subsets are required to contain one or more isolated points.
There are few other reliable definitions to be found (the concept can be found neither on Wikipedia nor even MathWorld), and when the concept is used at all, the definitions go either way.
However, it is apparent that the two definitions are equivalent, and so ultimately it does not matter which definition is used.
Also see
- Results about scattered spaces can be found here.
Sources
This page may be the result of a refactoring operation. As such, the following source works, along with any process flow, will need to be reviewed. When this has been completed, the citation of that source work (if it is appropriate that it stay on this page) is to be placed above this message, into the usual chronological ordering. In particular: Contains a different definition here: has no non-empty perfect subset If you have access to any of these works, then you are invited to review this list, and make any necessary corrections. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{SourceReview}} from the code. |
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): scattered (of a set in a topological space)