如何使右括号上的多行对齐？

Question

我正在尝试在右括号环境中对齐 2 个方程式。以下是我的右括号代码和环境

\documentclass{report}

\newenvironment{rcases}
    {\left.\begin{aligned}}
    {\end{aligned}\right\rbrace}

\begin{document}

        \begin{align*}
            \begin{rcases}
                +:\, & \mathbb{N} \times \mathbb{N} \longmapsto \mathbb{N} \\
                & (x, y) \longmapsto x + y 
            \end{rcases}
            && + \subseteq \mathbb{N} \times \mathbb{N} \\
            && + = \{ (x, y) \,|\, x, y \in \mathbb{N} \} \subseteq \mathbb{N} \times \mathbb{N}
        \end{align*}

\end{document}

我正在努力

&& + \subseteq \mathbb{N} \times \mathbb{N} \\
&& + = \{ (x, y) \,|\, x, y \in \mathbb{N} \} \subseteq

位于同一行或右括号的同一级别。

有人可以帮我吗？

Answer 1

发生的事情是

& + \subseteq \mathbb{N} \times \mathbb{N}
\\
& + = \{ (x, y) \,|\, x, y \in \mathbb{N} \} \subseteq

被视为align*两条不同的线。您想要align*做的是将其视为一个符号，您可以通过嵌套aligned在align*环境中来实现。您可以将其视为此处所示

\documentclass{report}

\usepackage{amsmath}
\usepackage{amssymb, amsfonts}
\newenvironment{rcases}
    {\left.\begin{aligned}}
    {\end{aligned}\right\rbrace}

\begin{document}



\begin{align*}
    \begin{rcases}
        +:\, & \mathbb{N} \times \mathbb{N} \longmapsto \mathbb{N}
    \\
        & (x, y) \longmapsto x + y 
    \end{rcases}
    \quad
    \begin{aligned}
        & + \subseteq \mathbb{N} \times \mathbb{N}
    \\
        & + = \{ (x, y) \,|\, x, y \in \mathbb{N} \} \subseteq
    \end{aligned}
\end{align*}

\end{document}

Answer 2

环境rcases已经由mathtools（扩展了amsmath）定义。我建议使用alignat环境，它可以让您完全控制两组对齐之间的间距：

\documentclass{report}

\usepackage{mathtools}
\usepackage{amssymb}

\begin{document}

\begin{alignat*}{2}
 & \begin{rcases}
        \begin{aligned}
        +:\, & \mathbb{N} \times \mathbb{N} \longmapsto \mathbb{N}
        \\
        & (x, y) \longmapsto x + y \strut
        \end{aligned}
    \end{rcases}
 & \qquad &
        \begin{aligned}
       & + \subseteq \mathbb{N} \times \mathbb{N}
        \\
        & + = \{ (x, y) \,|\, x, y \in \mathbb{N} \} \subseteq \strut
        \end{aligned}
\end{alignat*}

\end{document}