☰

如何拆分长组

tag-icon • tag-icon line-breaking alignment split alignat gather
如何拆分长组

我有这个 MWE，其中有两个长集

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}


\begin{document}
Supponiamo che l'insieme sia $A=\{a,b,c\}$. L'insieme delle parti di $A$ è l'insieme che ha come elementi tutti i possibili sottoinsiemi dell'insieme $A$. Per tutti i possibili sottoinsiemi di $A$ intendiamo proprio tutti i suoi sottoinsiemi, compresi quelli impropri, cioè l'insieme vuoto e l'insieme $A$ stesso.

Abbiamo \[\mathcal{P}(A) = \{ B \mid B \subseteq A \} = \{\emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, A\}= \{\emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, A\}\]

Devo trovare $\mathcal{P}(\mathcal{P}(A))$. Se indico gli elementi di $\mathcal{P}(A)$ con $S_1=\emptyset, S_2=\{a\}, \ldots S_8=A$, posso costruire 

$\mathcal{P}(\mathcal{P}(A))= \{S_1, S_2, S_3, S_4, S_5, S_6, S_7, S_8, \{S_1, S_2\},\{S_1, S_3\},\{S_1, S_4\},\ldots\{S_1, S_8\},\{S_2, S_3\}\ldots,\{S_2, S_8\},\ldots\}$
$\mathcal{P}(\mathcal{P}(A))= \{\emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, A, \{\emptyset, \{a\}\},\{\{a\}, \{b\}\},\{\{b\}, \{c\}\},\ldots\{\emptyset, A\}, \{\{a\}, \{b\}\}\ldots,\{\{a\}, A\},\ldots\}$

e così via. È corretto? Se $|\mathcal{P}(A)|=2^n$ elementi, allora $\mathcal{P}(\mathcal{P}(A))=2^{|\mathcal P(A)|}=2^{2^n}$?

Se la definizione di $\mathcal{P}(A) = \{ B \mid B \subseteq A \}$ qual è la definizione di $\mathcal{P}(\mathcal{P}(A))$ per poter capire come si costruiscono?

\end{document}

最好的方法是什么，能够将它们对齐在两行或更多行上？使用例如拆分或多行来拆分它们，或者将其按顺序写入，就像文本一样？

在此处输入图片描述

答案1

在我看来，如果以显示数学形式编写长集合，您的文本将更具可读性：

在此处输入图片描述

为此我使用aligned*和multlined包mathtools：

\documentclass[a4paper,12pt]{article}
\usepackage{mathtools,amssymb}

\begin{document}
Supponiamo che l'insieme sia $A=\{a,b,c\}$. L'insieme delle parti di $A$ è l'insieme che ha come elementi tutti i possibili sottoinsiemi dell'insieme $A$. Per tutti i possibili sottoinsiemi di $A$ intendiamo proprio tutti i suoi sottoinsiemi, compresi quelli impropri, cioè l'insieme vuoto e l'insieme $A$ stesso.

Abbiamo
\begin{align*}
\mathcal{P}(A)
    & = \{ B \mid B \subseteq A \}  \\
    & = \bigl\{\emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, A\bigr\} \\
    & = \bigl\{\emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, A\bigr\}
\end{align*}

Devo trovare $\mathcal{P}(\mathcal{P}(A))$. Se indico gli elementi di
$\mathcal{P}(A)$ con $S_1=\emptyset, S_2=\{a\}, \dotsc, S_8=A$, posso costruire
\begin{align*}
\mathcal{P}(\mathcal{P}(A))
    & = \begin{multlined}[t]
        \bigl\{S_1, S_2, S_3, S_4,S_5,S_6,S_7,S_8,  \\
        \{S_1,S_2\},\{S_1,S_3\},\dotsc,\{S_1,S_8\},\{S_2,S_3\},\dotsc,\{S_2,S_8\},\dots\bigr\} \\
        \end{multlined} \\[-\baselineskip]
%\mathcal{P}(\mathcal{P}(A))
    & = \begin{multlined}[t][0.6\linewidth]
        \bigl\{\emptyset,\{a\},\{b\},\{c\}, \{a,b\},\{a,c\},\{b,c\}, \\
        \{\emptyset,\{a\}\},\{\{a\},\{b\}\},\{\{b\},\{c\}\},\dotsc,A,   \\ \{\emptyset,A\},\{\{a\},\{b\}\},\dotsc,\{\{a\},A\},\dots\bigr\}
        \end{multlined}
\end{align*}
e così via. È corretto? Se $|\mathcal{P}(A)|=2^n$ elementi, allora $\mathcal{P}(\mathcal{P}(A))=2^{|\mathcal P(A)|}=2^{2^n}$?

Se la definizione di $\mathcal{P}(A) = \{ B \mid B \subseteq A \}$ qual è la definizione di $\mathcal{P}(\mathcal{P}(A))$ per poter capire come si costruiscono?

\end{document}

答案2

我怀疑是否存在一条通用规则可以回答你的问题。

  • 在某些情况下，显然最好将包含逗号的数学材料从运行文本中放入显示中 - 并在必要时使用amsmath/多行显示环境。mathtools

  • 类似地，有些情况下没有令人信服的理由来应用以前的选择 - 因此可能必须找到一种解决方案，允许在（内联）数学模式下以逗号换行。

  • 当然，也存在两种方式可以同时进行的情况。

就我个人而言（还有谁？！），我想说，就手头的材料而言，情况 1 适用于段落（以“Abbiamo”/“我们有”开头的段落），而在第 3 段中保持内联数学模式似乎是更好的选择。（见允许在内联数学模式中在“，”处换行寻找一种在内联数学模式下自动允许逗号后换行的方法。）当然，其他人可能不同意我的观点。

在此处输入图片描述

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}
\usepackage[T1]{fontenc}
\usepackage[italian]{babel}
\usepackage{microtype} % <-- optional

% See https://tex.stackexchange.com/a/1960/5001:
\makeatletter
\def\old@comma{,}
\catcode`\,=13
\def,{%
  \ifmmode%
    \old@comma\discretionary{}{}{}%
  \else%
    \old@comma%
  \fi%
}
\makeatother

\begin{document}

Supponiamo che l'insieme sia $A=\{a,b,c\}$. L'insieme delle parti di~$A$ è l'insieme che ha come elementi tutti i possibili sottoinsiemi dell'insieme~$A$. Per tutti i possibili sottoinsiemi di~$A$ intendiamo proprio tutti i suoi sottoinsiemi, compresi quelli impropri, cioè l'insieme vuoto e l'insieme $A$ stesso.

Abbiamo 
\begin{equation*}
\begin{split}
\mathcal{P}(A) 
  &= \{ B \mid B \subseteq A \} \\
  &= \{\emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, A\} \\
  &= \{\emptyset, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, A\} \,.
\end{split}
\end{equation*}

Devo trovare $\mathcal{P}(\mathcal{P}(A))$. Se indico gli elementi di $\mathcal{P}(A)$ con $S_1=\emptyset, S_2=\{a\}, \dots, S_8=A$, posso costruire $\mathcal{P}(\mathcal{P}(A))= \{S_1, S_2, S_3, S_4,S_5,S_6,S_7,S_8,\{S_1,S_2\},\{S_1,S_3\},\{S_1,S_4\},\dots,\{S_1,S_8\},\{S_2,S_3\},\dots,\{S_2,S_8\},\dots\}$. $\mathcal{P}(\mathcal{P}(A))= \{\emptyset,\{a\},\{b\},\{c\},\{a,b\},\{a,c\},\{b,c\},A,\{\emptyset,\{a\}\},\{\{a\},\{b\}\},\{\{b\},\{c\}\},\dots,\{\emptyset,A\},\{\{a\},\{b\}\},\dots,\{\{a\},A\},\dots\}$ e così via. È corretto? Se $|\mathcal{P}(A)|=2^n$ elementi, allora $\mathcal{P}(\mathcal{P}(A))=2^{|\mathcal P(A)|}=2^{2^n}$?

Se la definizione di $\mathcal{P}(A) = \{ B \mid B \subseteq A \}$ qual è la definizione di $\mathcal{P}(\mathcal{P}(A))$ per poter capire come si costruiscono?

\end{document}

相关内容