1427.- Otro paper del arXiv

Encuentro una demostración "rara" del Teorema de Heine-Borel (en R^N, compacto = cerado + acotado) en un paper de agosto.

En la cuarta página, termina con la siguiente recomendación a los estudiantes que lo hayan leído: cuando el docente haga la demostración clásica, levanten la mano y pregunten

"Doesn't that just follow from Konig's infinity lemma, and the standard ultrametric on the space of binary sequences?"

* * *

El Konig's infinity lemma -que no conocía- es interesante: en un árbol infinito donde cada nodo tiene finitos links, hay un camino de longitud infinita. Detalle: si los nodos no son numerables, hace falta el axioma de elección para probarlo.

Los ultramétricos son espacios interesantes: dados x, y, z, la distancia entre x e y es menor que el máximo entre dist(x,z) y dist(z,y). En la demostración lo usan bien, y este es ahora uno de los pocos ejemplos que conozco de su uso que no sea artificial.

Igual, me voy a comprar balas por si algún día alguno levanta la mano y pregunta...