Poincaré no se andaba con chiquitas
noviembre 15, 2007
Esto se conoce como el teorema de recurrencia de Poincaré, y es un resultado HERMOSO:
Sea una función que envía el disco en sí mismo, tal que , y estoy hablando de la medida de Lebesgue (pídanle medible, continua, lo que quieran… según wikipedia, vale con sólo pedir que preserve la medida de cualquier conjunto)…
1. Probar que para todo medible («lo probamos para abiertos…») , hay un punto y un tal que , es decir, que para todo entorno hay un punto en su interior que a la larga vuelve a caer en ese entorno.
2. Probar que puede ser casi cualquier punto del entorno, es decir, que la medida de los puntos de que nunca vuelven a es 0.
En particular, si vierten agua de una botella en un vaso, y las encierran en una caja, eventualmente el agua volverá a la botella…
no entendí lo de la botella
La función que determina la posición de las partículas de agua de la botella es una función que «conserva volúmen» (digamos), y se puede ver que entonces pasado un período lo suficientemente largo, hay un momento en el que casi todas las partículas de agua vuelven a caer dentro de la botella.
Al que le interese busque una demostración muy copada en el libro Mathematical Methods of Classical Mechanics de V. Arnold (un excelente libro para estudiar mecánica clásica dicho sea de paso)
Enzo, de ahí saqué el enunciado, y que era copadamente demostrable.
Terry Tao da una demostración de este teorema en su blog, en http://terrytao.wordpress.com/2008/01/30/254a-lecture-8-the-mean-ergodic-theorem/
che me salió. muy lindo… pero sigo sin entender lo de la botella