Topologia: mappe proprie
-
- Messaggi: 774
- Iscritto il: 01 gen 1970, 01:00
Topologia: mappe proprie
Siano $ X $ e $ Y $ due spazi topologici e sia $ f \colon X \to Y $ una mappa continua, chiusa e tale che la controimmagine di ogni singoletto sia un compatto. Dimostrare che la controimmagine di ogni compatto è compatta.
Re: Topologia: mappe proprie
Sia $ K\subseteq Y $ un compatto e sia $ U_\alpha :\alpha \in A $ un ricoprimento aperto di $ f^{-1}(K) $.publiosulpicio ha scritto:Siano $ X $ e $ Y $ due spazi topologici e sia $ f \colon X \to Y $ una mappa continua, chiusa e tale che la controimmagine di ogni singoletto sia un compatto. Dimostrare che la controimmagine di ogni compatto è compatta.
Per ogni $ x\in K $, $ f^{-1}(x)\subseteq K $ è compatto quindi è possibile estrarre un sottoricoprimento finito $ U_\alpha :\alpha \in A_x $ con $ A_x\subseteq A $ finito.
Per ogni $ x\in K $ sia $ V_x:=\bigcup _{\alpha \in A_x}U_\alpha $; $ V_x $ è un aperto di $ X $ contenente $ f^{-1}(x) $.
Per ogni $ x\in K $ definiamo $ W_x:=Y\setminus f(X\setminus V_x) $; $ W_x $ è un aperto di $ Y $ contenente $ x $. Di conseguenza, $ W_x:x\in K $ è un ricoprimento aperto di $ X $; estraiamo un sottoricoprimento finito $ W_{x_1},\ldots ,W_{x_n} $ di $ K $.
Proviamo che $ U_\alpha :\alpha \in A_{x_1}\cup \cdots \cup A_{x_n} $ è un ricoprimento (finito) di $ f^{-1}(K) $.
Se $ x\in f^{-1}(K) $, allora $ x\in f^{-1}(W_{x_i}) $ per qualche $ i $ in quanto si ha $ f^{-1}(K)\subseteq f^{-1}(W_{x_1})\cup \cdots \cup f^{-1}(W_{x_n}) $.
Di conseguenza,
$ x\in f^{-1}(W_{x_i})=f^{-1}(Y)\setminus f^{-1}f(X\setminus V_{x_i})\subseteq f^{-1}(Y)\setminus (X\setminus V_{x_i})= $
$ =X\setminus (X\setminus V_{x_i})=V_{x_i} $,
pertanto $ x\in U_\alpha $ per qualche $ \alpha \in A_{x_i} $.
P.S. Non ho usato l'ipotesi di continuità di $ f $
-
- Messaggi: 774
- Iscritto il: 01 gen 1970, 01:00
Re: Topologia: mappe proprie
Perché è aperto??ficus2002 ha scritto: Per ogni $ x\in K $ definiamo $ W_x:=Y\setminus f(X\setminus V_x) $; $ W_x $ è un aperto di $ Y $ contenente $ x $.
io invece sto cercando di dimostrare questo esercizio:
$f:M\rightarrow N$ funzione continua fra due spazi topologici.
$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\}|<oo$ si ha che $\forall H$ compatto in $N$ $|\{f(z_k)\in H\}|<oo$.
dove con $|\{z_k\in K\}|<oo$ intendo dire che la ardinalità dei punti di $z_k$ che appartengono a $K$ è finita
e stessa cosa per $|\{f(z_k)\in H\}|<oo>) ma non riesco a dimostrare (<=) mi potreste consigliare???
grazie
$f:M\rightarrow N$ funzione continua fra due spazi topologici.
$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\}|<oo$ si ha che $\forall H$ compatto in $N$ $|\{f(z_k)\in H\}|<oo$.
dove con $|\{z_k\in K\}|<oo$ intendo dire che la ardinalità dei punti di $z_k$ che appartengono a $K$ è finita
e stessa cosa per $|\{f(z_k)\in H\}|<oo>) ma non riesco a dimostrare (<=) mi potreste consigliare???
grazie
- karlosson_sul_tetto
- Messaggi: 1452
- Iscritto il: 10 set 2009, 13:21
- Località: Napoli
Non per fare il pignolo,ma adesso il latex non si mette usando i simboli "$",ma con il pulsante in alto a destra ($ [tex] $).miuemia ha scritto:io invece sto cercando di dimostrare questo esercizio:
$f:M\rightarrow N$ funzione continua fra due spazi topologici.
$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\}|<oo$ si ha che $\forall H$ compatto in $N$ $|\{f(z_k)\in H\}|<oo$.
dove con $|\{z_k\in K\}|<oo$ intendo dire che la ardinalità dei punti di $z_k$ che appartengono a $K$ è finita
e stessa cosa per $|\{f(z_k)\in H\}|<oo>) ma non riesco a dimostrare (<=) mi potreste consigliare???
grazie
"Inequality happens"
---
"Chissa se la fanno anche da asporto"
---
"Chissa se la fanno anche da asporto"
io invece sto cercando di dimostrare questo esercizio:
$ f:M\rightarrow N $ funzione continua fra due spazi topologici.
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\}|<\infty $ si ha che $ \forall H $ compatto in N $ |\{f(z_k)\in H\}|<\infty $.
dove con $ |\{z_k\in K\}|<\infty $ intendo dire che la ardinalità dei punti di $ z_k $ che appartengono a K è finita
e stessa cosa per $ |\{f(z_k)\in H\}|<\infty $ ma non riesco a dimostrare (<=) mi potreste consigliare???
grazie
$ f:M\rightarrow N $ funzione continua fra due spazi topologici.
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\}|<\infty $ si ha che $ \forall H $ compatto in N $ |\{f(z_k)\in H\}|<\infty $.
dove con $ |\{z_k\in K\}|<\infty $ intendo dire che la ardinalità dei punti di $ z_k $ che appartengono a K è finita
e stessa cosa per $ |\{f(z_k)\in H\}|<\infty $ ma non riesco a dimostrare (<=) mi potreste consigliare???
grazie