Séance de cours

Z est fermé : Prouver la fermeture

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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 se concentre sur la preuve de la fermeture de Z en montrant que son complément est ouvert, en utilisant un format différent en raison d'une erreur précédente dans la preuve. En choisissant un point Y en dehors de Z et en démontrant que le complément est ouvert, on montre que Z est fermé.

Enseignant·e·s (2)

Jérôme Scherer

Enseignement et PhD Doctorant·es actuel·les Virgile Simon Constantin A dirigé les thèses EPFL de Samuel Lavenir A co-dirigé les thèses EPFL de Kay Remo Werndli, Lyne Moser Cours Topology IV.a - Cohomology rings MATH-506 La cohomologie singulière vient de la dualisation du complexe des chaines singulières. Nous étudions ses propriétés, voyons comment elle acquiert une structure multiplicative, celle d'une algèbre graduée commutative. Une version algébrique, la cohomologie des groupes, est c

Dimitri Stelio Wyss

Enseignement et PhD Doctorant·es actuel·les Elsa Maneval, Mathis Duguin A dirigé les thèses EPFL de Tanguy Vernet, Ilaria Rossinelli Cours Algèbre I - structures fondamentales MATH-113 Le but de ce cours est d'introduire et d'étudier les notions de base de l'algèbre abstraite. Quantum Cohomology MATH-747 Student seminar in pure mathematics MATH-563 L'objectif du séminaire est d'aborder les principaux aspects de la théorie des corps de classes, qui vise à com

Source officielle

Concepts associés (12)

Ouvert (topologie)

En mathématiques et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un sous-ensemble d'un espace topologique qui ne contient aucun point de sa frontière. L'ouvert est l'élément de base d'un espace topologique. Il existe plusieurs définitions des ouverts suivant le type d'espace concerné. Nous reprenons ici la définition pour le cas le plus général à savoir celui des espaces topologiques.

Ouvert-fermé

En topologie, un ouvert-fermé est un sous-ensemble d'un espace topologique X qui est à la fois ouvert et fermé. Il peut sembler contre-intuitif que de tels ensembles existent, puisqu'au sens usuel, « ouvert » et « fermé » sont antonymes. Mais au sens mathématique, ces deux notions ne sont pas mutuellement exclusives : une partie de X est dite fermée si son complémentaire dans X est ouvert, donc un ouvert-fermé est simplement un ouvert dont le complémentaire est aussi ouvert.

Démonstration (logique et mathématiques)

vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.

Applications ouvertes et fermées

En mathématiques, et plus précisément en topologie, une application ouverte est une application entre deux espaces topologiques envoyant les ouverts de l'un vers des ouverts de l'autre. De même, une application fermée envoie les fermés du premier espace vers des fermés du second. Soit deux espaces topologiques X et Y ; on dit qu'une application f de X vers Y est ouverte si pour tout ouvert U de X, l' f(U) est ouverte dans Y ; de même, on dit que f est fermée si pour tout fermé U de X, l'image f(U) est fermée dans Y.

Théorie de la démonstration

La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.

Afficher plus

Séances de cours associées (64)

Intégration de formes différentielles

Couvre l'intégration de formes différentielles sur des variétés lisses, y compris les concepts de formes fermées et exactes.

Fonctions Holomorphes: Série Taylor Expansion

Couvre les propriétés de base des cartes holomorphes et des extensions de la série Taylor en analyse complexe.

Formes harmoniques : théorème principal

Explore les formes harmoniques sur les surfaces de Riemann et l'unicité des solutions aux équations harmoniques.

Solutions initiales aux problèmes

Couvre la description de toutes les solutions du problème initial et des concepts connexes tels que la compacité et la fermeture.

Preuves : Logique, Mathématiques et Algorithmes

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Afficher plus

Concepts associés (12)

Ouvert (topologie)

Ouvert-fermé

Démonstration (logique et mathématiques)

Applications ouvertes et fermées

Théorie de la démonstration

Afficher plus