Verhindern der Ansammlung von Leerzeichen durch die Verwendung von „\left.“

Question

Entschuldigen Sie, wenn dies schon einmal gefragt wurde, aber das Googeln scheint mit „\left.“ oder Variationen davon nicht gut zu funktionieren.

Ich verwende das folgende Muster, das einer Formel aus dem Abschnitt Kartesische Produkte von Wikipedia für unendliche Produkte entnommen wurde, bei dem die vertikalen Balken der Klammerhöhe entsprechen, im Gegensatz zu\mid

\prod_{i \in I} X_i = \left\{\left. f : I \to \bigcup_{i \in I} X_i\ \right|\ (\forall i)(f(i) \in X_i)\right\}

Dargestellt als:

Es scheint jedoch vor dem ersten Wort ein kleines Leerzeichen zu geben, das sich bei wiederholter Verwendung ansammelt.

\begin{align*}
& \left(a\right) \\
& \left(\left.a \ \right|\ b\right) \\
& \left(\left.\left.a\ \right|\ b\ \right|\ c\right) \\
& \left(\left.\left.\left.a\ \right|\ b\ \right|\ c\ \right|\ d\right)
\end{align*}

Wird wie folgt wiedergegeben:

Gibt es eine Möglichkeit, vertikale Balken in der richtigen Höhe zu erhalten, ohne dass sich nach der linken Klammer Leerzeichen ansammeln?

Answer 1

Jeder \left.oder \right.fügt Platz in der Menge von hinzu \nulldelimiterspace, so dass Sie es entfernen können, indem Sie

\kern-\nulldelimiterspace

Andererseits gibt es bessere Möglichkeiten, die Formel einzugeben. Ich würde mich für die letzte entscheiden.

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\noindent
First attempt (yours):
\[
\left\{ \left.f\colon I \to \bigcup_{i \in I} X_i\ \right|\ (\forall i)(f(i) \in X_i)\right\}
\]
Second attempt:
\[
\left\{ f\colon I \to \bigcup_{i \in I} X_i \;\middle|\; (\forall i)(f(i) \in X_i)\right\}
\]
Third attempt:
\[
\biggl\{ f\colon I \to \bigcup_{i \in I} X_i \biggm| (\forall i)(f(i) \in X_i)\biggr\}
\]
Fourth attempt:
\[
\Bigl\{ f\colon I \to \bigcup_{i \in I} X_i \Bigm| (\forall i)(f(i) \in X_i)\Bigr\}
\]

\end{document}