Vous êtes sur la page 1sur 4

Topologie

1
1.1

Notions
el
ementaires de Topologie
Normes, normes
equivalentes

Une norme sur lespace vectoriel E est une application N de E dans R verifiant les
quatre axiomes suivants :
x E, N (x) 0
x E, N (x) = 0 x = 0
x E, K, N (x) = ||N (x)
(x, y) E 2 , N (x + y) N (x) + N (y) (inegalite triangulaire)
Normes
equivalentes : Les normes N et N sont equivalentes si et seulement si
il existe deux reels strictement positifs et tels que :
x E, N (x) N 0 (x) N (x).
Il revient au meme de dire que la fonction

N0
est bornee sur E \ {0}.
N

Th
eor`
eme : Si E est de dimension finie sur K, toutes les normes sont equivalentes.

1.2

Voisinage

Un voisinage de x est une partie de lespace vectoriel norme (E, N) qui contient
une boule ouverte non vide de centre x. Lensemble des voisinages de x se note
V (x). Si V est une partie de E,

(O est ouvert x O, r > 0/Bo (x, r) V )


Th
eor`
eme : Une reunion quelconque de voisinage de x est un voisinage de x. Une
intersection finie de voisinage de x est un voisinage de x.

1.3

Ouverts, int
erieur

Ouvert : Un ouvert de lespace vectoriel norme (E, N) est soit , soit une partie
non vide de E voisinage de chacun de ses points.
Si O est une partie non vide de E,

(O est ouvert x O, r > 0/ Bo (x, r) O)


Th
eor`
eme : Une reunion quelconque douverts est un ouvert. Une intersection
finie douverts est un ouvert.

Int
erieur : Un element x de A 6= est interieur `a A si et seulement si A est
voisinage de x.

(x E), (x A A V (x))
Linterieur dune partie non vide A est lensemble des points de A dont A est
voisinage.

Th
eor`
eme : A est le plus grand ouvert contenu dans A.

Th
eor`
eme : A est ouvert si et seulement si A = A.

1.4

Ferm
es, adh
erence

Ferm
e : A est ferme si et seulement si le complementaire de A est ouvert.
Th
eor`
eme : Une intersection quelconque de fermes est un ferme. Une reunion
finie de fermes est un ferme.
Th
eor`
eme (caract
erisation s
equentielle des ferm
es) : Une partie non vide
de A est fermee si et seulement si toute suite convergente delements de A
converge dans A.
Adh
erence : Un element x de E est adherent `a A si et seulement si tout
voisinage de x rencontre A
V V (x), V A 6= ).
(x E, x A
Ladherence de A est lensemble des points adherents `a A.
est le plus petit ferme contenant A.
Th
eor`
eme : A

Th
eor`
eme : A est ferme si et seulement si A = A
Th
eor`
eme : x est adherent `
a A si et seulement si il existe une suite delements de
A convergente de limite x.
Remarque : et E sont des parties `a la fois ouvertes et fermees.

1.5

Compacts

Une partie non vide K de E est compacte si et seulement si de toute suite


delements de K, on peut extraire une sous-suite qui converge vers un element de
K. Sinon, est compact.
Th
eor`
eme : Si K est compacte, K est fermee et bornee.
Th
eor`
eme de BOREL-LEBESGUE : Si (E, N) est un espace vectoriel norme
de dimension finie, les compacts sont les parties fermees et bornees.
Th
eor`
eme de BOLZANO-WEIERSTRASS : Si (E, N) est un espace
vectoriel norme de dimension finie, de toute suite bornee, on peut extraire une
sous-suite convergente.

1.6

Espaces Complets

Lespace vectoriel norme (E, N) est complet si et seulement si toute suite de


Cauchy delements de E converge dans E.
2

Un espace vectoriel norme complet est un espace de BANACH.


Th
eor`
eme : Si (E, N) est un espace de dimension finie, alors (E, N) est un espace
de BANACH.

Tribu ou -alg`
ebre

D
efinition (Tribu ou -alg`
ebre) :
Soient E un ensemble, T une famille de parties de E (i.e T P(E)). La famille T
est une tribu (on dit aussi -alg`ebre) sur E si T verifie :
1. T, E T,
2. T est stable par union denombrable, cest `a dire que pour toute famille
denombrable (An )nN delements de T, on a nN An T
3. T est stable par intersection denombrable, cest `a dire que pour toute
famille denombrable (An )nN delements de T, on a nN An T
4. T est stable par passage au complementaire, cest-`a-dire que pour tout
A T , on a Ac T (On rappelle que Ac = E \ A).
D
efinition (langage probabiliste) : Soient E un ensemble quelconque (parfois
appele lunivers des possibles) et T une tribu ; on appelle eventualites les elements
de E et evenements les elements de T. On appelle evenement elementaire un
singleton appartenant `
a T. On dit que deux evenements A, B T sont
incompatibles si A B =
D
efinition (Tribu engendr
ee) : Soient E un ensemble et C P(E). On
appelle tribu engendree par C la plus petite tribu contenant C, cest-`a-dire la tribu
T(C) intersection de toutes les tribus sur E contenant C (cette intersection est non
vide car P(E) est une tribu contenant C).
D
efinition (Alg`
ebre) : Soient E un ensemble, A une famille de parties de E (i.e
A P(E) ). La famille A est une alg`ebre sur E si A verifie :
1. A, E A,
2. A est stable par union finie, cest-`a-dire que pour tout A, B A on a
A B A.
3. A est stable par intersection finie, cest-`a-dire que pour tout A,B A on a
A B A.
4. A est stable par passage au complementaire, cest-`a-dire que pour tout
A A, on a Ac A.
D
efinition (Topologie) : Soit E un ensemble. Une topologie sur E est donnee
par une famille de parties de E, appelees ouverts de E, contenant et E, stable
par union (quelconque) et stable par intersection finie. Lensemble E, muni de
cette famille de parties, est alors un espace topologique.
D
efinition (Tribu bor
elienne) : Soit E un ensemble muni dune topologie (un
espace metrique, par exemple). On appelle tribu borelienne (ou tribu de Bordel) la
tribu engendree par lensemble des ouverts de E, cette tribu sera notee B(E). Dans
le cas E = R, cette tribu est donc notee B(R). On appelle borelien de R un
element de la tribu borelienne.
D
efinition (Espace et partie mesurable ou probabilisable) : Soient E un
ensemble et T une tribu sur E. Le couple (E, T) est appele espace mesurable ou
(en langage probabiliste !) espace probabilisable. Les parties de E qui sont
(respectivement ne sont pas) des elements de T sont dites mesurables ou
probabilisables (respectivement non mesurables, non probabilisables).
4