Sans perte de généralité

{{#ifeq:||Un article de Ziki, l'encyclopédie libre.|Une page de Ziki, l'encyclopédie libre.}}

Modèle:À sourcer Sans perte de généralité (ou aussi : sans restreindre la généralitéModèle:Référence nécessaire) est une expression fréquemment utilisée dans les démonstrations en mathématiques. Cette expression, généralement suivie par une supposition restrictive, indique que la démonstration se limite à un cas particulier, mais que les autres cas peuvent être établis par une démonstration analogue à celle du cas envisagé, ou même se ramener à ce cas.

D'autres expressions comme « sans nuire à la généralitéModèle:Référence nécessaire » ont la même signification.

Exemple

Considérons trois objets. On suppose que chaque objet est peint soit en rouge, soit en bleu. On se propose de démontrer le théorème suivant (appelé principe des tiroirs) : il existe deux objets de la même couleur. Voici une démonstration possible qui utilise l'expression "sans perte de généralité" pour ne faire la démonstration que dans le cas où le premier objet est rouge. Modèle:Énoncé L'utilisation de l'expression "sans perte de généralité" est correcte car la démonstration en supposant que le premier objet est bleu est similaire : il suffit d'échanger les couleurs bleu et rouge pour obtenir la démonstration dans ce cas-là.

Modèle:Portail