Induced topology

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In topology and related areas of mathematics, an induced topology on a topological space is a topology which makes the inducing function continuous from/to this topological space.

Definition[edit]

Let be sets, .

If is a topology on , then a topology coinduced on by is .

If is a topology on , then a topology induced on by is .

The easy way to remember the definitions above is to notice that finding an inverse image is used in both. This is because inverse image preserves union and intersection. Finding a direct image does not preserve intersection in general. Here is an example where this becomes a hurdle. Consider a set with a topology , a set and a function such that . A set of subsets is not a topology, because but .

There are equivalent definitions below.

A topology coinduced on by is the finest topology such that is continuous . This is a particular case of the final topology on .

A topology induced on by is the coarsest topology such that is continuous . This is a particular case of the initial topology on .

Examples[edit]

References[edit]

  • Hu, Sze-Tsen (1969). Elements of general topology. Holden-Day. 

See also[edit]