Pós-graduação → Topologia → Topologia Diferencial ↓
Feixes vetoriais
Feixes vetoriais são estruturas fundamentais no mundo da matemática de graduação, particularmente no domínio da topologia e da topologia diferencial. Esses objetos estendem o conceito de um espaço vetorial ao associar um espaço vetorial a cada ponto de um espaço topológico, proporcionando uma rica estrutura para explorar tópicos que vão desde geometria até física.
Introdução aos feixes vetoriais
Um feixe vetorial é uma construção topológica que proporciona uma maneira de "anexar" um espaço vetorial a cada ponto de um espaço topológico. Para entender melhor os feixes vetoriais, vamos dividir seus componentes com uma definição simples:
Um feixe vetorial E
em um espaço topológico M
é um espaço topológico E
juntamente com uma aplicação sobrejetora contínua π: E → M
satisfazendo a propriedade de que, para cada ponto x ∈ M
, a pré-imagem π-1(x)
é um espaço vetorial. Denotamos essa configuração como (E, π, M)
.
Exemplo básico: o feixe tangente
Um dos exemplos mais comuns de um feixe vetorial é o feixe tangente de uma variedade diferenciável. Para uma variedade diferenciável M
, o feixe tangente TM
consiste de todos os espaços tangentes em todos os pontos de M
.
Feixe tangente: TM = ∪ TxM, para x ∈ M
Aqui, TxM
é o espaço tangente em um ponto x
na variedade M
. A aplicação π: TM → M
projeta todo vetor no espaço tangente para o ponto da variedade ao qual é tangente.
Trivialidade local e feixes de fibras
Para qualquer feixe vetorial, existe um conceito chamado trivialidade local. Isso significa que, em pequenas regiões do espaço base M
, o feixe se parece com um produto de um espaço base e um espaço vetorial. Essa propriedade é formalizada dizendo que existe uma cobertura aberta {Uα}
de M
, e existe uma homomorfismo φα: π-1(Uα) → Uα × Rn
que respeita as estruturas de espaço vetorial na fibra.
É representado da seguinte forma:
Para cada α, φα(π−1(Uα)) = Uα × Rn
Aqui, Rn
é uma fibra específica ou modelo de espaço vetorial.
Construção de feixes vetoriais
Espaço total
O espaço total de um feixe vetorial é o espaço E
contendo todas as fibras. Concretamente, se E
é um feixe vetorial sobre M
, então E
consiste de todos os pares (x, v)
onde x ∈ M
e v ∈ Vx
, com Vx
sendo um espaço vetorial associado a x
.
Mapas de projeção
O mapa de projeção π
envia cada elemento do espaço total de volta ao espaço base, e conecta cada vetor à sua origem em M
:
π : E → M, π(x, v) = x
Funções de transição
Para criar um feixe vetorial, geralmente se definem transições entre trivializações locais usando funções de transição. Estas são mapas que indicam como passar de uma trivialização local para outra, obedecendo a uma estrutura de espaço vetorial. Se as denotamos por tαβ: Uα ∩ Uβ → GL(n, R)
, então elas satisfazem a condição de cociclo:
tαβ(x) · tβγ(x) = tαγ(x), para todo x ∈ Uα ∩ Uβ ∩ Uγ
Exemplo
1. Feixe trivial
Um exemplo simples de um feixe vetorial é o feixe trivial, onde o espaço total é apenas um produto M × Rn
, e a projeção é apenas a projeção no primeiro fator:
E = M × Rn π : E → M, π(x, v) = x
2. Banda de Möbius
A banda de Möbius é um exemplo clássico de um feixe vetorial não trivial. Sua estrutura no círculo S1
é tal que as fibras "se torcem" ao se moverem ao redor do espaço base.
Banda de Möbius: Localização Base: S1 Fibra: R (linha única)
Operações em feixes vetoriais
1. Soma direta
A soma direta de dois feixes vetoriais E
e F
no mesmo espaço base M
é outro feixe vetorial E ⊕ F
, onde:
E ⊕ F = {(e, f) | e ∈ E, f ∈ F, πE(e) = πF(f)}
2. Produto tensorial
O produto tensorial em um feixe vetorial E
e F
M
é um feixe vetorial E ⊗ F
:
E ⊗ F = {(e, f) | e ∈ E, f ∈ F, πE(e) = πF(f)}
Aplicações de feixes vetoriais
1. Na geometria diferencial
Feixes vetoriais desempenham um papel importante na geometria diferencial e fornecem uma estrutura para o estudo de estruturas como métricas Riemannianas e derivadas de mapas.
2. Na física
Na física teórica, especialmente na teoria de gauge, feixes vetoriais são usados para descrever campos e forças. O comportamento das partículas é frequentemente modelado como seções de um feixe vetorial.
Seções de um feixe vetorial
Uma seção de um feixe vetorial é uma seleção contínua de um vetor em cada fibra no espaço base.
Uma seção é um mapa s : M → E tal que π(s(x)) = x para todo x ∈ M.
Conclusão
Feixes vetoriais são uma ferramenta indispensável na matemática moderna, proporcionando facilidades para enfrentar problemas complexos de forma estruturada. Eles permeiam várias ramificações da matemática e da física, proporcionando insights e estruturas essenciais para o progresso nessas áreas.