拆分包含长文本的方程式：它会变为右对齐吗？

Question

首先，我对 LaTex 完全陌生，今天才打开我的第一个文档。我使用 texlive，这里也使用了 amsmath 包。

我想写下我的证明，证明连续统假设等同于某个命题。我的证明由两个蕴涵组成，我想在开始证明它们之前先说明一下。所以现在我试着做一个好的蕴涵，以便以后参考（我当时在想方程环境），它是居中的。由于蕴涵位于两个命题之间，它只包含文本和一个 \Longrightarrow。它太长了，页面放不下，所以我想把它拆开，把第一个语句放在顶部，箭头放在中间，第二个语句放在底部。我在网上找了几个小时，{split} 成功了，只是现在所有内容都对齐在页面的右侧，这不是我的本意。它应该是居中的。有人能帮帮我吗？{multline}、{align*}、{align}、{eqnarray} 等都没有被 LaTeX 识别。

这是我的“方程式”代码：

\begin{equation}
\begin{split}
\label{implication}
 {\displaystyle \textit{De continu\"umhypothese}}\\ 
 \Longrightarrow \\
 {\textit{Als $X$ een overaftelbare deelverzameling is van $\mathbb{R}$,}} 
{\textit{ dan is er een bijectie van $X$ naar $\mathbb{R}$.}}
 \end{split}
\end{equation}

结果如下：

非常感谢！

Answer 1

我在这里做了一些改动，但我认为这接近你想要的。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsfonts}

\begin{document}    
show cross-reference: \eqref{implication}
\begin{multline}
\label{implication}
 \text{\textit{De continu\"umhypothese}}\\ 
\Longrightarrow \quad
\begin{aligned}[t]
 & \text{\textit{Als $X$ een overaftelbare deelverzameling is van $\mathbb{R}$,}} \\
 & \text{\textit{ dan is er een bijectie van $X$ naar $\mathbb{R}$.}}
 \end{aligned}
\end{multline}
\end{document}

• 添加软件包amsmath并amsfonts
• 改为equation。multiline这个多行环境将把第一行设置在左边，最后一行设置在右边。
• 使用aligned子环境来相互对齐最后两行；&需要左对齐，并且[t]顶部将子环境与左侧的内容对齐。\split在这种情况下不起作用。
• 将\Longrightarrow其与右侧表达式放在同一行。
• 构成字符串\text；如果没有它，evenn\textit将被视为数学，并且空格将被忽略。
• 应用于\label最外层环境；如果在内部split（或aligned）使用，则与一起使用时可能会丢失\eqref。

Answer 2

您可以根据以下情况将此方程显示为三行flalign：

\documentclass[a4paper, dutch]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{babel}
\usepackage[showframe]{geometry}
\usepackage{mathtools, amsfonts}

\begin{document}

\begin{flalign}
\label{implication}
 & \begin{gathered}[b]
  \textit{De continuümhypothese}\\
  \Longrightarrow
  \end{gathered} & & \\
 & \rlap{\textit{Als $X$ een overaftelbare deelverzameling is van $\mathbb{R}$, dan is er een bijectie van $X$ naar $\mathbb{R}$.}}\notag
 \end{flalign}

\end{document}