![对齐长方程式](https://linux22.com/image/469349/%E5%AF%B9%E9%BD%90%E9%95%BF%E6%96%B9%E7%A8%8B%E5%BC%8F.png)
我怎样才能使表达式[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*}
答案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}
答案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}
答案3
我的建议如下,它改进自@Mico 的解决方案:
\hptantom
添加方程式第一行的缩进;\hptantom
添加方程式第三行的缩进;- 在括号前使用
\left
and\right
代替\bigl
and ;\bigr
- 用来
\mid
代替\bigm\vert
; - 删除
[\jot]
方程第六行的代码; .
在方程式的最后一行末尾添加点。
欢迎其他人进一步改进当前的解决方案。
\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}