Ensemble ouvert
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
Marcet003
- Membre Naturel
- Messages: 82
- Enregistré le: 22 Avr 2022, 15:37
-
par Marcet003 » 11 Avr 2024, 12:34
Bonjour,
Soit l'ensemble suivant :
![](https://latex.ilemaths.net/ile_TEX.cgi?E = \{ (x_1, x_2) \in \R^2 : x_1^2 + x_2^2 = 1 \})
On montre qu'il est fermé avec le fait que
![](https://latex.ilemaths.net/ile_TEX.cgi?E^C)
est ouvert i.e le complémentaire de l'ensemble dans
![](https://latex.ilemaths.net/ile_TEX.cgi?\R^2)
est ouvert.
Le complémentaire est donné par :
![](https://latex.ilemaths.net/ile_TEX.cgi?E^C = \{ (x_1, x_2) \in \R^2 : x_1^2 + x_2^2 \neq1 \})
.
Je sais que je recherche en principe :
![](https://latex.ilemaths.net/ile_TEX.cgi?\forall (x_0, y_0) \in {E^C} , \exists \delta > 0, B((x_0,y_0), \delta) \subset {E^C})
Mais je n'ai pas d'idée coment orienter ma démarche.
Merci d'avance,...
Modifié en dernier par
Marcet003 le 11 Avr 2024, 13:01, modifié 2 fois.
-
Ben314
- Le Ben
- Messages: 21665
- Enregistré le: 11 Nov 2009, 22:53
-
par Ben314 » 11 Avr 2024, 12:46
Salut,
Déjà, en ayant la bonne définition, ça serait mieux . . .
![](https://latex.ilemaths.net/ile_TEX.cgi?U\!\subset\!\R^2)
est un ouvert de
![](https://latex.ilemaths.net/ile_TEX.cgi?\R^2)
ssi
![](https://latex.ilemaths.net/ile_TEX.cgi?\forall (x_0, y_0) \in {U ,,\ \exists \delta > 0, \ \mbox{ t.q. }\ B((x_0,y_0), \delta)\subset U)
Où le rayon
![](https://latex.ilemaths.net/ile_TEX.cgi?\delta)
des disques à le droit de dépendre du point
![](https://latex.ilemaths.net/ile_TEX.cgi?(x_0, y_0))
choisi.
Donc pour raisonner sur ton exo., ben tu commence par choisir un point non situé sur le cercle trigo. (ton ensemble E) et tu regarde sur un dessin quel rayon il faut prendre si on veut qu'un disque centré en ce point et de ce rayon là ne coupe pas le cercle trigo. (géométriquement, c'est évident).
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
Marcet003
- Membre Naturel
- Messages: 82
- Enregistré le: 22 Avr 2022, 15:37
-
par Marcet003 » 11 Avr 2024, 13:05
Désolé, j'ai corrigé la definition et je n'ai pas bien recopié l'exercice. Ce n'est pas un cercle mais une hyperbole.
![](https://latex.ilemaths.net/ile_TEX.cgi?E = \{ (x_1, x_2) \in \R^2 : x_1^2 - x_2^2 = 1 \})
![](https://latex.ilemaths.net/ile_TEX.cgi?E^C = \{ (x_1, x_2) \in \R^2 : x_1^2 - x_2^2 \neq 1 \})
Je recherche en principe un delta tel que :
![](https://latex.ilemaths.net/ile_TEX.cgi?\forall (x_0, y_0) \in E^C , \exists \delta > 0, B((x_0,y_0), \delta) \subset E^C)
.
Il me semble ducoup que pour l'hyperbole, l'argument géométrique devient plus compliqué...
-
Rdvn
- Membre Rationnel
- Messages: 808
- Enregistré le: 05 Sep 2018, 12:55
-
par Rdvn » 13 Avr 2024, 20:58
@ Marcet003
Une autre piste , économe en calculs :
Recherche Google : topologie métrique
On trouve le site BibM@th en première page
Résumé de cours : espaces métriques, espaces vectoriels ...
En descendant on trouve
Théorème (caractérisation séquentielle)
A est fermé si et seulement si, pour toute suite (u(n)) d'éléments de A qui converge vers ℓ∈E,
alors ℓ∈A.
Qu'en pensez vous ?
-
Ben314
- Le Ben
- Messages: 21665
- Enregistré le: 11 Nov 2009, 22:53
-
par Ben314 » 14 Avr 2024, 23:17
Sinon, si on tient à le faire avec calculs, c'est pas monstrueux non plus :
Si pour
![](https://latex.ilemaths.net/ile_TEX.cgi?X\!=\!(x_1,x_2))
on pose
![](https://latex.ilemaths.net/ile_TEX.cgi?f(X)\!=\!x_1^2\!-x_2^2)
on vérifie assez rapidement que
![](https://latex.ilemaths.net/ile_TEX.cgi?|f(X\!+\!Y)-f(X)|\leqslant\|X\|\|Y\|\!+\!\|Y\|^2)
donc, si
![](https://latex.ilemaths.net/ile_TEX.cgi?f(X)\!\not=\!1)
, en prenant
![](https://latex.ilemaths.net/ile_TEX.cgi?r\!>\!0)
tel que
![](https://latex.ilemaths.net/ile_TEX.cgi?\|X\|r\!+\!r^2\!<\!|f(X)\!-\!1|)
on aura bien
![](https://latex.ilemaths.net/ile_TEX.cgi?B(X,r)\!\subset\!E^c)
.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
Marcet003
- Membre Naturel
- Messages: 82
- Enregistré le: 22 Avr 2022, 15:37
-
par Marcet003 » 15 Avr 2024, 15:35
Merci pour vos suggestions.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 77 invités