Topologie

Aide à la résolution d'exercices ou de problèmes de niveau Supérieur.

Modérateur: gdm_aidesco

Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Ne poster qu'un exercice (ou problème) par sujet et indiquer son niveau précis dans le titre du message.

Topologie

Messagepar zariski63 » Lundi 09 Avril 2018, 16:38

Bonjour !
Pourriez-vous svp me dire si ma démonstration est correcte ?
J'ai un doute quand à l'utilisation correcte de l'inf ...
Merci

Code: Tout sélectionner
\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[french]{babel}

\begin{document}
\textbf{Preuve}

Soit $x \in E$ et $F=\left\{d(x,a), a \in A \right\}$.

$d(x,A)=\inf F$ est bien défini comme borne inférieure d'un ensemble de réels minorés par 0.

\medskip

\colorbox{red!10}{$e \in F$ se traduit par : \; $\exists a \in A \;,\; e=d(x,a)$.}

\medskip

$\begin{array}{ccl}
  d(x,A)={\color{red}0} & \Longleftrightarrow & \forall \varepsilon >0 \;,\; \exists e \in F \;,\; e-{\color{red}0} < \varepsilon \quad \text{ (caractérisation de la borne inf.)}\\[0.1ex]
          & \Longleftrightarrow & \forall \varepsilon >0 \;,\; \exists a \in A \;,\;  d(x,a) < \varepsilon \quad \text{ (d'après la remarque surlignée)}\\[0.1ex]
          & \Longleftrightarrow &  \forall \varepsilon >0 \;,\; \exists a \in A \; \text{ et } \;  a \in  B(x,\varepsilon)\\[0.1ex]
          & \Longleftrightarrow & \forall \varepsilon >0 \;,\;   B(x,\varepsilon) \cap A \neq \emptyset \\[0.1ex]
          & \Longleftrightarrow &  x \in \overline{A}\\[0.1ex]
\end{array}$

\end{document}
Fichiers joints
listes.pdf
(48.29 Kio) Téléchargé 9 fois
zariski63
Méga-utilisateur
 
Messages: 259
Inscription: Jeudi 14 Octobre 2010, 08:20
Statut actuel: Actif et salarié | Enseignant

Publicité

Re: Topologie

Messagepar balf » Mardi 10 Avril 2018, 12:25

Ça me paraît correct. Juste cette observation : je ne suis pas sûr que la première équivalence soit indispensable, ni qu'on ait besoin d'introduire l'ensemble de réels $F$.
B. A.
balf
Zetta-utilisateur
 
Messages: 3731
Inscription: Mercredi 02 Janvier 2008, 23:18
Statut actuel: Actif et salarié | Maître de conférence

Re: Topologie

Messagepar zariski63 » Mardi 10 Avril 2018, 13:12

ok merci beaucoup.
Pour la première équivalence, effectivement on peut s'en passer.
C'est juste pour faire le lien avec la borne inf ...
zariski63
Méga-utilisateur
 
Messages: 259
Inscription: Jeudi 14 Octobre 2010, 08:20
Statut actuel: Actif et salarié | Enseignant


Retourner vers Exercices et problèmes : Supérieur

 


  • Articles en relation
    Réponses
    Vus
    Dernier message
  • Un peu de topologie
    par papriko » Dimanche 04 Février 2007, 19:34
    5 Réponses
    560 Vus
    Dernier message par papriko Voir le dernier message
    Lundi 05 Février 2007, 12:16
  • Topologie
    par Pedro » Vendredi 13 Juillet 2007, 19:17
    2 Réponses
    515 Vus
    Dernier message par LaTeX_man Voir le dernier message
    Vendredi 20 Juillet 2007, 15:28
  • Topologie !
    1, 2par Pedro » Samedi 17 Novembre 2007, 12:00
    33 Réponses
    881 Vus
    Dernier message par Arnaud Voir le dernier message
    Dimanche 18 Novembre 2007, 22:44
  • [ECS] Topologie
    par hec » Lundi 26 Novembre 2007, 22:12
    2 Réponses
    382 Vus
    Dernier message par hec Voir le dernier message
    Lundi 26 Novembre 2007, 22:17
  • Topologie
    par jeje56 » Dimanche 12 Octobre 2008, 15:26
    1 Réponses
    253 Vus
    Dernier message par OG Voir le dernier message
    Dimanche 12 Octobre 2008, 15:46

Qui est en ligne

Utilisateurs parcourant ce forum: Google Adsense [Bot] et 4 invités