在数学环境中多点对齐

Question

考虑以下等式：

我使用以下代码生成：

\begin{equation}
    \begin{gathered}
        \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \\
        \begin{aligned}
            \Longrightarrow \mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\ &\geq 2^{-\ceil*{\frac k n} r}
        \end{aligned}
    \end{gathered}\label{eq:prob}
\end{equation}

现在，如您所见，\mathbb{P}对齐得不是很好（如果将第 2 行放大，错位会变得更大）。所以我的问题是，对齐它们的最佳方法是什么？

使用aligned和类似的环境，我需要在第 1 行 ( \mathbb{P}) 中设置 1 个对齐点，在第 2 行 ( ) 中设置 2 个对齐点\mathbb{P}，=在第 3 行 ( \geq) 中设置 1 个对齐点。我认为不可能有可变数量的对齐点，所以我很困惑。

请忽略自定义命令（例如，它基本上是和的\vect包装器）。谢谢。\bm\mathrm

编辑：以下是可用于重现该等式的完整片段：

\documentclass[a4paper]{article}

\usepackage{amsmath,amssymb,amsthm}
\usepackage{bm}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{upgreek}

\newcommand{\vect}[1]{\bm{\mathrm{#1}}}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}

\begin{document}

\begin{equation}
    \begin{gathered}
        \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \\
        \begin{aligned}
            \Longrightarrow \mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\ &\geq 2^{-\ceil*{\frac k n} r}
        \end{aligned}
    \end{gathered}\label{eq:prob}
\end{equation}

\end{document}

Answer 1

使用嵌套的aligned。请记住，出于某种原因aligned，它会在它前面添加一些空格，您必须手动将其删除，例如。此外，如果您加载 ，则\!无需加载。amsmathmathtools

\documentclass{article}
\usepackage{mathtools,amssymb}
\usepackage{bm}
\usepackage{mathrsfs}
\usepackage{upgreek}

\newcommand{\vect}[1]{\bm{\mathrm{#1}}}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\begin{document}
\begin{equation}
    \begin{aligned}
        &\mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \\
        \Longrightarrow \;&\!\begin{aligned}[t]
            \mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\ &\geq 2^{-\ceil*{\frac k n} r}
        \end{aligned}
    \end{aligned}\label{eq:prob}
\end{equation}
\end{document}

Answer 2

嵌套的替代方法是使用单一对齐但隐藏第一行的宽度。

\documentclass[a4paper]{article}

\usepackage{amsmath,amssymb,amsthm}
\usepackage{bm}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{upgreek}

\newcommand{\vect}[1]{\bm{\mathrm{#1}}}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}

\begin{document}

\begin{equation}
\begin{alignedat}{2}
        &\mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \geq \frac{2^{n - r}}{2^n} = 2^{-r} \quad \forall i, \, 1 \leq i \leq \ceil*{\frac k n} \hspace{-\textwidth}\\
            {}\Longrightarrow{} 
&\mathbb{P}\left\{\vect{x}_1, \ldots, \vect{x}_{\ceil*{\frac k n}} \in\ \mathscr{N}(H_{\vect{\uplambda}})\right\} &&= \prod\nolimits_{i = 1}^{\ceil*{\frac k n}} \mathbb{P}\left\{\vect{x}_i \in \mathscr{N}(H_{\vect{\uplambda}})\right\} \\
 &&&\geq 2^{-\ceil*{\frac k n} r}
        \end{alignedat}
   \label{eq:prob}
\end{equation}

\end{document}