Restrição em LaTeX (f|_A)

Onde é usado

Restrição de f a um subconjunto A, que mantém a regra mas reduz o domínio.

A restrição f|_A mantém a regra mas reduz o domínio, de modo que f|_A\colon A \to B. Uma barra simples é curta e o subscrito pode parecer solto dela; muitos autores escrevem f\big|_A para uma barra mais alta, ou usam a seta \restriction, que parece meio arpão. Não confunda isso com a barra de avaliação, F(x)\big|_a^b, que usa a mesma forma para outro fim. Restrições são comuns em topologia, onde se verifica a continuidade de f|_U em abertos, e na teoria de feixes, onde s|_U restringe uma seção a um aberto menor.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Avaliação de funçãof(x) = y
• Seta para a esquerda e para a direita\leftrightarrow
• Função definida por partesf(x) = \begin{cases} a & x > 0 \\ b & x \leq 0 \end{cases}
• Função sobrejetora\twoheadrightarrow
• Seta com gancho para a direita\hookrightarrow
• Conjunto imagem (range)\text{range}(f)

Perguntas frequentes

Como escrever Restrição em LaTeX?

Digite f|_A no modo matemático, por exemplo $f|_A\colon A \to B$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para f|_A?

Nenhum. f|_A faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar f|_A no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $f|_A$.