Fonctions d'une variable réelle : limites et continuité
Cours complet · mathématiques (ECT 1re année), chapitre 4 · prépa ECT, 1re année
Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre
Une fonction, c'est une machine à un bouton : on entre un nombre, il en sort un autre. Le chiffre d'affaires en fonction du prix, le coût moyen en fonction de la quantité produite, les frais de port en fonction du montant du panier — tout se modélise ainsi.
Ce chapitre installe le vocabulaire, puis répond à une seule question : que devient quand s'approche d'un nombre, ou quand devient très grand ? C'est la question de la limite, et elle se lit d'abord sur un dessin.
Le programme est explicite : « La définition formelle d'une limite est hors programme. Toute étude théorique sur les limites est exclue. Les résultats seront énoncés sans démonstration et illustrés par des représentations graphiques. »
Deux autres bornes valent d'être citées tout de suite : « Toute recherche systématique des branches infinies est hors-programme » — on ne cherchera donc que les asymptotes parallèles aux axes — et « Le prolongement par continuité est hors programme ».
4.1 Vocabulaire et lecture graphique
Une fonction associe à certains réels un unique réel noté . L'ensemble de définition est l'ensemble des pour lesquels existe.
En pratique, deux interdits seulement : on ne divise pas par zéro, et on ne prend pas la racine carrée d'un nombre strictement négatif.
Le nombre est l'image de . Si , on dit que est un antécédent de .
La courbe représentative de est l'ensemble des points de coordonnées pour . Elle contient toute l'information : un antécédent se lit en horizontale, une image en verticale.
Résoudre revient à chercher les points d'intersection de la courbe de avec la droite horizontale d'équation . Selon la hauteur , il peut y avoir zéro, une, deux solutions ou davantage.
C'est la lecture qui servira tout le second semestre, quand on cherchera à résoudre des équations qu'aucune formule ne résout.
4.2 Les fonctions de référence
Tant que le logarithme et l'exponentielle ne sont pas installés — ce sera au second semestre — toutes les fonctions de ce chapitre se déduisent de cinq courbes qu'il faut savoir tracer de mémoire.
4.3 Parité, monotonie, bornes
Soit définie sur un ensemble symétrique par rapport à .
- est paire si pour tout : sa courbe est symétrique par rapport à l'axe des ordonnées.
- est impaire si : sa courbe est symétrique par rapport à l'origine.
Une fonction n'est en général ni l'une ni l'autre.
Soit définie sur un intervalle . On dit que est croissante sur si entraîne , et décroissante si entraîne . Elle est strictement croissante (ou décroissante) si les inégalités d'arrivée sont strictes.
Une fonction monotone sur est une fonction croissante sur ou décroissante sur .
est majorée sur s'il existe un réel tel que pour tout ; minorée s'il existe avec ; bornée si elle est les deux à la fois.
« est croissante » ne veut rien dire tant qu'on n'a pas dit où. La fonction inverse décroît sur et décroît sur , mais elle n'est pas décroissante sur leur réunion : est plus petit que .
Même remarque pour « bornée » : la fonction carré est bornée sur et ne l'est pas sur .
4.4 Opérations et composition
Pour et définies sur un même ensemble, on définit , et point par point : , et ainsi de suite. Le quotient est défini là où .
La composée est définie par , pour les tels que appartienne à l'ensemble de définition de .
Prenons et . Alors
Elles diffèrent : en , l'une vaut et l'autre . Dans , c'est qui agit d'abord.
est bijective de vers si tout de a exactement un antécédent dans — autrement dit si l'équation a une solution et une seule. On note alors la fonction réciproque, qui à associe cette solution.
Graphiquement : toute horizontale de hauteur coupe la courbe en un point. Sur la figure de la section 4.1, l'horizontale en coupait deux : n'y est donc pas bijective sur .
4.5 Limites
Les phrases qui suivent décrivent ce qu'on observe sur une courbe ; ce ne sont pas des définitions au sens mathématique, et le programme ne les demande pas : « La définition formelle d'une limite est hors programme. » Ce qu'il faut savoir faire, c'est calculer des limites et les lire sur un graphique.
Soit une fonction et un réel.
- : quand s'approche de , s'approche du réel .
- : quand s'approche de , dépasse tout nombre fixé à l'avance.
- : quand devient très grand, s'approche de .
- : quand devient très grand, aussi.
Les mêmes descriptions valent en et avec pour valeur.
Quand s'approche de par valeurs supérieures, on parle de limite à droite, notée ; par valeurs inférieures, de limite à gauche, .
Ces deux limites peuvent être différentes — et c'est justement ce qui arrive de part et d'autre d'une valeur interdite.
Python : Approcher une limite par des valeurs
def g(x):
return 1 / (x - 2)
for x in [1.9, 1.99, 1.999]:
print(x, round(g(x), 3))
for x in [2.1, 2.01, 2.001]:
print(x, round(g(x), 3))
# 1.9 -10.0 / 1.99 -100.0 / 1.999 -1000.0
# 2.1 10.0 / 2.01 100.0 / 2.001 1000.0
Les valeurs s'effondrent d'un côté et explosent de l'autre. Attention : ce tableau suggère les deux limites, il ne les démontre pas — trois nombres ne disent rien de ce qui se passe plus près encore.
4.6 Opérations sur les limites
Quand les limites de et de existent, la limite d'une somme est la somme des limites, celle d'un produit le produit des limites, celle d'un quotient le quotient des limites — à condition que le dénominateur ne tende pas vers .
De plus, si quand , et si quand , alors quand .
Quatre situations échappent aux règles ci-dessus :
« Indéterminée » ne veut pas dire « pas de limite » : cela veut dire que la forme ne suffit pas à conclure, et qu'il faut transformer l'expression — factoriser, simplifier, mettre le terme dominant en facteur.
Une forme . En , le quotient donne . Mais pour ,
donc la limite en vaut .
Une forme . Pour en , on met le terme dominant en facteur : . Le premier facteur tend vers , le second vers : la limite est .
4.7 Polynômes, fractions rationnelles et asymptotes
En et en :
- une fonction polynomiale a la même limite que son monôme de plus haut degré ;
- une fraction rationnelle a la même limite que le quotient des monômes de plus haut degré du numérateur et du dénominateur.
Ce résultat est admis. Il ne vaut qu'en l'infini : en un point, il faut revenir au calcul.
Dans le deuxième calcul, on n'a pas le droit d'écrire : on simplifie d'abord le quotient des monômes dominants, et il n'y a plus d'indétermination.
Si (ou en ), la droite d'équation est asymptote horizontale à la courbe.
Si à droite ou à gauche, la droite d'équation est asymptote verticale.
Une entreprise a un coût total (en milliers d'euros) pour articles. Son coût moyen est
Quand devient grand, tend vers : tend vers . La droite est asymptote horizontale.
Lecture économique. Les de charges fixes se répartissent sur de plus en plus d'articles et finissent par ne plus peser ; il reste le coût variable unitaire, . Le coût moyen s'en approche sans jamais l'atteindre : il vaut pour , pour , pour .
4.8 Continuité
Soit définie sur un intervalle contenant . On dit que est continue en lorsque
est continue sur un intervalle si elle est continue en chacun de ses points. Intuitivement : on trace la courbe sans lever le crayon.
Les fonctions polynomiales sont continues sur . Les fractions rationnelles sont continues sur leur ensemble de définition. La racine carrée est continue sur , la valeur absolue sur .
De plus, somme, produit, quotient (là où le dénominateur ne s'annule pas) et composée de fonctions continues sont continus. Ces résultats sont admis.
Python : Un barème par tranches, et ses sauts
def frais(achat):
if achat < 20:
return 5
if achat < 50:
return 3
return 0
for a in [19.99, 20, 49.99, 50, 80]:
print(a, frais(a))
# 19.99 5 / 20 3 / 49.99 3 / 50 0 / 80 0
Un centime de plus fait tomber les frais de à euros : c'est un saut, donc une rupture de continuité. Les barèmes réels — impôt, cotisations, remises — en sont pleins, et c'est pour cela qu'on les paramètre par tranches.