MathQuest — Maths pour l'ingénieur

💡

Pourquoi apprendre ça ?

Les quantificateurs permettent de faire des énoncés sur des ensembles entiers d'objets sans les lister un par un. "Tout entier pair est divisible par 2" ou "Il existe un nombre premier pair" — ce sont des énoncés quantifiés. Sans eux, on ne pourrait exprimer que des propriétés d'éléments individuels, et les mathématiques se réduiraient à des vérifications cas par cas.

🎯

Analogie

Imagine un contrôleur de qualité dans une usine. Le quantificateur universel $\forall$ dit "TOUS les produits sont conformes" (un seul défaut invalide l'affirmation). Le quantificateur existentiel $\exists$ dit "IL EXISTE au moins un produit conforme" (un seul exemple suffit à valider). Ce sont deux niveaux d'exigence très différents.

📐

Théorie

Quantificateur universel $\forall$ (pour tout) :

$\forall x \in E,\ P(x)$

Signifie : "Pour tout élément $x$ appartenant à $E$ , la propriété $P(x)$ est vraie."

Quantificateur existentiel $\exists$ (il existe) :

$\exists x \in E,\ P(x)$

Signifie : "Il existe au moins un élément $x$ dans $E$ tel que $P(x)$ est vraie."

Variante : $\exists!$ signifie "il existe un unique".

La portée d'un quantificateur est la formule qui le suit. Une variable liée par un quantificateur n'a pas de valeur indépendante ; une variable libre rend l'énoncé dépendant de sa valeur.

📝

Exemples fondamentaux sur ℕ et ℝ

$\forall n \in \mathbb{N},\ n + 1 > n$ — Vrai : chaque entier naturel a un successeur strictement plus grand.
$\exists x \in \mathbb{R},\ x^2 = 2$ — Vrai : $x = \sqrt{2}$ convient.
$\forall x \in \mathbb{R},\ x^2 \geq 0$ — Vrai : le carré d'un réel est toujours positif ou nul.
$\exists x \in \mathbb{R},\ x^2 = -1$ — Faux : aucun réel n'a un carré négatif.
$\forall x \in \mathbb{R},\ x^2 = x$ — Faux : contre-exemple $x = 2$ (car $4 \neq 2$ ).

Stratégies de preuve :

Pour réfuter un $\forall$ : exhiber un contre-exemple.
Pour prouver un $\exists$ : exhiber un exemple concret.

📐

Théorie

Règles de négation (analogues aux lois de De Morgan) :

$\neg(\forall x \in E,\ P(x)) \equiv \exists x \in E,\ \neg P(x)$

$\neg(\exists x \in E,\ P(x)) \equiv \forall x \in E,\ \neg P(x)$

En français :

La négation de "Tous les $x$ vérifient $P$ " est "Il existe un $x$ qui ne vérifie pas $P$ "
La négation de "Il existe un $x$ qui vérifie $P$ " est "Aucun $x$ ne vérifie $P$ "

Pour nier une formule avec plusieurs quantificateurs : appliquer les règles de l'extérieur vers l'intérieur, en inversant chaque quantificateur et en niant la formule finale.

Moyen mnémotechnique : $\neg\forall \to \exists\neg$ et $\neg\exists \to \forall\neg$ .

📝

Négation simple — réfuter une propriété universelle

Soit l'énoncé : "Tout entier naturel est pair", formalisé : $\forall n \in \mathbb{N},\ 2 \mid n$ .

Négation : $\exists n \in \mathbb{N},\ 2 \nmid n$ .

Cet énoncé est vrai (contre-exemple : $n = 1$ est impair), donc l'énoncé original est faux.

Autre exemple : $\neg(\exists x \in \mathbb{R},\ x^2 < 0) \equiv \forall x \in \mathbb{R},\ x^2 \geq 0$ — qui est une tautologie.

📝

Négation d'un énoncé à deux quantificateurs

Nions $\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ x + y = 0$ :

Étape 1 : $\neg(\forall x,\ \exists y,\ x + y = 0)$

Étape 2 : $\exists x,\ \neg(\exists y,\ x + y = 0)$ — on inverse $\forall$ en $\exists$

Étape 3 : $\exists x,\ \forall y,\ \neg(x + y = 0)$ — on inverse $\exists$ en $\forall$

Résultat : $\exists x \in \mathbb{R},\ \forall y \in \mathbb{R},\ x + y \neq 0$

L'énoncé original est vrai (prendre $y = -x$ ), donc sa négation est fausse.

🧩

Checkpoint

Quelle est la négation correcte de l'énoncé ∀x ∈ ℝ, x² ≥ 0 ?

📐

Théorie

L'ordre des quantificateurs est crucial quand plusieurs se suivent :

$\forall x\, \exists y,\ P(x, y)$ : pour chaque $x$ , on peut trouver un $y$ qui peut dépendre de $x$
$\exists y\, \forall x,\ P(x, y)$ : il existe un $y$ qui fonctionne pour tous les $x$ simultanément

Ces deux énoncés ne sont pas équivalents — le second est bien plus fort que le premier.

Règle d'or : on ne peut pas inverser librement des quantificateurs de types différents ( $\forall$ et $\exists$ ). En revanche, deux quantificateurs du même type sont interchangeables : $\forall x\, \forall y \equiv \forall y\, \forall x$ .

Lecture pratique : lire de gauche à droite. Chaque quantificateur fixe une variable ; les quantificateurs suivants peuvent faire dépendre leur choix des variables déjà fixées.

📝

L'ordre change tout : y > x sur ℝ

Considérons la propriété $P(x, y) : y > x$ sur $\mathbb{R}$ :

$\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ y > x$ — Vrai : pour tout réel $x$ , prendre $y = x + 1$ .
$\exists y \in \mathbb{R},\ \forall x \in \mathbb{R},\ y > x$ — Faux : il n'existe pas de réel plus grand que tous les réels.

Autre exemple avec $P(x, y) : x \cdot y = 1$ sur $\mathbb{R}^*$ :

$\forall x \in \mathbb{R}^*,\ \exists y \in \mathbb{R}^*,\ x \cdot y = 1$ — Vrai : prendre $y = 1/x$ .
$\exists y \in \mathbb{R}^*,\ \forall x \in \mathbb{R}^*,\ x \cdot y = 1$ — Faux : un seul $y$ fixé ne peut pas satisfaire tous les $x$ .

⚠️

Piège : l'ordre des quantificateurs en analyse

La définition de la limite $\lim_{x \to a} f(x) = L$ utilise l'ordre précis : $\forall \varepsilon > 0,\ \exists \delta > 0,\ \forall x,\ |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon$ L'ordre $\forall\varepsilon\ \exists\delta$ est fondamental : $\delta$ peut dépendre de $\varepsilon$ . Inverser en $\exists\delta\ \forall\varepsilon$ signifierait qu'un seul $\delta$ fonctionne pour tous les $\varepsilon$ — bien plus fort, et généralement faux. En analyse, l'ordre des quantificateurs n'est jamais interchangeable sans justification.

🧩

Checkpoint

Lequel de ces énoncés est plus fort (implique l'autre mais pas réciproquement) ?

📐

Théorie

Prouver $\forall x \in E,\ P(x)$ : choisir un $x$ arbitraire dans $E$ (sans hypothèse particulière sur sa valeur), puis démontrer $P(x)$ en n'utilisant que les propriétés générales de $E$ . On dit que $x$ est un "représentant générique".

Réfuter $\forall x \in E,\ P(x)$ : exhiber un contre-exemple — un seul $x_0 \in E$ tel que $P(x_0)$ est fausse suffit.

Prouver $\exists x \in E,\ P(x)$ : deux stratégies principales :

Existence constructive : exhiber explicitement un $x_0$ vérifiant $P(x_0)$ .
Existence non constructive : raisonner par l'absurde — supposer que aucun $x$ ne vérifie $P$ mène à une contradiction, sans nécessairement identifier l'élément.

Preuve universelle par contraposée : pour prouver $\forall x,\ P(x) \Rightarrow Q(x)$ , on peut prouver $\forall x,\ \neg Q(x) \Rightarrow \neg P(x)$ (contraposée logiquement équivalente).

📝

Existence constructive vs non constructive

Constructive : "Il existe un entier $n$ tel que $n^2 = 4$ ."

Preuve : prendre $n = 2$ . On vérifie $2^2 = 4$ . ✓ L'élément est fourni explicitement.

Non constructive : "Il existe des irrationnels $a, b$ tels que $a^b$ est rationnel."

Soit $\alpha = \sqrt{2}^{\sqrt{2}}$ .

Cas 1 : si $\alpha$ est rationnel, prendre $a = b = \sqrt{2}$ — irrationnels avec $a^b = \alpha$ rationnel.
Cas 2 : si $\alpha$ est irrationnel, prendre $a = \alpha,\ b = \sqrt{2}$ : $\alpha^{\sqrt{2}} = \sqrt{2}^{\sqrt{2} \cdot \sqrt{2}} = \sqrt{2}^2 = 2$ est rationnel.

Dans les deux cas, l'exemple existe — mais on ne sait pas lequel !

📝

Preuve universelle — méthode du représentant générique

Montrons : $\forall n \in \mathbb{Z},\ n(n+1)$ est pair.

Soit $n \in \mathbb{Z}$ quelconque (représentant générique).

Cas 1 : $n$ est pair. Alors $n = 2k$ , donc $n(n+1) = 2k(n+1)$ est pair.
Cas 2 : $n$ est impair. Alors $n+1 = 2k$ , donc $n(n+1) = n \cdot 2k$ est pair.

Dans tous les cas, $n(n+1)$ est pair. Comme $n$ était arbitraire, l'énoncé est vrai pour tout $n \in \mathbb{Z}$ . $\square$

🧩

Checkpoint

Pour réfuter l'énoncé '∀x ∈ ℝ, x² > x', quelle valeur de x choisir comme contre-exemple ?

🧩

Checkpoint

Quelle est la négation de '∀x ∈ ℝ, ∃y ∈ ℝ, y² = x' ?

⭐

À retenir

$\forall x \in E,\ P(x)$ : tous vérifient $P$ — un contre-exemple suffit à réfuter
$\exists x \in E,\ P(x)$ : au moins un vérifie $P$ — un exemple suffit à prouver
Négation : $\neg\forall x,\ P \equiv \exists x,\ \neg P$ et $\neg\exists x,\ P \equiv \forall x,\ \neg P$
Pour nier une formule multi-quantificateurs : descendre le $\neg$ en inversant chaque quantificateur de l'extérieur vers l'intérieur
L'ordre des quantificateurs est crucial : $\forall x\, \exists y \neq \exists y\, \forall x$ en général
Preuves : pour $\forall$ , prendre un représentant générique ; pour $\exists$ , construire explicitement ou utiliser l'absurde

Quantificateurs

Les deux quantificateurs fondamentaux

Négation des quantificateurs

Quantificateurs imbriqués

Quantificateurs et preuves