Restricción en LaTeX (f|_A)

Dónde se usa

Restricción de f a un subconjunto A, que conserva la regla pero reduce el dominio.

La restricción f|_A conserva la regla pero reduce el dominio, así que f|_A\colon A \to B. Una barra simple es corta y el subíndice puede parecer separado de ella; muchos autores escriben f\big|_A para obtener una barra más alta, o usan la flecha \restriction, que parece un medio arpón. No la confundas con la barra de evaluación, F(x)\big|_a^b, que usa la misma forma con otro propósito. Las restricciones son habituales en topología, donde se comprueba la continuidad de f|_U en abiertos, y en la teoría de haces, donde s|_U restringe una sección a un abierto más pequeño.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Evaluación de una funciónf(x) = y
• Flecha bidireccional\leftrightarrow
• Función definida a trozosf(x) = \begin{cases} a & x > 0 \\ b & x \leq 0 \end{cases}
• Aplicación sobreyectiva\twoheadrightarrow
• Flecha con gancho a la derecha\hookrightarrow
• Rango de una función\text{range}(f)

Preguntas frecuentes

¿Cómo escribo Restricción en LaTeX?

Escribe f|_A en modo matemático, por ejemplo $f|_A\colon A \to B$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para f|_A?

Ninguno. f|_A forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar f|_A en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $f|_A$.