Resumen de Una generalización del teorema de proyección de Marstrand
Marstrand cuantificó la dimensión de Hausdorff de (casi todas) las proyecciones ortogonales de un conjunto analítico. Recientemente este resultado ha sido generalizado por Lutz y Stull para algunos casos no analíticos, utilizando en su demostración la dimensión efectiva y el principio de punto a conjunto. La dimensión efectiva tiene sus raíces en la computabilidad y la teoría de la información y en este artículo introducimos sus principales ideas a través de la demostración de Lutz y Stull.
