|
Completely Uniformizable Space
In mathematics, a topological space (''X'', ''T'') is called completely uniformizable (or Dieudonné complete) if there exists at least one complete uniformity that induces the topology ''T''. Some authors additionally require ''X'' to be Hausdorff. Some authors have called these spaces topologically complete, although that term has also been used in other meanings like ''completely metrizable'', which is a stronger property than ''completely uniformizable''. Properties * Every completely uniformizable space is uniformizable and thus completely regular. * A completely regular space ''X'' is completely uniformizable if and only if the fine uniformity on ''X'' is complete. * Every regular paracompact space (in particular, every Hausdorff paracompact space) is completely uniformizable. * (Shirota's theorem) A completely regular Hausdorff space is realcompact if and only if it is completely uniformizable and contains no closed discrete subspace of measurable cardinality.Beckenstein ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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 topological space is a Set (mathematics), set whose elements are called Point (geometry), points, along with an additional structure called a topology, which can be defined as a set of Neighbourhood (mathematics), neighbourhoods for each point that satisfy some Axiom#Non-logical axioms, axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a space (mathematics), mathematical space that allows for the definition of Limit (mathematics), limits, Continuous function (topology), continuity, and Connected space, connectedness. Common types ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] [Amazon] |
Hausdorff Space
In topology and related branches of mathematics, a Hausdorff space ( , ), T2 space or separated space, is a topological space where distinct points have disjoint neighbourhoods. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of limits of sequences, nets, and filters. Hausdorff spaces are named after Felix Hausdorff, one of the founders of topology. Hausdorff's original definition of a topological space (in 1914) included the Hausdorff condition as an axiom. Definitions Points x and y in a topological space X can be '' separated by neighbourhoods'' if there exists a neighbourhood U of x and a neighbourhood V of y such that U and V are disjoint (U\cap V=\varnothing). X is a Hausdorff space if any two distinct points in X are separated by neighbourhoods. This condition is the third separation axiom (after T0 and T1), which is why Hausdorff ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Completely Metrizable
In mathematics, a completely metrizable space (metrically topologically complete space) is a topological space (''X'', ''T'') for which there exists at least one metric ''d'' on ''X'' such that (''X'', ''d'') is a complete metric space and ''d'' induces the topology ''T''. The term topologically complete space is employed by some authors as a synonym for ''completely metrizable space'', but sometimes also used for other classes of topological spaces, like completely uniformizable spaces or Čech-complete spaces. Difference between ''complete metric space'' and ''completely metrizable space'' The distinction between a ''completely metrizable space'' and a ''complete metric space'' lies in the words ''there exists at least one metric'' in the definition of completely metrizable space, which is not the same as ''there is given a metric'' (the latter would yield the definition of complete metric space). Once we make the choice of the metric on a completely metrizable space (out of al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Uniformizable
In mathematics, a topological space ''X'' is uniformizable if there exists a uniform structure on ''X'' that Uniform space#Topology of uniform spaces, induces the topology of ''X''. Equivalently, ''X'' is uniformizable if and only if it is homeomorphic to a uniform space (equipped with the topology induced by the uniform structure). Any (pseudometric space, pseudo)metrizable space is uniformizable since the (pseudo)metric uniformity induces the (pseudo)metric topology. The converse fails: There are uniformizable spaces that are not (pseudo)metrizable. However, it is true that the topology of a uniformizable space can always be induced by a ''class (set theory), family'' of Pseudometric space, pseudometrics; indeed, this is because any uniformity on a set ''X'' can be uniform space#Pseudometrics definition, defined by a family of pseudometrics. Showing that a space is uniformizable is much simpler than showing it is metrizable. In fact, uniformizability is equivalent to a common se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Completely Regular
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 topo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Fine Uniformity
In mathematics, a topological space ''X'' is uniformizable if there exists a uniform structure on ''X'' that induces the topology of ''X''. Equivalently, ''X'' is uniformizable if and only if it is homeomorphic to a uniform space (equipped with the topology induced by the uniform structure). Any (pseudo)metrizable space is uniformizable since the (pseudo)metric uniformity induces the (pseudo)metric topology. The converse fails: There are uniformizable spaces that are not (pseudo)metrizable. However, it is true that the topology of a uniformizable space can always be induced by a ''family'' of pseudometrics; indeed, this is because any uniformity on a set ''X'' can be defined by a family of pseudometrics. Showing that a space is uniformizable is much simpler than showing it is metrizable. In fact, uniformizability is equivalent to a common separation axiom: :''A topological space is uniformizable if and only if it is completely regular.'' Induced uniformity One way to constru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Regular Space
In topology and related fields of mathematics, a topological space ''X'' is called a regular space if every closed subset ''C'' of ''X'' and a point ''p'' not contained in ''C'' have non-overlapping open neighborhoods. Thus ''p'' and ''C'' can be separated by neighborhoods. This condition is known as Axiom T3. The term "T3 space" usually means "a regular Hausdorff space". These conditions are examples of separation axioms. Definitions A topological space ''X'' is a regular space if, given any closed set ''F'' and any point ''x'' that does not belong to ''F'', there exists a neighbourhood ''U'' of ''x'' and a neighbourhood ''V'' of ''F'' that are disjoint. Concisely put, it must be possible to separate ''x'' and ''F'' with disjoint neighborhoods. A or is a topological space that is both regular and a Hausdorff space. (A Hausdorff space or T2 space is a topological space in which any two distinct points are separated by neighbourhoods.) It turns out that a space is T3 i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] [Amazon] |
Realcompact
In mathematics, in the field of topology, a topological space is said to be realcompact if it is completely regular Hausdorff and it contains every point of its Stone–Čech compactification that is real (meaning that the quotient field at that point of the ring of real functions is the reals). Realcompact spaces have also been called Q-spaces, saturated spaces, functionally complete spaces, real-complete spaces, replete spaces and Hewitt–Nachbin spaces (named after Edwin Hewitt and Leopoldo Nachbin). Realcompact spaces were introduced by . Properties *A space is realcompact if and only if it can be embedded homeomorphically as a closed subset in some (not necessarily finite) Cartesian power of the reals, with the product topology. Moreover, a (Hausdorff) space is realcompact if and only if it has the uniform topology and is complete for the uniform structure generated by the continuous real-valued functions (Gillman, Jerison, p. 226). *For example Lindelöf spaces ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Measurable Cardinal
In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure (mathematics), measure on a cardinal ''κ'', or more generally on any set. For a cardinal ''κ'', it can be described as a subdivision of all of its subsets into large and small sets such that ''κ'' itself is large, ∅ and all singleton (mathematics), singletons (with ''α'' ∈ ''κ'') are small, set complement, complements of small sets are large and vice versa. The intersection of fewer than ''κ'' large sets is again large. It turns out that uncountable cardinals endowed with a two-valued measure are large cardinals whose existence cannot be proved from ZFC. The concept of a measurable cardinal was introduced by Stanisław Ulam in 1930. Definition Formally, a measurable cardinal is an uncountable cardinal number ''κ'' such that there exists a ''κ''-additive, non-trivial, 0-1-valued measure (mathematics), measure ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
