Consideriamo la sfera unitaria S^n \subset \mathbb{R}^{n+1} e una funzione continua f \colon S^n \longrightarrow \mathbb{R}. Allora esiste almeno una coppia di punti antipodali che assumono lo stesso valore; in altre parole, esiste almeno un punto x \in S^n tale che f(x) = f(-x).
Una semplice dimostrazione di questo fatto passa attraverso la funzione ausiliaria
g(x) = \frac{f(x)-f(-x)}{|f(x)-f(-x)|},
che assume valori in \{-1, \, 1\}. Se fosse f(x) \neq f(-x) per ogni x \in S^n, la funzione g sarebbe definita con continuità su tutta la sfera e si avrebbe g(-x)= \frac{f(-x)-f(x)}{|f(-x)-f(x)|}= -g(x).
Dunque si otterrebbe una funzione continua e suriettiva g \colon S^n \longrightarrow \{-1, \, 1\}, una contraddizione in quanto S^n è uno spazio topologico connesso.
Vale in realtà un risultato più forte, noto come Teorema di Borsuk-Ulam [1, 2]: data ogni funzione continua f \colon S^n \longrightarrow \mathbb{R}^n, esiste almeno un punto x \in S^n tale che f(x) = f(-x). Il caso trattato sopra si ottiene da questo componendo f \colon S^n \longrightarrow \mathbb{R} con un'inclusione continua \mathbb{R} \longrightarrow \mathbb{R}^n.
Se si provasse a dimostrare Borsuk-Ulam per assurdo adattando l'argomento visto sopra, si otterrebbe una funzione continua e dispari g \colon S^n ⟶ S^{n-1}. Tale funzione in effetti non può esistere, ma la dimostrazione di questo fatto è più complessa e richiede alcuni concetti di Topologia Algebrica.
Una strada alternativa è quella di dimostrare Borsuk-Ulam attraverso un risultato di Combinatoria noto come Lemma di Tucker: la sitazione è analoga a quella che si ha con il Teorema del punto fisso di Brouwer, che può essere dimostrato sia per via (co)omologica che ricorrendo al Lemma di Sperner.
Il Teorema di Borsuk-Ulam sarà oggetto di uno dei prossimi post.
Riferimenti.
[1] K. Borsuk: Drei Sätze über die n-dimensionale euklidische Sphäre, Fundamenta Mathematicae 20 (1933), 177–190, doi:10.4064/fm-20-1-177-190
[2] J. Matoušek: Using the Borsuk–Ulam theorem, Springer Verlag 2003.
Nessun commento:
Posta un commento