Teorema de Borsuk-Ulam: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Linha 1:
O Teorema de Borsuk–Ulam, conjecturado por [[Stanisław Ulam]] e provado por [[Karol Borsuk]], asserciona que toda função contínua da esfera n-dimensional no espaço euclideano n-dimensional mapeia algum par de pontos antípodas no mesmo ponto, ou seja, colapsa algum par de antípodas em um único ponto do espaço euclideano.
 
De acordo com (Matoušek 2003, p. 25), a primeira menção histórica deste enunciado aparece em (Lyusternik 1930). A primeira prvaprova foi dada por Karol Borsuk, em 1933, onde a formulação do problema foi atribuída a Ulam. Desde então muitas provas alternativas foram descobertas por vários autores.
 
Sua primeira aplicação concerne à Topologia Algébrica. Este teorema permite, por exemplo, demonstrar o [[Teorema do Ponto Fixo de Brouwer]] que lhe é análogo em certos contextos. Permite também demonstrar resultados muito difíceis , como o [[Teorema do Sanduíche de Presunto]]. A partir dos anos 1970, foi muito usado para demonstrar resultados ligados à [[Teoria dos Grafos]].