\[
P\{\text{ever enter}\ j\rvert \text{start in}\ i\}
= P\bigg\{\bigcup_{n=0}^{\infty} \{X_n = j \bigg\rvert X_0 = i \bigg\}
& \leq \sum_{n=0}^{\infty} P\{X_n = j \rvert X_0 = i\}
& = \sum_{n=0}^{\infty} P_{ij}^{n}
& = 0
\]
答案1
我认为缺少换行命令以及内部命令aligned
或类似命令:
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\begin{aligned}
P\{\text{ever enter}\ j\rvert \text{start in}\ i\}
& = P\bigg\{\bigcup_{n=0}^{\infty} \{X_n = j \bigg\rvert X_0 = i \bigg\}
\\
& \leq \sum_{n=0}^{\infty} P\{X_n = j \rvert X_0 = i\}
\\
& = \sum_{n=0}^{\infty} P_{ij}^{n}
\\
& = 0
\end{aligned}
\]
\end{document}
aligned
如果整个系统得到一个方程数,则内部是有意义的;例如,如果环境gather
或equation
取代\[
和\]
。
如果没有数字,可以使用星号形式align*
代替\[
/\]
和内侧的aligned
。
答案2
虽然 Heiko 的回答触及了要点,但它并没有修复源代码中的几个印刷错误。
\rvert
是r右垂直ical bar,用作右侧的分隔符;\mid
当用作条件分隔符时,应|
遵循\left
,\right
或\[bB]ig[g]m
(见下文)\bigg
构成一个普通符号;为了生成分隔符,它应该是\biggl
或\biggr
,具体取决于边;对于分隔符(技术上是关系符号),它应该是;、和存在\biggm
这样的变体。lrm
\big
\Big
\bigg
\Bigg
\text{ever enter }j
并且\text{ever enter}\ j
笨拙且容易出错;更好的是\text{ever enter $j$}
当大分隔符后跟一个
\sum
类似运算符(此处\bigcup
)且其下方有一个宽条件时,最好使用\,
第一个总结中缺少一个括号。
完整示例
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\begin{aligned}
P\{\text{ever enter $j$} \mid \text{start in $i$}\}
& = P\biggl\{\,\bigcup_{n=0}^{\infty} \{X_n = j\} \biggm| X_0 = i \biggr\}
\\
& \leq \sum_{n=0}^{\infty} P\{X_n = j \mid X_0 = i\}
\\
& = \sum_{n=0}^{\infty} P_{ij}^{n}
\\
& = 0
\end{aligned}
\]
\end{document}