在定理环境中使用显示数学模式时空间过大

Question

所以我很想在定理环境中包含显示数学模式（而不是仅仅以内联方式执行操作以使其更大），如下所示：

\documentclass{article}
\usepackage{showframe} % just for the example
\usepackage{amsthm}
\newtheorem{prop}{Proposition}
\begin{prop}
    \begin{equation*}
     [![\left\lVert \integral{f_n}{\mu}][1]][1] 
\right\rVert \leq \integral{\left\lVert f_n \right\rVert}{\mu} .
    \end{equation*}
\end{prop}
\end{document}

但是这样做会产生以下结果（尽管编号不同）：

命题和命题陈述之间的空格太多了，我不太喜欢。有没有办法减少空格，或者最好将命题陈述与方程放在同一行，同时仍然使用方程和定理环境？谢谢！

Answer 1

用于\(..\)获取内联用法；但是，\displaystyle在内联用法中明确请求获取显示样式。

\documentclass{article}
\usepackage{showframe} % just for the example
\usepackage{amsthm,amsmath}
\begin{document}
\newtheorem{prop}{Proposition}
\begin{prop}
    \(\displaystyle
     \left\lVert \int{f_n}{d\mu} 
\right\rVert \leq \int{\left\lVert f_n \right\rVert}{d\mu} .
    \)
\end{prop}
\end{document}

Answer 2

你可以得到这些内联方程中的一个，我发现它们非常易读。我借此机会简化了规范的代码，使用mathtools：

\documentclass{article}
\usepackage[showframe]{geometry}
\usepackage{mathtools, amsthm}
\newtheorem{prop}{Proposition}
\DeclarePairedDelimiter\norm{\lVert}{\rVert}
\newcommand\integral[2]{\int #1\,\mathrm{d}\mkern1mu #2}

\begin{document}

\vspace*{\baselineskip}
\begin{prop}
\quad \(\displaystyle
     \norm*{\integral{f_n}{\mu}} \leq \integral{\norm*{f_n}}{\mu} .
    \)
\end{prop}

\begin{prop}
\hfill \(\displaystyle
     \integral{\norm*{f_n}}{\mu}\geq \norm*{\integral{f_n}{\mu}}.
    \) \hfill\null
\end{prop}

\end{document} 

Answer 3

如果你要使命题的主体（由公式组成）与命题的标题一致，那么使用内联数学而不是显示数学是完全可以的：

\documentclass{article}
\usepackage{amsthm,mathtools}
\DeclarePairedDelimiter{\norm}{\lVert}{\rVert}
\newtheorem{prop}{Proposition}
\begin{document}
\begin{prop}
 $\norm[\big]{ \int f_n\,d\mu} \leq\int\norm{f_n}\,d\mu$.
\end{prop}
\end{document}