显示带有换行符且所有后续行均缩进的公式

Question

在回答这个问题，我建议对OP进行一些修改，并提供了以下代码：

\documentclass[12pt]{article}
\pagestyle{plain}
\usepackage[margin=1.8cm]{geometry}
\geometry{a4paper}
\usepackage[parfill]{parskip}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\[
  \begin{aligned}
    |f_{n}&(x)g_{n}(x) - f_{n}(x)g(x) + f_{n}(x)g(x) - f(x)g(x)| \\
    &\leq |f_{n}(x)g_{n}(x) - f_{n}(x)g(x)| + |f_{n}(x)g(x) -
    f(x)g(x)| \\
    &= |f_{n}(x)||g_{n}(x) - g(x)| + |g(x)||f_{n}(x) - f(x)| \\
    &\leq M_{1}\epsilon + M_{2}\epsilon \\
    &= \epsilon(M_1+M_2) \longrightarrow 0 \text{ as } n \to \infty
  \end{aligned}      
\]

\end{document}

产生

不过，我真正想做的是遵循 3.3.5c 的建议数学类型，建议在连词处断开，并从左侧与两个 em 四元组对齐。

我认为这可能会有不同的解释，但我想要的是：

|f_{n}&(x)g_{n}(x) - f_{n}(x)g(x) + f_{n}(x)g(x) - f(x)g(x)|

在一行中，换行符和所有后续行都缩进 2em 四边形并对齐。换句话说，我想要我所拥有的，但精确地缩进 2em 四边形：

不幸的是，以上是我所能想到的最接近的答案。我尝试过：

\begin{align*}
  |f_{n}(x)g_{n}(x) - f_{n}(x)g(x) + f_{n}(x)g(x) - f(x)g(x)| \\
  \qquad &\leq |f_{n}(x)g_{n}(x) - f_{n}(x)g(x)| + |f_{n}(x)g(x) -
  f(x)g(x)| \\
  &= |f_{n}(x)||g_{n}(x) - g(x)| + |g(x)||f_{n}(x) - f(x)| \\
  &\leq M_{1}\epsilon + M_{2}\epsilon \\
  &= \epsilon(M_1+M_2) \longrightarrow 0 \text{ as } n \to \infty
\end{align*}

但这根本不起作用：

Answer 1

这mathtools提供了\MoveEqLeft完全满足您需求的函数。默认情况下，它将后续行缩进 2em，并且可以进一步自定义\MoveEqLeft[<number>]它将后续行缩进<number>em：

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathtools}

\begin{document}
\begin{align}
  \MoveEqLeft |f_{n}(x)g_{n}(x) - f_{n}(x)g(x) + f_{n}(x)g(x) - f(x)g(x)| \\
  &\leq |f_{n}(x)g_{n}(x) - f_{n}(x)g(x)| + |f_{n}(x)g(x) - f(x)g(x)| \\
  &= |f_{n}(x)||g_{n}(x) - g(x)| + |g(x)||f_{n}(x) - f(x)| \\
  &\leq M_{1}\epsilon + M_{2}\epsilon \\
  &= \epsilon(M_1+M_2) \longrightarrow 0 \text{ as } n \to \infty
\end{align}      
\begin{align}
  \MoveEqLeft[4] |f_{n}(x)g_{n}(x) - f_{n}(x)g(x) + f_{n}(x)g(x) - f(x)g(x)| \\
  &\leq |f_{n}(x)g_{n}(x) - f_{n}(x)g(x)| + |f_{n}(x)g(x) - f(x)g(x)| \\
  &= |f_{n}(x)||g_{n}(x) - g(x)| + |g(x)||f_{n}(x) - f(x)| \\
  &\leq M_{1}\epsilon + M_{2}\epsilon \\
  &= \epsilon(M_1+M_2) \longrightarrow 0 \text{ as } n \to \infty
\end{align}      
\end{document}

Answer 2

这是你想要的吗？

\begin{align*}
  &|f_{n}(x)g_{n}(x) - f_{n}(x)g(x) + f_{n}(x)g(x) - f(x)g(x)| \\
  &\qquad \leq |f_{n}(x)g_{n}(x) - f_{n}(x)g(x)| + |f_{n}(x)g(x) - f(x)g(x)| \\
  &\qquad = |f_{n}(x)||g_{n}(x) - g(x)| + |g(x)||f_{n}(x) - f(x)| \\
  &\qquad \leq M_{1}\epsilon + M_{2}\epsilon \\
  &\qquad = \epsilon(M_1+M_2) \longrightarrow 0 \text{ as } n \to \infty
\end{align*}

Answer 3

如果使用mathenv集合mdwtools，则可以使用增强{eqnarray}环境。它采用可选的列说明符：

• r，，c表示l右对齐、居中和左对齐数学；
• L对于左对齐的数学运算，其宽度为 2em；
• 等等（阅读文档），以便您可以完全模拟和其他amsmath环境的功能{align}。

在这里，你可以使用

\documentclass{article}
\usepackage{amstext}
\usepackage{mathenv}

\begin{document}
\begin{eqnarray*}[Ll]
|f_{n}(x)g_{n}(x) - f_{n}(x)g(x) + f_{n}(x)g(x) - f(x)g(x)| \\
&\leq |f_{n}(x)g_{n}(x) - f_{n}(x)g(x)| + |f_{n}(x)g(x) -
f(x)g(x)| \\
&= |f_{n}(x)||g_{n}(x) - g(x)| + |g(x)||f_{n}(x) - f(x)| \\
&\leq M_{1}\epsilon + M_{2}\epsilon \\
&= \epsilon(M_1+M_2) \longrightarrow 0 \text{ as } n \to \infty
\end{eqnarray*}
\end{document}