El teorema funciona igual para espacios vectoriales de dimensión infinita si usas cardinales (las dimensiones son números cardinales, posiblemente infinitos, y la suma es la suma de cardinales). En particular, si la dimensión del dominio de la aplicación lineal es infinita, puedes concluir que o bien la dimensión del núcleo, o bien la dimensión de la imagen, o bien ambas son de dimensión infinita.