Ivan Shishkin, Birch Grove

Atlas topologique

Concept history

A revision trail for this concept page.

4 revisions

Revision 7720

10/24/2026, 10:02:00 AM · Ancient Tree

Updated text

Compare with revision 77192 changed lines
1##### Intuition
2
3Un atlas topologique est un ensemble de [[carte-locale|cartes locales]] permettant de décrire la totalité d'un espace, à l'aide de coordonnées euclidiennes. Chaque carte décrit une région de l'espace, et l'ensemble des cartes recouvre tout l'espace.
4
5![Diagramme coloré avec sphère et flèches](https://s3.pub2.infomaniak.cloud/object/v1/AUTH_7cc517879b0040959f7d12abb1f0e72d/mathwoods-images/uploads/2026/10/user-1/1792835758685-0cc04cc70cd3ad59-diagramme-colore-avec-sphere-et-fleches.png#mw-width-61)
5![Diagramme coloré avec sphère et flèches](https://s3.pub2.infomaniak.cloud/object/v1/AUTH_7cc517879b0040959f7d12abb1f0e72d/mathwoods-images/uploads/2026/10/user-1/1792836109021-da52179bafb784f3-diagramme-colore-avec-sphere-et-fleches.png#mw-width-63)
6*Un atlas topologique de la sphère avec deux cartes : les hémisphères nord et sud (légèrement élargis pour qu'ils recouvrent aussi l'équateur), sont chacun homéomorphes à un disque ouvert de $\mathbb{R}^{2}$.*
7
8##### Définition formelle
9
10Soit $M$ un [[espace-topologique|espace topologique]]. Un atlas topologique sur $M$ est une famille de [[carte-locale|cartes locales]] de dimension $n$
11$$\mathcal{A}=\{(O_{i},\varphi_{i})\}_{i\in I}$$
12formant un [[recouvrement|recouvrement]] de $M$, c'est-à-dire que
13$$M=\bigcup_{i\in I}O_{i}.$$
14
15##### Remarques
16
17- Un espace topologique admettant un atlas topologique est dit localement euclidien.
18- Il s'agit d'une condition nécessaire pour être une [[variete-topologique|variété topologique]].

Revision 7719

10/24/2026, 9:59:08 AM · Ancient Tree

Updated text

Compare with revision 76403 changed lines
1##### Intuition
2
3Un atlas topologique est un ensemble de [[carte-locale|cartes locales]] permettant de décrire la totalité d'un espace, à l'aide de coordonnées euclidiennes. Chaque carte décrit une région de l'espace, et l'ensemble des cartes recouvre tout l'espace.
4
5![Diagramme coloré avec sphère et flèches](https://s3.pub2.infomaniak.cloud/object/v1/AUTH_7cc517879b0040959f7d12abb1f0e72d/mathwoods-images/uploads/2026/10/user-1/1792835758685-0cc04cc70cd3ad59-diagramme-colore-avec-sphere-et-fleches.png#mw-width-61)
6*Un atlas topologique de la sphère avec deux cartes : les hémisphères nord et sud (légèrement élargis pour qu'ils recouvrent aussi l'équateur), sont chacun homéomorphes à un disque ouvert de $\mathbb{R}^{2}$.*
7
5##### Définition formelle
6
7Soit $M$ un [[espace-topologique|espace topologique]]. Un atlas topologique sur $M$ est une famille de [[carte-locale|cartes locales]] de dimension $n$
8$$\mathcal{A}=\{(O_{i},\varphi_{i})\}_{i\in I}$$
9formant un [[recouvrement|recouvrement]] de $M$, c'est-à-dire que
10$$M=\bigcup_{i\in I}O_{i}.$$
11
12##### Remarques
13
14- Un espace topologique admettant un atlas topologique est dit localement euclidien.
15- Il s'agit d'une condition nécessaire pour être une [[variete-topologique|variété topologique]].

Revision 7640

10/23/2026, 9:57:19 AM · Ancient Tree

Added exercise "Un atlas topologique sur le cercle"

linked exercisesNoneUn atlas topologique sur le cercle

Revision 7639

10/23/2026, 9:46:57 AM · Ancient Tree

Concept created

##### Intuition

Un atlas topologique est un ensemble de [[carte-locale|cartes locales]] permettant de décrire la totalité d'un espace, à l'aide de coordonnées euclidiennes. Chaque carte décrit une région de l'espace, et l'ensemble des cartes recouvre tout l'espace.

##### Définition formelle

Soit $M$ un [[espace-topologique|espace topologique]]. Un atlas topologique sur $M$ est une famille de [[carte-locale|cartes locales]] de dimension $n$
$$\mathcal{A}=\{(O_{i},\varphi_{i})\}_{i\in I}$$
formant un [[recouvrement|recouvrement]] de $M$, c'est-à-dire que
$$M=\bigcup_{i\in I}O_{i}.$$

##### Remarques

- Un espace topologique admettant un atlas topologique est dit localement euclidien.
- Il s'agit d'une condition nécessaire pour être une [[variete-topologique|variété topologique]].