Restriction en LaTeX (f|_A)

Où il est utilisé

Restriction de f à une partie A : la règle est conservée mais l’ensemble de départ est réduit.

La restriction f|_A conserve la règle mais réduit l’ensemble de départ, de sorte que f|_A\colon A \to B. Une barre simple est courte et l’indice peut sembler détaché ; beaucoup d’auteurs écrivent f\big|_A pour une barre plus haute, ou utilisent la flèche \restriction, qui ressemble à un demi-harpon. Ne la confondez pas avec la barre d’évaluation F(x)\big|_a^b, de même forme mais d’usage différent. Les restrictions sont courantes en topologie, où l’on vérifie la continuité de f|_U sur des ouverts, et en théorie des faisceaux, où s|_U restreint une section à un ouvert plus petit.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\begin{document}
Restriction: $f|_A$

\[ f|_A\colon A \to B \]
\end{document}

Symboles associés

• Évaluation d’une fonctionf(x) = y
• Flèche gauche-droite\leftrightarrow
• Fonction définie par morceauxf(x) = \begin{cases} a & x > 0 \\ b & x \leq 0 \end{cases}
• Flèche de surjection\twoheadrightarrow
• Flèche à crochet vers la droite\hookrightarrow
• Ensemble des valeurs\text{range}(f)

Questions fréquentes

Comment écrire Restriction en LaTeX ?

Tapez f|_A en mode mathématique, par exemple $f|_A\colon A \to B$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour f|_A ?

Aucun. f|_A fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser f|_A en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $f|_A$.