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

Dérivés et limites : généralisation et indétermination

Dans cours

MATH-101(c): Analyse I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. ...

Description

Cette séance de cours couvre la généralisation du théorème de TAF, des dérivées latérales et des limites des dérivées. Il traite également de lindétermination du type «s» et de la dérivée des fonctions. L'instructeur explique l'application de ces concepts à travers divers exemples et preuves.

Enseignant·e

Sacha Friedli

Diploma of Physics, Université de Lausanne, 1999 Phd, Institut de Physique Théorique, EPFL, 1999-2004 Post-doc, IMPA (Instituto Nacional de Matemática Pura e Aplicada), Rio de Janeiro, Brasil, 2004-2006 Adjunct professor, Departamento de Matemática (Universidade Federal de Minas Gerais), 2006-2016 Collaborateur Scientifique, Cours de Mathématiques Spéciales, EPFL, Lausanne, 2016-

Source officielle

Concepts associés (32)

Catégorie dérivée

La catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.

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.

Foncteur dérivé

En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.

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.

Théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.

Afficher plus

Séances de cours associées (42)

Tangente au graphe d'une fonction

Explore la recherche de l'équation de la tangente au graphe d'une fonction à un point.

Dérivabilité et continuité

Explore la dérivation et la continuité des fonctions, en présentant des exemples de fonctions avec des propriétés de différentiabilité.

Dérivés et approximations : fonctions logarithmiques

Explore les dérivés et les approximations, en se concentrant sur les fonctions logarithmiques et leurs propriétés.

Indépendance linéaire : le concept Wronskian

Explique le Wronskian et son rôle dans la détermination de l'indépendance linéaire des solutions aux équations différentielles.

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

Catégorie dérivée

Théorème

Foncteur dérivé

Démonstration (logique et mathématiques)

Théorèmes d'incomplétude de Gödel

Afficher plus