Forum de mathématiques - Bibm@th.net

vrouvrou

Membre

Inscription : 20-09-2012

Messages : 311

Petite question

Bonsoir ;
j'ai une petite question , je sais qu'un compact est un fermé borné , mais je me trouve (dans le cadre d'une démonstration d'un théorème)
face a cette phrase :" soit [tex]O[/tex] un ensemble ouvert de [tex]\mathcal{P}_K(X)[/tex] (l'espace de tous les sous ensemble compact de[tex] X[/tex])"
et la je ne comprend pas !
quelqu'un peut m'aider ?
Merci

Fred

Administrateur

Inscription : 26-09-2005

Messages : 7 349

Re : Petite question

Salut,

Sur l'ensemble des compacts, tu peux mettre une topologie, par exemple celle de la distance de Haussdorf.
Lorsque tu considères [tex]O[/tex], tu considères un ensemble dont les éléments sont des compacts. Mais il peut avoir une nature topologique différente par rapport à la topologie que tu as mis sur l'ensemble des compacts.

Fred.

vrouvrou

Membre

Inscription : 20-09-2012

Messages : 311

Re : Petite question

Ok, merci beaucoup