|
Second-countable
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 T is second-countable if there exists some countable collection \mathcal = \_^ of open subsets of T such that any open subset of T can be written as a union of elements of some subfamily of \mathcal. 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 (R''n'') 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separable Space
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. Like the other axioms of countability, separability is a "limitation on size", not necessarily in terms of cardinality (though, in the presence of the Hausdorff axiom, this does turn out to be the case; see below) but in a more subtle topological sense. In particular, every continuous function on a separable space whose image is a subset of a Hausdorff space is determined by its values on the countable dense subset. Contrast separability with the related notion of second countability, which is in general stronger but equivalent on the class of metrizable spaces. First examples Any topological space that is itself finite or countably infinite is separable, for the whole space is a countable dense subset of itself. An importa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metrizable
In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space (X, \mathcal) is said to be metrizable if there is a metric d : X \times X \to , \infty) such that the topology induced by d is \mathcal. Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable. Properties Metrizable spaces inherit all topological properties from metric spaces. For example, they are Hausdorff paracompact spaces (and hence normal and Tychonoff) and first-countable. However, some properties of the metric, such as completeness, cannot be said to be inherited. This is also true of other structures linked to the metric. A metrizable uniform space, for example, may have a different set of contraction maps than a metric space to which it is homeomorphic. Metrization theorems One of the first widely recognized metrization theorems was . This states that every H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Urysohn's Metrization Theorem
In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space (X, \mathcal) is said to be metrizable if there is a metric d : X \times X \to , \infty) such that the topology induced by d is \mathcal. Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable. Properties Metrizable spaces inherit all topological properties from metric spaces. For example, they are Hausdorff paracompact spaces (and hence normal and Tychonoff) and first-countable. However, some properties of the metric, such as completeness, cannot be said to be inherited. This is also true of other structures linked to the metric. A metrizable uniform space, for example, may have a different set of contraction maps than a metric space to which it is homeomorphic. Metrization theorems One of the first widely recognized metrization theorems was . This states that every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lindelöf Space
In mathematics, a Lindelöf space is a topological space in which every open cover has a countable subcover. The Lindelöf property is a weakening of the more commonly used notion of '' compactness'', which requires the existence of a ''finite'' subcover. A hereditarily Lindelöf space is a topological space such that every subspace of it is Lindelöf. Such a space is sometimes called strongly Lindelöf, but confusingly that terminology is sometimes used with an altogether different meaning. The term ''hereditarily Lindelöf'' is more common and unambiguous. Lindelöf spaces are named after the Finnish mathematician Ernst Leonard Lindelöf. Properties of Lindelöf spaces * Every compact space, and more generally every σ-compact space, is Lindelöf. In particular, every countable space is Lindelöf. * A Lindelöf space is compact if and only if it is countably compact. * Every second-countable space is Lindelöf, but not conversely. For example, there are many compact spaces ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lower Limit Topology
In mathematics, the lower limit topology or right half-open interval topology is a topology defined on the set \mathbb of real numbers; it is different from the standard topology on \mathbb (generated by the open intervals) and has a number of interesting properties. It is the topology generated by the basis of all half-open intervals ''a'',''b''),_where_''a''_and_''b''_are_real_numbers. The_resulting_topological_space.html" ;"title="/nowiki>''a'',''b''), where ''a'' and ''b'' are real numbers. The resulting topological space">/nowiki>''a'',''b''), where ''a'' and ''b'' are real numbers. The resulting topological space is called the Sorgenfrey line after Robert Sorgenfrey or the arrow and is sometimes written \mathbb_l. Like the Cantor set and the long line (topology), long line, the Sorgenfrey line often serves as a useful counterexample to many otherwise plausible-sounding conjectures in general topology. The product of \mathbb_l with itself is also a useful counterexample ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Space
In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a , meaning they are '' isolated'' from each other in a certain sense. The discrete topology is the finest topology that can be given on a set. Every subset is open in the discrete topology so that in particular, every singleton subset is an open set in the discrete topology. Definitions Given a set X: A metric space (E,d) is said to be '' uniformly discrete'' if there exists a ' r > 0 such that, for any x,y \in E, one has either x = y or d(x,y) > r. The topology underlying a metric space can be discrete, without the metric being uniformly discrete: for example the usual metric on the set \left\. Properties The underlying uniformity on a discrete metric space is the discrete uniformity, and the underlying topology on a discrete uniform space is the discrete topology. Thus, the different notions of discrete space are compatible with one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First-countable Space
In topology, a branch of mathematics, a first-countable space is a topological space satisfying the "first axiom of countability". Specifically, a space X is said to be first-countable if each point has a countable neighbourhood basis (local base). That is, for each point x in X there exists a sequence N_1, N_2, \ldots of neighbourhoods of x such that for any neighbourhood N of x there exists an integer i with N_i contained in N. Since every neighborhood of any point contains an open neighborhood of that point, the neighbourhood basis can be chosen without loss of generality to consist of open neighborhoods. Examples and counterexamples The majority of 'everyday' spaces in mathematics are first-countable. In particular, every metric space is first-countable. To see this, note that the set of open balls centered at x with radius 1/n for integers form a countable local base at x. An example of a space which is not first-countable is the cofinite topology on an uncountable set ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact 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 by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''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 ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' 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 topologic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countability Axiom
In mathematics, an axiom of countability is a property of certain mathematical objects that asserts the existence of a countable set with certain properties. Without such an axiom, such a set might not provably exist. Important examples Important countability axioms for topological spaces include:. *sequential space: a set is open if every sequence convergent to a point in the set is eventually in the set *first-countable space: every point has a countable neighbourhood basis (local base) *second-countable space: the topology has a countable base *separable space: there exists a countable dense subset *Lindelöf space: every open cover has a countable subcover *σ-compact space: there exists a countable cover by compact spaces Relationships with each other These axioms are related to each other in the following ways: *Every first-countable space is sequential. *Every second-countable space is first countable, separable, and Lindelöf. *Every σ-compact space is Lindelöf. *Every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Base (topology)
In mathematics, a base (or basis) for the topology of a topological space is a family \mathcal of open subsets of such that every open set of the topology is equal to the union of some sub-family of \mathcal. For example, the set of all open intervals in the real number line \R is a basis for the Euclidean topology on \R because every open interval is an open set, and also every open subset of \R can be written as a union of some family of open intervals. Bases are ubiquitous throughout topology. The sets in a base for a topology, which are called , are often easier to describe and use than arbitrary open sets. Many important topological definitions such as continuity and convergence can be checked using only basic open sets instead of arbitrary open sets. Some topologies have a base of open sets with specific useful properties that may make checking such topological definitions easier. Not all families of subsets of a set X form a base for a topology on X. Under some cond ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paracompact
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed subspace of a paracompact space is paracompact. While compact subsets of Hausdorff spaces are always closed, this is not true for paracompact subsets. A space such that every subspace of it is a paracompact space is called hereditarily paracompact. This is equivalent to requiring that every open subspace be paracompact. Tychonoff's theorem (which states that the product of any collection of compact topological spaces is compact) does not generalize to paracompact spaces in that the product of paracompact spaces need not be paracompact. Howeve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Completely Normal Space
In topology and related branches of mathematics, a normal space is a topological space ''X'' that satisfies Axiom T4: every two disjoint closed sets of ''X'' have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T5 spaces, and perfectly normal Hausdorff spaces, or T6 spaces. Definitions A topological space ''X'' is a normal space if, given any disjoint closed sets ''E'' and ''F'', there are neighbourhoods ''U'' of ''E'' and ''V'' of ''F'' that are also disjoint. More intuitively, this condition says that ''E'' and ''F'' can be separated by neighbourhoods. A T4 space is a T1 space ''X'' that is normal; this is equivalent to ''X'' being normal and Hausdorff. A completely normal space, or , is a topological space ''X'' such that every subspace of ''X'' with subspace topology is a normal space. It turns out ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
