将集合定义调整为两行

Question

将定义分成两行以便它们不会破坏布局的最佳方法是什么？

\documentclass[12pt,oneside,ngerman,reqno,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath, amsthm}     % ams stuff should be before font loading
\usepackage{lmodern}
\usepackage[T1]{fontenc}        % should be after font loading
\usepackage{fixltx2e,babel}


\usepackage[numbers]{natbib}    % bibtex package
%\usepackage{typearea}           % custom type area
%   \areaset[0mm]{135mm}{210mm}  % typearea configuration
%   \topmargin5mm                % typearea configuration
\usepackage{graphicx}
\usepackage{url}
\begin{document}
\begin{equation}
\overline{R_1}=\left\{(j_1,j_2) \colon \exists r\in R\,\exists a=(v,w)\in A^r\Big(w\ne D^r \wedge (j_1,j_2)\in J_v^r\times J_w^r \wedge j_2<j_1+\Gamma_a^r+c_w^r\Big)\right\}
\end{equation}

\begin{equation}
\overline{R_2}=\left\{(j_1,j_2) \colon \exists a=(v,w)\in A^r\,\exists (r_1,r_2)\in L_a\Big((j_1,j_2)\in J_v^{r_1}\times J_v^{r_2} \wedge j_2<j_1+s_a^{r_1r_2} + \text{min}(\Gamma_a^{r_1}- \Gamma_a^{r_2} ,0)\Big)\right\}
\end{equation}
\begin{equation}
\overline{R_3}=\left\{(j_1,j_2) \colon \exists v\in V\,\exists (r_1,r_2) \in U_v \Big(a = (u,v) \in A^r \wedge (j_1,j_2)\in J_v^{r_1}\times J_v^{r_2} \wedge j_2 + \Gamma_a^{r_2} < j_1+ \Gamma_a^{r_1} +s_a^{r_1r_2}\Big)\right\}
\end{equation}
\end{document}

Answer 1

可能有更好的方法来打破这些界限，但这可能就足够了。

我已经将\left其更改\right为明确的\big括号以避免“匹配”问题，并且我将三个方程式分组到一个 align环境中，以便更好地控制它们之间的间距。

我不太愿意把它留\in在第一行的末尾，但是第二行很长，而且我不想把第二个等式分成第三行。

\documentclass[12pt,oneside,ngerman,reqno,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath, amsthm}     % ams stuff should be before font loading
\usepackage{lmodern}
\usepackage[T1]{fontenc}        % should be after font loading
\usepackage{fixltx2e,babel}

\begin{document}
\thispagestyle{empty}
\begin{align}
\overline{R_1}&=
 \begin{aligned}[t]
  \Big\{
  &(j_1,j_2) \colon \exists r\in R\,\exists a=(v,w)\in\\
 & A^r\Big(w\ne D^r \wedge (j_1,j_2)\in J_v^r\times J_w^r \wedge j_2<j_1+\Gamma_a^r+c_w^r\Big)%\right\}
  \Big\}
 \end{aligned}
\\
\overline{R_2}&=
 \begin{aligned}[t]
  \Big\{ &(j_1,j_2) \colon \exists a=(v,w)\in A^r\,\exists (r_1,r_2)\in\\
  & L_a\Big((j_1,j_2)\in J_v^{r_1}\times J_v^{r_2} \wedge j_2<j_1+s_a^{r_1r_2} + \text{min}(\Gamma_a^{r_1}- \Gamma_a^{r_2} ,0)\Big)\Big\}
 \end{aligned}
\\
\overline{R_3}&=
 \begin{aligned}[t]
  \Big\{ (j_1,j_2) \colon & \exists v\in V\,\exists (r_1,r_2) \in\\
  & U_v \Big(a =
    \begin{aligned}[t] & (u,v) \in A^r \wedge (j_1,j_2)\in\\
     & J_v^{r_1}\times J_v^{r_2} \wedge j_2 + \Gamma_a^{r_2} < j_1+ \Gamma_a^{r_1} +s_a^{r_1r_2}\Big)\Big\}
 \end{aligned}
 \end{aligned}
\end{align}
\end{document}