Professional Documents
Culture Documents
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,
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,
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
1.6
Espaces Complets
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