|
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, \tau) is said to be metrizable if there is a metric d : X \times X \to , \infty) such that the topology induced by d is \tau. ''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 Tychonoff) and First-countable space">first-countable. However, some properties of the metric, such as Complete metric space">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 theorems was '. T ... [...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 Cover (topology)#Refinement, refinement that is locally finite collection, locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is normal space, normal, and a Hausdorff space is paracompact if and only if it admits partition of unity, partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed set, closed subspace (topology), 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 set, open subspace be paracompact. The notion of paracompact space is also studied in pointless topology, where it is more well-beh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Space
In mathematics, a metric space is a Set (mathematics), set together with a notion of ''distance'' between its Element (mathematics), elements, usually called point (geometry), points. The distance is measured by a function (mathematics), function called a metric or distance function. Metric spaces are a 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 Conceptual metaphor , 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 bra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric (mathematics)
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 a 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 and th ... [...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 and T0 and has a basis. A family of sets is called 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 Bing most often refers to: * Bing Crosby (1903–1977), American singer * Microsoft Bing, a web search engine Bing may also refer to: Food and drink * Bing (bread), a Chinese flatbread * Bing (soft drink), a UK brand * Bing cherry, a varie ... 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 theorems are often merged ... [...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 ( x_n )_^ 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] |
Nagata–Smirnov Metrization Theorem
In topology, the Nagata–Smirnov metrization theorem characterizes when a topological space In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ... 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, which provides only a sufficient condition for metrizability, this theorem provides both a ne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Cube
In mathematics, the Hilbert cube, named after David Hilbert, is a topological space that provides an instructive example of some ideas in topology. Furthermore, many interesting topological spaces can be embedded in the Hilbert cube; that is, can be viewed as subspaces of the Hilbert cube (see below). Definition The Hilbert cube is best defined as the topological product of the intervals , 1/n/math> for n = 1, 2, 3, 4, \ldots. That is, it is a cuboid of countably infinite dimension, where the lengths of the edges in each orthogonal direction form the sequence \left( 1/n \right)_. The Hilbert cube is homeomorphic to the product of countably infinitely many copies of the unit interval , 1 In other words, it is topologically indistinguishable from the unit cube of countably infinite dimension. Some authors use the term "Hilbert cube" to mean this Cartesian product instead of the product of the \left , \tfrac\right/math>. If a point in the Hilbert cube is specified by a se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uniform Space
In the mathematical field of topology, a uniform space is a topological space, set with additional mathematical structure, structure that is used to define ''uniform property, uniform properties'', such as complete space, 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 mathematical analysis, 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 (topology), closure of ''A''), or perhaps that ''A'' is a ''smaller neighborhood'' of ''x'' than ''B'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Metric Space
In mathematical analysis, a metric space is called complete (or a Cauchy space) if every Cauchy sequence of points in has a limit that is also in . Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary). For instance, the set of rational numbers is not complete, because e.g. \sqrt is "missing" from it, even though one can construct a Cauchy sequence of rational numbers that converges to it (see further examples below). It is always possible to "fill all the holes", leading to the ''completion'' of a given space, as explained below. Definition Cauchy sequence A sequence x_1, x_2, x_3, \ldots of elements from X of a metric space (X, d) is called Cauchy if for every positive real number r > 0 there is a positive integer N such that for all positive integers m, n > N, d(x_m, x_n) < r. Complete space A metric space is complete if any of the following equivalent conditions are satisfied: #Every Cauchy seq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tychonoff Space
In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space is any completely regular space that is also a Hausdorff space; there exist completely regular spaces that are not Tychonoff (i.e. not Hausdorff). Paul Urysohn had used the notion of completely regular space in a 1925 paper without giving it a name. But it was Andrey Tychonoff who introduced the terminology ''completely regular'' in 1930. Definitions A topological space X is called if points can be separated from closed sets via (bounded) continuous real-valued functions. In technical terms this means: for any closed set A \subseteq X and any point x \in X \setminus A, there exists a real-valued continuous function f : X \to \R such that f(x)=1 and f\vert_ = 0. (Equivalently one can choose any two values instead of 0 and 1 and even require that f be a bounded function.) A to ... [...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 subsets 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 this to the collection of all open balls with rational radii and whose centers have rational coordinates. This restricted collection is countable and still forms a basis. Properties ... [...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. 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 ,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 topological spaces. One suc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
