To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Second-countable space

From Wikipedia, the free encyclopedia

In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space is second-countable if there exists some countable collection of open subsets of such that any open subset of can be written as a union of elements of some subfamily of . A second-countable space is said to satisfy the second axiom of countability. Like other countability axioms, the property of being second-countable restricts the number of open sets that a space can have.

Many "well-behaved" spaces in mathematics are second-countable. For example, Euclidean space (Rn) with its usual topology is second-countable. Although the usual base of open balls is uncountable, one can restrict to the collection of all open balls with rational radii and whose centers have rational coordinates. This restricted set is countable and still forms a basis.

Properties

Second-countability is a stronger notion than first-countability. A space is first-countable if each point has a countable local base. Given a base for a topology and a point x, the set of all basis sets containing x forms a local base at x. Thus, if one has a countable base for a topology then one has a countable local base at every point, and hence every second-countable space is also a first-countable space. However any uncountable discrete space is first-countable but not second-countable.

Second-countability implies certain other topological properties. Specifically, every second-countable space is separable (has a countable dense subset) and Lindelöf (every open cover has a countable subcover). The reverse implications do not hold. For example, the lower limit topology on the real line is first-countable, separable, and Lindelöf, but not second-countable. For metric spaces, however, the properties of being second-countable, separable, and Lindelöf are all equivalent.[1] Therefore, the lower limit topology on the real line is not metrizable.

In second-countable spaces—as in metric spaces—compactness, sequential compactness, and countable compactness are all equivalent properties.

Urysohn's metrization theorem states that every second-countable, Hausdorff regular space is metrizable. It follows that every such space is completely normal as well as paracompact. Second-countability is therefore a rather restrictive property on a topological space, requiring only a separation axiom to imply metrizability.

Other properties

  • A continuous, open image of a second-countable space is second-countable.
  • Every subspace of a second-countable space is second-countable.
  • Quotients of second-countable spaces need not be second-countable; however, open quotients always are.
  • Any countable product of a second-countable space is second-countable, although uncountable products need not be.
  • The topology of a second-countable space has cardinality less than or equal to c (the cardinality of the continuum).
  • Any base for a second-countable space has a countable subfamily which is still a base.
  • Every collection of disjoint open sets in a second-countable space is countable.

Examples and counterexamples

  • Consider the disjoint countable union . Define an equivalence relation and a quotient topology by identifying the left ends of the intervals - that is, identify 0 ~ 2 ~ 4 ~ … ~ 2k and so on. X is second-countable, as a countable union of second-countable spaces. However, X/~ is not first-countable at the coset of the identified points and hence also not second-countable.
  • The above space is not homeomorphic to the same set of equivalence classes endowed with the obvious metric: i.e. regular Euclidean distance for two points in the same interval, and the sum of the distances to the left hand point for points not in the same interval -- yielding a strictly weaker topology than the above space. It is a separable metric space (consider the set of rational points), and hence is second-countable.
  • The long line is not second-countable, but it is first-countable.

Notes

  1. ^ Willard, theorem 16.11, p. 112

References

  • Stephen Willard, General Topology, (1970) Addison-Wesley Publishing Company, Reading Massachusetts.
  • John G. Hocking and Gail S. Young (1961). Topology. Corrected reprint, Dover, 1988. ISBN 0-486-65676-4
This page was last edited on 2 September 2021, at 14:41
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.