|
Sorgenfrey Plane
In topology, the Sorgenfrey plane is a frequently-cited counterexample to many otherwise plausible-sounding conjectures. It consists of the product of two copies of the Sorgenfrey line, which is the real line \mathbb under the half-open interval topology. The Sorgenfrey line and plane are named for the American mathematician Robert Sorgenfrey. A basis for the Sorgenfrey plane, denoted \mathbb from now on, is therefore the set of rectangles that include the west edge, southwest corner, and south edge, and omit the southeast corner, east edge, northeast corner, north edge, and northwest corner. Open sets in \mathbb are unions of such rectangles. \mathbb is an example of a space that is a product of Lindelöf spaces that is not itself a Lindelöf space. The so-called anti-diagonal \Delta = \ is an uncountable discrete subset of this space, and this is a non- separable subset of the separable space \mathbb. It shows that separability does not inherit to closed subspaces. Note ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sorgenfrey Plane
In topology, the Sorgenfrey plane is a frequently-cited counterexample to many otherwise plausible-sounding conjectures. It consists of the product of two copies of the Sorgenfrey line, which is the real line \mathbb under the half-open interval topology. The Sorgenfrey line and plane are named for the American mathematician Robert Sorgenfrey. A basis for the Sorgenfrey plane, denoted \mathbb from now on, is therefore the set of rectangles that include the west edge, southwest corner, and south edge, and omit the southeast corner, east edge, northeast corner, north edge, and northwest corner. Open sets in \mathbb are unions of such rectangles. \mathbb is an example of a space that is a product of Lindelöf spaces that is not itself a Lindelöf space. The so-called anti-diagonal \Delta = \ is an uncountable discrete subset of this space, and this is a non- separable subset of the separable space \mathbb. It shows that separability does not inherit to closed subspaces. Note ... [...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 \_^ 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. An importa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Counterexamples In Topology
''Counterexamples in Topology'' (1970, 2nd ed. 1978) is a book on mathematics by topologists Lynn Steen and J. Arthur Seebach, Jr. In the process of working on problems like the metrization problem, topologists (including Steen and Seebach) have defined a wide variety of topological properties. It is often useful in the study and understanding of abstracts such as topological spaces to determine that one property does not follow from another. One of the easiest ways of doing this is to find a counterexample which exhibits one property but not the other. In ''Counterexamples in Topology'', Steen and Seebach, together with five students in an undergraduate research project at St. Olaf College, Minnesota in the summer of 1967, canvassed the field of topology for such counterexamples and compiled them in an attempt to simplify the literature. For instance, an example of a first-countable space which is not second-countable is counterexample #3, the discrete topology on an uncoun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bull
A bull is an intact (i.e., not castrated) adult male of the species ''Bos taurus'' (cattle). More muscular and aggressive than the females of the same species (i.e., cows), bulls have long been an important symbol in many religions, including for sacrifices. These animals play a significant role in beef ranching, dairy farming, and a variety of sporting and cultural activities, including bullfighting and bull riding. Due to their temperament, handling requires precautions. Nomenclature The female counterpart to a bull is a cow, while a male of the species that has been castrated is a ''steer'', '' ox'', or ''bullock'', although in North America, this last term refers to a young bull. Use of these terms varies considerably with area and dialect. Colloquially, people unfamiliar with cattle may refer to both castrated and intact animals as "bulls". A wild, young, unmarked bull is known as a ''micky'' in Australia.Sheena Coupe (ed.), ''Frontier Country, Vol. 1'' (Weldon R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Van Nostrand Reinhold
John Wiley & Sons, Inc., commonly known as Wiley (), is an American Multinational corporation, multinational publishing company founded in 1807 that focuses on academic publishing and instructional materials. The company produces books, Academic journal, journals, and encyclopedias, in print and electronically, as well as online products and services, training materials, and educational materials for undergraduate, graduate, and continuing education students. History The company was established in 1807 when Charles Wiley opened a print shop in Manhattan. The company was the publisher of 19th century American literary figures like James Fenimore Cooper, Washington Irving, Herman Melville, and Edgar Allan Poe, as well as of legal, religious, and other non-fiction titles. The firm took its current name in 1865. Wiley later shifted its focus to scientific, Technology, technical, and engineering subject areas, abandoning its literary interests. Wiley's son John (born in Flatbush, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moore Plane
In mathematics, the Moore plane, also sometimes called Niemytzki plane (or Nemytskii plane, Nemytskii's tangent disk topology), is a topological space. It is a completely regular Hausdorff space (also called Tychonoff space) that is not normal. It is named after Robert Lee Moore and Viktor Vladimirovich Nemytskii. Definition If \Gamma is the (closed) upper half-plane \Gamma = \, then a topology may be defined on \Gamma by taking a local basis \mathcal(p,q) as follows: *Elements of the local basis at points (x,y) with y>0 are the open discs in the plane which are small enough to lie within \Gamma. *Elements of the local basis at points p = (x,0) are sets \\cup A where ''A'' is an open disc in the upper half-plane which is tangent to the ''x'' axis at ''p''. That is, the local basis is given by :\mathcal(p,q) = \begin \, & \mbox q > 0; \\ \, & \mbox q = 0. \end Thus the subspace topology inherited by \Gamma\backslash \ is the same as the subspace topology inherited from the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Topologies
The following is a list of named topologies or topological spaces, many of which are counterexamples in topology and related branches of mathematics. This is not a list of properties that a topology or topological space might possess; for that, see List of general topology topics and Topological property. Widely known topologies * The Baire space − \N^ with the product topology, where \N denotes the natural numbers endowed with the discrete topology. It is the space of all sequences of natural numbers. * Cantor set − A subset of the closed interval , 1/math> with remarkable properties. ** Cantor dust * Discrete topology − All subsets are open. * Euclidean topology − The natural topology on Euclidean space \Reals^n induced by the Euclidean metric, which is itself induced by the Euclidean norm. ** Real line − \Reals ** Space-filling curve ** Unit interval − , 1/math> * Extended real number line * Hilbert cube − , 1/1\times , 1/2\times , 1/3\times \cdots with t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Space
In topology and related branches of mathematics, a normal space is a topological space ''X'' that satisfies Axiom T4: every two disjoint closed sets of ''X'' have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T5 spaces, and perfectly normal Hausdorff spaces, or T6 spaces. Definitions A topological space ''X'' is a normal space if, given any disjoint closed sets ''E'' and ''F'', there are neighbourhoods ''U'' of ''E'' and ''V'' of ''F'' that are also disjoint. More intuitively, this condition says that ''E'' and ''F'' can be separated by neighbourhoods. A T4 space is a T1 space ''X'' that is normal; this is equivalent to ''X'' being normal and Hausdorff. A completely normal space, or , is a topological space ''X'' such that every subspace of ''X'' with subspace topology is a normal space. It turns out that ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Subspace
In topology and related areas of mathematics, a subspace of a topological space ''X'' is a subset ''S'' of ''X'' which is equipped with a topology induced from that of ''X'' called the subspace topology (or the relative topology, or the induced topology, or the trace topology). Definition Given a topological space (X, \tau) and a subset S of X, the subspace topology on S is defined by :\tau_S = \lbrace S \cap U \mid U \in \tau \rbrace. That is, a subset of S is open in the subspace topology if and only if it is the intersection of S with an open set in (X, \tau). If S is equipped with the subspace topology then it is a topological space in its own right, and is called a subspace of (X, \tau). Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated. Alternatively we can define the subspace topology for a subset S of X as the coarsest topology for which the inclusion map :\iota: S \hookrightarrow X is continuous. More g ... [...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 \_^ 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. An importa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
