Doctorant en mathématiques dans le domaine de l’optimisation, j’ai auparavant suivi une formation d’ingénieur en mathématiques et informatique à l’UCLouvain, puis un master en mathématiques appliquées à l’EPFL. J’ai eu l’occasion d’enseigner dans plusieurs cours de mathématiques, notamment Mathématiques pour les géosciences, Stochastic Simulation et Analyse II. Pour ce cours, je serai l’assistant principal et serai présent lors des séries d’exercices pour vous accompagner dans votre apprentissage de l’Analyse I. Au plaisir de vous rencontrer au cours du semestre !
Ángel Zhang Huang (Math, Master)
Salut! Je suis étudiant en Master de Mathématiques Appliquées, avec un mineur en Data Science. Mon principal intérêt c’est l’analyse de données topologique (appliquée à la biologie), ainsi que le dessin. En plus du français, je parle aussi l’anglais et l’espagnol. N’hésitez donc pas à me parler dans ces langues si vous le préférez!
Arthur Busseret (GC, Master)
Salut, je suis Arthur, étudiant en master de GC à l’EPFL et ayant réalisé mon Bachelor en France en classe préparatoire puis à l’Ecole Polytechnique. Ma passion des mathématiques remonte à il y a longtemps, et j’ai hâte de la partager avec vous ce semestre. A très vite autour d’une série d’exercices d’Analyse, d’une séance de sport ou d’une petite bière à Sat.
Julia Enders (SIE, EPFL)
Hello ! Je suis étudiante en deuxième année de bachelor en sciences et ingénierie de l’environnement à l’EPFL. Ayant moi-même suivi le cours d’analyse du professeur Friedli l’année dernière, je me réjouis de pouvoir vous aider ce semestre à réaliser vos séries. Je parle également anglais et allemand. En dehors des cours, j’aime le pumpfoil et le tricot.
Chloé Dupuis (MA, EPFL)
Bonjour, je suis en troisième année de bachelor en mathématiques à l’EPFL. Après une première expérience en tant qu’assistante en Algèbre linéaire, je serai cette année votre assistante en Analyse. Je me réjouis de vous accompagner dans votre apprentissage et de partager avec vous mon intérêt pour les mathématiques.
Hugo Passera (Math, Master)
Salut ! Je suis Hugo, étudiant en Master de Mathématiques. J’ai été assistant pour Analyse 0 et Analyse 1 avancée, et je me forme aussi à l’enseignement via la HEP. J’aime particulièrement aider à rendre les notions plus claires et accessibles, et je me réjouis de vous accompagner pendant le semestre!
Sasha Costa (MA, Master)
Salut ! Je suis actuellement en master de statistique, avec un mineur en ingénierie financière. J’ai également été assistant l’année passée auprès du professeur Friedli pour le cours d’Analyse I. Je me réjouis de travailler avec vous ce semestre !
Marwa Chiguer (DS, Master)
Salut ! Je suis Marwa, j’ai fait mon CMS et mon bachelor en Systèmes de communication à l’EPFL. Je suis actuellement en Master Data Science, mineur en ingénierie financière. Les cours de mathématiques à l’EPFL m’intéressent particulièrement, en particulier leur aspect théorique et rigoureux. Je parle aussi anglais, arabe et espagnol. Hâte de vous aider ce semestre !
Rami Ben Amor
Salut ! Je suis étudiant en Master de Génie Mécanique à l’EPFL. Au cours de mon Bachelor, j’ai pu faire pas mal d’autres assistanats (méca, matériaux, thermo et structures). J’ai également réalisé une année d’échange au Georgia Institute of Technology à Atlanta et je parle aussi anglais et arabe. Aujourd’hui, durant mon Master, j’ai poursuivi la spécialisation en mécanique des solides et structures et je m’engage également pour la Racing Team de l’EPFL. En dehors du campus, j’adore voyager, jouer au volleyball, faire des randonnées et aller à des concerts.
Ici, nous introduirons la propriété cruciale qui différencie les réels des rationnels. En particulier, nous verrons comment cette propriété permet de garantir que dans R, l’équation x2=2 possède bel et bien une solution.
Avant de commencer, il nous faut introduire un peu de terminologie.
1.6.1 Minimum, maximum
L’ordre introduit plus haut sur R permet de distinguer certains éléments d’un sous-ensemble de R.
Animation explicative
Définition 1.2.
Soit A un sous-ensemble non-vide de R.
Un élément x∗∈A est dit maximal si x⩽x∗∀x∈A. On dit aussi que x∗ est le maximum de A, et on note: x∗=maxA.
Un élément x∗∈A est dit minimal si x∗⩽x∀x∈A. On dit aussi que x∗ est le minimum de A, et on note: x∗=minA.
Exemple 1.4.
max{−1,−3,−5,2,1}min{−1,−3,−5,2,1}=2=−5.
On réalise que quand un ensemble contient un nombre fini d’éléments, alors il possède toujours un minimum et un maximum. En d’autres termes, une liste finie de nombres contient toujours un plus grand et un plus petit élément. Par contre, lorsque l’ensemble possède un nombre infini d’éléments, l’existence d’un minimum ou maximum n’est plus garantie.
Exemple 1.5.
Vu comme sous-ensemble des réels, l’ensemble des entiers N={0,1,2,3,…}⊂R possède un élément minimal, minN=0, mais il ne possède pas d’élément maximal.
Animation explicative
Exemple 1.6.
Considérons l’ensemble (la couleur, c’est juste pour voir l’ensemble sur le dessin du dessous) de tous les nombres de la forme x=n1, où n>0 est un entier: A={1,21,31,41,51,…} Clairement, A possède un élément maximal: x∗=maxA=1. En effet, x⩽1 pour tout x∈A, et de plus 1∈A:
Par contre, A ne possède pas de minimum. En effet, aucun élément de A n’est plus petit que les autres.
Animation explicative
Exemple 1.7.
Soit B=[0,1[. D’abord, B possède un minimum, donné par x∗=minB=0. (En effet, 0⩽x pour tout x∈B, et 0∈B.) Par contre, B n’a pas de maximum. En effet, pour tout x∈B, il existe toujours un autre élément x′∈B tel que x′>x. On peut par exemple prendre x′:=2x+1, qui est le point milieu entre x et 1:
Donc aucun élément de B n’est maximal.
Exemple 1.8.
Considérons le sous-ensemble de R: C={x∈Q:x<2}. Par définition, C est composé de tous les rationnels x=qp, tels que qp<2. On a donc, par exemple, 32∈C, 67∈C, 100199∈C, etc. C n’a pas de minimum puisque −n∈C pour tout entier n, et C n’a pas de maximum non plus puisque pour tout qp∈C, on a aussi 2qp+2
1.6.2 Majorants, minorants
Définition 1.3.
Soit A⊂R.
A est majoré si il existe M∈R tel que x⩽M pour tout x∈A; on dit qu’un tel Mmajore A, ou que c’est un majorant pour A.
A est minoré si il existe m∈R tel que x⩾m pour tout x∈A; on dit qu’un tel mminoreA, ou que c’est un minorant pour A.
Si A est à la fois majoré et minoré, il est borné.
Animation explicative
Exemple 1.9.
B=[0,1[ est majoré; M=1, M=2 sont des majorants. En fait, n’importe quel M⩾1 majore B. Par contre, M=0.9 n’est pas un majorant; en effet, si on prend par exemple le point x=0.95, alors x∈B, et x>M.B est aussi minoré: n’importe quel réel m⩽0 minore B.
Informel 1.2.Un ensemble A est borné si et seulement si il peut être “rangé dans une boîte”, c’est-à-dire placé à l’intérieur d’un intervalle [m,M], où m et M sont des nombres finis.
Animation explicative
Exemple 1.10.
Vus comme sous-ensembles de R,
N est minoré puisque 0⩽n pour tout n∈N. Par contre N n’est pas majoré. En effet, pour tout M∈R, il existe un n∈N tel que n>M. Nous utiliserons ceci constamment par la suite.
Z n’est ni minoré, ni majoré.
1.6.3 Supremum, infimum
Passons maintenant à la notion essentielle de ce chapitre sur les réels:
Animation explicative
Définition 1.4.
Soit A⊂R un ensemble non-vide. Un réel s∈R est appelé borne supérieure (ou supremum) de A si
s majore A (c.-à-d. que x⩽s pour tout x∈A),
s est le plus petit majorant de A (c.-à-d. que pour tout s′<s, il existe x∈A tel que x>s′).
Si s est supremum de A, on le note s=supA. Un réel s∈R est appelé borne inférieure (ou infimum) de A si
s minore A (c.-à-d. que x⩾s pour tout x∈A),
s est le plus grand minorant de A (c.-à-d. que pour tout s′>s, il existe x∈A tel que x<s′).
Si s est l’infimum de A, on le note s=infA.
Remarque 1.3.
Il est clair que
Si A possède un élément maximal, alors supA=maxA.
Si A possède un élément minimal, alors infA=minA.
Mais en général, le maximum et le minimum peuvent ne pas exister, alors que le supremum et l’infimum comme on verra, existent toujours dans les réels.
On reformulera souvent la deuxième condition, dans le supremum par exemple, en disant que pour tout ε>0 il existe un x∈A tel que s−ε⩽x⩽s.
Informel 1.3.(Interprétation “physique” de l’infimum et du supremum pour un ensemble borné.) On a dit qu’un ensemble A borné peut toujours être “rangé dans une boîte” [m,M]. Et bien parmi toutes les boîtes qui contienne A, la plus petite est celle pour laquelle m=infA et M=supA.
Animation explicative
Exemple 1.11.
Reprenons l’ensemble de tout à l’heure: A={1,21,31,41,51,⋯n1,n+11,…}. Puisque 1∈A et que tout x∈A est plus petit ou égal à 1, 1 est l’élément maximal de A, et supA=maxA=1. Vérifions maintenant que infA=0. D’abord, 0 minore A puisque tout nombre de la forme n1 est plus grand ou égal à 0. Pour montrer que 0 est le plus grand minorant, considérons un nombre quelconque s′>0, et montrons que s′ n’est pas un minorant pour A. En effet, si s′>0, alors il existe un entier n⩾1 tel que n>s′1, ce qui est équivalent à n1<s′. Or comme n1∈A, ceci montre que s′ minore pas A. On a donc bien montré que 0 est le plus grand minorant: infA=0.
Exemple 1.12.
Soit encore B=[0,1[. On a vu que B n’a pas de maximum; montrons maintenant que supB=1.
Premièrement, on a x⩽1 pour tout x∈B, donc B est majoré par 1.
Deuxièmement, si s′<1, alors il existe x~∈B tel que x~>s′. En effet, si s′<0, n’importe quel x~∈B suffit. Sinon, si 0⩽s′<1, on peut par exemple prendre x~:=2s′+1.
Ensuite, on a infB=0. En effet, 0 est le plus grand minorant:
0⩽x pour tout x∈B, et
pour tout s′>0, il existe un x∈B tel que x<s′
1.6.4 La différence entre R et Q
Passons à l’axiome qui confère à R une propriété qui permet de l’utiliser pour faire de l’analyse: Dans R,
tout ensemble non-vide majoré possède un supremum,
tout ensemble non-vide minoré possède un infimum.
Pour des ensembles qui ne sont pas bornés, la convention suivante est parfois adoptée (ce n’est qu’une notation):
Si A n’est pas majoré, supA:=+∞.
Si A n’est pas minoré, infA:=−∞.
Exemple 1.13.
Calculons l’infimum/supremum de l’ensemble B={x∈R+:sin(x)>21}. Remarquons pour commencer que sin(x)>21⇔x∈]6π+2kπ,65π+2kπ[,k∈Z Comme on veut x∈R+, on doit se restreindre à k∈N, ce qui donne B=k∈N⋃]6π+2kπ,65π+2kπ[=]6π,65π[∪]613π,617π[∪⋯ On a donc infB=6π, et comme cet ensemble n’est pas majoré, supB=+∞.
Quiz 1.6.1.Soit A⊂R un ensemble non vide. Si M∈R ne majore pas A, cela signifie
Quiz 1.6.2.Soit A⊂R un ensemble non-vide majoré. Si s=supA, cela signifie que