Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Suite de fermés emboités

Posté par Metaphysik (invité) 16-12-07 à 14:53

Bonjour, j'ai un problème pour la question suivante :

Hypothèse : Dans un espace topologique (X,t), soit une suite décroissante de fermés emboîtés (Fn;n ), avec F0 compact. Soit également un ouvert U dans X contenant (Fn; n)

Conclusion : U contient un des fermés de la suite.

Intuitivement je vois bien la situation : après un certain n0 entier, U doit contenir tous les fermés d'indice supérieur à n0, mais je ne vois pas comment le montrer rigoureusement. Est-ce que quelqu'un pourrait me donner une piste? Merci pour votre aide.

Posté par
Camélia Correcteur
re : Suite de fermés emboités 16-12-07 à 15:27

Bonjour

Utilise la propriété qui caractérise les compacts en termes de fermés.

Posté par
Rodrigo
re : Suite de fermés emboités 16-12-07 à 15:28

Ce resultat me semble faux si tu prends R muni de la toplogie discrete, F_n={1/k, k>n}u{0}. Alors {0} est un ouvert contenant l'intersection des Fn. Mais ne contient aucun des F_n.

Posté par
Rodrigo
re : Suite de fermés emboités 16-12-07 à 15:28

Ah mea culpa, j'avai pas vu que F0 devait etre compact...

Posté par Metaphysik (invité)re : Suite de fermés emboités 16-12-07 à 16:42

Je crois avoir trouvé un raisonnement qui se tient:

Supposons que X = F0 et posons F := X\U.
Puisque les Fn sont emboîtés décroissants, ils sont, en plus de F, des fermés de F0.

Par hypothèse, nous avons (Fn; n) F = .
Comme (F0, t) est compact, on utilise la caractérisation des compacts par les fermés :
     ( Fn; n) F =
J fini non-vide tq ( Fj; j J) F =
j J, Fj F\X = U.

Comme J est fini et non-vide, en posant n0 := (max {j}; j J), on a que
( Fj; j J) = Fn0 U. #

Ce résultat semble-t-il correct? et si oui, pourrais-je le généraliser pour X =! F0 en considérant un ensemble U' inclus dans U avec les mêmes hypothèses , et qui soit ouvert dans la topologie induite de F0 afin d'appliquer le même raisonnement ?



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !