在这种情况下，如何使用方程式而不遇到“缺失数字，视为零”

Question

我对 Latex 还很陌生，正在处理一堆公式。我想给每个公式赋予不同的编号，这就是我得到的：

\begin{align}
\begin{split}
 &|\Theta_P| = {|P| \choose 2} \land P \not= \emptyset
\end{split} \\
\begin{split}
 & \forall D_n \in \Theta_P \\
 & \qquad \left(d_n,\delta_n\right) := D_n \\
 & \qquad\qquad |d_n| =2\\
 & \qquad\qquad d_n\in \mathcal{P}(P)\\
 & \qquad\qquad |\delta_n| = 2 \\
 & \qquad\qquad \bigcup \delta_n = P \setminus d_n \\
 & \qquad\qquad \bigcap \delta_n = \emptyset \\
  \end{split} \\
 \begin{split}
  & \forall D_n, D_m \in \Theta_P \\
 & \qquad \left(d_n,\delta_n\right):= D_n \\
  & \qquad \left(d_m,\delta_m\right):= D_m \\
 & \qquad\qquad d_n=d_m \iff D_n=D_m \\
\end{split} 
\end{align}

它运行良好。

然而，之后一些阅读我想也许我应该使用公式而不是对齐来表示公式。但是当我改用上面align的公式时equation，我遇到了这个错误：

缺失数字，视为零

并提到了一些关于\relax \end{split} \\。

我尝试删除\\分割块之间的内容，但是这会使 3 个公式水平对齐，这不是我想要的。

equation为什么我会遇到这个错误以及在这种情况下我应该怎么做？

Answer 1

该equation环境适用于单线（或单个split）方程；在这种情况下您确实需要align。

firstsplit是多余的，应该省略。also\\不应该与and一起使用\end{split}\chooseamsmath

\binom{|P|}{2}

是正确的语法。

\documentclass{article}
\usepackage{amsmath}
\begin{document}

\begin{align}
 &|\Theta_P| = \binom{|P|}{2} \land P \not= \emptyset
\\
\begin{split}
 & \forall D_n \in \Theta_P \\
 & \qquad (d_n,\delta_n) := D_n \\
 & \qquad\qquad |d_n| =2\\
 & \qquad\qquad d_n\in \mathcal{P}(P)\\
 & \qquad\qquad |\delta_n| = 2 \\
 & \qquad\qquad \bigcup \delta_n = P \setminus d_n \\
 & \qquad\qquad \bigcap \delta_n = \emptyset
\end{split} \\
\begin{split}
 & \forall D_n, D_m \in \Theta_P \\
 & \qquad (d_n,\delta_n):= D_n \\
 & \qquad (d_m,\delta_m):= D_m \\
 & \qquad\qquad d_n=d_m \iff D_n=D_m
\end{split} 
\end{align}
\end{document}

我还删除了多余的\left-\right对。

Answer 2

我提出了其中一种变体。我:=用\coloneqq形式替换了它mathtools，使其具有相对于 = 符号轴垂直居中的冒号：

\documentclass{article}

\usepackage{mathtools}

\begin{document}

\begin{alignat}{2}
  &\mathrlap{\lvert\Theta_P\rvert = \binom{\lvert P\rvert}{2} \land P \not= \emptyset}\\[1.5ex]
    & \forall D_n \in \Theta_P & \quad & \begin{aligned}[t] & (d_n,\delta_n) \mkern-2mu\coloneqq D_n \\
  & \lvert d_n\rvert =2\\
  & d_n \in \mathcal{P}(P)\\
  & \lvert\delta_n\rvert = 2\\
  &\bigcup \delta_n = P \setminus d_n \\
  & \bigcap \delta_n = \emptyset
  \end{aligned}\\[1.5ex]
    & \forall D_n, D_m \in \Theta_P & \quad & \begin{aligned}[t] & (d_n,\delta_n) \mkern-2mu\coloneqq D_n \\
  &(d_m,\delta_m) \coloneqq D_m\\
  & d_n= d_m \iff D_n=D_m
  \end{aligned}
\end{alignat}

\begin{alignat}{2}
  &\mathrlap{\lvert\Theta_P\rvert = \binom{\lvert P\rvert}{2} \land P \not= \emptyset}\\[1.5ex]
    & \forall D_n \in \Theta_P & \quad & \begin{aligned}[t] \renewcommand\arraystretch{1.25}\begin{array}[t]{|@{\hskip0.6em}l}
  (d_n,\delta_n) \mkern-2mu\coloneqq D_n \\
  \lvert d_n\rvert =2\\
  d_n \in \mathcal{P}(P)\\
  \lvert\delta_n\rvert = 2\\
  \bigcup \delta_n = P \setminus d_n \\
  \bigcap \delta_n = \emptyset
  \end{array}
  \end{aligned}\\[1.5ex]
    & \forall D_n, D_m \in \Theta_P & \quad & \begin{aligned}[t] \renewcommand\arraystretch{1.25}\begin{array}[t]{|@{\hskip0.6em}l}
  (d_n,\delta_n) \mkern-2mu\coloneqq D_n \\
  (d_m,\delta_m) \coloneqq D_m\\
  d_n= d_m \iff D_n=D_m
  \end{array}
  \end{aligned}
\end{alignat}

\end{document}