|
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 normal and Tychonoff space">Tychonoff) and First-countable space">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 mapping, contraction maps than a metric space to which it is homeomorphic. Metrization theorems One of the first widely recognized metrization theo ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Space
In mathematics, a metric space is a set together with a notion of '' distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bing Metrization Theorem
In topology, the Bing metrization theorem, named after R. H. Bing, characterizes when a topological space is metrizable. Formal statement The theorem states that a topological space X is metrizable if and only if it is regular The term regular can mean normal or in accordance with rules. It may refer to: People * Moses Regular (born 1971), America football player Arts, entertainment, and media Music * "Regular" (Badfinger song) * Regular tunings of stringed instrum ... and T0 and has a σ-discrete basis. A family of sets is called σ-discrete when it is a union of countably many discrete collections, where a family \mathcal of subsets of a space X is called discrete, when every point of X has a neighborhood that intersects at most one member of \mathcal. History The theorem was proven by Bing in 1951 and was an independent discovery with the Nagata–Smirnov metrization theorem that was proved independently by both Nagata (1950) and Smirnov (1951). Both theore ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nagata–Smirnov Metrization Theorem
The Nagata–Smirnov metrization theorem in topology characterizes when a topological space is metrizable. The theorem states that a topological space X is metrizable if and only if it is regular, Hausdorff and has a countably locally finite (that is, -locally finite) basis. A topological space X is called a regular space if every non-empty closed subset C of X and a point p not contained in C admit non-overlapping open neighborhoods. A collection in a space X is countably locally finite (or -locally finite) if it is the union of a countable family of locally finite collections of subsets of X. Unlike 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 , \inft ..., which provides only a sufficient condition for metrizability, this theorem provides both a necess ... [...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. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uniform Space
In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure that is used to define uniform properties such as completeness, uniform continuity and uniform convergence. Uniform spaces generalize metric spaces and topological groups, but the concept is designed to formulate the weakest axioms needed for most proofs in analysis. In addition to the usual properties of a topological structure, in a uniform space one formalizes the notions of relative closeness and closeness of points. In other words, ideas like "''x'' is closer to ''a'' than ''y'' is to ''b''" make sense in uniform spaces. By comparison, in a general topological space, given sets ''A,B'' it is meaningful to say that a point ''x'' is ''arbitrarily close'' to ''A'' (i.e., in the closure of ''A''), or perhaps that ''A'' is a ''smaller neighborhood'' of ''x'' than ''B'', but notions of closeness of points and relative closene ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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-countabili ... [...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 top ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Finite Collection
In the mathematical field of topology, local finiteness is a property of collections of subsets of a topological space. It is fundamental in the study of paracompactness and topological dimension. A collection of subsets of a topological space X is said to be locally finite if each point in the space has a neighbourhood that intersects only finitely many of the sets in the collection. Note that the term locally finite has different meanings in other mathematical fields. Examples and properties A finite collection of subsets of a topological space is locally finite. Infinite collections can also be locally finite: for example, the collection of all subsets of \mathbb of the form (n, n+2) for an integer n. A countable collection of subsets need not be locally finite, as shown by the collection of all subsets of \mathbb of the form (-n, n) for a natural number ''n''. If a collection of sets is locally finite, the collection of all closures of these sets is also locally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
