如何获得以下输出？

Question

如何获得以下输出（无需手动添加空格）？我想我应该使用对齐环境，但我无法让域和余域与第二行中的相应元素居中。我需要一个通用算法，每当我需要定义映射时我都会使用它。

请注意有三个独立的中心部分，即带有元素的域、箭头和带有地图图像的余域。

Answer 1

我不认为这有什么吸引力，但它是这样的：

\documentclass{article}
\usepackage{amsmath,amssymb,array}

\newcommand{\numberset}[1]{\mathbb{#1}}
\newcommand{\R}{\numberset{R}}
\newcommand{\C}{\numberset{C}}

\begin{document}

\begin{equation*}
\setlength{\arraycolsep}{0pt}% disable standard intercolumn spaces
\renewcommand{\arraystretch}{1.5}% more room between rows
\begin{array}{r c >{{}}c<{{}} c}
\Phi\colon{} & \R\times\R & \longrightarrow & \C\times\R=\R^3 \\
             & (u,v)      & \longmapsto     & (e^{iu},v)=(\cos u,\sin u,v)
\end{array}
\end{equation*}

\end{document}

l最后一栏的版本略有不同：

\begin{equation*}
\setlength{\arraycolsep}{0pt}% disable standard intercolumn spaces
\renewcommand{\arraystretch}{1.5}% more room between rows
\begin{array}{r c >{{}}c<{{}} l}
\Phi\colon{} & \R\times\R & \longrightarrow & \C\times\R=\R^3 \\
             & (u,v)      & \longmapsto     & (e^{iu},v)=(\cos u,\sin u,v)
\end{array}
\end{equation*}

Answer 2

您也可以使用包来完成eqparbox：

\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{eqparbox}
\newcommand{\eqmathbox}[2][M]{\eqmakebox[#1]{$\displaystyle#2$}}

\newcommand{\numberset}[1]{\mathbb{#1}}
\newcommand{\R}{\numberset{R}}
\newcommand{\C}{\numberset{C}}

\begin{document}

\begin{align*}
\Phi\colon\eqmathbox[L]{\R\times\R} & \longrightarrow \eqmathbox[R]{\C\times\R=\R^3} \\
\eqmathbox[L]{(u,v)} & \longmapsto \eqmathbox[R]{(e^{iu},v)=(\cos u,\sin u,v)}
\end{align*}

\end{document}