Final topology

Last updated

In general topology and related areas of mathematics, the final topology [1] (or coinduced, [2] weak, colimit, or inductive [3] 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.

Contents

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 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 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.

Definition

Given a set and an -indexed family of topological spaces with associated functions the final topology on induced by the family of functions 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. [4] 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. [5]

Examples

The important special case where the family of maps consists of a single surjective map can be completely characterized using the notion of quotient map. A surjective function between topological spaces is a quotient map if and only if the topology on coincides with the final topology induced by the family . In particular: the quotient topology is the final topology on the quotient space induced by the quotient map.

The final topology on a set induced by a family of -valued maps can be viewed as a far reaching generalization of the quotient topology, where multiple maps may be used instead of just one and where these maps are not required to be surjections.

Given topological spaces , the disjoint union topology on the disjoint union is the final topology on the disjoint union induced by the natural injections.

Given a family of topologies on a fixed set the final topology on with respect to the identity maps as ranges over call it is the infimum (or meet) of these topologies in the lattice of topologies on That is, the final topology is equal to the intersection

Given a topological space and a family of subsets of each having the subspace topology, the final topology induced by all the inclusion maps of the into is finer than (or equal to) the original topology on The space is called coherent with the family of subspaces if the final topology coincides with the original topology In that case, a subset will be open in exactly when the intersection is open in for each (See the coherent topology article for more details on this notion and more examples.) As a particular case, one of the notions of compactly generated space can be characterized as a certain coherent topology.

The direct limit of any direct system of spaces and continuous maps is the set-theoretic direct limit together with the final topology determined by the canonical morphisms. Explicitly, this means that if is a direct system in the category Top of topological spaces and if is a direct limit of in the category Set of all sets, then by endowing with the final topology induced by becomes the direct limit of in the category Top.

The étalé space of a sheaf is topologized by a final topology.

A first-countable Hausdorff space is locally path-connected if and only if is equal to the final topology on induced by the set of all continuous maps where any such map is called a path in

If a Hausdorff locally convex topological vector space is a Fréchet-Urysohn space then is equal to the final topology on induced by the set of all arcs in which by definition are continuous paths that are also topological embeddings.

Properties

Characterization via continuous maps

Given functions from topological spaces to the set , the final topology on with respect to these functions satisfies the following property:

a function from to some space is continuous if and only if is continuous for each
Characteristic property of the final topology FinalTopology-01.png
Characteristic property of the final topology

This property characterizes the final topology in the sense that if a topology on satisfies the property above for all spaces and all functions , then the topology on is the final topology with respect to the

Behavior under composition

Suppose is a family of maps, and for every the topology on is the final topology induced by some family of maps valued in . Then the final topology on induced by is equal to the final topology on induced by the maps

As a consequence: if is the final topology on induced by the family and if is any surjective map valued in some topological space then is a quotient map if and only if has the final topology induced by the maps

By the universal property of the disjoint union topology we know that given any family of continuous maps there is a unique continuous map that is compatible with the natural injections. If the family of maps covers (i.e. each lies in the image of some ) then the map will be a quotient map if and only if has the final topology induced by the maps

Effects of changing the family of maps

Throughout, let be a family of -valued maps with each map being of the form and let denote the final topology on induced by The definition of the final topology guarantees that for every index the map is continuous.

For any subset the final topology on will be finer than (and possibly equal to) the topology ; that is, implies where set equality might hold even if is a proper subset of

If is any topology on such that and is continuous for every index then must be strictly coarser than (meaning that and this will be written ) and moreover, for any subset the topology will also be strictly coarser than the final topology that induces on (because ); that is,

Suppose that in addition, is an -indexed family of -valued maps whose domains are topological spaces If every is continuous then adding these maps to the family will not change the final topology on that is, Explicitly, this means that the final topology on induced by the "extended family" is equal to the final topology induced by the original family However, had there instead existed even just one map such that was not continuous, then the final topology on induced by the "extended family" would necessarily be strictly coarser than the final topology induced by that is, (see this footnote [note 1] for an explanation).

Final topology on the direct limit of finite-dimensional Euclidean spaces

Let denote the space of finite sequences , where denotes the space of all real sequences. For every natural number let denote the usual Euclidean space endowed with the Euclidean topology and let denote the inclusion map defined by so that its image is and consequently,

Endow the set with the final topology induced by the family of all inclusion maps. With this topology, becomes a complete Hausdorff locally convex sequential topological vector space that is not a Fréchet–Urysohn space. The topology is strictly finer than the subspace topology induced on by where is endowed with its usual product topology. Endow the image with the final topology induced on it by the bijection that is, it is endowed with the Euclidean topology transferred to it from via This topology on is equal to the subspace topology induced on it by A subset is open (respectively, closed) in if and only if for every the set is an open (respectively, closed) subset of The topology is coherent with the family of subspaces This makes into an LB-space. Consequently, if and is a sequence in then in if and only if there exists some such that both and are contained in and in

Often, for every the inclusion map is used to identify with its image in explicitly, the elements and are identified together. Under this identification, becomes a direct limit of the direct system where for every the map is the inclusion map defined by where there are trailing zeros.

Categorical description

In the language of category theory, the final topology construction can be described as follows. Let be a functor from a discrete category to the category of topological spaces Top that selects the spaces for Let be the diagonal functor from Top to the functor category TopJ (this functor sends each space to the constant functor to ). The comma category is then the category of co-cones from i.e. objects in are pairs where is a family of continuous maps to If is the forgetful functor from Top to Set and Δ is the diagonal functor from Set to SetJ then the comma category is the category of all co-cones from The final topology construction can then be described as a functor from to This functor is left adjoint to the corresponding forgetful functor.

See also

Notes

  1. By definition, the map not being continuous means that there exists at least one open set such that is not open in In contrast, by definition of the final topology the map must be continuous. So the reason why must be strictly coarser, rather than strictly finer, than is because the failure of the map to be continuous necessitates that one or more open subsets of must be "removed" in order for to become continuous. Thus is just but some open sets "removed" from

Citations

  1. Bourbaki, Nicolas (1989). General topology. Berlin: Springer-Verlag. p. 32. ISBN   978-3-540-64241-1.
  2. Singh, Tej Bahadur (May 5, 2013). Elements of Topology. CRC Press. ISBN   9781482215663 . Retrieved July 21, 2020.
  3. Császár, Ákos (1978). General topology. Bristol [England]: A. Hilger. p. 317. ISBN   0-85274-275-4.
  4. "Set theoretic issues in the definition of k-space or final topology wrt a proper class of functions". Mathematics Stack Exchange.
  5. Brown 2006, Section 5.9, p. 182.

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is not continuous. Until the 19th century, mathematicians largely relied on intuitive notions of continuity and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity.

<span class="mw-page-title-main">Normed vector space</span> Vector space on which a distance is defined

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers on which a norm is defined. A norm is a generalization of the intuitive notion of "length" in the physical world. If is a vector space over , where is a field equal to or to , then a norm on is a map , typically denoted by , satisfying the following four axioms:

  1. Non-negativity: for every ,.
  2. Positive definiteness: for every , if and only if is the zero vector.
  3. Absolute homogeneity: for every and ,
  4. Triangle inequality: for every and ,
<span class="mw-page-title-main">Open set</span> Basic subset of a topological space

In mathematics, an open set is a generalization of an open interval in the real line.

In topology, the closure of a subset S of points in a topological space consists of all points in S together with all limit points of S. The closure of S may equivalently be defined as the union of S and its boundary, and also as the intersection of all closed sets containing S. Intuitively, the closure can be thought of as all the points that are either in S or "very near" S. A point which is in the closure of S is a point of closure of S. The notion of closure is in many ways dual to the notion of interior.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Other well-known examples of TVSs include Banach spaces, Hilbert spaces and Sobolev spaces.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In mathematics, more specifically in topology, an open map is a function between two topological spaces that maps open sets to open sets. That is, a function is open if for any open set in the image is open in Likewise, a closed map is a function that maps closed sets to closed sets. A map may be open, closed, both, or neither; in particular, an open map need not be closed and vice versa.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural numbers to the field K of real or complex numbers. The set of all such functions is naturally identified with the set of all possible infinite sequences with elements in K, and can be turned into a vector space under the operations of pointwise addition of functions and pointwise scalar multiplication. All sequence spaces are linear subspaces of this space. Sequence spaces are typically equipped with a norm, or at least the structure of a topological vector space.

In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of countability, and all first-countable spaces are sequential.

In the field of topology, a Fréchet–Urysohn space is a topological space with the property that for every subset the closure of in is identical to the sequential closure of in Fréchet–Urysohn spaces are a special type of sequential space.

<span class="mw-page-title-main">Filters in topology</span> Use of filters to describe and characterize all basic topological notions and results.

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 ultrafilters have many useful technical properties and they may often be used in place of arbitrary filters.

In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by Cauchy nets or Cauchy filters, which are generalizations of Cauchy sequences, while "point towards which they all get closer" means that this Cauchy net or filter converges to The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces. But unlike metric-completeness, TVS-completeness does not depend on any metric and is defined for all TVSs, including those that are not metrizable or Hausdorff.

In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS without any need to extend definitions from real/complex-valued functions to -valued functions.

In mathematics, an LB-space, also written (LB)-space, is a topological vector space that is a locally convex inductive limit of a countable inductive system of Banach spaces. This means that is a direct limit of a direct system in the category of locally convex topological vector spaces and each is a Banach space.

In functional analysis, every C*-algebra is isomorphic to a subalgebra of the C*-algebra of bounded linear operators on some Hilbert space This article describes the spectral theory of closed normal subalgebras of . A subalgebra of is called normal if it is commutative and closed under the operation: for all , we have and that .

In functional analysis and related areas of mathematics, a metrizable topological vector space (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topology, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the "" subscript indicates that the continuous dual space of denoted by is endowed with the strong dual topology.

References