Restrizione in LaTeX (f|_A)

Dove si usa

Restrizione di f a un sottoinsieme A, che mantiene la regola ma riduce il dominio.

La restrizione f|_A mantiene la regola ma riduce il dominio, per cui f|_A\colon A \to B. Una barra semplice è corta e il pedice può sembrarne staccato; molti autori scrivono f\big|_A per una barra più alta, oppure usano la freccia \restriction, che somiglia a mezzo arpione. Non confondetela con la barra di valutazione, F(x)\big|_a^b, che usa la stessa forma per uno scopo diverso. Le restrizioni sono comuni in topologia, dove si verifica la continuità di f|_U sugli aperti, e nella teoria dei fasci, dove s|_U restringe una sezione a un aperto più piccolo.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Valutazione di una funzionef(x) = y
• Freccia bidirezionale\leftrightarrow
• Funzione definita a trattif(x) = \begin{cases} a & x > 0 \\ b & x \leq 0 \end{cases}
• Freccia di suriezione\twoheadrightarrow
• Freccia uncinata a destra\hookrightarrow
• Range (insieme dei valori)\text{range}(f)

Domande frequenti

Come si scrive Restrizione in LaTeX?

Scrivi f|_A in modalità matematica, per esempio $f|_A\colon A \to B$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per f|_A?

Nessuno. f|_A fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare f|_A in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $f|_A$.