Область прибытия в LaTeX (\text{cod}(f))

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

Область прибытия f — целевое множество, объявленное для значений функции.

В f\colon A \to B область прибытия — это B, и она может быть больше образа; f сюръективна ровно тогда, когда \text{Im}(f) = \text{cod}(f). В теории категорий пишут \operatorname{cod} f рядом с \operatorname{dom} f для цели и источника морфизма. Как и для других текстовых меток, \operatorname{cod} даёт лучшие интервалы и не допускает «протекания» курсива в формулировки теорем. Некоторые авторы для ясности пишут полностью \operatorname{codom}. Важно отличать кообласть от множества значений, потому что в одних книгах словом range называют кообласть, а в других — образ.

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

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Codomain: $\text{cod}(f)$

\[ f \text{ is onto} \iff \text{Im}(f) = \text{cod}(f) \]
\end{document}

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

• Множество значений\text{range}(f)
• Область определения\text{dom}(f)
• Стрелка вправо с крючком\hookrightarrow
• Ядро\ker(f)
• Сюръекция\twoheadrightarrow
• Образ функции\text{Im}(f)

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

Как написать «Область прибытия» в LaTeX?

Наберите \text{cod}(f) в математическом режиме, например $f \text{ is onto} \iff \text{Im}(f) = \text{cod}(f)$. Сначала подключите amsmath: \usepackage{amsmath}.

Какой пакет нужен для \text{cod}(f)?

Для \text{cod}(f) нужен amsmath: добавьте \usepackage{amsmath} в преамбулу до начала документа.

Можно ли использовать \text{cod}(f) в текстовом режиме или только в математическом?

В обоих. \text{cod}(f) компилируется и в тексте, и внутри $...$; в формуле оставляйте её в математическом режиме ради математических шрифтов и интервалов.