Академический Документы
Профессиональный Документы
Культура Документы
1)
Espaces topologiques.
Dfinition. 1.1. Soit X un ensemble et T P(X). On dit que T est une topologie si et seulement si elle
vrifie les axiomes
\
(i) pour toute famille finie (Oi )iI de T ,
Oi T ,
(ii) pour toute famille (Oi )iI
[iI
de T ,
Oi T .
iI
= X,
= .
Soit (X, T ) un espace topologique et x X. On remarque que T (x) = VX (x) est une topologique sur X.
On appelera (X, T (x)), le localis de (X, T ) en x.
On a , X T (x). De mme si A, B T (x), si lun parmis A, B est vide cest vident, sinon ils sont tous
deux voisinages et donc leur intersection est un voisinage, de mme si (Ai )iI est une
S famille de T (x),
S soit les
Ai sont tous vides et alors cest vident, sinon on choisit Aj non vide et on a alors i Ai Aj , donc i Ai est
un voisinage de x.
Soient (X, T ) et (Y, T 0 ) deux espaces topologiques et f : X Y , on dit que f : (X, T ) (Y, T 0 ) est
continue si et seulement si pour tout O T 0 , f 1 (O) T .
Mainenant, on cherche va dfinir autrement la continuit locale en un point x, pour rester dans lesprit :
On dit que f : X Y est continue en x X si et seulement si f : (X, T (x)) (Y, T 0 (f (x))) est continue.
Montrons que cette dfinition est quivalente la dfinition usuelle : f est continue en x si et seulement si pour
tout voisinage W de f (x), il existe un voisinage V de x tel que f (V ) W .
Si W est un voisinage de f (x) alors cest un ouvert de T 0 (f (x)) donc il existe un ouvert de T (x), O, tel que
O = f 1 (W ). Or O ne peut tre vide puisque x f 1 (W ), donc O est un voisinage de x et ainsi f 1 (W ) en
est un aussi, et f (f 1 (W )) W .
Rciproquement si U est un ouvert de T 0 (f (x), supposons quil est non vide, alors cest un voisinage de f (x)
donc il existe un voisinage V de x tel que f (V ) U , en particulier V f 1 (U ) donc f 1 (U ) est un voisinage,
donc un ouvert de T (x). Si U = , alors f 1 (U ) = , qui est bien un ouvert de T (x). .
On peut gnraliser aux filtres :
Soit J , un filtre de X, J + = J est une topologie sur X, (X, J + ) est lespace (X, T ) filtr par J .
On appelle morphisme de filtre une application f : (X, J + ) (Y, J 0+ ) continue, o J , J 0 sont deux filtres.
Finalement la continuit locale est un morphisme de filtres. Or pour un point qui nest pas dans X, on peut
dfinit un filtre ralisant un pseudo-voisinage... bref, on ne parle plus de convergence ni de continuit locale,
mais de morphisme de filtre... ou application filtre continment.
Chapitre I
1)
Espaces mtriques.
Dfinition. 1.1. Soit X un ensemble et d : X 2 R, une application. On dit que d est une distance si et
seulement si elle vrifie les axiomes suivants,
(i) (x, y) X 2 , (d(x, y) = 0 x = y),
(ii) (x, y) X 2 , d(x, y) = d(y, x),
(iii) (x, y, z) X 3 , d(x, y) 6 d(x, z) + d(z, y).
Remarques.
On a d(X 2 ) R+ , en effet (x, y) X 2 , 0 = d(x, x) 6 2d(x, y).
On a que la distance entre les distance est plus petite que la distance , cest dire, pour tout triplet
(x, y, z) X 3 ,
|d(x, y) d(x, z)| 6 d(x, y)
Car cest quivalent d(x, y) 6 d(x, z) d(z, y) 6 d(x, y), ce qui est impliqu par lingalit triangulaire.
Dfinition. 1.2. Soit (X, d) un espace mtrique, x X et > 0. On appelle,
Boule ouverte de centre x et de rayon , lensemble
B(x, ) = {y X : d(x, y) < }
Boule ferme de centre x et de rayon , lensemble
Bf (x, ) = {y X : d(x, y) 6 }
Dfinition. 1.3. Une partie borne de (X, d) est une partie A X tel que
x X, >: A B(x, )
Remarque.
Dans la dfinition, on peut remplacer la boule ouverte par une boule ferme car si B(x, ) convient, toute
Bf (x, 0 ) avec 0 > convient, et rciproquement.
En fait, si A est borne, on peut trouver une boule contenant A, centre en nimporte quel point.
Dfinition. 1.4. Soit A un ensemble et (X, d) un espace mtrique, on dit quune application f : A X est
borne dans (X, d) si et seulement si f (A) est borne dans (X, d). On note B(A, X, d) lensemble des application
borne de A dans X pour la distance d.
Exemples.
1. Lapplication d : (x, y) 7 max(x y, y x) dfinit une distance sur R, les boules ouvertes sont les
segments ouverts et les boules fermes sont les segments ferms.
1/2
2. Sur C, on peut dfinir la distance d : (z, z 0 ) 7 (z z 0 )(
z z0
, les boules ouvertes sont alors les
disques ouverts et les boules fermes, les disques ferms.
3. Dans Kn , avec K = R ou C, on peut dfinir pour p > 1, la distance dp dfinie par,
!1/p
dp (x, y) =
|xi yi |
4. Sur lespaces B(A, X, d), lapplication d : (f, g) 7 sup d(f (x), g(x)) est une distance.
xA
5. Pour A un ensemble quelconque, on peut dfinir la distance df : (x, y) 7 x,y , cest la distance grossire.
Ses boules sont soit des singletons soit lespace entier.
Remarques.
Si (X, d) est un espace mtrique et A, B X, on dfinit la distance entre A et B par
inf
d(x, y),
(a,b)AB
mais ce nest pas une distance sur P(X) car elle ne vrifie pas la sparation.
Si A X, on peut dfiniti le diamtre de A par (A) =
d(x, y).
sup
(x,y)A2
2)
x R , kxkp =
|xi |
3. B(A, E) o E est un espace vectoriel norm, est un espace vectoriel norm muni de la norme kf k =
sup kf (x)k.
xA
4. (E, dg ) ne peut pas provenir dun espace vectoriel norm, car il ne peut pas tre homogne.