☰

在对齐环境中拆分方程时分隔符的大小

tag-icon • tag-icon align delimiters
在对齐环境中拆分方程时分隔符的大小

以下代码不起作用：

\begin{align*}
 \left \| x \mapsto \sup_{(y, t) \in \Gamma_x^{(A, a)}(\gamma)} & \int_{\R^d} M_{t^2}(y, z) 1_{N_\tau^c}(y, z) |f(z)| \, \d z \right \|_{L^1(\gamma)}\\
 &= \int_{\R^d} \left | \sup_{(y, t) \in \Gamma_x^{(A, a)}(\gamma)} \int_{\R^d} M_{t^2}(y, z) 1_{N_\tau^c}(y, z) |f(z)| \, \d z \right | \, \d\gamma(x)
\end{align*}

\R定义为\newcommand{\R}{\mathbf R}。

可能\left无法跨&'s 工作。我该如何解决这个问题？我必须手动指定尺寸吗？放置\right . & \left .不会产生预期的效果，因为它们不一定都是相同的尺寸。

手动设置大小是可行的，但我不确定是否\left可以“无级”地设置大小，也就是说可以设置任意大小，而 等\Bigg是固定的。此外，如果它可以自动设置大小就更好了，这样我就不必一直回来检查分隔符是否足够大。

答案1

直到 产生的分隔符为止\Bigg， 产生的任何大小\left都可以由、等\right产生，因此您可以在大多数情况下手动设置大小（并且可以创建大于 的分隔符，以用于矩阵等）。但是，您提供的示例似乎根本不需要对齐；您只需删除 & 符号并使用即可。\big\bigg\left\right\Biggmultline*align*

如果您有其他示例，其中相应的左分隔符和右分隔符出现在不同的行上，那么您可以尝试breqn 包。

答案2

(注意：原作者对这个答案进行了大量编辑，主要是为了更好地解释支柱在数学公式中的用法。)
我认为一种灵活（且几乎自动）的方法来使跨栏数学分隔符的高度相等的方法&是使用 TeX 命令\vphantom。该\vphantom命令创建一个支柱 - 一个 TeX“盒子”，其高度/深度与其参数相同，但宽度为零，因此该盒子是“不可见的” - 其高度/深度与分界线两侧最高的项目相同&。然后将支柱放在不包含这个高物体的标志的一侧&；结果，公式两端的数学分隔符将具有相同的整体高度。

下面的代码使用了你align示例中的第一个方程。（第二个方程没有这个问题，所以这里不需要重现。）下面对齐环境中的第一行（或多或少是你的原始代码）显示了不是使用支柱。第二行显示了如何在符号右侧插入支柱&以使两个数学分隔符的高度相等。需要注意两条注释：首先，为了在视觉上区分公式的两个部分，我将符号替换&为&\ddag；实际上，显然不会包含该\ddag符号。其次，为了使代码中支柱的位置清晰可见，我将支柱编码为名为的显式宏\hugestrut；实际上，只需编写即可\vphantom{...}。

唯一不是完全自动化的部分是，为了创建支柱，必须知道公式中哪个元素具有最大的高度/深度。但是，通过目视检查跨栏的两侧，找出这一点应该相当容易&。

\documentclass{article}
\usepackage{amsmath,amssymb}
\newcommand{\R}{\mathbb{R}}
\begin{document}
%% \hugestrut is a strut, i.e., an invisible zero-width box
\newcommand{\hugestrut}{\vphantom{\sup_{(y, t) \in \Gamma_x^{(A, a)}(\gamma)}}}

\begin{align*}
%% first, without the strut
\left \|\, x \mapsto \sup_{(y, t) \in \Gamma_x^{(A, a)}(\gamma)} \right.
&\ddag \left. 
\int_{\R^d} M_{t^2}(y,z) 1_{N_\tau^c}(y,z) |f(z)| 
\,\mathrm{d} z \,\right \|_{L^1(\gamma)}\\[2em]
%% second, with the strut placed on the right-hand side of the & term
\left \|\, x \mapsto \sup_{(y, t) \in \Gamma_x^{(A, a)}(\gamma)} \right.
&\ddag \left. \hugestrut
\int_{\R^d} M_{t^2}(y,z) 1_{N_\tau^c}(y,z) |f(z)| 
\,\mathrm{d} z \,\right \|_{L^1(\gamma)}
\end{align*}  
\end{document}

相关内容