Teoria dos feixes

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Em topologia, um pré-feixe em um espaço topológico X é um funtor contravariante da categoria dos abertos de X numa categoria .

A categoria dos abertos de um espaço topológico tem como morfismos as inclusões, e estes são levados por um feixe nos chamados morfismos de restrição. Caso o pré-feixe satisfaça duas propriedades de colagem, então ele é chamado de feixe. Geralmente a categoria é a categoria Ab, cujos objetos são grupos abelianos e cujos morfismos são homorfismos.

Dizemos que os elementos de são as seções do abertos . Sejam e dois abertos de , e o morfismo inclusão de em . A imagem de por aplicada num elemento de é chamada de restrição de s a U.

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