Séance de cours

Monodromie : Action et classes

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 couvre le concept de l'action de monodromie dans le contexte des couvertures, définissant l'action de ar (x; xo) et les classes uniques qui lui sont associées. Il explore également la transitivité, le stabilatar et les preuves liées à l'action de la monodromie.

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 (24)

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 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.

Monodromie

La monodromie est l'étude du comportement de certains objets mathématiques « lorsqu'on tourne autour d'une singularité ». Un premier aspect de ce phénomène se rencontre dans le domaine des fonctions complexes admettant plusieurs déterminations dans le plan complexe épointé, comme le logarithme ou les puissances rationnelles : suivre continument une détermination d'une telle fonction le long d'un lacet autour de l'origine conduit après un tour à obtenir une autre détermination.

Computer-assisted proof

A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.

Action de groupe (mathématiques)

En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe. Étant donné un ensemble E et un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté e, une action (ou opération) de G sur E est une application : vérifiant chacune des 2 propriétés suivantes : On dit également que G opère (ou agit) sur l'ensemble E.

Afficher plus

Séances de cours associées (64)

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.

Zig Zag Lemma

Couvre le lemme Zig Zag et la longue séquence exacte de l'homologie relative.

Preuves : méthodes directes et indirectes

Couvre des exemples de preuves directes et indirectes en mathématiques.

Convexité géodésique : théorie et applications

Explore la convexité géodésique dans les espaces métriques et ses applications, en discutant des propriétés et de la stabilité des inégalités.

Transport optimal : Équation thermique et espaces métriques

Explore le transport optimal dans les équations de chaleur et les espaces métriques.