Séance de cours

Groupes fondamentaux

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-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex domains under discontinuous group actions, as algebraic ...

Description

Cette séance de cours couvre la définition des groupes fondamentaux, les classes d'homotopie des chemins, et le concept de couvertures dans le contexte des variétés connectées. Il explore également la relation entre les remontées mécaniques, les homéomorphismes locaux et l’existence d’un chemin unique. L'instructeur explique le théorème fondamental et son application dans la détermination de l'isomorphisme entre les groupes. La séance de cours se termine par des exercices sur le calcul des groupes fondamentaux et la compréhension de l'isomorphisme des groupes abstraits.

Enseignant·e

Maryna Viazovska

Enseignement et PhD Doctorant·es actuel·les Amal Seddas, Matthias Gröbner A dirigé les thèses EPFL de Martin Peter Stoller, Gauthier Leterrier, Nihar Prakash Gargava Cours Discrete mathematics MATH-260(a) Etude des structures et des concepts qui n'utilisent pas la notion de continuité. Théorie des graphes ou étude des ensembles dénombrables sont des exemples de domaines couverts par les mathématiques discrètes. L'accent sera mis sur les structures que les étudiants reverront au cours de le

Source officielle

Concepts associés (32)

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.

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.

Proof (truth)

A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.

Proof by contradiction

In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.

Théorème

En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.

Afficher plus

Séances de cours associées (64)

Structure locale des groupes compacts locaux totalement déconnectés I

Couvre la structure locale de groupes compacts locaux totalement déconnectés, explorant propriétés et applications.

Homéomorphismes locaux et couvertures

Couvre les concepts d'homéomorphismes locaux et de couvertures en multiples, en mettant l'accent sur les conditions dans lesquelles une carte est considérée comme un homéomorphisme local ou une couverture.

AQFT-video1_13-09-2024

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.

Géodésiques dans l'espace de Wasserstein

Explore les géodésiques dans l'espace de Wasserstein, en mettant l'accent sur les géodésiques à vitesse constante et leurs propriétés.

Afficher plus

Concepts associés (32)

Théorie de la démonstration

Démonstration (logique et mathématiques)

Proof (truth)

Proof by contradiction

Théorème

Afficher plus