\adjustlimits 括号内的表达式

Question

我有表达

\sup_a \left\{ \inf_b f(a,b) \right\}

渲染结果为

如果括号\left\{和\right\}不是表达式的一部分，我可以用来\adjustlimits确保上确界和下确界中的参数共享相同的垂直位置。

这种情况下有没有什么办法可以达到想要的效果呢？

Answer 1

在这种情况下，没有任何希望能够\adjustlimits成功。

问题有两个方面：“sup”有下降部，“inf”没有；“b”有上升部，“a”没有。

所以我给出了两个解决方案：第一个解决方案中，我使用了一个特殊的“inf”和一个人造的下降符；第二个解决方案中，我使用了一个特殊的“sup”和一个破碎的“p”。

\documentclass{article}

\usepackage{amsmath}

\makeatletter
\DeclareMathOperator*{\infd}{inf\vphantom{\operator@font p}} % inf with descender
\DeclareMathOperator*{\supx}{su\smash{\operator@font p}} % sup without descender
\makeatother

\begin{document}

\[
\sup_{a\vphantom{b}}\bigl\{\infd_{b} f(a,b)\bigr\}
\]

\[
\supx_{a\vphantom{b}}\bigl\{\inf_{b} f(a,b)\bigr\}
\]

\end{document}