Topological

Topological polyhedra A topological polytope is a topological space given along with a specific decomposition into shapes that are topologically equivalent to convex polytopes and that are attached to each other in a regular way.

Big site associated to a topological space Let Spc be the category of all topological spaces.

Completion main Every topological ring is a topological group (with respect to addition) and hence a uniform space in a natural manner.

Connectedness is one of the principal topological properties that are used to distinguish topological spaces.

His contributions include the invention of a topological form of the Abel–Ruffini theorem and the initial development of some of the consequent ideas, a work which resulted in the creation of the field of topological Galois theory in the 1960s.

Homeomorphisms are the isomorphisms in the category of topological spaces that is, they are the mappings that preserve all the topological properties of a given space.

However simple examples such as the indiscrete topological space show that not all topological spaces can be expressed using Grothendieck topologies.

Indeed, any non-discrete topological group is also a topological group when considered with the discrete topology.

In the chapters on "point sets" - the topological chapters - Hausdorff developed for the first time, based on the known neighborhood axioms, a systematic theory of topological spaces, where in addition he added the separation axiom later named after him.

In this manner, one may speak of whether two subsets of a topological space are "near" without concretely defining a metric on the topological space.

Let G be the functor from topological spaces to sets that associates to every topological space its underlying set (forgetting the topology, that is).

Let X be a normed topological vector space over F, compatible with the absolute value in F. Then in X*, the topological dual space X of continuous F-valued linear functionals on X, all norm-closed balls are compact in the weak-* topology.

More explicitly, an injective continuous map between topological spaces and is a topological embedding if yields a homeomorphism between and (where carries the subspace topology inherited from ).

More generally, a point is an element of any set with an underlying topological structure; e.g. an element of a metric space or a topological group is also a "point".

Nevertheless, in the theory of topological vector spaces the terms "continuous dual space" and "topological dual space" are often replaced by "dual space", since there is no serious need to consider discontinuous maps in this field.

Open and closed sets, topology and convergence Every metric space is a topological space in a natural manner, and therefore all definitions and theorems about general topological spaces also apply to all metric spaces.

Properties of a topological space Let X be a topological space.

Properties The algebraic and topological structures of a topological group interact in non-trivial ways.

Strongly continuous group action and smooth points A group action of a topological group G on a topological space X is said to be strongly continuous if for all x in X, the map g ↦ g.x is continuous with respect to the respective topologies.

The elements of topological vector spaces are typically functions or linear operators acting on topological vector spaces, and the topology is often defined so as to capture a particular notion of convergence of sequences of functions.