+    Ficha Técnica
 +    Mapa Publicaciones
 +    Conceptos Claves
 +    Videos Asociados


Video:Grupos de Lie ~ Geometría Diferencial



Grupos de Lie ~ Geometría Diferencial ~ Ejemplo
Parches Locales sobre un Superficie

José Enrique González Cornejo
Octubre 2024







 Introducción

Los grupos de Lie y sus álgebras de Lie asociada son una tecnología matemática que desarrolló el matemático noruego Sophus Lie (Ver ¿Qué es un Grupo de Lie?). Su obra se publicó en su primera edición que se llamó "Theorie der Transformationsgruppen", (S. Lie - F. Engel (Vol. I, 1888)".

Los grupos de Lie son una herramienta utilizada en todas las matemáticas aplicadas. Especialmente en las disciplinas modernas actuales asociadas a la física, Data Science, Inteligencia Artificial (IA), aprendizaje automático2 y directamente en Geometría Diferencial.

Los grupos de Lie se definen como objetos matemáticos que poseen simultáneamente dos estructuras.

La primera estructura es la de un grupo, - i.e. son un conjunto con una operación binaria asociada-, cuyos elementos son transformaciones que satisfacen las condiciones de ser un grupo.

La segunda estructura tiene asociado el concepto de continuidad que es intrísico a una variedad diferenciable, i.e. estos objetos geométricos pueden ser tratados mediante el Cálculo Diferencial e Integral. En otras palabras, deben ser espacios donde la diferenciación e integración sea aplicable.



 Espacio Geométrico

Por esa razón, se dice que una variedad diferenciable es un espacio geométrico que se explica localmente como un espacio euclídeo, pero con una estructura global más compleja.

Esto significa que se establece un conjunto de transformaciones analíticas y diferenciables que se pueden intuir y construir mediante conjuntos de parches locales que se van pegando y que constituyen una variedad en forma global.

De ese modo, se conforma una representación analítica de una superficie, donde estas disminutas transformaciones se satisfacen las condiciones de ser un grupo.


Variedad Topológica de dimensión n6


Estos parches locales que son regiones en general infinitesimales de la superficie. los cuales pueden ser mapeados a un espacio euclídeo, donde cada parche local es una función que asigna coordenadas a cada punto de la región.

Cuando se extienden estas funciones, entonces pueden ser un grupo, pero no siempre son una variedad diferenciable.


Variedad Topológica ~ ∀ p ∈ M ∃ (U,φ)7


Al extender los parches locales y unirlos, se forma una superficie suave y continua, que se denomina atlas. Esta unión se construye de tal manera que las coordenadas de los parches locales se correspondan entre sí. (Ver Algebra de Lie $M_n(K)$ - Aplicaciones ~ Formalización)


 Ejemplo Circunferencia

El ejemplo más simple es el circunferencia, que es una superficie curva que localmente se comporta como el espacio euclidiano, dado que se deben ensamblar dos funciones para configurar el objeto.

Para describir la circunferencia como una variedad diferenciable, se puede cubrir con cartas que la mapean a subconjuntos de ese espacio.

En efecto, se sabe que si se escribe la ecuación de la circunferencia en coordenadas cartesianas se requieren de dos funciones. Puesto que la circunferencia es una curva cerrada, un solo conjunto de coordenadas no es suficiente para cubrir toda la circunferencia sin problemas para lograr la variedad diferenciable 3.


Cartas Cubren la Variedad $\longrightarrow$ Atlas8


Para ello, se usan dos cartas que cubren el círculo, una carta para el semicírculo superior y otra para el semicírculo inferior.

Luego, considérese una circuferencia centrada en el origen $O=(0,0)$ en $\mathbb{R}^2$ de radio $ \mathbb{r}=1$, dada por la ecuación:

$$ x^2+y^2=1\\ \text{ }\\ \implies y^2=1-x^2\\ \text{ }\\ \implies y=\pm \sqrt{1-x^2}\\ \text{ }\\ \implies y_1=+\sqrt{1-x^2} \quad \lor \quad y_2=-\sqrt{r^2-x^2}\\ $$

Es decir, se debe ensamblar las funciones $y_1$ con $y_2$ para para poder expresar la circunferencia completa.

Donde, el semicírculo superior $y_1$ es la porción positiva de la circunferencia donde $ y \geq 0 $.

Entonces, la carta local $ \varphi_1$ para el semicírculo superior es:

$$ \varphi_1: (-1, 1) \to , \quad \varphi_1(x) = (x, \sqrt{1 - x^2}) $$

Aquí, $\varphi_1 $ es una función que toma un valor $ x $ en el intervalo abierto $ (-1, 1) $ y lo mapea a un punto en el semicírculo superior en $ \mathbb{R}^2 $.

La función es suave (diferenciable) en este dominio, excepto en los extremos, pero cubre completamente el semicírculo superior.

Ahora, la carta para el semicírculo inferior $y_2$, de manera similar, es la parte de la circunferencia donde $ y \leq 0 $. Nuevamente, se usa $ x $ como parámetro y $ y_1 $ se expresa en de valor negativo de la raíz cuadrada:

$$ y_2 = -\sqrt{1 - x^2} $$

Donde, la carta local $ \varphi_2 $ es:

$$ \varphi_2: (-1, 1) \to \mathbb{R}^2, \quad \varphi_2(x) = (x, -\sqrt{1 - x^2}) $$

Esta función también es suave en el intervalo abierto $ (-1, 1) $ y cubre completamente el semicírculo inferior de la circunferencia.

$$\bbox[12px,border:1px solid #c0c0c0] { \varphi_1 \text{ } \cup \text{ }\varphi_2}$$
Atlas

Para cubrir toda la circunferencia, se unen las dos cartas locales. El conjunto de cartas $ \{ \varphi_1, \varphi_2 \} $ forma lo que se llama un atlas, que cubre toda la variedad diferenciable . En este caso, las dos cartas se superponen en la región donde $ x \in (-1, 1) $ y $ y \neq 0 $, es decir, en la parte de la circunferencia donde ambas coordenadas son válidas (excepto en los puntos $ (-1, 0) $ y $ (1, 0) $).



 Cartas Transición Suave

La transición entre las cartas se describe en la región donde ambas están definidas, que es el intervalo abierto $ (-1, 1) $. Aquí, las funciones de transición son suaves, lo que garantiza que la circunferencia puede ser vista como una variedad diferenciable.

Este es un ejemplo básico pero ilustrativo de cómo una curva cerrada, como una circunferencia, puede ser vista como una variedad diferenciable, cubierta por dos cartas locales que se superponen y que permiten una descripción suave de la geometría de la curva.

Por tanto, la geometría diferencial es una rama de la matemática que combina técnicas del cálculo diferencial y la geometría para estudiar curvas, superficies y, en general, variedades. Esta disciplina permite analizar las propiedades y estructuras de espacios curvos y sus aplicaciones en diversos campos como la física, la ingeniería y la informática.

En particular, la geometría de Riemann4, una subdisciplina de la geometría diferencial, se enfoca en el estudio de variedades con una métrica que define cómo medir distancias y ángulos en espacios curvos.


 Objetos Cerrados

La condición de grupo cerrado es crucial en la topología y la geometría diferencial, dado que permiten establecer propiedades importantes sobre la superficie.

En efecto, una superficie suave acotada en $\mathbb {R^3}$ es un grupo cerrado si satisface ciertas condiciones.

Una superficie suave acotada es un grupo cerrado, cuando poseen las propiedades siguientes:
  • i) Compacta: La superficie debe ser compacta, es decir, debe tener un volumen finito y estar acotada.

  • ii) Conexa: La superficie debe ser conexa, es decir, no debe tener agujeros ni ser discontinua.

  • iii) Suave: La superficie debe ser suave, es decir, no debe tener esquinas ni puntos singulares.

Así mismo, se deben satisfacer condiciones suficientes, que se explican en base a dos teoremas:
    1) Teorema de Jordan-Brouwer, el cual postula que si la superficie es homeomorfa a una esfera, entonces es un grupo cerrado.

    2) Teorema de Gauss-Bonnet, que dice que si la superficie tiene curvatura gaussiana constante y positiva, entonces es un grupo cerrado.


Ejemplos de superficies suaves acotadas que son grupos cerrados: son la esfera y el toro.

Por ejemplo otras superficies suaves acotadas, pero que no son grupos cerrados son la superficie de un cilindro infinito y la superficie de un cono.


Ver artículo "Geometría Diferencial ~ Ejemplo sobre la Esfera"



 Síntesis Artículo

Con esta breve presentación se explica la relación entre los grupos de Lie y la geometría diferencial, destacando su aplicación en diversas áreas como la física, inteligencia artificial y el aprendizaje automático. Los grupos de Lie combinan la estructura algebraica de un grupo con la continuidad de una variedad diferenciable, lo que permite usar cálculo diferencial para analizar estos espacios5.

Se menciona cómo las variedades diferenciables pueden ser representadas mediante "parches" locales, que son mapeos de regiones de la superficie a un espacio euclidiano. Estos parches se unen para formar una estructura suave y continua llamada atlas.

Un ejemplo sencillo es la circunferencia, que localmente se comporta como un espacio euclidiano, pero globalmente requiere dos funciones (para los semicírculos superior e inferior) que, al unirse, cubren toda la circunferencia. Este proceso es descrito a través de cartas locales que cubren el semicírculo superior $ \varphi_1 $ y el semicírculo inferior $ \varphi_2 $, ambas diferenciables en su dominio. Las funciones de transición entre estas cartas son suaves, lo que garantiza que la circunferencia sea una variedad diferenciable completa.

El artículo se complementa los artículos publicados acerca de los grupos y álgebras de Lie (Ver Mapa Publicaciones). Donde, en general se tratan ejemplos en varias variables reales.








 Notas Adjuntas







 Videografía y Bibliografía


Ver Artículos del Autor

Ver Videos DocIRS


  • [B1]
    Quantum Computation 5: A Quantum Algorithm
    David Deutsch, Autor del Algoritmo
    Centre for Quatum Computation
    https://www.youtube.com/watch?v=3I3OBFlJmnE

  • [B2]
    Curso Computación Cuántica
    Eduardo Sáenz de Cabezón
    26 abril 2019
    Instituto de Matemáticas de la UNAM, México
    https://www.youtube.com/watch?v=KKwjeJzKezw

  • [B3]
    Quantum Optics
    Miguel Orszag,
    Pontificia Universidad Católica - Santiago de Chile
    Editorial Springer ~ 2016


  • [B4]
    Quantum Optics - Mark Fox - Oxford University Press
    22 jun. 2006 - Oxford Master Series in Physics.
    Capítulo 13
    https://www.academia.edu/24696066/



  • [B5]
    Quantum Computing Explain
    David McMahon on 2007
    WILEY-INTERSCIENCE
    A John Wiley & Sons, Inc., Publication
    https://www.academia.edu/31537353

    /_David_McMahon_Quantum_
    Computing_Explained_BookFi_1_

  • [B6]
    Programming a Quantum Computer with Cirq (QuantumCasts)
    Dave Bacon
    Google

  • [B7]
    The Quantum World ~ Quantum Physics for Everyone
    Kenneth W. Ford
    Harvard University Press
    Cambridge Massachusetts
    London England ~ 2004

  • [B8]
    Principios Fundamentales de Computación cuántica
    Vicente Moret Bonillo
    Profesor Titular de Universidad. Senior Member, IEEE.
    Departamento de Computación. Facultad de Informática.
    Universidad de la Coruña
    2O13

  • [B9]
    Quantum Networks for Elementary Arithmetic Operations
    Vlatko Vedral, Adriano Barenco and Artur Ekert
    Clarendon Laboratory, Department of Physics
    University of Oxford, Oxford, OX1 3PU, U.K.
    (Submitted to Phys. Rev. A)
    16 de Noviembre 1995

  • [B10]
    Quantum computing for the determined
    Michael Nielsen on June 10, 2011
    http://michaelnielsen.org/blog/

    quantum-computing-for-the-determined/
    https://www.youtube.com/watch?v=x6gOp_o7Bi8

  • [B11]
    QC — Quantum Algorithm with an example
    Jonathan Hui
    Dec 6, 2018

  •  
  • [B12]
    [W] Wikipedia
    Consultas a Wikipedia de múltiples conceptos

    relacionados a la Mecánica y Computación Cuántica
    https://en.wikipedia.org

  • [B13]
    Programación Cuántica
    Francisco Gálvez
    T3chFest 2017
    IBM
    https://www.youtube.com/watch?v=FYAkeCcOgeQ

  • [B14]
    Quantum Computation (CMU 18-859BB, Fall 2015)
    Lecture 1: Introduction to the Quantum Circuit Model
    September 9, 2015
    Lecturer: Ryan O’Donnell Scribe: Ryan O’Donnell

  • [B15]
    Hipertexto: Tratamiento Documental de Datos
    José Enrique González Cornejo
    Centro de Investigación y Desarrollo de la Educación,
    CIDE, Santiago – Chile, 1990.
    Registro Nº81.183 - 1991 ~ Editoria Argué Ltda

  • [B16]
    Algoritmo para el Cambio de Base Numérica
    José Enrique González Cornejo
    DocIRS Technology
    Math-Computing Open Academy Junio 2014

  • [B17]
    Algoritmo, Generación Distribución
    Aleatoria Discreta de Suma 1
    José Enrique González Cornejo
    11 de julio 2012
    DocIRS Technology
    Math-Computing Open Academy

    https://www.docirs.cl/
    Algoritmo_Distribucion_Aleatoria.htm

  • [B18]
    Naïve Bayes ~ Simple Algoritmo de Clasificación
     Modelo de Variables Discretas
    José Enrique González Cornejo
    01 de agosto 2019
    DocIRS Technology
    Math-Computing Open Academy

  • [B19]
    Problema de la Ruta Optima
    José Enrique González Cornejo
    01 de mayo 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B20]
    Nomenclatura DocIRS para la Programación
    José Enrique González Cornejo
    24 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B21]
    Acerca del Estilo en Programación
    José Enrique González Cornejo
    18 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B22]
    Acerca de la Calidad de una Aplicación
    José Enrique González Cornejo
    18 de abril 2009
    DocIRS Technology
    Math-Computing Open Academy

  • [B23]
    Fundamentos Teóricos de los
    Lenguajes Estructurados
    José Enrique González Cornejo
    12 de julio de 2011
    DocIRS Technology
    Math-Computing Open Academy

  • [B24]
    Propiedades Geométricas Cualitativas
    José Enrique González Cornejo
    15 de marzo 1997
    DocIRS Technology
    Math-Computing Open Academy

  • [B25]
    Lunch & Learn: Quantum Computing
    Andrea Morello
    Quantum Engineering at University

     of New South Wales Australia
    21 nov. 2018

  • [B26]
    21 Lessons for the 21st Century
    Talks at Google
    Yuval Noah Harari 11 octubre 2018


  • [B27]
    Homo-Deus-A-Brief-History-of-Tomorrow
    Universidad de California,
    Yuval Noah Harari
    27 febrero 2017

  • [B28]
    MIND BLOWN: Quantum Computing &
    Financial Arbitrage
    Andrea Morello
    Quantum Engineering at University

     of New South Wales Australia
    18 jun. 2020

  • [B29]
    Algoritmo cuántico de Deutsch y Jozsa en GAMA
    M. Paredes López - A. Meneses Viveros - G. Morales-Luna
    Departamento de Matemáticas, Cinvestav, Av. Instituto

    Politécnico Nacional 2508, CDMX
    Departamento de Computación, Cinvestav,

    Av. Instituto Politécnico Nacional 2508, CDMX
    Rev. mex. fís. E vol.64 no.2 México jul./dic. 2018

  • [B30]
    Principios Fundamentales de Computación Cuántica
    2013, Vicente Moret Bonillo
    Universidad de la Coruña-España

  • [B31]
    Informática Cuántica - Parte 1
    Tecnologias Disruptivas
    Alejandro Alomar
    9 jul. 2018
    https://www.youtube.com/watch?v=SisRIgS3oO4

  • [B32]
    Computación Cuántica para Torpes
    Publicado el 26 de septiembre de 2016 por Sergio Montoro

  • [B33]
    Intro to Quantum Computing
    Steve Spicklemire
    Lesson 38 Quantum Computing, Deutsch's Problem

  • [B34]
    Learn Quantum Computation using Qiskit
    Page created by The Jupyter Book Community
    Qiskit Development Team Last updated on 2020/07/17.

  • [B35]
    Disfruta de la Experiencia cuántica de IBM
    Francisco R. Villatoro (Francis Naukas)
    2 noviembre, 2018
    https://francis.naukas.com/2018/11/02/

    disfruta-de-la-experiencia-cuantica-de-ibm/

  • [B36]
    Inversión de Matrices de Números Complejos
    reshish.com 2011 - 2020

  • [B37]
    Algoritmo de Deutsch
    13 octubre 2016
    Felipe Fanchini
    https://www.youtube.com/watch?v=Sb5WRs8XUuU

  • [B38]
    Desarrollo de un simulador para el protocolo
    de criptografía cuántica E91
    en un ambiente distribuido
    Ingeniare. Rev. chil. ing. vol.23 no.2 Arica abr. 2015
    Luis Cáceres Alvarez,
    Roberto Fritis Palacios,
    Patricio Collao Caiconte

  • [B39]
    Effect of an artificial model’s vocal expressiveness
     on affective and cognitive learning
    . Llaima Eliza González Brouwer
    0999377
    MSc. Human Technology Interaction
    Department of Innovation Sciences
    Eindhoven University of Technology
    August 2018

  • [B40]
    Así Cambiará el Mundo la Computación Cuántica
    2016
    Ignacio Cirac
    https://www.youtube.com/watch?v=WJ3r6btgzBM

  • [B41]
    GIPHY
    Imagen de Animación Gif / Partículas
    Explore Partículas Gif

  • [B42]
    MathJax
    MathJax es una biblioteca javascript
    American Mathematical Society.
    Accessible Math in All Browsers


  • [B43]
    El Algoritmo de Deutsch-Jozsa
    KET.G
    25 mar. 2020
    Twitter: https://twitter.com/KetPuntoG


  • [B44]
    Apuntes de Grupos de Lie
    Badajoz, 30 de diciembre de 2017
    Volumen 3
    1.2. Grupos de Lie

  • [B45]
    Teoria de Grupos
    Marshall Hall jr.
    Biblioteca de Matemática Superior
    1967 Maximilian Company, N.Y. USA

  • [B46]
    Tutorial Grupos de Lie
    Javier García
    29 jun. 2017
    Serie de Capítulos ~ España

  • [B47]
    Matrices de Pauli - Pauli matrices Matrices de Pauli
    Enciclopedia libre Matrices de Pauli

  • [B48]
    La Mecánica Cuántica
    Los grupos de rotación I
    Matrices de Pauli

  • [B49]
    Física Matemática
    Grupos de Lie, rotaciones, unitarios, Poincaré.
    Monte Carlo
    L. L. Salcedo
    Departamento de Física Atómica, Molecular y Nuclear
    Universidad de Granada, E-18071 Granada, Spain
    29 de julio de 2020

  • [B50]
    Matrices de Pauli - Pauli matrices Matrices de Pauli
    De Wikipedia, la enciclopedia libre Matrices de Pauli

  • [B51]
    Phisics
    Explore our Questions

  • [B52]
    Entrevista a Jorge Antonio Vargas,
    FAMAF
    Universidad Nacional de Córdoba de Argentina,
    Investigador del Conicet
    20/01/2010, Pagina|12
    ,

  • [B53]
    Introducción a Grupos y Álgebras de Lie de Dimensión Infinita,
    Matthew Dawson,
    CIMAT- Mérida México noviembre de 2020,
    Instituto de Matemáticas de la UNAM

    (Universidad Nacional Autónoma de México)
    ,

  • [B54]
    Lie Groups:Introduction,
    Richard E. BORCHERDS,
    University of California,
    Department of Mathematics, USA
    ,

  • [B55]
    Lie theory for the Roboticist,
    Joan Solà,
    Institut de Robòtica i Informàtica Industrial, en catalán,
    Consejo Superior de Investigaciones Científicas (CSIC),

     Cataluña
    Universidad Politécnica de Cataluña (UPC). España

  • [B56]
    A micro Lie theory for state estimation in robotics,
    Joan Solà, Jeremie Deray, Dinesh Atchuthan,
    Diciembre 2021
    arXiv ~ https://arxiv.org,
    Web Accessibility Assistance -arXiv Operational Status

  • [B57]
    Graph Theory,
    Frank Harary,
    1969
    Addison-Wesley
    USA

  • [B58]
    RobotDocIRS,
    José Enrique González Cornejo
    abril 2003
    DocIRS Technology
    Math-Computing Open Academy


  • [B59]
    Introducción a la Topología Algebraica,
    Williams S. Massey,
    1972
    Editorial Reverté S.A.
    España


  • [B60]
    Lie Algebra Representations
    André Henriques
    Instituto de Matemáticas de la Universidad de Oxford
    agosto del 2015.


  • [B61]
    The Lie group $SL(2,C)$ and its Lie algebra $sl(2,C)$
    Dr. Frederic Schuller
    Friedrich-Alexander-Universität Erlangen-Nürnberg
    21 sept 2015


  • [B62]
    The Theory of Groups
    Marshall Hall, JR.
    The Macmillan Company 1967
    New York. N.Y. USA.
    English Publication.


  • Paginas Independientes del autor que Contienen los Capítulos del Documento:

  • Conceptos Matemáticos Básicos de
     Computación Cuántica
    José Enrique González Cornejo
    20 de marzo 2020
    DocIRS Technology
    Math-Computing Open Academy

  • Algoritmo de Deutsch
    José Enrique González Cornejo
    20 de marzo 2020
    DocIRS Technology
    Math-Computing Open Academy