Область определения в LaTeX (\text{dom}(f))

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

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

Её активно использует выпуклый анализ: \operatorname{dom} f = \{x \mid f(x) < \infty\} — эффективная область определения выпуклой функции с расширенными значениями. \text{dom} печатается прямым шрифтом, но в окружении теоремы может стать курсивным и лишён интервалов оператора; \operatorname{dom} избавляет от обеих проблем. В сигнатуре f\colon A \to B множество A уже является областью определения, поэтому \text{dom}(f) полезнее всего, когда область неявная или функция частичная, как у неограниченных операторов в гильбертовых пространствах. В некоторых текстах вместо этого пишут D(f) или D_f, так что следуйте соглашениям своей области.

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

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

\documentclass{article}
\usepackage{amssymb,amsmath}
\begin{document}
Domain: $\text{dom}(f)$

\[ \text{dom}(f) = \{x \in \mathbb{R}^n \mid f(x) < \infty\} \]
\end{document}

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

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

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

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

Наберите \text{dom}(f) в математическом режиме, например $\text{dom}(f) = \{x \in \mathbb{R}^n \mid f(x) < \infty\}$. Сначала подключите amsmath: \usepackage{amsmath}.

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

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

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

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