Affine hull

From formulasearchengine
Revision as of 23:29, 30 December 2013 by en>Selfworm (Undid revision 588433055 by Selfworm (talk) Nevermind)
Jump to navigation Jump to search

In topology and related areas of mathematics, an induced topology on a topological space is a topology which is "optimal" for some function from/to this topological space.

Definition

Let X0,X1 be sets, f:X0X1.

If τ0 is a topology on X0, then a topology coinduced on X1 by f is {U1X1|f1(U1)τ0}.

If τ1 is a topology on X1, then a topology induced on X0 by f is {f1(U1)|U1τ1}.

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 X0={2,1,1,2} with a topology {{2,1},{1,2}}, a set X1={1,0,1} and a function f:X0X1 such that f(2)=1,f(1)=0,f(1)=0,f(2)=1. A set of subsets τ1={f(U0)|U0τ0} is not a topology, because {{1,0},{0,1}}τ1 but {1,0}{0,1}τ1.

There are equivalent definitions below.

A topology τ1 induced on X1 by f is the finest topology such that f is continuous (X0,τ0)(X1,τ1). This is a particular case of the final topology on X1.

A topology τ0 induced on X0 by f is the coarsest topology such that f is continuous (X0,τ0)(X1,τ1). This is a particular case of the initial topology on X0.

Examples

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

See also

Template:Topology-stub