Introducción: Tres milagros cotidianos de la inevitabilidad topológica

Imagina verter café caliente en una taza cilíndrica, añadir un chorrito de leche y remover vigorosamente con una cuchara. Remolinos caóticos y pliegues laminares agitan el líquido. Cuando el café vuelve al reposo, nuestra intuición nos dice que cada molécula se ha desplazado lejos de su posición original. Sin embargo, en 1911, el matemático neerlandés Luitzen Egbertus Jan Brouwer (1881–1966) demostró el teorema del punto fijo de Brouwer (Brouwer’s Fixed-Point Theorem), que garantiza con absoluta certeza matemática lo siguiente:

[!IMPORTANT] Milagro 1: El punto inmóvil en una taza de café removida Por muy vigorosa o caóticamente que remuevas tu café —siempre que el líquido no se derrame fuera de la taza, no se abran burbujas de cavitación permanentes y el medio continuo no se desgarre—, cuando el líquido se detiene, existe garantizadamente al menos un punto (una molécula en el límite continuo) que ocupa exactamente las mismas coordenadas espaciales tridimensionales $(x^*, y^*, z^*)$ que ocupaba antes de introducir la cuchara.

[!TIP] Milagro 2: El mapa arrugado lanzado sobre un mapa plano Toma dos mapas idénticos de una misma región (Mapa A y Mapa B). Extiende el Mapa A plano sobre tu escritorio, arruga el Mapa B formando una bola de papel (sin rasgarlo) y déjalo caer en cualquier lugar completamente dentro de los bordes del Mapa A. Entonces, al menos un punto geográfico $x^*$ del Mapa B arrugado queda situado exactamente en la vertical del mismo punto geográfico $x^*$ del Mapa A plano.

Del mismo modo, el teorema de la bola peluda (Hairy Ball Theorem) de Poincaré-Brouwer en la esfera $S^2$ explica por qué todo cuero cabelludo tiene al menos un remolino (coronilla) y por qué en todo instante existe sobre la Tierra al menos un punto donde la velocidad horizontal del viento es estrictamente cero (el ojo de un ciclón).

Enunciado formal del teorema del punto fijo de Brouwer (1911)

Sea $K \subset \mathbb{R}^n$ un subconjunto no vacío, compacto (cerrado y acotado) y convexo de $\mathbb{R}^n$ (o más generalmente, un espacio homeomorfo a la bola unidad cerrada $D^n = \{x \in \mathbb{R}^n : \|x\|_2 \le 1\}$). Para toda aplicación continua $f: K \to K$, existe al menos un punto fijo $x^* \in K$ tal que:

1. Por qué cada hipótesis es indispensable: cuatro contraejemplos precisos

Por el teorema de Heine-Borel, en $\mathbb{R}^n$ la compacidad equivale a ser acotado y cerrado. Si eliminamos cualquiera de las cuatro condiciones (acotación, clausura, convexidad/ausencia de agujeros, continuidad), el teorema falla de inmediato:

1. Sin acotación: En $K = \mathbb{R}$ (cerrado y convexo), la traslación continua $f(x) = x + 1$ carece de punto fijo ($x^* + 1 = x^*$ es imposible) porque todos los puntos huyen hacia $+\infty$.
2. Sin clausura (no cerrado): En el intervalo abierto $K = (0, 1)$ (acotado y convexo), $f(x) = \frac{x+1}{2}$ es continua pero su único punto fijo algebraico $x^* = 1$ cae en la frontera excluida $\partial K \setminus K$.
3. Sin convexidad / conexión simple (con agujero): En la circunferencia unidad $S^1$ o el anillo cerrado (annulus) $A = \{x \in \mathbb{R}^2 : \frac{1}{2} \le \|x\|_2 \le 1\}$, una rotación $f(x) = R_\theta x$ de ángulo $\theta \in (0, 2\pi)$ no tiene puntos fijos porque el centro de rotación $(0, 0)$ cae dentro del agujero central ($(0, 0) \notin A$).
4. Sin continuidad: En $K = [0, 1]$, la función escalonada $f(x) = 1$ en $[0, \frac{1}{2}]$ y $f(x) = 0$ en $(\frac{1}{2}, 1]$ salta discontinuamente sobre la diagonal $y = x$ en $x = \frac{1}{2}$.

2. Primera demostración: el caso 1D ($n = 1$) mediante el teorema del valor intermedio (TVI)

En dimensión $n = 1$, todo compacto convexo no vacío es un intervalo cerrado $K = [a, b]$. Dada $f: [a, b] \to [a, b]$ continua, definimos $g(x) = f(x) - x$. Como $f(a) \ge a$ y $f(b) \le b$, en los extremos se cumple:

Por el teorema del valor intermedio (TVI) de Bolzano, existe al menos un $x^* \in [a, b]$ donde $g(x^*) = 0 \iff f(x^*) = x^*$. En dimensión $n \ge 2$, $\mathbb{R}^n \setminus \{\mathbf{0}\}$ sigue siendo conexo por caminos, por lo que necesitamos topología algebraica o combinatoria.

3. Segunda demostración: Topología algebraica y el teorema de no retracción de Borsuk (1931)

En 1931, el matemático polaco Karol Borsuk demostró que el teorema de Brouwer equivale al teorema de no retracción: no existe ninguna retracción continua $r: D^n \to S^{n-1}$ de la bola unidad cerrada $D^n$ sobre su esfera frontera $S^{n-1} = \partial D^n$ tal que $r|_{S^{n-1}} = \text{id}_{S^{n-1}}$ (es imposible aplastar el parche de un tambor sobre su aro rígido sin perforarlo).

Paso 1: Una aplicación sin puntos fijos construye una retracción continua $r: D^n \to S^{n-1}$

Supongamos por reducción al absurdo que existe $f: D^n \to D^n$ continua con $f(x) \ne x$ para todo $x \in D^n$. El vector desplazamiento $u(x) = x - f(x) \ne \mathbf{0}$ nunca se anula. El rayo que parte de $f(x)$ y pasa por $x$, dado por $\gamma_x(t) = x + s u(x)$ ($s = t - 1 \ge 0$), corta la esfera $S^{n-1}$ en el punto único:

Como $\|u(x)\|_2^2 > 0$, $r: D^n \to S^{n-1}$ es continua en todo $D^n$, y si $x \in S^{n-1}$ ($\|x\|_2^2 = 1$), entonces $s^*(x) = 0$ y $r(x) = x$. ¡Por tanto, $r$ es una retracción continua!

Paso 2: Contradicción mediante el funtor de homología $\tilde{H}_{n-1}$ y el teorema de Stokes

1. Demostración vía homología reducida $\tilde{H}_{n-1}$: Aplicando el funtor de homología singular reducida $\tilde{H}_{n-1}(-; \mathbb{Z})$ a $S^{n-1} \xrightarrow{\iota} D^n \xrightarrow{r} S^{n-1}$ ($r \circ \iota = \text{id}_{S^{n-1}}$), dado que $D^n$ es contráctil ($\tilde{H}_{n-1}(D^n) \cong 0$) y $\tilde{H}_{n-1}(S^{n-1}) \cong \mathbb{Z}$, obtenemos: $$ \mathbb{Z} \xrightarrow{\;\iota_*\;} 0 \xrightarrow{\;r_*\;} \mathbb{Z} $$ Todo homomorfismo que factoriza a través del grupo trivial $0$ es nulo ($1 \mapsto 0$), pero $(r \circ \iota)_* = \text{id}_{\mathbb{Z}}$ envía $1 \mapsto 1$, lo que produce la contradicción $1 = 0$ en $\mathbb{Z}$.
2. Demostración analítica mediante el teorema de Stokes: Aproximando por una retracción suave $r: D^n \to S^{n-1}$ y tomando la $(n-1)$-forma de volumen $\omega$ en $S^{n-1}$ ($\int_{S^{n-1}} \omega = \text{Vol}(S^{n-1}) > 0$ y $d\omega = 0$), el teorema de Stokes arroja: $$ 0 < \int_{S^{n-1}} \omega = \int_{\partial D^n} r^*\omega = \int_{D^n} d(r^*\omega) = \int_{D^n} r^*(d\omega) = 0 $$

  flowchart TD
    A["Hipótesis por reducción al absurdo:<br/>Existe f : D^n → D^n continua<br/>sin punto fijo (∀x ∈ D^n, f(x) ≠ x)"] --> B["Proyección por rayo r : D^n → S^{n-1}:<br/>El rayo desde f(x) que pasa por x corta S^{n-1} en<br/>r(x) = x + s*(x)(x - f(x))"]
    B --> C["Existencia de retracción continua:<br/>r : D^n → S^{n-1} es continua en D^n<br/>y fija cada punto del borde (r ∘ ι = id_{S^{n-1}})"]
    C --> D1["Topología algebraica:<br/>Funtor de homología reducida H̃_{n-1}(-; Z)<br/>induce Z → 0 → Z igual a id_Z"]
    C --> D2["Topología diferencial (Teorema de Stokes):<br/>Pullback de la forma de volumen ω (dω = 0)<br/>∫_{S^{n-1}} ω = ∫_{D^n} d(r*ω) = ∫_{D^n} r*(dω) = 0"]
    D1 --> E["Contradicción absoluta:<br/>1 = 0 en Z (o Vol(S^{n-1}) = 0)"]
    D2 --> E
    E --> F["Conclusión (Teorema de Brouwer):<br/>La hipótesis es falsa; toda f : D^n → D^n continua<br/>posee al menos un punto fijo f(x*) = x*"]

4. Tercera demostración: Combinatoria constructiva mediante el lema de Sperner (1928)

Como fundador del intuicionismo matemático, Brouwer rechazó posteriormente su propia prueba por contradicción al no proporcionar un algoritmo constructivo para hallar $x^*$.

En 1928, Emanuel Sperner probó el lema de Sperner: en cualquier triangulación de un símplex $\Delta^n = \text{conv}\{v_0, \dots, v_n\}$ con una coloración de Sperner $\ell: V(\mathcal{T}) \to \{0, 1, \dots, n\}$ ($\ell(v_i) = i$ y cada cara $\text{conv}\{v_{i_0}, \dots, v_{i_k}\}$ usa solo colores en $\{i_0, \dots, i_k\}$), el número de sub-símplices «arcoíris» (con los $n+1$ colores distintos) es siempre impar, y por tanto existe al menos uno.

Coloreando cada vértice $w$ con un índice $i$ tal que $\lambda_i(w) > 0$ y $\lambda_i(f(w)) \le \lambda_i(w)$ en coordenadas baricéntricas, al hacer tender el tamaño de malla a $0$, la compacidad (Bolzano-Weierstrass) y la continuidad garantizan que los símplices arcoíris convergen a un punto $x^*$ donde $\lambda_i(f(x^*)) \le \lambda_i(x^*)$ para todo $i$, lo que implica $f(x^*) = x^*$. En 1967, Herbert Scarf transformó este recorrido de puertas en el algoritmo simplicial de Scarf para calcular puntos fijos por ordenador.

5. La gran jerarquía de los teoremas de punto fijo: Banach, Brouwer, Schauder y Kakutani

1. Teorema de contracción de Banach (1922): En cualquier espacio métrico completo no vacío $(X, d)$, una contracción estricta $d(Tx, Ty) \le L d(x, y)$ ($0 \le L < 1$) tiene un punto fijo único $x^*$, y la iteración de Picard $x_{k+1} = T(x_k)$ converge geométricamente (base de Picard-Lindelöf en EDO, la iteración de valor de Bellman en aprendizaje por refuerzo y Google PageRank).
2. Trampa de dimensión infinita y teorema de Schauder (1930): En la bola unidad cerrada $B_{\ell^2}$ del espacio de Hilbert $\ell^2$, la aplicación continua $f(x_1, x_2, \dots) = (\sqrt{1 - \|x\|_2^2}, x_1, x_2, \dots)$ no tiene punto fijo porque $B_{\ell^2}$ no es compacta. Schauder (1930) restableció el teorema en espacios de Banach para operadores compactos $T: K \to K$ (clave en EDP no lineales como Navier-Stokes).
3. Teorema del punto fijo de Shizuo Kakutani (1941): Generaliza Brouwer a correspondencias multivaluadas $\Phi: K \rightrightarrows K$ en un compacto convexo $K \subset \mathbb{R}^n$. Si $\Phi(x)$ es no vacío y convexo para todo $x$ y $\Phi$ tiene gráfica cerrada (semicontinuidad superior), existe $x^* \in K$ tal que $x^* \in \Phi(x^*)$.

6. Cómo la topología revolucionó la economía y la teoría de juegos: Nash (1950) y Arrow-Debreu (1954)

6.1 John Nash (1950, 1951): Existencia del equilibrio de Nash

En un juego finito de $N$ jugadores, el espacio de perfiles de estrategias mixtas $K = \Delta_1 \times \dots \times \Delta_N$ es compacto y convexo.

• Demostración vía Kakutani (1950): La correspondencia de mejor respuesta $BR_i(\sigma_{-i}) = \arg\max_{\tau_i \in \Delta_i} U_i(\tau_i, \sigma_{-i})$ tiene valores no vacíos y convexos (por la linealidad del pago esperado $U_i$ en $\tau_i$) y gráfica cerrada. Por el teorema de Kakutani, existe $\sigma^* \in BR(\sigma^*)$, que es un equilibrio de Nash.
• Demostración directa vía Brouwer (1951): Definiendo la ganancia excedente $\varphi_{ij}(\sigma) = \max\{0, U_i(s_{ij}, \sigma_{-i}) - U_i(\sigma_i, \sigma_{-i})\}$, la aplicación continua $$ f_{ij}(\sigma) = \frac{\sigma_{ij} + \varphi_{ij}(\sigma)}{1 + \sum_{k=1}^{m_i} \varphi_{ik}(\sigma)} $$ posee un punto fijo $f(\sigma^*) = \sigma^*$ por Brouwer, lo que obliga a que $\varphi_{ij}(\sigma^*) = 0$ para todo $i, j$.

6.2 Arrow y Debreu (1954): Equilibrio general competitivo de Walras

En el símplex de precios $\Delta^{L-1} = \{p \in \mathbb{R}_+^L : \sum_{\ell=1}^L p_\ell = 1\}$, el exceso de demanda agregada $z(p)$ satisface la ley de Walras $\sum_{\ell=1}^L p_\ell z_\ell(p) = 0$. La aplicación de ajuste de precios $g_\ell(p) = \frac{p_\ell + \max\{0, z_\ell(p)\}}{1 + \sum_{k=1}^L \max\{0, z_k(p)\}}$ tiene un punto fijo $g(p^*) = p^*$ por Brouwer. Multiplicando por $z_\ell(p^*)$ y sumando sobre $\ell$ con la ley de Walras se obtiene:

¡Todos los mercados se vacían simultáneamente en equilibrio!

  flowchart TD
    T1["Análisis 1D: Teorema del valor intermedio de Bolzano (1817)<br/>Cero de g(x) = f(x) - x en el intervalo [a, b]"] --> T2["Topología n-D: Teorema del punto fijo de Brouwer (1911)<br/>Toda f : K → K continua en compacto convexo K ⊂ R^n tiene f(x*) = x*"]
    S1["Topología combinatoria: Lema de Sperner (1928) y Scarf (1967)<br/>Paridad impar de símplices arcoíris y seguimiento de caminos"] --> T2
    B1["Topología algebraica: No retracción de Borsuk (1931)<br/>Homología H̃_{n-1}(S^{n-1}) ≅ Z ≠ 0 y teorema de Stokes"] --> T2
    T2 --> K1["Extensión multivaluada: Teorema de Kakutani (1941)<br/>Correspondencia Φ : K ⇒ K con gráfica cerrada y valores convexos: x* ∈ Φ(x*)"]
    T2 --> SC1["Extensión EDP en dim. infinita: Teorema de Schauder (1930)<br/>Operadores compactos en espacios de Banach y Navier-Stokes"]
    T2 --> BA1["Contracción métrica: Teorema de Banach (1922)<br/>Punto fijo único e iteración de Picard (EDO, Bellman RL, PageRank)"]
    K1 --> N1["Revolución en teoría de juegos: Equilibrio de Nash (1950/1951)<br/>Punto fijo de mejor respuesta σ* ∈ BR(σ*)"]
    K1 --> AD1["Economía matemática: Equilibrio general de Arrow-Debreu (1954)<br/>Punto fijo del ajuste de Walras g(p*) = p* que vacía todos los mercados"]
    T2 --> N1
    T2 --> AD1