Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

espace métrique

Posté par
romu
07-02-08 à 11:17

Bonjour,

j'ai un peu de mal à comprendre ce qu'on attend au niveau de quelques questions:

On considère l'espace \mathbb{N} muni de la métrique d(m,n)=|\frac{1}{m} - \frac{1}{n}|.

1) Pour un entier n donné, que dire de la boule ouverte B(n,\varepsilon) si \varepsilon très petit? Que peut-on en déduire des ouverts de \mathbb{N} pour cette métrique?
La topologie de \mathbb{N} ainsi obtenue est-elle la même que celle induite par la topologie usuelle de \mathbb{R}.

Bon pour le premier point, je trouve que 3$B(n,\varepsilon) = \{m\in \mathbb{N}*:\ \lceil \frac{n}{1+n\varepsilon} \rceil \leq m \leq \lfloor \frac{n}{1-n\varepsilon} \rfloor\} .

Je ne vois pas déjà ce qu'on peut dire de mieux pour ce premier point au niveau de la description de ces boules.

Merci pour vos indications.

Posté par
Ju007
re : espace métrique 07-02-08 à 12:58

Bonjour romu,

je crois qu'il faut que tu prouves que B(n,epsilon) est réduite à un singleton, pour epsilon assez petit.

Posté par
romu
re : espace métrique 07-02-08 à 14:38

ah oui effectivement, merci ju.

ok, donc les singletons sont ouverts et la topologie pour d sur IN est la topologie discrète, qui est la même que celle induite par la topologie usuelle de IR.
J'aurai tendance à dire que cela entraîne que deux topologies sont homéomorphes.

Mais mon prof m'a assuré que non, voilà sa version, que j'ai un peu de mal à comprendre.

Citation :
La boule ouverte B(n,e) est formée des entiers m tels que n/(1+ne) < m < n/(1-ne).

(e est pris suffisamment petit pour que 1-ne soit positif).

On a ainsi B(n,e)={m tels que E(n/(1+ne)< m < E(n/1-ne)}.

La seconde distance est moins fine que celle issue de la "valeur absolue".

Ses ouverts sont des réunions d'intervalles entiers semi-fermés supérieurement.

Posté par
romu
re : espace métrique 20-02-08 à 19:40

Si je considère la suite x_n=n, comment voir si elle est de Cauchy?

Je sais juste que si m<n alors

|\frac{1}{m} - \frac{1}{n}| = \frac{1}{m} - \frac{1}{n} = \frac{m-n}{mn}

Posté par
romu
re : espace métrique 20-02-08 à 19:44

pardon je voulais dire:

|\frac{1}{m} - \frac{1}{n}| = \frac{1}{m} - \frac{1}{n} = \frac{n-m}{mn}

Posté par
romu
re : espace métrique 20-02-08 à 20:43

Je ferais comme ça mais je suis pas sûr:

Dans (\mathbb{R},|.|) muni de sa topologie usuelle,  (\frac{1}{n})_n converge et a pour limite 0, donc (\frac{1}{n})_n est une suite de Cauchy ie pour tout \varepsilon>0, il existe N\in \mathbb{N} tel que

m,n\geq N \qquad \Longrightarrow \qquad |\frac{1}{m} - \frac{1}{n}|<\varepsilon

Donc x_n=n est une suite de Cauchy dans (\mathbb{N},d)

Posté par
mellepapillon
re : espace métrique 21-02-08 à 08:42

Bonjour,
OUi je pense que ce que tu as dit est très bien tu peux même exhiber un N,
|\frac[1}{m}-\frac{1}{n}||\frac{1}{m}| |\frac{1}{n}|
donc si n et m sont tels que \frac{1}{N}< /2  soit N > \frac{2}{\epsilon}, or un tel N existe bien car N n'est pas majorée, tu peux prendre la partie entière de 2/epsilon + 1 par exemple, et donc tu as montré l'existence d'un N donc ta suite est bien de Cauchy

Posté par
mellepapillon
re : espace métrique 21-02-08 à 08:43

oup's j'ai m@&d# avec le LaTeX, il y a un plus entre les deux membres de l'inégalité à droite, et c'est 1\m tout à gauche...je pense que tu avais compris mais bon...

Posté par
romu
re : espace métrique 21-02-08 à 13:28

oui effectivement,

merci mellepappillon



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 !