Quiz (dé-quantification)

Voici 10 propositions portant sur une fonction {f} définie sur {\mathbb{R}} et à valeurs réelles.
Ces propositions sont écrites avec des quantificateurs. On demande d’identifier leur signification, et de les exprimer dans le langage courant.


{\forall\,x\in\mathbb{R},\;f(x)>0\Rightarrow x>0}
Réponse
On comprend mieux avec la contraposée: {\forall\,x\in\mathbb{R},\;x\le 0\Rightarrow f(x)\le 0}.
Cette propriété signifie donc que {f} ne prend que des valeurs négatives ou nulles sur {\mathbb{R}^-}.
La formulation initiale (équivalente) dit qu’il n’y a que sur {\mathbb{R}^{+*}} que {f} peut prendre une valeur strictement positive.

{\forall\,M\in\mathbb{R},\;\exists\, a\in\mathbb{R},\;x\le a\Rightarrow f(x)\ge M}
Réponse
Pour tout réel {M} (sous-entendu aussi grand soit-il « du coté de {+\infty} »), il existe un réel {a} tel que, sur l’intervalle {]-\infty,a]}, toutes les valeurs prises par la fonction {f} soient supérieures ou égale à {M}. De façon plus concise, cela signifie que la limite de {f(x)}, quand {x} tend vers {-\infty}, vaut {+\infty}. Ou encore, de façon encore plus concise : {\displaystyle\lim_{x\to-\infty}f(x)=+\infty}.

{\forall\,x\in\mathbb{R},\;\exists\,y\in\mathbb{R},\;y=f(x)}
Réponse
Cette propriété est évidemment vraie pour toute foncion {f}, donc ne présente aucun intérêt : elle dit que pour tout réel {x}, il existe un réel {y} égal à {f(x)} (évidemment, ce réel c’est {f(x)}).

Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez : Mathprepa.fr est le site des mathématiques et de l'informatique des deux années des classes prépa scientifiques: plus de 2500 exercices et 200 problèmes (soigneusement corrigés), un cours complet (maths et info), plus de 400 sujets de concours, des Quiz (plus de 600 questions), etc. Un contenu sans équivalent, dans une présentation fluide et professionnelle adaptée à tous les écrans, pour une souscription de 15€ (6 mois), 25€ (1 an) ou 35€ (2 ans).

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.