|
Moore Space (topology)
In mathematics, more specifically point-set topology, a Moore space is a developable regular Hausdorff space. That is, a topological space ''X'' is a Moore space if the following conditions hold: * Any two distinct points can be separated by neighbourhoods, and any closed set and any point in its complement can be separated by neighbourhoods. (''X'' is a regular Hausdorff space.) * There is a countable collection of open covers of ''X'', such that for any closed set ''C'' and any point ''p'' in its complement there exists a cover in the collection such that every neighbourhood of ''p'' in the cover is disjoint from ''C''. (''X'' is a developable space.) Moore spaces are generally interesting in mathematics because they may be applied to prove interesting metrization theorems. The concept of a Moore space was formulated by R. L. Moore in the earlier part of the 20th century. Examples and properties #Every metrizable space, ''X'', is a Moore space. If is the open cover of ''X'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...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-countabilit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Lee Moore
Robert Lee Moore (November 14, 1882 – October 4, 1974) was an American mathematician who taught for many years at the University of Texas. He is known for his work in general topology, for the Moore method of teaching university mathematics, and for his racist treatment of African-American mathematics students. Life Although Moore's father was reared in New England and was of New England ancestry, he fought in the American Civil War on the side of the Confederacy. After the war, he ran a hardware store in Dallas, then little more than a railway stop, and raised six children, of whom Robert, named after the commander of the Confederate Army of Northern Virginia, was the fifth. Moore entered the University of Texas at the unusually youthful age of 15, in 1898, already knowing calculus thanks to self-study. He completed the B.Sc. in three years instead of the usual four; his teachers included G. B. Halsted and L. E. Dickson. After a year as a teaching fellow at Texas, he tau ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pseudonormal Space
In mathematics, in the field of topology, a topological space is said to be pseudonormal if given two disjoint closed sets in it, one of which is countable, there are disjoint open sets containing them. Note the following: * Every normal space is pseudonormal. * Every pseudonormal space is regular. An example of a pseudonormal Moore space that is not 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) s ... was given by , in connection with the conjecture that all normal Moore spaces are metrizable.. References Topology Properties of topological spaces {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Large Cardinal Axiom
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least α such that α=ωα). The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more". There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct philo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Martin's Axiom
In the mathematical field of set theory, Martin's axiom, introduced by Donald A. Martin and Robert M. Solovay, is a statement that is independent of the usual axioms of ZFC set theory. It is implied by the continuum hypothesis, but it is consistent with ZFC and the negation of the continuum hypothesis. Informally, it says that all cardinals less than the cardinality of the continuum, \mathfrak c, behave roughly like \aleph_0. The intuition behind this can be understood by studying the proof of the Rasiowa–Sikorski lemma. It is a principle that is used to control certain forcing arguments. Statement For any cardinal 𝛋, we define a statement, denoted by MA(𝛋): For any partial order ''P'' satisfying the countable chain condition (hereafter ccc) and any family ''D'' of dense sets in ''P'' such that '', D, '' ≤ 𝛋, there is a filter ''F'' on ''P'' such that ''F'' ∩ ''d'' is non-empty for every ''d'' in ''D''. \operatorname(\aleph_0) is simply true — this is kno ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuum Hypothesis
In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states that or equivalently, that In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent to the following equation in aleph numbers: 2^=\aleph_1, or even shorter with beth numbers: \beth_1 = \aleph_1. The continuum hypothesis was advanced by Georg Cantor in 1878, and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900. The answer to this problem is independent of ZFC, so that either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent. This independence was proved in 1963 by Paul Cohen, complementing earlier work by Kurt Gödel in 1940. The name of the hypothesis comes from the term '' the continuum'' for the real numbers. History Cantor believed the continuum hypothesis t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metrization Theorems
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] |
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Connected
In topology and other branches of mathematics, a topological space ''X'' is locally connected if every point admits a neighbourhood basis consisting entirely of open, connected sets. Background Throughout the history of topology, connectedness and compactness have been two of the most widely studied topological properties. Indeed, the study of these properties even among subsets of Euclidean space, and the recognition of their independence from the particular form of the Euclidean metric, played a large role in clarifying the notion of a topological property and thus a topological space. However, whereas the structure of ''compact'' subsets of Euclidean space was understood quite early on via the Heine–Borel theorem, ''connected'' subsets of \R^n (for ''n'' > 1) proved to be much more complicated. Indeed, while any compact Hausdorff space is locally compact, a connected space—and even a connected subset of the Euclidean plane—need not be locally connected (see below). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Compact Space
In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood. In mathematical analysis locally compact spaces that are Hausdorff are of particular interest; they are abbreviated as LCH spaces. Formal definition Let ''X'' be a topological space. Most commonly ''X'' is called locally compact if every point ''x'' of ''X'' has a compact neighbourhood, i.e., there exists an open set ''U'' and a compact set ''K'', such that x\in U\subseteq K. There are other common definitions: They are all equivalent if ''X'' is a Hausdorff space (or preregular). But they are not equivalent in general: :1. every point of ''X'' has a compact neighbourhood. :2. every point of ''X'' has a closed compact neighbourhood. :2′. every point of ''X'' has a relatively compact neighbourhood ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
