Proprietà mappe proprie

miuemia
Credo che questa sia la sezione corretta dove inserire questo esercizio davvero carino.

$f:M\rightarrow N$ funzione continua fra due spazi topologici di Hausdorff
$f$ è propria se e solo se $\forall z_k$ successione in $M$ tale che $\forall K$ compatto in $M$ si ha che $|\{z_k\in K\}|
dove con $|\{z_k\in K\}| e stessa cosa per $|\{f(z_k)\in H\}|
Semplice come esercizio ma l'ho trovato carino.

ps. per chi non lo sapesse ujna mappa propria è una mappa tale che la controimmagine di un compatto è compatto

Risposte
miuemia
nessuno l'ha torvato carino come l'ho trovato io? oppure difficile? allora dò un piccolo suggerimento per dimostrare (=>) si faccia per assurdo.
per (<=) applicare la definizione di insieme compatto.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.