克伦克的“概率论”风格的限制（或踪迹）

Question

我已经在该网站上搜索过“限制”，但没有看到任何可以回答我的特定问题的信息。

我正在读课本概率论：综合课程由 Klenke 撰写，我不确定如何重现函数限制的符号，或者一类集合的迹。

我正在使用newtxtext、、newtxmath以及amsmath、、和一堆其他（希望不相关的）包amsthm。amssymb

下面我提供了教科书中的几个例子。

Answer 1

您可以通过不将集合指定为条的下标，而是将其降低以使其底部与条齐平来减轻这种深符号对行间间距的不良影响。

\documentclass{article}
\usepackage{amsmath,mathtools}
\usepackage{amsthm}
\usepackage{newtxtext,newtxmath}

\newtheorem{definition}{Definition}[section]
\theoremstyle{remark}
\newtheorem{example}[definition]{Example}

\newcommand{\krestr}[1]{%
  \sbox{0}{\raisebox{\dimexpr\fontcharht\font`A-\height\relax}{$\big|$}}%
  \usebox{0}%
  \raisebox{\dimexpr-\dp0+\depth\relax}{$\scriptstyle#1$}%
}

\newcommand{\cA}{\mathcal{A}}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\RR}{\mathbb{R}}

\begin{document}

\setcounter{section}{1}
\setcounter{definition}{72}

\begin{definition}
Let $(\varOmega,\cA,\mu)$ be a measure space and $\varOmega'\in\cA$.
On the trace $\sigma$\nobreakdash-algebra $\cA\krestr{\varOmega'}$ we define
a measure by
\begin{equation*}
\mu\krestr{\varOmega'}(A)\coloneqq \mu(A)
\qquad \text{for $A\in\cA$ with $A\subset\varOmega'$}
\end{equation*}
\end{definition}

\begin{example}
The restriction of the Lebesgue-Borel measure on $\bigl(\RR,\cB(\RR)\bigr)$
to $[0,1]$ is a probability measure on $([0,1],\cB(\RR)\krestr{[0,1]})$.
More generally, for a measurable $A\in\cB(\RR)$, we call the restriction
$\lambda\krestr{A}$ the \emph{Lebesgue measure} on~$A$. Often this measure
will be denoted by the same symbol~$\lambda$ when there is no danger of
ambiguity.
\end{example}

\end{document}

而$|$不是$\big|$我们会得到

如您所见，符号清晰且线条间距正确。

Answer 2

像这样吗？

我赞同@mickep 在评论中表达的想法，即位置很低的调节字符/符号可能需要增加行间距。这可能是（也可能不是）不受欢迎的。

\documentclass{article}
\usepackage{graphicx} % for \raisebox and \scalebox macros
\usepackage{amsmath, amssymb, amsthm} 
\usepackage{newtxtext, newtxmath}
\newcommand\Restr[1]{%
   % scale the vertical bar 15% vertically and 5% horizontally:
   \raisebox{-0.35ex}{$\scalebox{1.05}[1.15]{$\vert$}%
                      _{\scriptscriptstyle #1\mathstrut}$}}

\begin{document}
\dots\ the restriction $f\Restr{C}$ of $f$ to $C$ is \dots

\dots\ on $([0,1],\mathcal{B}(\mathbb{R}) \Restr{[0,1]})$. More \dots

\dots\ the restriction $\lambda\Restr{A}$ the \emph{Lebesgue} \dots

\dots\ \em on the trace $\sigma$-algebra $\mathcal{A}\Restr{\Omega'}$, we \dots
\end{document}