如何将方程式对齐到左边？

Question

我在 Windows 7 上将 MiKTeX 2.9 与 Texmaker 结合使用，并尝试左对齐一些如下方程式：

\usepackage{amsmath}
\begin{flalign}
 a)   I_g : N_{log} \rightarrow M\left(p, p, \phi \right) \mbox{is
compact.} \nonumber \\
 b)   I_g : N_{log}^0 \rightarrow M\left(p, p, \phi \right) \mbox{is
compact.} \nonumber \\
 c)   \int \limits _ {\mathbb{D}}   \frac{\left(g
\left(z\right)\right)^p}{log \left( \frac{2}{1- \mid z \mid
^2}\right)^p}   \frac{\phi^p \left(|z|\right)}{1- \mid z \mid } d
A(z) < \infty .
\end{flalign}

我收到消息：

Package amsmath Error: Erroneous nesting of equation structures;
(amsmath)                trying to recover with `aligned'.

Answer 1

我认为这是一种滥用flalign：你的读者很难猜测这个数字是指所有三个条件还是仅仅指积分。

您可以使用aligned，这样数字就会垂直居中：

\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{lipsum} % just for the example

\begin{document}

\lipsum*[2]% stands for text before the display
\begin{flalign}
&\begin{aligned}
\text{a)}&\quad I_g \colon N_{\log} \rightarrow M(p, p, \phi) \text{ is compact.} \\
\text{b)}&\quad I_g \colon N_{\log}^0 \rightarrow M(p, p, \phi) \text{ is compact.} \\
\text{c)}&\quad \int\limits_{\mathbb{D}}
                \frac{(g(z))^p}{\log\bigl(\frac{2}{1-\lvert z\rvert^2}\bigr)^p}
                \frac{\phi^p (\lvert z\rvert)}{1-\lvert z\rvert}\,dA(z) < \infty.
\end{aligned}&&
\end{flalign}
\lipsum[3]

\end{document}

您可以考虑以下subequations方法：

\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{lipsum} % just for the example

\begin{document}

\lipsum*[2]% stands for text before the display
\begin{subequations}\label{global}
\begin{align}
\label{particular-a}
& I_g \colon N_{\log} \rightarrow M(p, p, \phi) \text{ is compact.} \\
\label{particular-b}
& I_g \colon N_{\log}^0 \rightarrow M(p, p, \phi) \text{ is compact.} \\
\label{particular-c}
& \int\limits_{\mathbb{D}}
    \frac{(g(z))^p}{\log\bigl(\frac{2}{1-\lvert z\rvert^2}\bigr)^p}
    \frac{\phi^p (\lvert z\rvert)}{1-\lvert z\rvert}\,dA(z) < \infty.
\end{align}
\end{subequations}
\lipsum[3]

\end{document}

既可以用于\eqref{global}指代普通数字，也可以\eqref{particular-c}用于指代第三个条件。

Answer 2

（评论太长，因此作为答案发布。）

和@Schweinebacke 一样，如果我只使用你目前提供的部分信息，我无法复制你所说的错误消息。如果没有其他信息，我的直觉是该flalign环境嵌入在真实文档中的另一个 display-math 环境中，但不在代码片段中。

您确实应该花些时间清理代码。不要过度使用\left和\righ，不要使用\mid来生成绝对值“栅栏”，要了解数学模式中:和之间的区别\colon，要写\log而不是仅仅log表示对数运算符，要学习如何使用&来在环境中对齐行flalign。

以下屏幕截图提供了代码清理前后的比较。

\documentclass{article}
\usepackage{amsmath,amssymb}
\setlength\textwidth{3.5in} % just for this example
\begin{document}

Before:
\begin{flalign}
 a)   I_g : N_{log} \rightarrow M\left(p, p, \phi \right) \mbox{is
compact.} \nonumber \\
 b)   I_g : N_{log}^0 \rightarrow M\left(p, p, \phi \right) \mbox{is
compact.} \nonumber \\
 c)   \int \limits _ {\mathbb{D}}   \frac{\left(g
\left(z\right)\right)^p}{log \left( \frac{2}{1- \mid z \mid
^2}\right)^p}   \frac{\phi^p \left(|z|\right)}{1- \mid z \mid } d
A(z) < \infty .
\end{flalign}

After:
\begin{flalign}
 &a)\quad I_g \colon N_{\log}   \rightarrow M(p, p, \phi) \text{ is
compact.} \nonumber \\
 &b)\quad I_g \colon N_{\log}^0 \rightarrow M(p, p, \phi) \text{ is
compact.} \nonumber \\
 &c)\quad \int\limits_{\mathbb{D}} \! \frac{\bigl(g(z)\bigr)^p}{
 \log \bigl( 2/(1-\lvert z\rvert^2) \bigr)^p}\,   
 \frac{\phi^p (\lvert z\rvert)}{1-\lvert z\rvert} \,d A(z) < \infty .
\end{flalign}
\end{document} 

Answer 3

如果你只想左对齐一些方程，有和的fleqn环境：nccmathalignedat

\documentclass{article}
\usepackage{amsmath, amssymb}
\usepackage{nccmath}

\begin{document}

Some text. Some more text. Some more text. Some more text. Some more text.
\begin{fleqn}
\begin{equation}
\begin{alignedat}{2}
\text{a)}&\enspace & & I_g \colon N_{\log} \rightarrow M(p, p, \phi) \text{ is compact.} \\
\text{b)}& & & I_g \colon N_{\log}^0 \rightarrow M(p, p, \phi) \text{ is compact.} \\
\text{c)}& & & \int\limits_{\mathbb{D}}
                \frac{(g(z))^p}{\log\bigl(\frac{2}{1-\lvert z\rvert^2}\bigr)^p}
                \frac{\phi^p (\lvert z\rvert)}{1-\lvert z\rvert}\,dA(z) < \infty.
\end{alignedat}
\end{equation}
\end{fleqn}

\end{document}