格式化数学定义

Question

$$
A = \{ x_{1}y_{1}z_{1}...x_{k}y_{k}z_{k} : x_{i}, y_{i}, z_{i} \in \{0, 1\}, k \geq 1, \text{ and } x < y < z \text{ where } x = x_{1}...x_{k},
y = y_{1}...y_{k}, \text{ and } z = z_{1}...z_{k}\}
$$

我希望它继续到新行，但也要缩进 A 后面。我似乎搞不懂。我尝试使用 align 来实现这一点，但它并没有像我预期的那样工作。

Answer 1

您可以使用 来完成此操作align*，使用&来确定对齐位置：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
A = \{ &x_{1}y_{1}z_{1}...x_{k}y_{k}z_{k} : x_{i}, y_{i}, z_{i} \in \{0, 1\},
      k \geq 1, \text{ and } x < y < z \text{ where } x = x_{1}...x_{k},\\
  &y = y_{1}...y_{k}, \text{ and } z = z_{1}...z_{k}\}
\end{align*}
\end{document}

顺便说一句，对于单个未编号的方程式，您不应该使用 $$，请参阅：为什么\[ ... \]优于$$？

Answer 2

与@Stefan 提出的答案略有不同，这次使用一些\phantoms 来正确定位文本：

\documentclass{article}
\usepackage{amsmath}% http://ctan.org/pkg/amsmath
\begin{document}
\begin{align*}
  A &= \big\{ x_1y_1z_1\cdots x_ky_kz_k : x_i,y_i,z_i\in\{0,1\}, \\
    &\phantom{{}= \big\{} k\geq 1, \text{ and } x<y<z \text{ where } x=x_1,\dotsc,x_k, \\
    &\phantom{{}= \big\{} y=y_1,\dotsc,y_k, \text{ and } z=z_1,\dotsc,z_k\big\}
\end{align*}
\end{document}

我将表达式分为 3 行，仅供说明。另请注意，$$不鼓励使用 来开始/结束显示数学模式。请参阅l2tabu文档。

Answer 3

如果要将方程拆分成不同的行，可以使用split环境。您还可以使用它&来修复对齐点。此环境在一个环境中使用equation，而不是像alignStefan 建议的那样单独使用。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\begin{split}
A = \{ & x_{1}y_{1}z_{1}...x_{k}y_{k}z_{k} : x_{i}, y_{i}, z_{i} \in \{0, 1\}, k \geq  1, \text{ and } x < y < z \text{ where } x = x_{1}...x_{k}, \\
& y = y_{1}...y_{k}, \text{ and } z = z_{1}...z_{k}\}
\end{split}
\]
\end{document}