对齐长方程式

Question

我怎样才能使表达式[F_{1}(M)\cdot L_{M+1}]_{ij}与其余方程式一致？这是我使用的代码：

\begin{align*}
[F_{1}(M)\cdot L_{M+1}]_{ij} \\
&=\sum_{s=1}^{\infty}\prob(\gamma(M+1)<\gamma(0),\phi(\gamma(M+1))=s|X(0)=1,\phi(0)=i)\cdot\\
&\prob(\gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j|X(0)=M+1,\phi(0)=s)\\
&=\sum_{s=1}^{\infty}\prob(\gamma(M+2)<\gamma(0),\phi(\gamma(M+1))=s,\phi(\gamma(M+2))=j|X(0)=1,\phi(0)=i)\\
&= \prob(\gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j|X(0)=1,\phi(0)=i) = [F_{1}(M+1)]_{ij}
\end{align*}

输出如附图所示。

Answer 1

我会用这样的东西

注意，我把条件句|的 改为 ，以便\mid给它们留出更好的间距。正常的|有点淹没了

编辑：错过了\cdot，这正是为什么人们永远不会以关系或二进制结束显示的行，它被忽略了。

\documentclass[a4paper]{article}
\usepackage{mathtools,amssymb}
\newcommand\prob{\mathbb{P}}
\begin{document}
\begin{align*}
  \MoveEqLeft[3] [F_{1}(M)\cdot L_{M+1}]_{ij} 
  \\
  = {} &\sum_{s=1}^{\infty}\prob(\gamma(M+1)<\gamma(0),\phi(\gamma(M+1))=s\mid X(0)=1,\phi(0)=i)
  \\
& \cdot  \prob(\gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j\mid X(0)=M+1,\phi(0)=s)
  \\
  = {} &\sum_{s=1}^{\infty}\prob(\gamma(M+2)<\gamma(0),\phi(\gamma(M+1))=s,\phi(\gamma(M+2))=j \mid X(0)=1,\phi(0)=i)
  \\
  = {} & \prob(\gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j\mid X(0)=1,\phi(0)=i) = [F_{1}(M+1)]_{ij}
\end{align*}
\end{document}

Answer 2

这是我的建议。

请注意，我已将所有四个实例替换为，|并\bigm\vert手动增加了每行中左括号和右括号的大小。我还将最后一个术语，即，放在[F_{1}(M+1)]^{}_{ij}新行上。

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{amsmath,amssymb}
\DeclareMathOperator{\prob}{\mathbb{P}}

\begin{document}

\begin{align*}
&[F_{1}(M)\cdot L_{M+1}]^{}_{ij} \\
&= \sum_{s=1}^{\infty} \prob\bigl( \gamma(M+1)<\gamma(0),\phi(\gamma(M+1))=s
   \bigm\vert X(0)=1,\phi(0)=i\bigr)\\
& \qquad\times \prob\bigl( \gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j
   \bigm\vert X(0)=M+1,\phi(0)=s \bigr) \\
&= \sum_{s=1}^{\infty} \prob\bigl(  \gamma(M+2)<\gamma(0),
   \phi(\gamma(M+1))=s, \phi(\gamma(M+2))=j
   \bigm\vert X(0)=1,\phi(0)=i \bigr) \\
&= \prob\bigl( \gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j 
   \bigm\vert X(0)=1,\phi(0)=i \bigr) \\[\jot]
&= [F_{1}(M+1)]^{}_{ij}
\end{align*}

\end{document}

Answer 3

我的建议如下，它改进自@Mico 的解决方案：

1. \hptantom添加方程式第一行的缩进；
2. \hptantom添加方程式第三行的缩进；
3. 在括号前使用\leftand\right代替\bigland ；\bigr
4. 用来\mid代替\bigm\vert；
5. 删除[\jot]方程第六行的代码；
6. .在方程式的最后一行末尾添加点。

欢迎其他人进一步改进当前的解决方案。

\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage{amsmath,amssymb}
\DeclareMathOperator{\prob}{\mathbb{P}}

\begin{document}

\begin{align*}
&\hphantom{=~}[F_{1}(M)\cdot L_{M+1}]^{}_{ij} \\
&= \sum_{s=1}^{\infty} \prob\left(\gamma(M+1)<\gamma(0),\phi(\gamma(M+1))=s
   \mid X(0)=1,\phi(0)=i\right)\\
&\hphantom{=\sum_{s=1}^{\infty}}\times \prob\left(\gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j
   \mid X(0)=M+1,\phi(0)=s \right) \\
&= \sum_{s=1}^{\infty} \prob\left(\gamma(M+2)<\gamma(0),
   \phi(\gamma(M+1))=s, \phi(\gamma(M+2))=j
   \mid X(0)=1,\phi(0)=i \right) \\
&= \prob\left(\gamma(M+2)<\gamma(0),\phi(\gamma(M+2))=j 
   \mid X(0)=1,\phi(0)=i \right) \\
&= [F_{1}(M+1)]^{}_{ij}.
\end{align*}

\end{document}