Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Initial topology
Summary
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.
The dual notion is the final topology, which for a given family of functions mapping to a set is the finest topology on that makes those functions continuous.
Given a set and an indexed family of topological spaces with functions
the initial topology on is the coarsest topology on such that each
is continuous.
Definition in terms of open sets
If is a family of topologies indexed by then the of these topologies is the coarsest topology on that is finer than each This topology always exists and it is equal to the topology generated by
If for every denotes the topology on then is a topology on , and the is the least upper bound topology of the -indexed family of topologies (for ).
Explicitly, the initial topology is the collection of open sets generated by all sets of the form where is an open set in for some under finite intersections and arbitrary unions.
Sets of the form are often called . If contains exactly one element, then all the open sets of the initial topology are cylinder sets.
Several topological constructions can be regarded as special cases of the initial topology.
The subspace topology is the initial topology on the subspace with respect to the inclusion map.
The product topology is the initial topology with respect to the family of projection maps.
The inverse limit of any inverse system of spaces and continuous maps is the set-theoretic inverse limit together with the initial topology determined by the canonical morphisms.
The weak topology on a locally convex space is the initial topology with respect to the continuous linear forms of its dual space.
Official source
About this result
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.
Ontological neighbourhood
Related courses (30)
MATH-225: Topology II - fundamental groups
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
MATH-726: Working group in Topology I
The theme of the working group varies from year to year. Examples of recent topics studied include: Galois theory of ring spectra, duality in algebra and topology, and topological algebraic geometry.
MATH-220: Metric and topological spaces
A topological space is a space endowed with a notion of nearness. A metric space is an example of a topological space, where the concept of nearness is measured by a distance function. Within this abs
Related publications (62)
Related people (11)
Related concepts (16)
Final topology
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.
Filters in topology
Filters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such as convergence, continuity, compactness, and more. Filters, which are special families of subsets of some given set, also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called have many useful technical properties and they may often be used in place of arbitrary filters.
Dual system
In mathematics, a dual system, dual pair, or duality over a field is a triple consisting of two vector spaces and over and a non-degenerate bilinear map . Duality theory, the study of dual systems, is part of functional analysis. It is separate and distinct to Dual-system Theory in psychology. Pairings A or pair over a field is a triple which may also be denoted by consisting of two vector spaces and over (which this article assumes is the field either of real numbers or the complex numbers ).