Abrir menu principal

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.

DefiniçõesEditar

Seja   um espaço topológico. Um conjunto   é 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.

PropriedadesEditar

  • A interseção de conjuntos magros é um conjunto magro.
  • A união enumerável de conjuntos magros é um conjunto magro.

Espaços de BaireEditar

Um espaço topológico é dito espaço de Baire se for de segunda categoria em si mesmo.

  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Ver tambémEditar

ReferênciasEditar

  • Munkres, James R.. Topology. Prentice Hall, 2000. 537 p. ISBN 0131816292
  • Lima, Elon Lages. Espaços Métricos. Rio de Janeiro: IMPA, 1977. Projeto Euclides.
  • Hönig, Chaim S.. Aplicações da Topologia à análise. Cnpq, 1976. Projeto Euclides.