Согласование в определениях функций

Question

У меня есть следующий код для определения функции

\begin{align*}
\varphi_{\sigma}\colon  &E \longrightarrow E \\
&(x_{1},x_{2},...,x_{n}) \longmapsto        
(x_{\sigma(1)},x_{\sigma(2)},...,x_{\sigma(n)}).
\end{align*}

Я нахожу это довольно уродливым и хотел бы, чтобы стрелки также были выровнены. Я не смог сделать это в alignсреде. Я могу сделать это с arrayсредой, но это тоже не отображается хорошо, потому что пространство между математикой и основным текстом меняется.

Answer 1

У меня было то же первоначальное решение, что и у @Gonzalo Medina, но я добавил решение с использованием \medmathкоманды из nccmathпакета, которая уменьшает размер $n$-кортежей примерно на 30 %:

\documentclass{article}
\usepackage[overload]{empheq}
\usepackage{nccmath}

\begin{document}

\begin{align*}
  φ_{σ}\colon E & ―――→ E \\
  (x_{1},x_{2},...,x_{n}) & \longmapsto
  (x_{σ(1)},x_{σ(2)},...,x_{σ(n)}).
\end{align*}
\vskip 1cm

\verb+With \medmath+:
\begin{align*}
  φ_{σ}\colon E & ―――→ E \\[-0.5ex]
  \medmath{(x_{1},x_{2},...,x_{n})} & \longmapsto
  \medmath{(x_{σ(1)},x_{σ(2)},...,x_{σ(n)}).}
\end{align*}

\end{document} 

Answer 2

Вы можете выровнять по стрелкам, но это может выглядеть странно, поскольку n-кортеж слишком широкий; другой подход — отказаться от выравнивания, быть немного многословным и разделить компоненты:

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{align*}
\varphi_{\sigma}\colon  E &\longrightarrow E \\
(x_{1},x_{2},...,x_{n}) &\longmapsto        
(x_{\sigma(1)},x_{\sigma(2)},...,x_{\sigma(n)}).
\end{align*}

We have the mapping $\varphi_{\sigma}\colon  E \longrightarrow E$
such that 
\[
(x_{1},x_{2},...,x_{n}) \longmapsto        
(x_{\sigma(1)},x_{\sigma(2)},...,x_{\sigma(n)}).
\]
\end{document}