• Aucun résultat trouvé

Montrer que c’est une topologie

N/A
N/A
Protected

Academic year: 2022

Partager "Montrer que c’est une topologie"

Copied!
1
0
0

Texte intégral

(1)

Coll`ege ST ANNEE UNIVERSITAIRE 2014/2015

Parcours : Licence de Math´ematiques UE : G´eom´etrie et Topologie (N1MA6014)

Date : 25/03/2015 Heure : 11h00 Dur´ee : 1h30 Documents : Non autoris´es. Calculette : autoris´ee Epreuve de Mr : Bessi`eres. Sujet : 1 page

Exercice 1 (Question de cours). SoitX un espace topologique et Y un ensemble.

(1) D´efinir la notion de vari´et´e de dimensionm sur X (2) D´efinir la notion d’atlas de dimensionm surY.

(3) Pr´eciser comment est d´efinie la topologie de vari´et´e associ´ee `a un atlas sur Y. Montrer que c’est une topologie.

Exercice 2. On consid`ere l’ensembleY ⊂R2 d´efini par Y = (R× {0})∪({0} ×R).

(1) Montrer que (Y,T), o`uT est la topologie induite, n’est pas une vari´et´e.

(2) Montrer que Y admet un atlas de1-vari´et´e (indication : chercher un atlas `a 3 cartes).

(3) Montrer que est Y admet un atlas de 1-vari´et´e, pour lequel il est hom´eomorphe `a Z = ]0,1[∪]2,3[∪]4,5[⊂Rmuni de la topologie induite.

Exercice 3. Soit X = {(x, n) | x ∈ [0,1], n ∈ N} ⊂ R2 et Z = {(x, x/n) | x ∈ [0,1], n ∈ N} ⊂R2. On d´efinit g:X→Z par g(x, n) = (x, x/n).

(1) Repr´esenter succintementX etZ. (2) Montrer que g est surjective continue.

On d´efinit un espace quotientX en identifiant tous les(0, n) deX en un point, qu’on note ∗.

On notep:X→X l’application quotient.

(3) Justifier que gpasse au quotient en une bijection continue f :X→Z.

(4) Montrer que Z n’est pas compact, en d´eduire queX n’est pas compact.

(5) Montrer que pour α > 0,p([0, α[×{n}) n’est pas ouvert dans X, mais que si αn > 0 pour toutn∈N,

p

[

n=0

[0, αn[×{n}

!

est ouvert dansX.

(6) Montrer que f n’est pas un hom´eomorphisme (Indication : consid´erer la suite xn = (1/n, n) dansX, montrer quef(xn) converge mais pas p(xn)).

(7) Montrer que X et Z ne sont pas hom´eomorphes.

1

Références

Documents relatifs

Par contre, elle ne converge pas pour la norme ||.|| car, si elle convergeait pour cette norme, la suite des fonctions dérivées convergerait pour la norme ||.|| ∞.. En particulier,

D´ eterminer par la mˆ eme m´ ethode le groupe fondamental des espaces topologiques form´ es par les arˆ etes d’un t´ etra` edre r´ egulier, d’un octa` edre r´ egulier,

Montrer que E n’est pas de type fini comme K[X ]-module (on pourra montrer que, si c’´ etait le cas, il existerait des polynˆ omes P 1 ,.. Montrer que L|K

Calculette homologu´ ee : autoris´ ee Epreuve de Mr : Bessi` eres... On se propose de montrer que P admet

Calculette homologu´ ee : autoris´ ee Epreuve de Mr :

Calculette homologu´ ee : autoris´ ee Epreuve de Mr :

Calculette : autoris´ ee Epreuve de Mr : Bessi`

Calculette : autoris´ ee Epreuve de Mr :