Método de Categoría de Baire

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.

Técnica que aplica el teorema de la categoría de Baire para obtener resultados de existencia genérica o de densidad mostrando que una intersección numerable de conjuntos abiertos densos (un G_δ denso) contiene los objetos típicos con cierta propiedad en un espacio métrico completo o de Baire.