in der lokalen Banachraumtheorie verwendete Konstruktion.

Seien X ein Banachraum und \({\mathcal{U}}\) ein freier Ultrafilter auf ℕ. Es bezeichne ℓ^∞(X) den Raum der beschränkten Folgen in X mit der Supremumsnorm, und \({c}_{0}(X,\ {\mathcal{U}})\) den Unterraum derjenigen Folgen mit \({\mathrm{lim}}_{{\mathcal{U}}}\ {x}_{n}=0\).

Der Quotientenraum \({\ell}^{\infty}(X)/{c}_{0}(X,\ {\mathcal{U}})\) heißt Ultraprodukt von X.

Ein Banachraum Y ist genau dann in X endlich darstellbar (endliche Darstellbarkeit von Banachräumen), wenn Y isometrisch zu einem Unterraum eines Ultraprodukts von X ist.