14.9.08

1427.- Otro paper del arXiv

Encuentro una demostración "rara" del Teorema de Heine-Borel (en RN, 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...

2 comentarios:

Pablo. dijo...

Juan Juan Juan... no conocer el Konning's inifinity lemma te pasa por no visitar más seguido grupofundamental.wordpress.com, en particular, en particular http://grupofundamental.wordpress.com/2007/10/05/el-grafo-tenia-un-papelito-que-decia-pintame/

JuanPablo dijo...

tengo que linkearlo, así lo visito más seguido (si no, depende de cuando me acuerdo de pasar)