Сужение функции в LaTeX (f|_A)

Где используется

Сужение f на подмножество A: правило сохраняется, а область определения уменьшается.

Сужение f|_A сохраняет правило, но уменьшает область определения, так что f|_A\colon A \to B. Простая черта короткая, и нижний индекс может выглядеть оторванным от неё; многие авторы пишут f\big|_A для более высокой черты или используют стрелку \restriction, похожую на половину гарпуна. Не путайте сужение с чертой подстановки F(x)\big|_a^b, которая имеет ту же форму, но другое назначение. Сужения часто встречаются в топологии, где проверяется непрерывность f|_U на открытых множествах, и в теории пучков, где s|_U ограничивает сечение на меньшее открытое множество.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

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

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

Похожие символы

• Значение функцииf(x) = y
• Двусторонняя стрелка\leftrightarrow
• Кусочно заданная функцияf(x) = \begin{cases} a & x > 0 \\ b & x \leq 0 \end{cases}
• Сюръекция\twoheadrightarrow
• Стрелка вправо с крючком\hookrightarrow
• Множество значений\text{range}(f)

Частые вопросы

Как написать «Сужение функции» в LaTeX?

Наберите f|_A в математическом режиме, например $f|_A\colon A \to B$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для f|_A?

Никакой. f|_A входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать f|_A в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $f|_A$.