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

Monodromie : Action et classes

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)

Dimitri Stelio Wyss

Jérôme Scherer

Source officielle

Concepts associés (16)

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.

Anneau factoriel

vignette|Organigramme des relations entre les différentes structures algébriques En mathématiques, un anneau factoriel est un cas particulier d'anneau intègre. À l'image des nombres entiers, il existe un équivalent du théorème fondamental de l'arithmétique pour une telle structure : tout élément non nul d'un anneau factoriel se décompose en un produit d'un élément inversible et d'éléments irréductibles, cette décomposition étant unique aux éléments inversibles près. Par exemple dans l'anneau Z des entiers relatifs, –2 est irréductible.

Groupe des classes d'idéaux

En mathématiques, et plus précisément en algèbre, la théorie des corps de nombres – les extensions finies du corps Q des rationnels – fait apparaître un groupe abélien fini construit à partir de chacun de ces corps : son groupe des classes d'idéaux. Les premiers groupes de classes rencontrés en algèbre furent des groupes de classes de formes quadratiques : dans le cas des formes quadratiques binaires, dont l'étude a été faite par Gauss, une loi de composition est définie sur certaines classes d'équivalence de formes.

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.

Afficher plus

Séances de cours associées (44)

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.

Preuves : méthodes directes et indirectes

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

Distance Board: Compression

Couvre le concept de planches de compression et de distance.

Convergence en droit : théorème et preuve

Explore la convergence en droit pour les variables aléatoires, y compris le théorème de Kolmogorov et les preuves basées sur les lemmes de probabilité.

Groupes fondamentaux

Explore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.

Afficher plus

Concepts associés (16)

Démonstration (logique et mathématiques)

Proof by contradiction

Anneau factoriel

Groupe des classes d'idéaux

Computer-assisted proof

Afficher plus