In general topology and related areas of mathematics, the final topology (or coinduced, strong, colimit, or inductive topology) on a set with respect to a family of functions from topological spaces into is the finest topology on that makes all those functions continuous.
The 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 is the final topology with respect to the inclusion maps. The final topology is also the topology that every direct limit in the is endowed with, and it is in the context of direct limits that the final topology often appears. A topology is coherent with some collection of subspaces if and only if it is the final topology induced by the natural inclusions.
The dual notion is the initial topology, which for a given family of functions from a set into topological spaces is the coarsest topology on that makes those functions continuous.
Given a set and an -indexed family of topological spaces with associated functions
the is the finest topology on such that
is continuous for each .
Explicitly, the final topology may be described as follows:
a subset of is open in the final topology (that is, ) if and only if is open in for each .
The closed subsets have an analogous characterization:
a subset of is closed in the final topology if and only if is closed in for each .
The family of functions that induces the final topology on is usually a set of functions. But the same construction can be performed if is a proper class of functions, and the result is still well-defined in Zermelo–Fraenkel set theory. In that case there is always a subfamily of with a set, such that the final topologies on induced by and by coincide. For more on this, see for example the discussion here. As an example, a commonly used variant of the notion of compactly generated space is defined as the final topology with respect to a proper class of functions.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In general topology and related areas of mathematics, the initial topology (or induced topology or weak topology or limit topology or projective topology) on a set with respect to a family of functions on is the coarsest topology on that makes those functions continuous. The subspace topology and product topology constructions are both special cases of initial topologies. Indeed, the initial topology construction can be viewed as a generalization of these.
In topology, a topological space 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 don't.
In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. Roughly speaking, in the disjoint union the given spaces are considered as part of a single new space where each looks as it would alone and they are isolated from each other.
On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex