Прямой предел в LaTeX (\varinjlim)

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

Прямой предел (копредел) направленной системы, набираемый как «lim» со стрелкой вправо под ним.

С помощью прямых пределов строятся такие объекты, как \mathbb{Q} = \varinjlim \frac{1}{n}\mathbb{Z}, или слой пучка \mathcal{F}_x = \varinjlim_{U \ni x} \mathcal{F}(U). В выключных формулах индексное множество ставится под стрелкой, в строчных — сбоку. Пакет amsmath также предлагает \injlim, печатающий словами «inj lim», так что выбирайте форму, принятую в вашей области. Специалисты по теории категорий часто пишут вместо этого \operatorname*{colim}, поскольку прямые пределы — частный случай копределов. Аналог для обратных систем — \varprojlim.

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

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

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Direct Limit: $\varinjlim$

\[ \mathcal{F}_x = \varinjlim_{U \ni x} \mathcal{F}(U) \]
\end{document}

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

• Обратный предел\varprojlim
• Оператор границы\partial A
• Тензорное произведение\otimes
• Внешность\text{ext}(A)
• Клин\wedge
• ВнутренностьA^{\circ}

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

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

Наберите \varinjlim в математическом режиме, например $\mathcal{F}_x = \varinjlim_{U \ni x} \mathcal{F}(U)$. Сначала подключите amsmath: \usepackage{amsmath}.

Какой пакет нужен для \varinjlim?

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

Можно ли использовать \varinjlim в текстовом режиме или только в математическом?

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