在定理等论证中, 分步进行思路容易凸显. 但是在LaTeX中如何很方便的书写, 到是值得探讨.
我的办法是定义一个新命令:
\newcounter{stepnum}
\newcommand{\step}{%
\par
\refstepcounter{stepnum}%
\textbf{Step \arabic{stepnum}}.\enspace\ignorespaces
}
这样, 开头的\par会在每个step的结尾自动换行.情看下面的例子:
证明 . I would like to share my answer, it is a litter long, and I will just guide the proof:
\step For $f=\chi_E$, with $m(E)< \infty$, see Stein's Book Thm4.3: there exist step function $\phi_k\to\chi_E$ a.e. in $R^d$;
\step For general simple function $\psi=\sum_{l=1}^n a_l\chi_{E_{l}}(x)$ (note that by definition $m(E_l)<\infty$, $\forall l$), there exists step function $\phi_{k}$, such that $\phi_{k}\to\psi$ a.e. in $R^d$;
\step By Stein's book Thm4.2, for measurable function $f$ on $R^d$, there exists simple function $\psi_k\to f$ point-wise in $R^d$. Thus, by step 2. there exist step function $ \phi_{k,j}\to\psi_k$, $\forall k$. We can select a large enough cubic $Q_k$, such that $phi_{k,j}\equiv \psi_k$ in $Q_k^c$ and $\phi_{k,j}\to\psi_k$. (Replace $\phi_{k,j}$ by $\phi_{k,j}\chi_{Q_k}$)
\step Apply Egorov's Thm on $Q_k$ to select $J(k)$, such that $$|\psi_k-\phi_{k,J(k)}|<\frac{1}{k},\quad\forall x\in E_k\bigcup Q_k^c.$$
where $m(Q_k-E_k)<\frac{1}{2^k}$.
\setp Let $E=\limsup_{k=1}^\infty (Q_k-E_k)$, prove that $m(E)=0$, and $\phi_{k,J(k)}\to f$ a.e. in $E^c$.
效果如图:
但更为标准的做法是用enumitem宏包
这时, Step 所在段落会自动缩进.
