Una técnica que aprovecha el teorema de categoría de Baire para establecer afirmaciones de existencia o genericidad mostrando que el conjunto de objetos con una propiedad deseada es 'comeagre' (intersección numerable de abiertos densos) o al menos no magro en un espacio de Baire como un espacio métrico completo o un espacio de Hausdorff localmente compacto.

Principio

Si una propiedad corresponde a un conjunto comeagre (G-delta) en un espacio de Baire, entonces la propiedad se cumple para un elemento 'genérico'; los complementos magros no pueden cubrir el espacio, así que el comportamiento en un G-delta denso es típico.

Demostración

En C[0,1] con la norma suprema, el conjunto de funciones continuas que no son diferenciables en ningún punto es comeagre; por tanto, una función continua 'típica' (en sentido topológico) no es diferenciable en ningún punto, lo que da una conclusión de existencia/genericidad sin construir un ejemplo explícito.

Aplicación incorrecta

Aplicar el método en espacios que no son de Baire (por ejemplo, espacios topológicos vectoriales sin completitud) o confundir genericidad topológica con tamaño en sentido de medida (suponer que comeagre implica medida positiva) conduce a inferencias erróneas.

Consecuencia

Se obtienen resultados de existencia robustos y afirmaciones sobre comportamiento típico sin producir testigos explícitos; muchas propiedades que son comeagre son estables por intersecciones numerables y pequeñas perturbaciones.

Inversión

En lugar de probar que una propiedad es genérica, se puede probar que su complemento es comeagre (o que la propiedad es magra), demostrando así su rareza; la inversión intercambia tipicidad y rareza.

Límite

Requiere trabajar en un espacio de Baire (espacios métricos completos, espacios de Hausdorff localmente compactos, o demostrar que el espacio es de Baire); no proporciona estimaciones de medida, prevalencia cuantitativa ni en general ejemplos constructivos.

Tensión semántica

Existe una tensión entre la genericidad topológica (comeagre) y las nociones probabilísticas de tamaño (medida completa); un conjunto puede ser comeagre y a la vez tener medida de Lebesgue cero, por lo que 'típico' depende del marco.

Síntesis

Aplicar el teorema de categoría de Baire para mostrar que el conjunto de propiedades es un G-delta denso en un espacio de Baire, haciendo la propiedad genérica en sentido topológico y proporcionando conclusiones de existencia aun cuando las construcciones explícitas sean difíciles.