Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 30-01-2013 15:15:42

Natoandro
Membre
Inscription : 02-10-2012
Messages : 13

e.m. séparable

Salut,
Tout espace métrique séparable admet une base dénombrable d'ouverts.

Merci.

Hors ligne

#2 30-01-2013 16:04:37

yoshi
Modo Ferox
Inscription : 20-11-2005
Messages : 17 401

Re : e.m. séparable

RE,

Je ne suis pas compétent, mais quelle est la question ?

@+

Hors ligne

#3 31-01-2013 10:05:33

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 352

Re : e.m. séparable

Re-

  Si tu veux démontrer que tout espace métrique séparable admet une base dénombrable d'ouverts,
c'est facile. Tu prends [tex](x_k)[/tex] une suite dense dans X, et alors la famille [tex](B_{n,k})_{n\geq 1,k\geq 1}[/tex]
avec [tex]B_{n,k}=B(x_k,1/n)[/tex] est une base d'ouverts de X.

F.

Hors ligne

#4 04-02-2013 12:42:46

Natoandro
Membre
Inscription : 02-10-2012
Messages : 13

Re : e.m. séparable

Merci.

Hors ligne

#5 04-03-2013 14:59:16

Natoandro
Membre
Inscription : 02-10-2012
Messages : 13

Re : e.m. séparable

Bonjour,
Je ne suis pas sûr que la famille [tex](B_{n,k})[/tex] soit dénombrable.
Est-ce que vous pouvez me rassurer?

Merci d'avance.

Hors ligne

#6 05-03-2013 22:46:19

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 352

Re : e.m. séparable

Oui, elle est dénombrable, car un produit d'espaces dénombrables est dénombrable.

Hors ligne

Pied de page des forums