Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
98 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Séparabilité ensemble de fonctions

Envoyé par Cere 
Séparabilité ensemble de fonctions
il y a six semaines
avatar
Bonjour à tous
Je voulais savoir si l'ensemble $C(X)$ des fonctions continues de $X$ dans $X,$ où $X$ est un espace métrique compact, est séparable ?
Si oui, auriez-vous une référence pour que je consulte une preuve ?



Edité 1 fois. La dernière correction date de il y a six semaines et a été effectuée par AD.
Re: Séparabilité Ensemble de fonctions
il y a six semaines
Oui, c'est une conséquence classique du théorème de Stone-Weierstrass. Tu prends une suite $(x_n)_n$ dense dans $X$, et le théorème de Stone-Weierstrass implique que l'ensemble des polynômes à coefficients rationnels en les $x \mapsto d(x, x_n)$ forme une partie dense de $\mathcal C(X)$, et bien évidemment cette partie est dénombrable.

Pour info il y a une réciproque : si $X$ est un espace topologique compact tel que $\mathcal C(X)$ est séparable alors $X$ est métrisable.
Re: Séparabilité Ensemble de fonctions
il y a six semaines
@Poirot : Stone-Weierstrass ne s'applique pas directement car $X$ n'est pas $\R$ (edit. Je veux dire : on parle de $C^0(X,X)$ et non de $C^0(X,\R)$) (mais on est supposément de $X$ dans $X$. Bon Comme $X$ se plonge dans $[0,1]^{\N}$ on peut peut-être bricoler...).



Edité 3 fois. La dernière correction date de il y a six semaines et a été effectuée par AD.
Re: Séparabilité Ensemble de fonctions
il y a six semaines
Ah oui oups, j'ai lu vite en pensant que $\mathcal C(X)$ désignait l'espace des fonctions continues sur $X$ à valeurs dans $\mathbb R$ !
Re: Séparabilité Ensemble de fonctions
il y a six semaines
On rappelle que $(X,d)$ est homéomorphe à un fermé de $[0,1]^{\N}$. On les identifie ci-dessous.

Pour tout $n\in \N$, $C^0(X,[0,1]^n)$ est séparable (traiter le cas $n=1$ avec l'argument de Poirot et raisonner coordonnées par coordonnées). $[0,1]^{\N}$ est muni de la métrique $\delta:x,y \mapsto 2^{-n}|x_n - y_n|$, Soit pour tout $m\in \N$, $D_m$ dénombrable dans $C^0(X,[0,1]^{\N})$ tel que en posant $p_m:x\in [0,1]^{\N} \mapsto (x_0,...,x_m)$ $\in [0,1]^{n+1}$ (édité), $\{p_m \circ g \mid g \in D_{m+1}\}$ soit dense (ça existe par ce qui précède). Alors $\bigcup_{m\in \N} D_m$ est dense dans $C^0(X,[0,1]^{\N})$. Donc cet espace est séparable et son sous-espace $C^0[(X,d),(X,\delta)]$ l'est aussi. Comme $X$ est compact, l'identité $(X,d) \mapsto (X,\delta)$ est uniformément continue et sa réciproque aussi donc la topologie de la convergence uniforme pour ces distances est la même.

Par suite $C^0[(X,d),(X,d)]$ est séparable.



Edité 5 fois. La dernière correction date de il y a cinq semaines et a été effectuée par Foys.
Re: Séparabilité Ensemble de fonctions
il y a six semaines
avatar
Oui exact @Foys je parle bien de $C(X,X)$.

Edit: Je viens de voir ton dernier message, je vais le lire.



Edité 1 fois. La dernière correction date de il y a six semaines et a été effectuée par Cere.
Re: Séparabilité ensemble de fonctions
il y a cinq semaines
avatar
Pardon de ma réponse tardive @Foys,
Merci de ta réponse, j'ai eu la réponse à ma question et en plus une démonstration, je suis gâté grinning smiley !



Edité 1 fois. La dernière correction date de il y a cinq semaines et a été effectuée par Cere.
Re: Séparabilité ensemble de fonctions
il y a cinq semaines
avatar
@Foys
Peux-tu m'éclairer un peu sur comment tu définis $p_{m}$, je n'arrive pas à comprendre.



Edité 1 fois. La dernière correction date de il y a cinq semaines et a été effectuée par AD.
Re: Séparabilité Ensemble de fonctions
il y a cinq semaines
@Cere: j'ai édité mon message; $p_m$ est le projecteur sur les $m+1$ premières coordonnées.
Re: Séparabilité ensemble de fonctions
il y a cinq semaines
avatar
Intéressant comme problème, surtout qu'a priori à part les constantes on ne sait pas trop quelles sont les fonctions de $C^0(X,X)$. Autre point que je trouve intéressant : j'avais déjà vu plusieurs fois que tout espace métrique compact se plonge dans $[0;1]^\N$ mais c'est une des premières fois que j'en vois une application.

J'avais pensé à la démonstration suivante : on prend $(x_n)_n$ une suite dense dans $X$ et on regarde toutes les fonctions de $\{x_0,\ldots,x_n\}$ dans lui même avec $n$ qui parcours $\N$. On note $(f_k)_{k\in \N}$ la famille de ces fonctions qui est bien dénombrable, on remarque de plus que toutes ces fonctions sont lipschitziennes. Vient alors le point délicat (et crucial) : on prolonge $f_k$ à tout $X$ en $\tilde f_k $ de sorte à ce que $\tilde f_k$ soit lipschitzienne de même constante que $f_k$. On démontre alors assez facilement à l'aide de la continuité uniforme que $(\tilde f_k)_k$ est dense dans $C^0(X,X)$.

Malheureusement je ne sais même pas si ce théorème de prolongement est vrai.
Re: Séparabilité ensemble de fonctions
il y a cinq semaines
Une question parente. On suppose toujours $X$ métrique et compact et on note $C$ l'ensemble des applications continues de $X\to X$, que l'on dote de $d_2:= (f,g) \mapsto sup_x d(f(x),g(x))$.

Soit $A$ inclus dans $C$ tel que $\forall f,g$ distinctes dans $A: d_2(f,g)\geq 1$.

Question: se peut-il que $A$ ne soit pas dénombrable?

L'affirmation que "non" entraine l'énoncé du fil.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Séparabilité ensemble de fonctions
il y a cinq semaines
avatar
@Christophe c
Je commence à avoir un peu d'intuition pour répondre à ta question, je n'ai pas encore trouvé de résolution, mais je voulais que tu saches que j'avais bien vu la question!



Edité 1 fois. La dernière correction date de il y a cinq semaines et a été effectuée par Cere.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 143 294, Messages: 1 415 053, Utilisateurs: 26 488.
Notre dernier utilisateur inscrit papillette.


Ce forum
Discussions: 3 261, Messages: 37 515.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page