1464.- Para lelos

Un cazador cree ver un oso. Camina diez pasos hacia el sur, apuntando en esa dirección con una escopeta. Como no lo ve, gira y camina diez pasos hacia el oeste, con su escopeta descansando en el antebrazo izquierdo (sigue apuntando al sur). Frena, y camina diez pasos hacia el norte, con su escopeta en el hombro apuntando hacia atrás. Dado que regresó al mismo punto del que había partido, si el oso estuviera en el punto donde creía haberlo visto al principio, ¿puede matarlo aprentando el gatillo?

1289.- Pasar al cociente (III)

"Start by doing what's necessary; then do what's possible; and suddenly you are doing the impossible." San Francisco de Asís

En definitiva, parece que para redondear un paper tenemos que cocientar aunque no vamos a cocientar. La idea funciona, pero un coautor se resiste a que en un paper suyo aparezcan esas palabras y otro propone que se reescriban las cosas utilizando "invariancias por grupos de transformaciones". Ya veremos cómo queda todo esto... igual la idea de introducir una especie de 'espacio de Sobolev proyectivo' es tentadora...

Por lo pronto, ya los miro a los cocientes de otra manera. Ahora les toca el turno a los diagramas conmutativos. Preparate, lema de la serpiente, pedile ayuda al de los cinco!

1288.- Pasar al cociente (II)

La cosa deja de ser sencilla cuando además de operar con los elementos del cociente, uno quiere introducir alguna noción más rara: una distancia entre elementos (del cociente), una topología, una medida, obtener una nueva estructura, o uno quiere hacer geometría con los elementos del espacio que quedó... qué se yo, lo que se les ocurra: estén seguros que alguien ya lo pensó.

Los ejemplos no son tan sencillos ahora. El cociente de un espacio de Banach por un subespacio cerrado es también un Banach. El cociente de un anillo conmutativo con identidad por un ideal maximal es un cuerpo. Mejor cuento uno sencillo...

Agarremos el espacio 'ambiente', R³, y las infinitas rectas que pasan por el origen. Cada una interseca a la esfera unitaria (la cáscara de la bola centrada en cero de radio 1) exactamente en dos puntos, x y -x. Un primer cociente posible es asociar a cada semirrecta un punto de la bola, pero mejor es hacer ahora un segundo cociente, asociando x con -x: así, a cada recta por el origen le corresponde un único punto. Lo que nos queda es el espacio proyectivo P(R³).

¿Y por qué este repentino interés en los cocientes? Bueno... tema para el próximo post, que obviamente no es el mismo próximo post del post anterior.