Fermeture et limite

Aide à la résolution d'exercices de mathématiques de tout niveau scolaire.
[participation réservée aux utilisateurs inscrits]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Re: fermeture et limite

Message non lu par paspythagore »

$X\setminus F\text{ n'est pas un ouvert }\Longleftrightarrow\exists a\in X\setminus F,$ $\forall\alpha>0,B_0(a,\alpha)\nsubseteq X\setminus F$

Donc : $\exists x\in B_0(a,\alpha), \text{ tel que }x\in F$

Je n'arrive pas à construire la suite.

Après, je ne comprends pas la définition de mon cours :
Soit $A$, une partie d'un espace métrique $(X,d)$. On dit que $A$ est un \textbf{fermé} si son complémentaire est ouvert, autrement dit si, pour tout $x$ dans $X$,
$$\big(\forall\alpha>0,B(x,\alpha)\cap A\neq\varnothing\Longrightarrow x\in A\big)$$
Par convention, l'ensemble vide est fermé.
Comment $x$ peut être le centre de la boule et donc appartenir à celle ci et appartenir à $A$ aussi alors que $B(x,\alpha)\cap A\neq\varnothing$ ?
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: fermeture et limite

Message non lu par balf »

paspythagore a écrit :$X\setminus F\text{ n'est pas un ouvert }\Longleftrightarrow\exists a\in X\setminus F,$ $\forall\alpha>0,B_0(a,\alpha)\nsubseteq X\setminus F$

Donc : $\exists x\in B_0(a,\alpha), \text{ tel que }x\in F$

Je n'arrive pas à construire la suite.
On prend successivement α =1, 1/2, 1/3, &c. On trouve donc un élément x₁tel que d(x₁,α) < 1, puis un élément x₂ tel que d(x₂,α) < 1/2, et ainsi de suite.
Après, je ne comprends pas la définition de mon cours :
Soit $A$, une partie d'un espace métrique $(X,d)$. On dit que $A$ est un \textbf{fermé} si son complémentaire est ouvert, autrement dit si, pour tout $x$ dans $X$,
$$\big(\forall\alpha>0,B(x,\alpha)\cap A\neq\varnothing\Longrightarrow x\in A\big)$$
Par convention, l'ensemble vide est fermé.
Comment $x$ peut être le centre de la boule et donc appartenir à celle ci et appartenir à $A$ aussi alors que $B(x,\alpha)\cap A\neq\varnothing$ ?
Et alors ? Il est interdit que le centre d'une boule soit dans A ? Puisque l'intersection est non vide, il n'y a pas contradiction.

Au passage, on peut remarquer que cette caractérisation des fermés, qui repose sur l'énoncé contraposé de celui qui caractérise le fait que X \A soit ouvert, fournit directement la démonstration demandée.

B.A.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Re: fermeture et limite

Message non lu par paspythagore »

balf a écrit : Et alors ? Il est interdit que le centre d'une boule soit dans A ? Puisque l'intersection est non vide, il n'y a pas contradiction.
B.A.
:oops: Je m'excuse.
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: fermeture et limite

Message non lu par balf »

Vous n'avez pas à vous excuser ; ce qui est important, c'est de comprendre ce qui vous a fait penser qu'il y avait une contradiction.

B.A.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Re: fermeture et limite

Message non lu par paspythagore »

Bonsoir.
Ce que je ne comprends c'est cette définition d'un fermé.
Qu'a donc de particulier la boule $B(x,\alpha)$ pour que si elle s'intersecte avec un fermé, son centre soit nécessairement dans ce fermé ?
D'ailleurs cette boule est elle fermée ou ouverte ?


Après, comme quelque chose m'échappe, je n'arrive pas à conclure.
Minibob59
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 234
Inscription : dimanche 24 janvier 2010, 11:14
Localisation : Palaiseau

Re: fermeture et limite

Message non lu par Minibob59 »

Attention, balf n'a pas dit que le centre de la boule était nécessairement dans le fermé, mais simplement que rien ne l'empêche d'y être...
Soit $A$, une partie d'un espace métrique $(X,d)$. On dit que $A$ est un fermé si son complémentaire est ouvert, autrement dit si, pour tout $x$ dans $X$,
$$\big(\forall\alpha>0,B(x,\alpha)\cap A\neq\varnothing\Longrightarrow x\in A\big)$$

Cette propriété signifie que tout point de $X$ qui est "collé" à $A$ appartient nécessairement à $A$. On peut encore traduire ça par :
$A$ est un fermé $\iff (\forall x \in X, \; d(x,A) = 0 \iff x \in A)$
Pour ce qui est de la démonstration de la réciproque de la propriété du début de post, ça va mieux ?
Minibob59 !
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: fermeture et limite

Message non lu par balf »

paspythagore a écrit :Bonsoir.
Ce que je ne comprends c'est cette définition d'un fermé.
Je précise, alors : d'abord, la boule est ce qu'on veut (ce n'est pas crucial, dans le contexte d'un espace métrique), mais provenant de la définition d'un ouvert, elle serait plutôt ouverte.

Ensuite, la contraposée : X \ Α est ouvert ssi, pour tout x :
x ∈ X \ A $\Rightarrow$ ∃α > 0, Β(χ, α) ⊂ Χ \ A,

c.-à-d.
x ∈ X \ A $\Rightarrow$ ∃α > 0, B(χ, α) $\cap$ A = ∅

La contraposée est donc :
∀α,B(χ, α) $\cap$ A $\neq$ ∅ $\Rightarrow$ x ∈A
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Re: fermeture et limite

Message non lu par paspythagore »

Bonsoir.
Pour tout $x$ dans $X$,

$$\big(\forall\alpha>0,B(x,\alpha)\cap A\neq\varnothing\Longrightarrow x\in A\big)$$
Ca ne veut pas dire que $x$ est nécessairement dans le fermé $A$ ?
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: fermeture et limite

Message non lu par balf »

Si. C'est ce que j'ai justifié par contraposition dans le message précédent (et ça ne marche que parce que A est fermé).

B.A.
Minibob59
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 234
Inscription : dimanche 24 janvier 2010, 11:14
Localisation : Palaiseau

Re: fermeture et limite

Message non lu par Minibob59 »

paspythagore a écrit :Ca ne veut pas dire que $x$ est nécessairement dans le fermé $A$ ?
Au temps pour moi, quand dans un post précédent j'ai dit que le centre de la boule n'était pas nécessairement dans $A$, c'était faux.
paspythagore a écrit :Qu'a donc de particulier la boule $B(x,\alpha)$ pour que si elle s'intersecte avec un fermé, son centre soit nécessairement dans ce fermé ?
Ce n'est pas la boule qui a quelque chose de particulier, c'est $A$ : c'est un fermé ; comme l'a dit balf, c'est cette propriété qui fait que ça marche.
paspythagore a écrit :D'ailleurs cette boule est elle fermée ou ouverte ?
Aucune importance ici. Mais pourquoi ?... ^^
Minibob59 !
balf
Modérateur spécialisé
Modérateur spécialisé
Messages : 4065
Inscription : mercredi 02 janvier 2008, 23:18

Re: fermeture et limite

Message non lu par balf »

Que A soit fermé ou non, la propriété :
$$\forall\alpha>0,B(x,\alpha)\cap A\neq\varnothing$$
signifie que le point x est adhérent à A. Et A est fermé si et seulement si tout point adhérent à A est élément de A.

B.A.
Répondre
  • Sujets similaires
    Réponses
    Vues
    Dernier message