Topologie et calcul différentiel Flashcards
Propriétés d’une distance
- Séparation
- Symétrie
- Inégalité triangulaire
Quel couple est appelé espace métrique
(E,dist)
E un ensemble
dist une distance
Inégalité de Young
ab≤a^p/p + b^p’/p’
p’ conjugué de p défini par
1/p + 1/p’ = 1
Inégalité de Cauchy(-Schwarz)
∑|an.bn|≤(∑an^2)^1/2 . (∑bn^2)^1/2
Inégalité de Minkowski
(∑|an+bn|^p)^1/p ≤ (∑|an|^p)^1/p . (∑|bn|^p)^1/p
Boule ouverte de centre p et de rayon r > 0
Ensemble des points de E qui sont à distance inférieure à r de p
Boule fermée de centre p et de rayon r > 0
Ensemble des points de E qui sont à distance inférieure ou égale à r de p
Ensemble borné A ⊂ E
Ssi il existe une boule B(p, r) telle que A ⊂ B(p, r)
D est un voisinage de p
Ssi il existe une boule (ouverte) centrée
en p et contenue dans D
D est un ouvert
Ssi D est un voisinage de tous ses points
D est un ensemble fermé
Ssi Rd \ D est un ouvert
intérieur de A
réunion de tous les ouverts contenus dans A
plus grand ouvert contenu dans A
adhérence de A
intersection de tous les fermés qui contiennent A
plus petit fermé contenant A
bord ou frontière de A
ensemble ∂A = -A \ °A
A est dit dense
-A=E
Un espace métrique (E,d) est dit complet
Ssi toute suite de Cauchy est convergente
f est continue en p
∀ε>0 ∃δ>0, (∀x∈E1,d1(x,p)d2(f(x),f(p))
f est continue sur E1
f est continue en chaque point p ∈ E1
f est un homéomorphisme
f est continue, bijective et la réciproque f−1 : E2 → E1 est continue
f est uniformément continue sur A
∀ε>0 ∃δ>0, (∀x,y∈A,d1(x,y)
Caractérisation locale de la continuité
f est continue en p ssi
∀ε > 0 ∃δ > 0 tel que BE1(p,δ) ⊂ f−1 (BE2(f(p),ε))
Caractérisation de la continuité et convergence
f est continue en p ssi
∀(xn)n∈N dans E1, lim xn = p ⇒ lim f(xn) = f(p)
Caractérisation globale de la continuité
Il est équivalent :
(i) f est continue sur E1
(ii) L’image réciproque d’un ouvert de E2 est un ouvert de E1
(iii) L’image réciproque d’un fermé de E2 est un fermé de E1
recouvrement ouvert de A
famille d’ouverts de E, c’est à dire, un sous-ensemble R ⊂ O(E) satisfaisant A ⊂ ∪r∈R r