Notes sur les ensembles ouverts et fermés, Notes de Mathématiques
Caroline_lez
Caroline_lez13 January 2014

Notes sur les ensembles ouverts et fermés, Notes de Mathématiques

PDF (164.7 KB)
6 pages
509Numéro de visites
Description
Notes de mathématique sur les ensembles ouverts et fermés. Les principaux thèmes abordés sont les suivants: définitions, les boules, les parties, les boules généralisées, le diamètre.
20points
Points de téléchargement necessaire pour télécharger
ce document
Télécharger le document
Aperçu3 pages / 6
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Aperçu avant impression terminé
Chercher dans l'extrait du document
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Aperçu avant impression terminé
Chercher dans l'extrait du document

ENSEMBLES OUVERTS ET FERMÉS

Définition: Considérons un ensemble E muni d'une distance d. Un sous-ensemble U de E est dit

"sous-ensemble ouvert" si, pour chaque élément de U, il existe une distance r non nulle pour

laquelle tous les éléments de E dont la distance à cet élément est inférieure ou égale àr,

appartiennent à U, ce qui ce traduit en langage mathématique :

U ouvert de (18.31)

Remarque: Le symbole / signifie dans ce contexte "satisfait le propriété"

Cette définition peut sembler complexe mais en fait, sa signification concrète est plus simple

qu'il n'y paraît. En fait, selon cette définition, un ensemble ouvert dans un espace topologique

n'est rien d'autre qu'un ensemble de points contiguës et sans bords.

L'absence de bord découle de la condition . En effet, en raisonnant par l'absurde, si un

ensemble ouvert U avait un bord, alors pour chaque point situé sur celui-ci (le bord) il serait

toujours possible de trouver un point n'appartenant pas à U aussi proche que l'on veut de lui. Il

s'ensuit que la distance r nécessaire devient donc nulle.

Définitions:

D1. Un "sous-ensemble fermé" est un "ouvert avec bord".

D2. Un "voisinage" d'un point de E est une partie de E contenant un ouvert contenant ce point.

La définition d'un ensemble ouvert peut être simplifiée en introduisant une notion

supplémentaire, celle de "boule ouverte" :

BOULES

Soit x un élément de E:

Définition: Une "boule ouverte de centre x et de rayon r>0" ou "boule métrique de

rayon r centrée en x" est le sous-ensemble de tous les points de E dont la distance à x est

inférieure à r, ce que nous écrivons :

(18.32)

Un ensemble ouvert peut également être défini comme un ensemble pour lequel il est possible

de définir une boule ouverte en chaque point.

Remarques:

R1. Les ouverts ainsi définis, forment ce que nous appelons une "topologie induite" par la

distance d ou aussi "topologie métrique".

R2. Nous appelons une "couverture ouverte"U de E, un ensemble d'ouverts de E dont la réunion

est E.

Définition: Une "boule fermée" est similaire à une boule ouverte mais diffère dans le sens que

nous y incluons les éléments situés à la distance r du centre :

(18.33)

Remarque: Pour les inclusions sont des conséquences directes

de la définition de boule ouvert et fermée.

Exemple:

La distance usuelle dans est donnée par . Les boules sont des intervalles.

Pour et , nous avons:

et (18.34)

Définition: Une "sphère" est donnée par :

(18.35)

Remarque: Puisque par définition, , les boules ouvertes et fermées ne sont pas vides car

elle contiennent au moins leur centre. Par contre, une sphère peut être vide.

Exemple:

Avec nous avons vu dans les exemples précédents que nous pouvions définir

différentes distances. Pour les distinguer, nous les notons :

(18.36)

Alors, dans les boules fermées de centre O et de rayon unité équivalentes aux trois

formulations précédentes, ont la forme suivante (rappel : dans cet exemple) :

(18.37)

PARTIES

Maintenant que nous avons défini les concepts de boules, nous pouvons enfin définir

rigoureusement les concepts d'intervalles ouverts et fermées (qui dans un espace à plus d'une

dimension sont nommées "parties") dont nous avons fait si souvent usage en Analyse

Fonctionnelle et Calcul Intégral Et Différentiel.

Définition: Soit (X,d) un espace métrique. Nous disons qu'une partie A de X est "bornée" s'il

existe une boule fermée telle que :

(18.38)

Compte tenu de la remarque précédente sur les inclusions des boules, il est clair que nous

pouvons remplacer l'adjectif "fermée" par "ouverte". De plus l'inégalité triangulaire entraîne que

le caractère borné de A ne dépend pas du choix de (avec un il suffit de

remplacer r par ).

Définitions:

D1. Soit X un ensemble et (Y,d) un espace métrique. Si X est un ensemble, nous disons qu'une

fonction est "bornée" si son image f(X) est bornée (cas de la fonction sinus ou cosinus par exemple).

D2. Soit (E,d) un espace métrique, et soit A une partie non vide de E. Pour tout nous

notons d(u,A) et nous appelons "distance de u à A", le nombre réel positif non nul :

(18.39)

Nous prolongeons la notion en posant :

(18.40)

Si A et B sont deux parties de E nous avons respectivement (c'est peut-être plus

compréhensible ainsi...):

(18.41)

Exemple:

Si nous prenons et nous

avons quand tandis que . Ainsi, la distance entre les parties ne

définit pas vraiment une distance sur dans cet exemple. Il s'agit donc d'un abus de

notation et il faut bien interpréter comme l'infinimum de la distance entre Aet B

Remarques:

R1. Si le lecteur à bien compris la définition du concept de "parties" il remarquera qu'il n'existe

pas nécessairement toujours un tel que . En conséquence, nous écrivons

trivialement :

(18.42)

De plus, si un tel existe, il n'est bien évidemment pas nécessairement unique.

R2. Il convient peut être de rappeler que cette distance satisfait également les 5 axiomes des

distances.

D3. Soit (E,d) un espace métrique, et soit A une partie de E. Nous appelons "adhérence" de A et

notons adh(A) le sous-ensemble de E défini par :

(18.43)

En particulier, puisque , nous avons , et

puisque , nous avons .

Remarques:

R1. Tout élément de l'ensemble adh(A) est dit "point adhérent" à A

R2. Nous disons qu'une partie A de E est une "partie fermée" si elle est égale à son adhérence

R3. Nous disons qu'une partie A de E est une "partie ouverte" si elle est son complémentaire par

rapport à E :

(18.44)

est fermé.

Il s'ensuit que (de par les définitions) :

(18.45)

A est ouverte (18.46)

avec quelques propriétés :

P1. (triviale) Si et vérifient , nous avons :

P2. (triviale) Pour tout , tout :

Dernière propriété qui a pour corroloaire (trivial) :

Si pour tout nous avons , , nous avons :

BOULES GÉNÉRALISÉES

La notion de distance d'un point à un ensemble permet d'étendre les notions de boule et de

sphère.

Définitions:

D1. Soit et soit un . Nous appelons "boule ouverte généralisée" de centre A et de

rayon r, l'ensemble suivant :

(18.47)

Respectivement "boule fermée généralisée":

(18.48)

Respectivement "sphère généralisée" :

(18.49)

D2. Soit (E,d) un espace métrique et soient A, B deux parties non vides de E. Nous

notons g(A,B) et appelons "gap" (qui signifie "écartement" ou "espacement" en français)

de A à B, le nombre réel supérieur ou égal à zéro :

(18.50)

Remarque: L'inégalité triangulaire n'est pas valide dans le cadre des

gap (ceci étant également valable). Il suffit pour le démontrer, d'un seul et unique exemple qui

contredirait l'inégalité.

Exemple:

Dans prenons nous avons alors :

(18.51)

Il y a donc bien contradiction.

DIAMÈTRE

Définition: Soit (E,d) un espace métrique et soit A une partie non vide de E. Nous notons

diam(A) et nous appelons "diamètre" de A, le nombre réel positif non nul :

(18.52)

Tout partie non vide A d'un espace métrique vérifiant sera aussi dite "bornée".

Remarque: Nous considérons la partie vide comme un borné de diamètre A

Si l'espace métrique (E,d) tout entier est borné, nous disons que la distance d est bornée. Par

exemple, la distance discrète est bornée, la distance usuelle sur ne l'est pas.

Nous avons aussi les propriétés suivantes :

P1. (triviale) ou

P2. (triviale)

P3. De par la définition du diamètre :

Exemple:

Pour il suffit pour se convaincre de prendre la distance discrète. Ainsi, dans un

espace métrique où nous prenons avec , nous avons (c'est un cas

intéressant car complètement contre-intuitif).

P4. Nous avons

Exemple:

Dans prenons , nous avons alors (infériorité stricte triviale):

(18.53)

P5. A est borné si et seulement si

Définition: Nous appelons "excès de Hausdorff" de A sur B :

(18.54)

commentaires (0)
Aucun commentaire n'a été pas fait
Écrire ton premier commentaire
Ceci c'est un aperçu avant impression
Chercher dans l'extrait du document
Docsity n'est pas optimisée pour le navigateur que vous utilisez. Passez à Google Chrome, Firefox, Internet Explorer ou Safari 9+! Téléchargez Google Chrome