乳胶中的巨大集合定义

Question

我正在尝试在 Latex 中编写如下图所示的集合定义：

我怎样才能做出如此干净的集合定义？

Answer 1

您想要的\left\{...\middle|...\right\}；alignedat您可以设定条件。

但是，您也希望简化输入以避免错误。

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

\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bQ}{\mathbb{Q}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\cP}{\mathcal{P}}
\newcommand{\cZ}{\mathcal{Z}}
\newcommand{\vv}[1]{\ifcat#1\relax\bm{#1}\else\mathbf{#1}\fi}
\newcommand{\barvv}[1]{\bar{\vv{#1}}}

\begin{document}

\[
\bar{\bF}=
\left\{
  \bQ \in \cP_{0}(\bR^{M}\times\bR^{I})
\;\middle|\;
\begin{alignedat}{2}
  & (\barvv{z},\barvv{v})\sim\bQ \\
  & \bE_{\bQ}(\barvv{z} \mid \bar{\vv{v}}\in\Omega_{l})=\vv{\mu}_{l},{}
    && \forall l \in [L] \\
  & \bE_{\bQ}((\bar{z}_{jl}-\mu_{jl})^{2} \mid \barvv{v}\in\Omega_{l})\le\sigma_{jl}^2,{}
    && \forall l \in [L], j \in [M] \\
  & \bQ(\barvv{v}\in\Omega_{l})=p_l,{}
    && \forall l \in [L] \\
  & \bQ(\barvv{z}\in\cZ_{l} \mid \barvv{v}\in\Omega_{l})=1,
    && \forall l \in [L]
\end{alignedat}
\right\}
\]

\end{document}

然而，如果你按照以下方式做，你的读者会更高兴：

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

\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bQ}{\mathbb{Q}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\cP}{\mathcal{P}}
\newcommand{\cZ}{\mathcal{Z}}
\newcommand{\vv}[1]{\ifcat#1\relax\bm{#1}\else\mathbf{#1}\fi}
\newcommand{\barvv}[1]{\bar{\vv{#1}}}

\begin{document}

Let $\bar{\bF}$ be the set of all snarfs $\bQ \in \cP_{0}(\bR^{M}\times\bR^{I})$
such that
\begin{alignat*}{2}
  & (\barvv{z},\barvv{v})\sim\bQ \\
  & \bE_{\bQ}(\barvv{z} \mid \bar{\vv{v}}\in\Omega_{l})=\vv{\mu}_{l},{}
    &\quad& \forall l \in [L] \\
  & \bE_{\bQ}((\bar{z}_{jl}-\mu_{jl})^{2} \mid \barvv{v}\in\Omega_{l})\le\sigma_{jl}^2,{}
    &\quad& \forall l \in [L], j \in [M] \\
  & \bQ(\barvv{v}\in\Omega_{l})=p_l,{}
    &\quad& \forall l \in [L] \\
  & \bQ(\barvv{z}\in\cZ_{l} \mid \barvv{v}\in\Omega_{l})=1,
    &\quad& \forall l \in [L]
\end{alignat*}

\end{document}

代替咆哮使用适当的名称。;-)