Bijection continue

[jeancam]

une bijection est continue si et seulement si elle envoie tout compact sur un compact.

[nuage]

Ce qui suppose qu'il y a des compacts.

[jeancam]

Ce qui suppose qu'il y des compacts.

pas forcement
l assertion TOUT entier irrationel est nul
est correcte
c est avec il existe que çà cloche...

[ThSQ]

Y'en a toujours ;)

Bon, y'a un sens assez connu !

ça se torche avec le lemme :

Si x_n -> x alors { x_n, n € N} U {x} est un compact ('stoche, recouvrement, un ouvert contient x est toute une rimbambelle avec lui)

Après on applique le critère séquentielle de continuité

[jeancam]

Y'en a toujours

Bon, y'a un sens assez connu !

ça se torche avec le lemme :

Si x_n -> x alors { x_n, n € N} U {x} est un compact ('stoche, recouvrement, un ouvert contient x est toute une rimbambelle avec lui)

Après on applique le critère séquentielle de continuité

je crois que j utilise le lemme dans les deux sens

[jeancam]

Y'en a toujours

et si l espace est pas séparé

[jeancam]

et si l espace est pas séparé

en fait çà marche quand meme
on prend un point çà marche je crois meme si il n est pas fermé