{"id":632,"date":"2016-02-11T11:21:15","date_gmt":"2016-02-11T11:21:15","guid":{"rendered":"http:\/\/wdb.ugr.es\/~jperez\/?page_id=632"},"modified":"2016-02-11T11:23:07","modified_gmt":"2016-02-11T11:23:07","slug":"inversiones-y-geometria-conforme","status":"publish","type":"page","link":"https:\/\/wpd.ugr.es\/~jperez\/inversiones-y-geometria-conforme\/","title":{"rendered":"Inversiones y geometr\u00eda conforme"},"content":{"rendered":"<p>En el ejercicio 11 del Cap\u00edtulo 3 de los apuntes de clase aparece la inversi\u00f3n de \\(\\mathbb{R}^3-\\{ \\vec{0}\\} \\) en s\u00ed mismo respecto a la esfera unidad. Esta inversi\u00f3n puede hacerse respecto a cualquier esfera (\u00bfpodr\u00edas calcular su forma expl\u00edcita?), y generaliza en cierta forma la reflexi\u00f3n en un plano af\u00edn.<\/p>\n<p>Esta idea de \u00abunificar\u00bb esferas y planos, y por tanto reflexiones respecto a \u00e9stos, es la base de la <strong>geometr\u00eda conforme<\/strong>. En geometr\u00eda lineal (tambi\u00e9n llamada \u00e1lgebra lineal), las transformaciones que permiten identificar objetos son los isomorfismos de espacios vectoriales. En geometr\u00eda af\u00edn, son afinidades. En geometr\u00eda m\u00e9trica, son las isometr\u00edas. As\u00ed podemos seguir con topolog\u00eda (los homeomorfismos), geometr\u00eda diferencial (los difeomorfismos) etc. En el caso de la geometr\u00eda conforme, no hacemos distinciones de objetos si entre ellos podemos establecer un difeomorfismo que conserve \u00e1ngulos, aplicaciones que se llaman <strong>difeomorfismos conformes<\/strong>. Un ejemplo de difeomorfismo conforme de \\(\\mathbb{R}^3\\) en s\u00ed mismo es una reflexi\u00f3n respecto a un plano, y otro de difeomorfismo conforme de \\(\\mathbb{R}^3-\\{ \\vec{0}\\} \\) en s\u00ed mismo es la inversi\u00f3n respecto a una esfera centrada en el origen.<\/p>\n<p>En dimensi\u00f3n 2, las aplicaciones conformes (que conservan \u00e1ngulos) son exactamente las <a href=\"https:\/\/es.wikipedia.org\/wiki\/Funci%C3%B3n_holomorfa\" target=\"_blank\">funciones holomorfas<\/a> (cuando conservan la orientaci\u00f3n) y las antiholomorfas (cuendo la invierten). Y hay una enorme variedad de difeomorfismos conformes entre parejas de abiertos de \\(\\mathbb{C}\\equiv \\mathbb{R}^2\\): de hecho, un teorema muy importante, debido a Riemann, dice que si \\(A\\) es un abierto conexo y simplemente conexo de \\(\\mathbb{C}\\), entonces o bien \\(A=\\mathbb{C}\\) o existe un difeomorfismo conforme de \\(A\\) en el disco unidad abierto \\(\\{ z\\in \\mathbb{C}\\ : \\ |z|\\lt 1\\} \\).<\/p>\n<p>En dimensi\u00f3n \\(n\\geq 3\\), las cosas cambian dr\u00e1sticamente: otro teorema famoso, el teorema de Liouville, asegura que los \u00fanicos difeomorfismos conformes entre abiertos de \\(\\mathbb{R}^n\\) son movimientos r\u00edgidos, homotecias, inversiones respecto de \\((n-1)\\)-esferas, y composiciones de \u00e9stos. Esta \u00abescasez\u00bb de difeomorfismos conformes en dimensi\u00f3n alta hace que un equivalente al teorema de Riemann en este caso sea imposible: existen muchas parejas de abiertos simplemente conexos de \\(\\mathbb{R}^3\\) entre los que no es posible establecer un difeomorfismo conforme.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En el ejercicio 11 del Cap\u00edtulo 3 de los apuntes de clase aparece la inversi\u00f3n de en s\u00ed mismo respecto&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-632","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/pages\/632","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/comments?post=632"}],"version-history":[{"count":2,"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/pages\/632\/revisions"}],"predecessor-version":[{"id":634,"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/pages\/632\/revisions\/634"}],"wp:attachment":[{"href":"https:\/\/wpd.ugr.es\/~jperez\/wp-json\/wp\/v2\/media?parent=632"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}