Pesquisa · Mapa mental
Conjunto magro
O conjunto magro ou conjunto de primeira categoria é um conceito de especial importância na análise funcional em áreas da matemática como a topologia geral e a teoria descritiva de conjuntos.
Imagem: Javier Cuchí Burgos · BY-NC-SA · Openverse
Seja ( X , τ ) {\displaystyle (X,\tau )\,} um espaço topológico. Um conjunto S ⊂ X {\displaystyle S\subset X\,} é dito ser de primeira categoria ou magro se puder ser escrito como a união enumerável de conjuntos nunca densos: Um conjunto que não é de primeira categoria, é chamado de conjunto de segunda categoria.
Um espaço topológico é dito espaço de Baire se for de segunda categoria em si mesmo.
