Teoria dos feixes
Aspeto
(Redirecionado de Feixe (matemática))
Este artigo não cita fontes confiáveis. (Setembro de 2020) |
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.