如何将等式中的两列无空格地对齐？

Question

我想将等式中的两列对齐，且不留空格。我使用以下代码。

\begin{equation*}
    \begin{aligned}[b]
    N(vw)=N(s_iuw)=N(s_i(uw))
    & = N(s_i) & \Delta \; &  s_iN(uw)s_i \\
    & = N(s_i) & \Delta \; & s_iN(u)s_i \; \Delta \; s_iuN(w)u^{-1}s_i \\
    & = N(v)   & \Delta \; & s_iuN(w)(s_iu)^{-1} \\ 
    & = N(v)   & \Delta \; & vN(w)v^{-1}.
    \end{aligned}
    \qedhere
\end{equation*}

但两列之间有空格，如下所示。

我该如何摆脱这个空间？

Answer 1

从所有\;命令来看，你的Delta应该可以看作是一个二进制运算符号。

使用alignedat。

\documentclass{article}
\usepackage{amsmath,amsthm}

\newcommand{\bDelta}{\mathbin{\Delta}}

\begin{document}

\begin{proof}
\begin{equation*}
\begin{alignedat}[b]{2}
N(vw)=N(s_iuw)=N(s_i(uw))
  & = N(s_i) && \bDelta s_iN(uw)s_i \\
  & = N(s_i) && \bDelta s_iN(u)s_i \bDelta s_iuN(w)u^{-1}s_i \\
  & = N(v)   && \bDelta s_iuN(w)(s_iu)^{-1} \\
  & = N(v)   && \bDelta vN(w)v^{-1}.
\end{alignedat}\qedhere
\end{equation*}
\end{proof}

\end{document}