Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Critère de séparation dans le recollement

Dans cours

MATH-225: Topologie II - groupes fondamentaux

On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre le Théorème de Seifert-van Kampen. Des exemples de surf ...

Description

Cette séance de cours présente un critère pour la séparabilité d'un recollement, en se concentrant sur l'inclusion de sous-espaces compacts et le rattachement dans des espaces séparés. L'instructeur démontre la preuve étape par étape, montrant les propriétés et les applications du fer dans divers cas.

Enseignant·e·s (2)

Jérôme Scherer

Dimitri Stelio Wyss

Source officielle

Proximité ontologique

Mathématiques

Topologie: General topology

Concepts associés (24)

Compacité (mathématiques)

En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.

Partie relativement compacte

En mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X (pour la topologie induite). Rappelons que dans la littérature française, un compact est supposé séparé. Si X est séparé, alors une partie de X est relativement compacte (si et) seulement si son adhérence est compacte. Dans un espace métrisable X, une partie Y est relativement compacte si et seulement si toute suite dans Y possède une sous-suite qui converge dans X.

Espace localement compact

En topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.

Espace σ-compact

En mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).

Separated sets

In topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.

Afficher plus

Séances de cours associées (32)

Espaces projectifs : séparation et définitions

Couvre les espaces séparés, les propriétés de saturation et les espaces projectifs, y compris le plan projectif réel et la compacité.

Actions de groupe : quotients et homomorphismes

Discute des actions de groupe, des quotients et des homomorphismes, en mettant l'accent sur les implications pratiques pour divers groupes et la construction d'espaces projectifs complexes.

Les bonnes actions et les quotients

Couvre les actions correctes des groupes sur les surfaces de Riemann et introduit des courbes algébriques via des racines carrées.

Open Mapping Théorème

Explique le théorème de cartographie ouverte pour les cartes holomorphes entre les surfaces de Riemann.

Courbes modulaires : surfaces de Riemann et cartes de transition

Couvre des courbes modulaires comme des surfaces compactes de Riemann, expliquant leur topologie, la construction de graphiques holomorphes et leurs propriétés.

Afficher plus

Concepts associés (24)

Compacité (mathématiques)

Partie relativement compacte

Espace localement compact

Espace σ-compact

Separated sets

Afficher plus