嵌套对齐，可任意对齐位置

Question

我希望一个对齐环境的对齐位置不会干扰另一个环境的对齐。例如，在下面的代码中，我有很长的g_1、表达式g_2，g_3我想将它们与+符号对齐。我现在必须手动执行此操作，例如，

\begin{align}
  x &\coloneqq \argmin_x \big\{f(x) + g_1(x)\notag\\
    & \qquad\qquad\qquad\quad\;\; + g_2(x)\notag\\
    & \qquad\qquad\qquad\quad\;\; + g_3(x)\big\}\\
  y & \coloneqq f(x)
\end{align}

得到期望的结果：

我想要类似下面的语法，但问题是&里面的aligned东西被抛出了。

\begin{align}
  x &\coloneqq \argmin_x 
  \begin{aligned}
    f(x) &+ g_1(x)\notag\\
    &+ g_2(x)\notag\\
    &+ g_3(x)\notag
  \end{aligned}\\
  y & \coloneqq f(x)
\end{align}

Answer 1

使用aligned是一个好主意，但你需要它[t]操作保持一致。

\documentclass{article}
\usepackage{mathtools}

\DeclareMathOperator*{\argmin}{arg\,min}

\begin{document}

\begin{align}
  \label{eq:padmm_primal}
  x &\coloneqq \argmin_x \bigl\{f(x)
      \begin{aligned}[t]
       & + g_1(x)\\
       & + g_2(x)\\
       & + g_3(x)\bigr\}
       \end{aligned}
  \\
  \label{eq:padmm_primal-second}
  y & \coloneqq f(x)
\end{align}

\end{document}

删除\notag无用命令。我还添加了第二个标签，但这不是强制性的。也\big\{应该是\bigl\{，同样\big\}应该是\bigr\}。

Answer 2

一种选择是使用alignat：

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}

\begin{document}

\begin{alignat*}{3}\label{eq:padmm_primal}
  x &\coloneqq \arg \min_x \big\{f(x) &&+ g_1(x)\\
    & &&+ g_2(x)\\
    & &&+ g_3(x)\big\}\\
  y & \coloneqq f(x)
\end{alignat*}

\end{document}