Natural topology

In any domain of mathematics, a space has a natural topology if there is a topology on the space which is "best adapted" to its study within the domain in question. In many cases this imprecise definition means little more than the assertion that the topology in question arises naturally or canonically (see mathematical jargon) in the given context.

Note that in some cases multiple topologies seem "natural". For example, if Y is a subset of a totally ordered set X, then the induced order topology, i.e. the order topology of the totally ordered Y, where this order is inherited from X, is coarser than the subspace topology of the order topology of X.

"Natural topology" does quite often have a more specific meaning, at least given some prior contextual information: the natural topology is a topology which makes a natural map or collection of maps continuous. This is still imprecise, even once one has specified what the natural maps are, because there may be many topologies with the required property. However, there is often a finest or coarsest topology which makes the given maps continuous, in which case these are obvious candidates for the natural topology.

The simplest cases (which nevertheless cover many examples) are the initial topology and the final topology (Willard (1970)). The initial topology is the coarsest topology on a space X which makes a given collection of maps from X to topological spaces X_i continuous. The final topology is the finest topology on a space X which makes a given collection of maps from topological spaces X_i to X continuous.

Two of the simplest examples are the natural topologies of subspaces and quotient spaces.

• The natural topology on a subset of a topological space is the subspace topology. This is the coarsest topology which makes the inclusion map continuous.
• The natural topology on a quotient of a topological space is the quotient topology. This is the finest topology which makes the quotient map continuous.

Other examples include the topology induced by the Helly metric.

References

• Willard, Stephen (1970). General Topology. Addison-Wesley, Massachusetts.  (Recent edition published by Dover (2004) ISBN 0-486-43479-6.)

This topology-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Mathematical structures Topology Topology stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР EventScripts Where's Herb? Look at other dictionaries: Topology — (Greek topos , place, and logos , study ) is the branch of mathematics that studies the properties of a space that are preserved under continuous deformations. Topology grew out of geometry, but unlike geometry, topology is not concerned with… …   Wikipedia topology — topologic /top euh loj ik/, topological, adj. topologically, adv. topologist, n. /teuh pol euh jee/, n., pl. topologies for 3. Math. 1. the study of those properties of geometric forms that remain invariant under c …   Universalium Natural computing — For the scientific journal, see Natural Computing (journal). Natural computing, also called Natural computation, is a terminology introduced to encompass three classes of methods: 1) those that take inspiration from nature for the development of… …   Wikipedia topology — study of places and their natural features Sciences and Studies …   Phrontistery dictionary Product topology — In topology and related areas of mathematics, a product space is the cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more obvious,… …   Wikipedia Fine topology (potential theory) — In mathematics, in the field of potential theory, the fine topology is a natural topology for setting the study of subharmonic functions. In the earliest studies of subharmonic functions, only smooth functions were considered, namely those for… …   Wikipedia K-topology — In mathematics, particularly topology, the K topology is a topology that one can impose on the set of all real numbers which has some interesting properties. Relative to the set of all real numbers carrying the standard topology, the set K = {… …   Wikipedia Subspace topology — In topology and related areas of mathematics, a subspace of a topological space X is a subset S of X which is equipped with a natural topology induced from that of X called the subspace topology (or the relative topology, or the induced topology …   Wikipedia Disjoint union (topology) — 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… …   Wikipedia Grothendieck topology — In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C which makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”