Funzioni tra varietà e rivestimenti

[nick_10]

Buonasera a tutti
Stavo cercando di dimostrare il seguente:
"Sia $f: X -> Y$ tra varietà della stessa dimensione con $X$ compatta e sia $R sube Y$ l'insieme dei valori regolari. Allora $f_(|f^(-1)(R)):f^(-1)(R)->R$ è un rivestimento a finiti fogli"

Inserisco in spoiler un mio "tentativo"

Dato $p in R$ devo cercare di costruire un intorno "ben rivestito". Poiché $p$ è regolare allora per ogni $q in f^(-1)(p), df_p:T_qX->T_pY$ è surgettivo(per definizione), dunque un isomorfismo (stessa dimensione).
Per il teorema di invertibilità locale per varietà, se $f^(-1)(p)={q_i}_(i in I)$, allora per ogni $i in I$ esiste un aperto $W_i$ di $q_i$ in $X$ e un aperto $U_i$ di $p$ in $Y$ con $f_(|W_i):W_i->U_i$ diffeomorfismo; in particolare è iniettiva dunque $W_i nn f^(-1)(p) = {q_i}$, dunque $f^(-1)(p)$ ha la topologia discreta. E' anche chiuso essendo preimmagine di un punto(tramite funzione continua). Essendo $X$ compatto, è compatto e avendo top.discreta ho che $#I
Poiché $X$ è T2, posso supporre i $W_i$ disgiunti e pongo $U=(nnU_i) nn f(X-(uuW_i))^(c)$
$U$ dovrebbe essere l'intorno aperto di $p$ cercato; infatti $p in U_i$ per costruzione e $f^(-1)(p) sube uu W_i $, da cui $p in f(X-(uuW_i))^(c)$.
Inoltre è facile vedere che $U$ è aperto(essenziale che $#I Ora vorrei porre $V_i=f^(-1)(U) nn W_i$, ma per concludere come potrei vedere che $f^(-1)(U)$ è unione disgiunta dei $V_i$ e che $f:V_i -> U$ è un diffeo. per ogni $i in I$??

[j18eos]

Non ho capìto bene la definizione di \(\displaystyle U\)...

[nick_10]

Cosa non capisci? Forse non sono stato chiaro con le parentesi e il complementare...
Faccio l'intersezione degli $U_i$ al variare di $i in I$ e lo interseco con il complementare di $f$ di $X$ meno(differenza insiemistica) l'unione dei $W_i, i in I$.
Forse così ho peggiorato la situazione