|
Tychonoff Cube
In mathematics, more specifically in general topology, the Tychonoff cube is the generalization of the unit cube from the product of a finite number of unit intervals to the product of an infinite, even uncountable number of unit intervals. The Tychonoff cube is named after Andrey Tychonoff, who first considered the arbitrary product of topological spaces and who proved in the 1930s that the Tychonoff cube is compact. Tychonoff later generalized this to the product of collections of arbitrary compact spaces. This result is now known as Tychonoff's theorem and is considered one of the most important results in general topology. Definition Let I denote the unit interval ,1/math>. Given a cardinal number \kappa \geq \aleph_0, we define a Tychonoff cube of weight \kappa as the space I^\kappa with the product topology, i.e. the product \prod_ I_s where \kappa is the cardinality of S and, for all s\in S , I_s = I . The Hilbert cube, I^ , is a special case of a Tychonoff cu ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that ''a Cartesian product of a collection of non-empty sets is non-empty''. Informally put, the axiom of choice says that given any collection of sets, each containing at least one element, it is possible to construct a new set by arbitrarily choosing one element from each set, even if the collection is infinite. Formally, it states that for every indexed family (S_i)_ of nonempty sets, there exists an indexed set (x_i)_ such that x_i \in S_i for every i \in I. The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem. In many cases, a set arising from choosing elements arbitrarily can be made without invoking the axiom of choice; this is, in particular, the case if the number of sets from which to choose the elements is finite, or if a canonical rule on how to choose the elements is available – some distinguishin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Line
In elementary mathematics, a number line is a picture of a graduated straight line (geometry), line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a point. The integers are often shown as specially-marked points evenly spaced on the line. Although the image only shows the integers from –3 to 3, the line includes all real numbers, continuing forever in each direction, and also numbers that are between the integers. It is often used as an aid in teaching simple addition and subtraction, especially involving negative numbers. In advanced mathematics, the number line can be called as a real line or real number line, formally defined as the set (mathematics), set of all real numbers, viewed as a geometry, geometric space (mathematics), space, namely the Euclidean space of dimension one. It can be thought of as a vector space (or affine space), a metric space, a topological ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Long Line (topology)
In topology, the long line (or Alexandroff line) is a topological space somewhat similar to the real line, but in a certain way "longer". It behaves locally just like the real line, but has different large-scale properties (e.g., it is neither Lindelöf nor separable). Therefore, it serves as one of the basic counterexamples of topology. Intuitively, the usual real-number line consists of a countable number of line segments [0,1) laid end-to-end, whereas the long line is constructed from an uncountable number of such segments. Definition The closed long ray L is defined as the cartesian product of the First uncountable ordinal, first uncountable ordinal \omega_1 with the Interval (mathematics), half-open interval [0, 1), equipped with the order topology that arises from the lexicographical order on \omega_1 \times [0,1). The open long ray is obtained from the closed long ray by removing the smallest element (0, 0). The long line is obtained by putting together a long ray i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First Uncountable Ordinal
In mathematics, the first uncountable ordinal, traditionally denoted by \omega_1 or sometimes by \Omega, is the smallest ordinal number that, considered as a set, is uncountable. It is the supremum (least upper bound) of all countable ordinals. When considered as a set, the elements of \omega_1 are the countable ordinals (including finite ordinals), of which there are uncountably many. Like any ordinal number (in von Neumann's approach), \omega_1 is a well-ordered set, with set membership serving as the order relation. \omega_1 is a limit ordinal, i.e. there is no ordinal \alpha such that \omega_1 = \alpha+1. The cardinality of the set \omega_1 is the first uncountable cardinal number, \aleph_1 (aleph-one). The ordinal \omega_1 is thus the initial ordinal of \aleph_1. Under the continuum hypothesis, the cardinality of \omega_1 is \beth_1, the same as that of \mathbb—the set of real numbers. In most constructions, \omega_1 and \aleph_1 are considered equal as sets. To generalize ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First Infinite Ordinal
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite set, infinite sets, ordinal numbers are defined more generally as linearly ordered labels that include the natural numbers and have the property that every set of ordinals has a least element (this is needed for giving a meaning to "the least unused element"). This more general definition allows us to define an ordinal number \omega that is greater than every natural number, along with ordinal numbers \omega + 1, \omega + 2, etc., which are even greater than \omega. A linear order such that every subset has a least element is called a well-order. The axiom of choice implies that every set can be well-ordered, and given two well-ordered sets, one is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinal Space
In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets. If ''X'' is a totally ordered set, the order topology on ''X'' is generated by the subbase of "open rays" :\ :\ for all ''a, b'' in ''X''. Provided ''X'' has at least two elements, this is equivalent to saying that the open intervals :(a,b) = \ together with the above rays form a base for the order topology. The open sets in ''X'' are the sets that are a union of (possibly infinitely many) such open intervals and rays. A topological space ''X'' is called orderable or linearly orderable if there exists a total order on its elements such that the order topology induced by that order and the given topology on ''X'' coincide. The order topology makes ''X'' into a completely normal Hausdorff space. The standard topologies on R, Q, Z, and N are the order topologies. Ind ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Product
In topology and related areas of mathematics, a product space is the Cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more natural-seeming, topology called the box topology, which can also be given to a product space and which agrees with the product topology when the product is over only finitely many spaces. However, the product topology is "correct" in that it makes the product space a categorical product of its factors, whereas the box topology is too fine; in that sense the product topology is the natural topology on the Cartesian product. Definition Throughout, I will be some non-empty index set and for every index i \in I, let X_i be a topological space. Denote the Cartesian product of the sets X_i by X := \prod X_ := \prod_ X_i and for every index i \in I, denote the i-th by \begin p_i :\;&& \prod_ X_j &&\;\to\; & X_i \\ .3ex && \left( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tychonoff Plank
In topology, the Tychonoff plank is a topological space defined using ordinal spaces that is a counterexample to several plausible-sounding conjectures. It is defined as the topological product of the two ordinal spaces ,\omega_1/math> and ,\omega/math>, where \omega is the first infinite ordinal and \omega_1 the first uncountable ordinal. The deleted Tychonoff plank is obtained by deleting the point \infty = (\omega_1,\omega). Properties The Tychonoff plank is a compact Hausdorff space and is therefore a normal space. However, the deleted Tychonoff plank is non-normal. Therefore the Tychonoff plank is not completely normal. This shows that a subspace of a normal space need not be normal. The Tychonoff plank is not perfectly normal because it is not a Gδ space: the singleton \ is closed but not a Gδ set. The Stone–Čech compactification of the deleted Tychonoff plank is the Tychonoff plank. Notes See also * List of topologies The following is a list of named top ... [...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 refers to any completely regular space that is also a Hausdorff space; there exist completely regular spaces that are not Tychonoff (i.e. not Hausdorff). Tychonoff spaces are named after Andrey Nikolayevich Tychonoff, whose Russian name (Тихонов) is variously rendered as "Tychonov", "Tikhonov", "Tihonov", "Tichonov", etc. who introduced them in 1930 in order to avoid the pathological situation of Hausdorff spaces whose only continuous real-valued functions are constant maps. 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 tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Space
In mathematics, a universal space is a certain metric space that contains all metric spaces whose dimension is bounded by some fixed constant. A similar definition exists in topological dynamics. Definition Given a class \textstyle \mathcal of topological spaces, \textstyle \mathbb\in\mathcal is universal for \textstyle \mathcal if each member of \textstyle \mathcal embeds in \textstyle \mathbb. Menger stated and proved the case \textstyle d=1 of the following theorem. The theorem in full generality was proven by Nöbeling. Theorem: The \textstyle (2d+1)-dimensional cube \textstyle ,1 is universal for the class of compact metric spaces whose Lebesgue covering dimension is less than \textstyle d. Nöbeling went further and proved: Theorem: The subspace of \textstyle ,1 consisting of set of points, at most \textstyle d of whose coordinates are rational, is universal for the class of separable metric spaces whose Lebesgue covering dimension is less than \textstyle d. The last ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers in the rational numbers, the rational n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
