Séance de cours

Solutions initiales aux problèmes

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-301: Equations différentielles ordinaires

Ce cours donne une introduction rigoureuse au principaux thèmes de la théorie des équations différentielles ordinaires (EDO). Les EDO sont fondamentales pour l'étude des systèmes dynamiques et des équations aux dérivées partielles. Des applications dans ce ...

Description

Cette séance de cours couvre la description de toutes les solutions du problème initial, y compris la totalité des solutions et des propositions fournissant des preuves. Il traite de la compacité, de la fermeture et des concepts de connectivité, en soulignant le caractère unique des solutions globales.

Enseignant·e·s (2)

François Samer Genoud

2000-2005 Etudes en Physique à l'EPFL dont une année d'échange à Zürich (ETH, 2002-2003). 2005 Diplôme de Physicien EPF (Master) en physique mathématique, sous la direction du Prof. C.-E. Pfister. 2005-2008 Doctorat sous la direction du Prof. C.A. Stuart, sur l'étude de certaines équations de Schrödinger non-linéaires, en particulier de questions liées à l'existence et la stabilité orbitale d'ondes stationnaires. 2009-2010 Chercheur postdoc FNS à OxPDE, Université d'Oxford. 2010-2013 Chercheur postdoc à l'Université Heriot-Watt, Edimbourg. 2013-2014 Chercheur postdoc à l'Université de Vienne. 2015-2017 Professeur Assistant à TU Delft. 2017-2018 Professeur Associé à l'Université libre de Bruxelles. 2018- Directeur du CMS Domaines d'intérêt scientifique: analyse non-linéaire, calcul des variations, équations aux dérivées partielles, physique mathématique et physique théorique en général.

Joachim Krieger

Source officielle

Proximité ontologique

Mathématiques

Topologie: General topology

Logique

Logique classique: Calcul des prédicats

Concepts associés (32)

Compacité (mathématiques)

En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.

Connecteur logique

En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.

Espace localement compact

En topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.

Espace σ-compact

En mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).

Espace dénombrablement compact

En mathématiques, un espace dénombrablement compact est un espace topologique dont tout recouvrement par une famille dénombrable d'ouverts possède un sous-recouvrement fini. La notion de compacité dénombrable entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité séquentielle. Pour un espace métrisable, ces quatre notions sont équivalentes. Soit X un espace topologique (non supposé séparé).

Afficher plus

Séances de cours associées (64)

Théorème de la courbe de Jordan

Couvre la preuve du théorème de la courbe de Jordan et les propriétés des sphères incorporées.

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Formes harmoniques : théorème principal

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

Approximation de la fonction Zeta

Explore l'approximation de la fonction zêta en utilisant des fonctions compactes et une décomposition spectrale.

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.

Afficher plus

Concepts associés (32)

Compacité (mathématiques)

Connecteur logique

Espace localement compact

Espace σ-compact

Espace dénombrablement compact

Afficher plus