|
|
|
|
composition with coercive function
|
(Theorem)
|
|
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. 
|
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)
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 MSC: | 54A05 (General topology :: Generalities :: Topological spaces and generalizations ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|