Sea

un ultrafiltro de

y sea

un espacio normado de dimensión finita. Entonces el ultraproducto de

es igual al completamiento de

.
Alguna sugerecia o un libro donde se hable de este tema porque verdaderamente no he podido encontrar un lugar donde el tema de ultraproducto se encuentre bien desarrollado.
Gracias.