las estribaciones al parnaso

Antes de ingresar directamente en el contenido de Z.vG.II, puede ser útil proporcionar algunos
antecedentes.

Lo que ahora llamamos álgebras de Lie fueron inventadas por el matemático noruego Sophus Lie
alrededor de 1870 e independientemente por Killing alrededor de 1880. Lie estaba buscando
desarrollar un enfoque para la solución de ecuaciones diferenciales análogas a la teoría de Galois de
ecuaciones algebraicas. La pasión consumidora de asesinatos eran las geometrías no euclidianas y sus
generalizaciones, por lo que se le condujo al problema de clasificar los movimientos infinitesimales de
un cuerpo rígido en cualquier tipo de espacio. Así, en el espacio euclidiano, las rotaciones de un
cuerpo rígido alrededor de un punto fijo forman un grupo en composición que se puede parametrizar
por tres números reales, los ángulos de Euler, por ejemplo. El espacio tangente en la identificación del
espacio de parámetros de este grupo es un espacio lineal tridimensional de rotaciones infinitesimales.
De manera similar, para un grupo que se puede parametrizar mediante un colector liso de dimensión
A, hay un espacio de tangente A dimensional, L, en el elemento de identificación. Si el producto de
dos elementos del grupo es continuo y diferenciable en los parámetros de sus factores, es posible
definir una operación binaria en L que denotamos por S, de modo que para todo x, y, z, en ASD es
lineal en cada factor, safasfasfsaf y

asfsafsafasf o equivalente qasfawfafsaf.

La ecuación en 2 se llama Identidad Jacobi y en la forma 2b debería recordarle la regla para diferenciar
un producto. L + x es un álgebra de Lie con un producto no asociativo anticommutativo. La identidad
de Jacobi reemplaza la asociación de anillos familiares como los enteros o las álgebras de la matriz.

Obviamente si M es un subespacio de L tal que x, y, pertenece M entonces M es una sub-álgebra de L.

Además, si phi es un homomorfismo de un álgebra de Lie sobre otro, el núcleo de phi no es
meramente un subálgebra sino Un ideal. Para si K safsafasf entonces para cualquier x en K .....

Por lo tanto, K no es solo una subálgebra, sino que tiene la propiedad, característica de un ideal, que
para cualquier x pertenece K tenemos y ... para cada uno. Luego podemos definir un álgebra de
cociente isomorfa a L2, de manera análoga a los grupos con subgrupos normales. Por lo tanto, un
álgebra de Lie L cuyos únicos ideales son y L es homomórfico solo para L. Tal álgebra se llama simple.
Las simples álgebras de Lie son los bloques de construcción en términos de los cuales se puede
analizar cualquier álgebra de Lie. Lie reconoció bastante pronto que la búsqueda de soluciones de
sistemas de ecuaciones diferenciales se facilitaría mucho si se conocieran todas las álgebras de Lie
simples. Pero Lie intenta encontrarlos corriendo en la arena muy rápidamente.

en su búsqueda de todas las formas espaciales uniformes, Killing formuló el problema de clasificar
todas las álgebras de Lie sobre las reales una tarea que, en el caso de las álgebras de Lie nilpotentes,
parece poco probable que tenga una solución satisfactoria. En particular, estaba interesado en las
álgebras de Lie reales simples, como un paso en esta dirección, fue conducido, con el aliento de Engel,
al problema de clasificar todas las álgebras de Lie simples sobre los números complejos.

De paso, notemos que hasta aproximadamente 1930 lo que ahora llamamos grupos de Lie y álgebras
de Lie se llamaban grupos continuos y grupos infinitesimales respectivamente, ver por ejemplo. Estos
fueron los términos que Weyl todavía usaba en 1934 en sus conferencias de Princenton. Sin embargo,
en 1930 Cartan utilizó el término groupes de lie, el término Liesche Ringe apareció en el título del
famoso artículo sobre álgebras envolventes de Witt, y, en sus Classical Groups, Weyl escribió En
homenaje a Sophus Lie tal álgebra se llama Lie Algebra. Borel atribuye el término Lie Group a Cartan y
Lie algebra a Jacobson.

Para la representación adjunta de L, el espacio lineal V, arriba, se toma como L mismo y phi se define
como XXXX.