|
Weakly Hausdorff
In mathematics, a weak Hausdorff space or weakly Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. In particular, every Hausdorff space is weak Hausdorff. As a separation property, it is stronger than T1, which is equivalent to the statement that points are closed. Specifically, every weak Hausdorff space is a T1 space. The notion was introduced by M. C. McCord to remedy an inconvenience of working with the category of Hausdorff spaces. It is often used in tandem with compactly generated spaces in algebraic topology. For that, see the category of compactly generated weak Hausdorff spaces. k-Hausdorff spaces A is a topological space which satisfies any of the following equivalent conditions: # Each compact subspace is Hausdorff. # The diagonal \ is k-closed in X \times X. #* A subset A \subseteq Y is , if A \cap C is closed in C for each compact C \subseteq Y. # Each compact subspace is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Final Topology
In general topology and related areas of mathematics, the final topology (or coinduced, weak, colimit, or inductive topology) on a Set (mathematics), set X, with respect to a family of functions from Topological space, topological spaces into X, is the finest topology on X that makes all those functions Continuous function (topology), continuous. The Quotient space (topology), quotient topology on a quotient space is a final topology, with respect to a single surjective function, namely the quotient map. The Disjoint union (topology), disjoint union topology is the final topology with respect to the inclusion maps. The final topology is also the topology that every direct limit in the category of topological spaces is endowed with, and it is in the context of direct limits that the final topology often appears. A topology is Coherent topology, coherent with some collection of Subspace topology, subspaces if and only if it is the final topology induced by the natural inclusions. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Path (topology)
In mathematics, a path in a topological space X is a continuous function from a closed interval into X. Paths play an important role in the fields of topology and mathematical analysis. For example, a topological space for which there exists a path connecting any two points is said to be path-connected. Any space may be broken up into path-connected components. The set of path-connected components of a space X is often denoted \pi_0(X). One can also define paths and loops in pointed spaces, which are important in homotopy theory. If X is a topological space with basepoint x_0, then a path in X is one whose initial point is x_0. Likewise, a loop in X is one that is based at x_0. Definition A ''curve'' in a topological space X is a continuous function f : J \to X from a non-empty and non-degenerate interval J \subseteq \R. A in X is a curve f : , b\to X whose domain , b/math> is a compact non-degenerate interval (meaning a is homeomorphic to , 1 which is why a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compactly Generated Space
In topology, a topological space X is called a compactly generated space or k-space if its topology is determined by compact spaces in a manner made precise below. There is in fact no commonly agreed upon definition for such spaces, as different authors use variations of the definition that are not exactly equivalent to each other. Also some authors include some separation axiom (like Hausdorff space or weak Hausdorff space) in the definition of one or both terms, and others do not. In the simplest definition, a ''compactly generated space'' is a space that is coherent with the family of its compact subspaces, meaning that for every set A \subseteq X, A is open in X if and only if A \cap K is open in K for every compact subspace K \subseteq X. Other definitions use a family of continuous maps from compact spaces to X and declare X to be compactly generated if its topology coincides with the final topology with respect to this family of maps. And other variations of the definit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neighborhood (topology)
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a point is a set of points containing that point where one can move some amount in any direction away from that point without leaving the set. Definitions Neighbourhood of a point If X is a topological space and p is a point in X, then a neighbourhood of p is a subset V of X that includes an open set U containing p, p \in U \subseteq V \subseteq X. This is equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need not be an open subset of X. When V is open (resp. closed, compact, etc.) in X, it is called an (resp. closed neighbourhood, compact neighbourhood, etc.). Some authors require neighbourhoods to be open, so it is important to note their conventions. A set that is a neighbourhoo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K-closed Set
In topology, a topological space X is called a compactly generated space or k-space if its topology is determined by compact spaces in a manner made precise below. There is in fact no commonly agreed upon definition for such spaces, as different authors use variations of the definition that are not exactly equivalent to each other. Also some authors include some separation axiom (like Hausdorff space or weak Hausdorff space) in the definition of one or both terms, and others do not. In the simplest definition, a ''compactly generated space'' is a space that is coherent with the family of its compact subspaces, meaning that for every set A \subseteq X, A is open in X if and only if A \cap K is open in K for every compact subspace K \subseteq X. Other definitions use a family of continuous maps from compact spaces to X and declare X to be compactly generated if its topology coincides with the final topology with respect to this family of maps. And other variations of the definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Compactly Generated Weak Hausdorff Spaces
In mathematics, the category of compactly generated weak Hausdorff spaces, CGWH, is a category used in algebraic topology as an alternative to the category of topological spaces, Top, as the latter lacks some properties that are common in practice and often convenient to use in proofs. There is also such a category for the CGWH analog of pointed topological spaces, defined by requiring maps to preserve base points. The articles compactly generated space and weak Hausdorff space define the respective topological properties. For the historical motivation behind these conditions on spaces, see Compactly generated space#Motivation. This article focuses on the properties of the category. Properties CGWH has the following properties: *It is complete and cocomplete. *The forgetful functor to the sets preserves small limits. *It contains all the locally compact Hausdorff spaces and all the CW complexes. *An internal Hom exists for any pairs of spaces ''X'' and ''Y''; it is denoted by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compactly Generated Space
In topology, a topological space X is called a compactly generated space or k-space if its topology is determined by compact spaces in a manner made precise below. There is in fact no commonly agreed upon definition for such spaces, as different authors use variations of the definition that are not exactly equivalent to each other. Also some authors include some separation axiom (like Hausdorff space or weak Hausdorff space) in the definition of one or both terms, and others do not. In the simplest definition, a ''compactly generated space'' is a space that is coherent with the family of its compact subspaces, meaning that for every set A \subseteq X, A is open in X if and only if A \cap K is open in K for every compact subspace K \subseteq X. Other definitions use a family of continuous maps from compact spaces to X and declare X to be compactly generated if its topology coincides with the final topology with respect to this family of maps. And other variations of the definit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. ''Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
T1 Space
In topology and related branches of mathematics, a T1 space is a topological space in which, for every pair of distinct points, each has a neighborhood not containing the other point. An R0 space is one in which this holds for every pair of topologically distinguishable points. The properties T1 and R0 are examples of separation axioms. Definitions Let ''X'' be a topological space and let ''x'' and ''y'' be points in ''X''. We say that ''x'' and ''y'' are if each lies in a neighbourhood that does not contain the other point. * ''X'' is called a T1 space if any two distinct points in ''X'' are separated. * ''X'' is called an R0 space if any two topologically distinguishable points in ''X'' are separated. A T1 space is also called an accessible space or a space with Fréchet topology and an R0 space is also called a symmetric space. (The term also has an entirely different meaning in functional analysis. For this reason, the term ''T1 space'' is preferred. There is also a n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
