¿Qué es una explicación intuitiva de una fórmula de Kunneth?

Piense en un espacio [matemático] X [/ matemático] como construido a partir de cubos de varias dimensiones, como este:


Piense en la dimensión de la homología [matemática] \ dim H_k (X) [/ matemática] como contar el número de “cubos dimensionales [matemáticos] k [/ matemáticos] no redundantes en [matemática] X [/ matemática]. ” Si [math] X, Y [/ math] son ​​dos espacios construidos con cubos, entonces [math] X \ times Y [/ math] también se puede construir con cubos porque el producto de un [math] i [/ math ] -cube y un [math] j [/ math] -cube es un [math] i + j [/ math] -cube, por lo que si contar cubos no redundantes es como contar todos los cubos, debe esperar

[matemática] \ dim H_k (X \ veces Y) = \ sum_ {i + j = k} \ dim H_i (X) \ dim H_j (Y) [/ matemática]

que es lo que te dice la fórmula de Kunneth, de hecho es cierto. (Esto se puede hacer preciso usando algo llamado homología cúbica, que tiene algunos defectos técnicos extraños en comparación con la homología simplicial, celular o singular y, por lo tanto, no es muy popular).

Una fórmula de Kunneth da la relación entre la homología de X x Y y las homologías de X e Y individualmente en una teoría de homología particular.

Si acepta el interés de la homología y de los productos, esta es una respuesta completa. De lo contrario, su pregunta se refiere a la homología o los productos, no a las fórmulas de Kunneth per se .