正无穷大相邻的实数线：排版更紧凑

Question

对于我正在处理的文档，我经常需要引用与正无穷大相连的实线（但不与负无穷大相连）。我一直按如下方式排版

\mathbb{R} \cup \{+\infty\}

这占用了大量的水平空间。有没有办法让加号变小？或者让符号挤在一起？我只是觉得有点困扰，在出现这种空间的表达中，它并没有真正在视觉上显示为一个独立的实体。

Answer 1

我个人认为我会使用您展示的形式，但如果经常使用它，请使其成为一个定义的术语（例如 R'），然后只需使用该定义的符号。

但如果你想挤压它，也许

\documentclass{article}

\usepackage{amsmath,amsfonts,amssymb}

\begin{document}

\[C_0(\mathbb{R}{\scriptstyle \cup \{+ \infty\}}) \rtimes \mathbb{R}\]
\end{document}

Answer 2

我会选择一种特殊的符号来传达这个想法：

\documentclass[twocolumn]{article}
\usepackage{amsmath,amssymb}

\DeclareRobustCommand{\upcomp}{{{-}\!\!{\bullet}}}
\DeclareRobustCommand{\downcomp}{{{\bullet}\!\!{-}}}

\newcommand{\RR}{\mathbb{R}}
\newcommand{\RRup}{\RR_{\upcomp}}
\newcommand{\RRdown}{\RR_{\downcomp}}

\begin{document}

We define $\RRup=\RR\cup\{+\infty\}$ and $\RRdown=\RR\cup\{-\infty\}$
with the topology induced by the usual extended real line.

Now we can use $C_0(\RRup)$ that takes less space.

\end{document}

替代\mapsfromchar方案stmaryrd：

\documentclass[twocolumn]{article}
\usepackage{amsmath,amssymb,stmaryrd}

\DeclareRobustCommand{\upcomp}{{-\mapsfromchar}}
\DeclareRobustCommand{\downcomp}{{\mapstochar-}}

\newcommand{\RR}{\mathbb{R}}
\newcommand{\RRup}{\RR_{\upcomp}}
\newcommand{\RRdown}{\RR_{\downcomp}}

\begin{document}

We define $\RRup=\RR\cup\{+\infty\}$ and $\RRdown=\RR\cup\{-\infty\}$
with the topology induced by the usual extended real line.

Now we can use $C_0(\RRup)$ that takes less space.

\end{document}