An mehreren Punkten in der Mathematikumgebung ausrichten

Question

Betrachten Sie die folgende Gleichung:

die ich mit folgendem Code erzeugt habe:

\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}

Wie Sie sehen, \mathbb{P}sind die 's nicht besonders gut ausgerichtet (und die Fehlausrichtung würde noch größer werden, wenn Zeile Nr. 2 größer gemacht würde). Meine Frage ist also, wie man sie am besten ausrichtet?

Bei Verwendung von alignedund ähnlichen Umgebungen bräuchte ich einen Ausrichtungspunkt in Zeile 1 (das \mathbb{P}), zwei in Zeile 2 (das erste \mathbb{P}und das =) und einen in Zeile 3 (das \geq). Ich glaube nicht, dass eine variable Anzahl von Ausrichtungspunkten möglich ist, daher bin ich ratlos.

Bitte ignorieren Sie die benutzerdefinierten Befehle (wie \vect, das im Grunde ein Wrapper für \bmund ist \mathrm). Danke.

BEARBEITEN:Hier ist ein vollständiger Ausschnitt, der zum Reproduzieren der Gleichung verwendet werden kann:

\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

Verwenden Sie verschachtelte aligned. Bedenken Sie, dass aus irgendeinem Grund aligneddavor etwas Leerzeichen hinzugefügt wird, das Sie manuell entfernen müssen, z. B. durch \!. Außerdem müssen Sie nicht laden, amsmathwenn Sie laden mathtools.

\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

Eine Alternative zur Verschachtelung besteht darin, eine einzelne Ausrichtung zu verwenden, aber die Breite der ersten Zeile auszublenden.

\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}