|
Arens Square
In mathematics, the Arens square is a topological space, named for Richard Friederich Arens. Its role is mainly to serve as a counterexample. Definition The Arens square is the topological space (X,\tau), where :X=((0,1)^2\cap\mathbb^2)\cup\\cup\\cup\ The topology \tau is defined from the following basis. Every point of (0,1)^2\cap\mathbb^2 is given the local basis of relatively open sets inherited from the Euclidean topology on (0,1)^2. The remaining points of X are given the local bases *U_n(0,0)=\\cup\ *U_n(1,0)=\\cup\ *U_n(1/2,r\sqrt)=\ Properties The space (X,\tau) is: # T2½, since neither points of (0,1)^2\cap\mathbb^2, nor (0,0), nor (0,1) can have the same second coordinate as a point of the form (1/2,r\sqrt), for r\in\mathbb. # not T3 or T3½, since for (0,0)\in U_n(0,0) there is no open set U such that (0,0)\in U\subset \overline\subset U_n(0,0) since \overline must include a point whose first coordinate is 1/4, but no such point exists in U_n(0,0) for any n\in\ma ... [...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] |
Second-countable Space
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-countability ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dense-in-itself
In general topology, a subset A of a topological space is said to be dense-in-itself or crowded if A has no isolated point. Equivalently, A is dense-in-itself if every point of A is a limit point of A. Thus A is dense-in-itself if and only if A\subseteq A', where A' is the derived set of A. A dense-in-itself closed set is called a perfect set. (In other words, a perfect set is a closed set without isolated point.) The notion of dense set is unrelated to ''dense-in-itself''. This can sometimes be confusing, as "X is dense in X" (always true) is not the same as "X is dense-in-itself" (no isolated point). Examples A simple example of a set that is dense-in-itself but not closed (and hence not a perfect set) is the set of irrational numbers (considered as a subset of the real numbers). This set is dense-in-itself because every neighborhood of an irrational number x contains at least one other irrational number y \neq x. On the other hand, the set of irrationals is not closed becau ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Connected Space
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] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that are used to distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a subspace of X. Some related but stronger conditions are path connected, simply connected, and n-connected. Another related notion is ''locally connected'', which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. Some authors exclude the empty set (with its unique topology) as a connected space, but this article does not follow that practice. For a topologi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Totally Disconnected Space
In topology and related branches of mathematics, a totally disconnected space is a topological space that has only singletons as connected subsets. In every topological space, the singletons (and, when it is considered connected, the empty set) are connected; in a totally disconnected space, these are the ''only'' connected proper subsets. An important example of a totally disconnected space is the Cantor set, which is homeomorphic to the set of ''p''-adic integers. Another example, playing a key role in algebraic number theory, is the field of ''p''-adic numbers. Definition A topological space X is totally disconnected if the connected components in X are the one-point sets. Analogously, a topological space X is totally path-disconnected if all path-components in X are the one-point sets. Another closely related notion is that of a totally separated space, i.e. a space where quasicomponents are singletons. That is, a topological space X is totally separated space if a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Compact
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 neighbourhoo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weakly Countably Compact
In mathematics, a topological space ''X'' is said to be limit point compact or weakly countably compact if every infinite subset of ''X'' has a limit point in ''X''. This property generalizes a property of compact spaces. In a metric space, limit point compactness, compactness, and sequential compactness are all equivalent. For general topological spaces, however, these three notions of compactness are not equivalent. Properties and examples * In a topological space, subsets without limit point are exactly those that are closed and discrete in the subspace topology. So a space is limit point compact if and only if all its closed discrete subsets are finite. * A space ''X'' is ''not'' limit point compact if and only if it has an infinite closed discrete subspace. Since any subset of a closed discrete subset of ''X'' is itself closed in ''X'' and discrete, this is equivalent to require that ''X'' has a countably infinite closed discrete subspace. * Some examples of spaces that are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semiregular Space
A semiregular space is a topological space whose regular open sets (sets that equal the interiors of their closures) form a base for the topology. Examples and sufficient conditions Every regular space is semiregular, and every topological space may be embedded into a semiregular space.. The space X = \Reals^2 \cup \ with the double origin topology In mathematics, more specifically general topology, the double origin topology is an example of a topology given to the plane R2 with an extra point, say 0*, added. In this case, the double origin topology gives a topology on the set , where ∐ d ... and the Arens squareSteen & Seebach, example #80 are examples of spaces that are Hausdorff semiregular, but not regular. See also * Notes References * Lynn Arthur Steen and J. Arthur Seebach, Jr., ''Counterexamples in Topology''. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. (Dover edition). * Properties of topological spaces Separation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some 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 mathematical space that allows for the definition of limits, continuity, and connectedness. Common types of topological spaces include Euclidean spaces, metric spaces and manifolds. Although very general, the concept of topological spaces is fundamental, and used in virtually every branch of modern mathematics. The study of topological spac ... [...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] |
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'' admit 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 if a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
