PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] composition with coercive function (Theorem)
Theorem 1   Suppose $X,Y,Z$ are topological spaces, $f\colon X\to Y$ is a bijective proper map, and $g\colon Y\to Z$ is a coercive map. Then $g\circ f\colon X\to Z$ is a coercive map.
Proof. Let $J\subseteq Z$ be a compact set. As $g$ is coercive, there is a compact set $K\subseteq Y$ such that $$ g(Y\setminus K) \subseteq Z\setminus J. $$ Let $I=f^{-1}(K)$ , and since $f$ is a proper map $I$ is compact. Thus $$ (g\circ f) (X\setminus I) = g(Y\setminus K) \subseteq Z\setminus J $$ and $g\circ f$ is coercive. $ \qedsymbol$




Anyone with an account can edit this entry. Please help improve it!

"composition with coercive function" is owned by matte. [ full author list (2) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: compact, compact set, map, coercive, proper map, bijective, topological spaces

This is version 3 of composition with coercive function, born on 2005-06-14, modified 2006-03-11.
Object id is 7155, canonical name is CompositionWithCoerciveFunction.
Accessed 1424 times total.

Classification:
AMS MSC54A05 (General topology :: Generalities :: Topological spaces and generalizations )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)