方程中的多重对齐

Question

我想像这样对齐方程

但我所能得到的只有这个

这是我的代码：

\begin{alignat*}{2}
&\mathcal{F}^N(t) \subset &&\sigma \{Q_0^N(0), \hat{Q}_1^N(0),     \hat{Q}_2^N(0)\} \vee \sigma \{A^N(s), 0 \leq s \leq t\}\\
&    &&\vee \sigma\{S_{12}^l(s),S_{20}^l,0 \leq s \leq t, l \geq 1\}\\
&    &&\vee \mathcal{N},\\
&(Q_0^N(0), \hat{Q}_1^N(0),\hat{Q}_2^N(0)), && \\
&A^N, && \\
&S_{12}^l, S_{20}^l, l \geq 1 && 
\end{alignat*}

我想让\mathcal{F}^N(t)和 以下Q_0^N(0), A^N,S_{12}^l位于中间，我该怎么做？

Answer 1

我确信还有其他类似的问题，但用一个例子来回答会更容易。

由于前三行之后的所有行都是左对齐的，所以请忘记“内部”&&分隔符，并使用aligned子元素。此时，您不妨使用简单的align*而不是alignat*。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
&\begin{aligned}
  \mathcal{F}^N(t) \subset {} &\sigma \{Q_0^N(0), \hat{Q}_1^N(0),
        \hat{Q}_2^N(0)\} \vee \sigma \{A^N(s), 0 \leq s \leq t\}\\
    &\vee \sigma\{S_{12}^l(s),S_{20}^l,0 \leq s \leq t, l \geq 1\}\\
    &\vee \mathcal{N},
 \end{aligned}\\
&(Q_0^N(0), \hat{Q}_1^N(0),\hat{Q}_2^N(0)), \\
&A^N, \\
&S_{12}^l, S_{20}^l, l \geq 1
\end{align*}
\end{document}

Answer 2

您可以使用aligned环境将一些对齐的方程式放入另一个 displaymath 环境中。因此，在这种情况下，您可以使用一个align*环境进行左对齐，并使用aligned其中的一个环境来放置前几行，这对于外部环境而言就像一行一样align*。

\begin{align*}
&
\begin{aligned}
\mathcal{F}^N(t) \subset &\sigma \{Q_0^N(0), \hat{Q}_1^N(0), \hat{Q}_2^N(0)\} \vee \sigma \{A^N(s), 0 \leq s \leq t\}\\
    &\vee \sigma\{S_{12}^l(s),S_{20}^l,0 \leq s \leq t, l \geq 1\}\\
    &\vee \mathcal{N},
\end{aligned}\\
&(Q_0^N(0), \hat{Q}_1^N(0),\hat{Q}_2^N(0)),\\
&A^N,\\
&S_{12}^l, S_{20}^l, l \geq 1
\end{align*}

Answer 3

这里有两个解决方案，一个使用\mathrlap命令，来自mathtools，另一个使用普通align*环境和array。也替换\hat为widehat，它更适合大写 Q 的大小：

\documentclass{article}%
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{mathtools}

\begin{document}

\begin{alignat*}{2}
&\mathcal{F}^N(t) \subset {}&&\sigma \{Q_0^N(0), \widehat{Q}_1^N(0), \widehat{Q}_2^N(0)\} \vee \sigma \{A^N(s), 0 \leq s \leq t\}\\
& &&\vee \sigma\{S_{12}^l(s),S_{20}^l,0 \leq s \leq t, l \geq 1\}\\
& &&\vee \mathcal{N},\\
&\mathrlap{(Q_0^N(0), \widehat{Q}_1^N(0),\widehat{Q}_2^N(0)),} && \\
&A^N, && \\
&\mathrlap{S_{12}^l, S_{20}^l, l \geq 1 }
\end{alignat*}

\begin{align*}
&\mathcal{F}^N(t) \subset {}\begin{array}[t]{@{}l}\sigma \{Q_0^N(0), \widehat{Q}_1^N(0), \widehat{Q}_2^N(0)\} \vee \sigma \{A^N(s), 0 \leq s \leq t\}\\
\vee \sigma\{S_{12}^l(s),S_{20}^l,0 \leq s \leq t, l \geq 1\}\\
\vee \mathcal{N},
\end{array}\\
& (Q_0^N(0), \widehat{Q}_1^N(0),\widehat{Q}_2^N(0)),\\
& A^N, \\
& S_{12}^l, S_{20}^l, l \geq 1
\end{align*}

\end{document}