Buch lesen: «Estructuras de álgebra multilineal»
ESTRUCTURAS DE ÁLGEBRA MULTILINEAL
Educació. Materials 16
Joaquín Olivert Pellicer
ESTRUCTURAS DE ÁLGEBRA MULTILINEAL
UNIVERSITAT DE VALÈNCIA 1996
Col·lecció: Educació. Materials
Director de la col·lecció: Guillermo Quintás Alonso
Joaquín Olivert Pellicer, doctor en Ciències Físiques, és professor titular de Física Teòrica de la Universitat de València.
© El autor, 1996
© D'aquesta edició: Universitat de València, 1996
Disseny original de la coberta: | Clemente Miranda Mora |
Fotocomposició i maquetació: | Servei de Publicacions |
Universitat de València |
ISBN: 978-84-370-9416-8
Dipòsit legal: V-2533-1996
Impressió: | GUADA Litografía, S.L. |
Camí Nou de Picanya, 3 | |
46014 - València |
Índice
PRÓLOGO
PREÁMBULO
PARTE I: TEORÍA DE CONJUNTOS Y CARDINALIDAD
Capítulo 1. Axiomática
1.1 Clases y conjuntos
1.2 Subconjuntos
1.3 Singuletes y pares ordenados
1.4 Relaciones binarias
1.5 Aplicaciones o funciones
1.6 Producto cartesiano y leyes de composición
1.7 Relaciones de equivalencia
Capítulo 2. El axioma de elección
2.1 Buena ordenación
2.2 Ordinales y números ordinales
2.3 Axioma de elección. Proposiciones equivalentes
Capítulo 3. Cardinalidad
3.1 Números naturales
3.2 Números cardinales
3.3 Conjuntos finitos e infinitos
3.4 Operaciones con cardinales. Propiedades de los números transfinitos
3.5 Hipótesis del continuo
Capítulo 4. Aplicaciones en estructuras algebraicas
4.1 Aplicaciones en relaciones de equivalencia
4.2 Estructuras algebraicas
4.3 Homomorfismos de grupos
4.4 Construcción de los números enteros y racionales
Capítulo 5. Conjuntos ordenados
5.1 Ordenación en los números naturales. Caracterización
5.2 Relación de orden en el conjunto de los números enteros
5.3 Extensión de la relación de orden a los racionales
5.4 Propiedades arquimedianas de los números enteros y racionales. Algoritmo de la división
5.5 Operaciones con desigualdades
5.6 Forma decimal de los números racionales
Capítulo 6. Álgebra de ideales
6.1 Anillos de integridad
6.2 Máximo común divisor. Teorema de Bezout
6.3 Fracciones continuas. Resolución de la ecuación diofántica lineal
6.4 Teorema Chino del resto
6.5 Anillos de polinomios
6.6 Aplicación a los cuerpos
Capítulo 7. El número real
7.1 Sucesiones en
7.2 Sucesiones de Cauchy
7.3 Construcción de los números reales
7.4 Valor absoluto de un número real. Propiedades
7.5 Convergencia de sucesiones de Cauchy en
7.6 Los números complejos
7.7 Cardinalidad de y de
PARTE II: OPERACIONES CON MÓDULOS
Capítulo 8. Módulos
8.1 Módulos de A-homomorfismos
8.2 Producto, coproducto y suma directa de A-módulos
8.3 Módulos libres
Capítulo 9. Sucesiones exactas de homomorfismos de módulos
9.1 Sucesiones exactas de módulos
9.2 Teoremas de isomorfía
9.3 Módulos proyectivos
Capítulo 10. Producto tensorial
10.1 Definición y existencia
10.2 Bimódulos
10.3 Producto tensorial de homomorfismos de módulos
Capítulo 11. Álgebra tensorial
11.1 Definición y existencia
11.2 Grupos de permutaciones
11.3 A-homomorfismos inducidos por permutaciones
Capítulo 12. Producto exterior
12.1 Potencias exteriores
12.2 Álgebra exterior
PARTE III: TENSORES. FORMAS EXTERIORES
Capítulo 13. Espacios vectoriales
13.1 Concepto de dimensión
13.2 Teoremas de la dimensión
13.3 Espacio vectorial de homomorfismos. Espacios duales
Capítulo 14. Espacios tensoriales
14.1 Producto tensorial de módulos libres
14.2 Producto tensorial de espacios vectoriales
14.3 Aplicaciones
14.3.1 Complexificación de espacios vectoriales reales
14.3.2 Tensores
Capítulo 15. Formas exteriores
15.1 Dimensión de potencias exteriores de espacios vectoriales. Componentes estrictas
15.2 Álgebra de formas multilineales. Antisimetrización
15.3 Álgebra de Grassmann
15.4 Determinantes de un endomorfismo
Capítulo 16. Espacios simplécticos
16.1 Formas bilineales degeneradas
16.2 Espacios vectoriales presimplécticos
16.3 Espacios vectoriales simplécticos. Grupos simplécticos
PARTE IV: PRODUCTOS ESCALARES. MÉTRICAS
Capítulo 17. Formas hermíticas
17.1 Definición y propiedades inmediatas. Formas hermíticas positivas.
17.2 Método de ortonormalización de Gram-Schmidt
17.3 Espacios euclídeos
17.4 Ley de ascenso y descenso de índices
Capítulo 18. Operadores normales
18.1 Vectores y valores propios de endomorfismos
18.2 Operadores adjuntos en espacios prehilbertianos
18.3 Operadores normales
18.4 Operadores hermíticos y unitarios
18.5 Extensiones a los espacios complexificados
18.6 Operadores normales en espacios euclídeos
18.7 Isometrías en espacios euclídeos
Capítulo 19. Formas canónicas de matrices
19.1 Polinomio característico
19.2 Teorema de Cayley-Hamilton
19.3 Endomorfismos nilpotentes
19.4 Subespacios invariantes. Nilpotencias parciales. Ecuación minimal
19.5 Teorema de Jordan-Che valley. Consecuencias
19.6 Determinación del polinomio característico. Método de Fadeev.
Capítulo 20. Formas cuadráticas
20.1 Método de resolución de Gauss
20.2 Descomposición de una matriz cuadrada en producto de matrices triangulares
20.3 Determinación de la matriz inversa
20.4 Signatura de una forma cuadrática
20.5 Reducción de una forma cuadrática por el método de Jacobi
20.6 Reducción de una forma cuadrática por el método de Lagrange
20.7 Clasificación de cónicas (no degeneradas)
Capítulo 21. Productos tensoriales de álgebras asociativas
21.1 Aplicación de estructura. Producto tensorial canónico
21.2 Módulos, anillos y álgebras graduadas
21.3 Producto tensorial anticonmutativo de álgebras G-graduadas
21.4 Involuciones y antiderivaciones
Capítulo 22. Productos escalares de álgebras tensoriales y exteriores.
22.1 Núcleos de productos tensoriales de aplicaciones lineales
22.2 Productos escalares en el álgebra tensorial
22.3 Producto escalar en el álgebra exterior
22.4 Productos interiores. Antiderivaciones en álgebras exteriores
Capítulo 23. Espacios orientados
23.1 Delta generalizada
23.2 Orientaciones
23.3 Operador de Hodge
23.4 Producto vectorial y producto mixto
PARTE V: ÁLGEBRAS DE CLIFFORD Y GRUPOS DE SPIN
Capítulo 24. Álgebras de Clifford
24.1 Definición. Propiedades inmediatas
24.2 Existencia y unicidad
24.3 Homomorfismos de álgebras inducidas por isometrías
24.4 Graduación en álgebras de Clifford
24.5 Cuaterniones. Ejemplos de álgebras de Clifford
Capítulo 25. Álgebras de Clifford de dimensión finita
25.1 Descomposición directa
25.2 Álgebras de Clifford sobre espacios de dimensión finita
25.3 El elemento canónico eΔ
25.4 Centro y anticentro
Capítulo 26. Isomorfismos de álgebras de Clifford
26.1 El álgebra CE
26.2 Producto tensorial canónico de álgebras de Clifford
26.3 Suma directa de espacios duales
26.4 Álgebras de Clifford sobre espacios vectoriales complejos
Capítulo 27. Determinación de álgebras de Clifford
27.1 Álgebras de Clifford en espacios vectoriales reales de dimensión finita
27.2 Álgebras de Clifford básicas
27.3 Complexificación de álgebras de Clifford reales
27.4 Cálculo de álgebras de Clifford
Capítulo 28. Representaciones de álgebras de Clifford
28.1 La involución SE
28.2 Representaciones de álgebras asociativas
28.3 Representaciones de álgebras de Clifford
28.4 Representación adjunta twistorizada
Capítulo 29. Grupos de Clifford
29.1 Grupo de Clifford
29.2 Propiedades del homomorfismo λE
29.3 Relación entre ΓE y el grupo ortogonal O (E)
29.4 El grupo de spin
BIBLIOGRAFIA
DICCIONARIO DE MATERIAS Y AUTORES
PRÓLOGO
El Prof. Joaquín Olivert me ha pedido prolongar su excelente libro de Matemáticas Estructuras de álgebra multilineal y es un placer, en vista de la personalidad académica y científica del autor y de las características de este compendio de conceptos de álgebra.
El Prof. Olivert es un cultivador de los aspectos físico-matemáticos de la Mecánica Relativista, a lo que incorpora los avances más importantes del Algebra del siglo XX. Este progreso está ligado a una generalidad y una abstracción cada vez mayor de los temas tratados, que pueden aplicarse fructíferamente a los problemas concretos. A través de este proceso, el autor del presente libro ha elaborado toda una pedagogía de los nuevos conceptos, que cubren de modo coherente las distintas estructuras algebraicas.
El libro ofrece una presentación del álgebra moderna desde el principio, para estudiantes de licenciatura de Matemáticas y de Física y para pos-graduados, cubriendo tanto materiales estándar de la construcción de los números como el desarrollo del álgebra multilineal para terminar con un tratamiento bastante exhaustivo sobre álgebras de Clifford y grupos de espín. La obra aparece estructurada de modo autocontenido, con un desarrollo lógico que permite adquirir una visión unitaria de las estructuras algebraicas. El autor ha decidido, sin embargo, no incluir algunas aplicaciones de los temas desarrollados que, además de su interés intrínseco, podrían haber contribuido, sin menoscabo de un conocimiento global y riguroso, a una lectura y estudio con una concentración no tan exigente.
Una dificultad fundamental que sienten los estudiantes de Álgebra con relativa frecuencia es la de aprender a hablar un lenguaje nuevo y abstracto que promete ser prodigiosamente eficaz. El disponer de un libro con una presentación unitaria que cubre temas tan variados es una garantía de coherencia y de construcción escalonada en ese lenguaje. El autor ha hecho énfasis en ese aspecto de exposición lógico-matemática para rentabilizar la adquisición rápida de los objetivos propuestos y hacerse comprender en la introducción de nuevas estructuras.
El desarrollo seguido por el Prof. Olivert en la presentación de las unidades didácticas del libro ha estado modelado por los avances conceptuales recientes de las matemáticas, y así hace énfasis por ejemplo en los homomorfismos de cada tipo algebraico. La noción de módulo juega hoy en día un papel central en muchas partes del álgebra y en sus aplicaciones a la topología algebraica y diferencial. De ahila presentación de toda una unidad didáctica en el libro para desarrollar las operaciones con módulos, como paso previo al estudio de tensores y formas exteriores. Hasta aquí los capítulos siguen un orden natural. Las unidades didácticas siguientes son, en gran medida, independientes entre sí, por lo que hay múltiples posibilidades de organizar un curso basado en algunos temas seleccionados. Las formas hermíticas, las formas cuadráticas y los desarrollos de álgebras graduadas son en actualidad un bagaje esencial de la formación de físicos y matemáticos.
Una novedad sobresaliente en la obra trabajada por el Prof. Olivert es la incursión, en un libro de las características globales mencionadas del álgebra multilineal, en el problema de las álgebras de Clifford y grupos de espín. La impresión que se obtiene con el estudio de esta última unidad didáctica es el aprovechamiento de conceptos y términos desarrollados con detalle en el libro. Se presenta una lista completa de las álgebras de Clifford, que será de gran interés para los estudiosos e investigadores de la física matemática moderna. Considero un acierto la selección de estos temas como colofón final de una obra organizada con cuidado de la presentada aquí.
En suma, la obra que llega ahora al lector es de un gran valor, con un estilo directo y constructivo de las estructuras del álgebra multilineal. Con una organización bien definida y presentada, el libro puede indistintamente ser usado como libro de estudio sistemático o como obra de consulta, y merece que se le reserve una acogida muy favorable por parte de las generaciones presentes y futuras de estudiantes y estudiosos de matemáticas y de física.
JOSÉ BERNABÉU
Catedrático de Física Teórica
Universitat de València
PREÁMBULO
Elaborar un nuevo libro de Matemáticas en la actualidad no es tarea fácil si se quiere que contenga cierta originalidad. Se han publicado muchísimas obras que abarcan todas las facetas de esta ciencia, y muy poco se puede decir que no se haya tratado en alguno de los textos existentes. No obstante, nos hemos arriesgado a redactar este libro, Estructuras de álgebra multilineal, motivados por varias razones.
La primera y principal ha sido dar un compendio lo más amplio posible de conceptos de álgebra, que se consideran básicos para que el estudiante pueda ampliarlos en otros textos especializados y específicos. Se ha estructurado de manera autocontenida sin descuidar, en ningún momento, el rigor que en Matemáticas se exige, y sin escatimar demostraciones que se requieran para una exposición lógica de la obra. Creemos que los usuarios de este libro pueden estudiarlo sin necesidad de ayuda ajena. En este sentido, se pretende recuperar la figura del «libro del alumno» de antaño y que en la actualidad se ha perdido.
Los temas tratados se han presentado entrelazados de modo coherente, con el fin de que el lector adquiera una visión global y unitaria de las distintas estructuras algebraicas expuestas. En un mundo tan especializado como el presente, es difícil encontrar profesionales del ramo que posean una base amplia de conocimientos, pues prontamente se dedican a estudiar temas concretos que interese en su investigación. Incluso no conocemos ninguna obra, al menos en Lengua Española, que trate tan variados y prolijos temas de modo unitario como la que presentamos. La ventaja para los lectores no iniciados en estructuras algebraicas es que, con la obra presente, no precisan consultar otros libros, en número indeterminado, para conseguir los mismos objetivos que se consiguen con el que proponemos, con el consiguiente ahorro de tiempo. Debido a estas razones y al extenso volumen de la obra, se ha excluido la faceta práctica de los temas desarrollados. Los criterios del autor han sido que existen innumerables textos que se dedican a ello, por lo que los interesados pueden consultarlos sin dificultad; por otra parte, se ha primado el criterio de que el estudiante adquiera un conocimiento global, coherente y estructurado del álgebra multilineal.
También este texto se ha redactado pensando principalmente en la formación de los estudiantes de Matemáticas y de Física. Debido a este objetivo, no se ajusta taxativamente a ninguno de los planes de estudios de ambas carreras. Sin embargo, pretendemos que seauna ayuda inestimable para cada alumno que las curse, pues con su consulta el estudiante podrá adquirir el dominio conceptual de las materias de sus respectivas asignaturas.
Para tal fin, hemos dividido este libro en cinco partes, cada una de las cuales corresponde a una unidad didáctica, de manera que estén relacionadas entre ellas.
La Primera Parte, a modo de introducción, está dedicada a la Teoría de Conjuntos y la construcción de los números. Empezamos por los naturales y, como generalización, estudiamos la cardinalidad de los conjuntos, concepto de suma importancia de que haremos uso para probar algunos resultados de álgebra multilineal. En capítulo aparte, se construyen los números enteros y racionales, previa introducción de algunas estructuras algebraicas simples que ayudan a una comprensión mejor de tales números. En el siguiente capítulo, se aborda la ordenación de los números estudiados hasta el momento y se completa las propiedades de los racionales, dando su expresión decimal. Con el fin de estudiar cómodamente las matrices de Jordan en otro lugar de la obra, nos hemos visto precisados dedicar un capítulo al álgebra de ideales. En él, los Teoremas de Bezout y el teorema Chino del resto ocupan un lugar preponderante. En torno a los mismos, se ha desarrollado las fracciones continuas con el fin de presentar una técnica de resolución de la ecuación diofántica lineal. Finalmente en el Capítulo 7, se estudia el número real, a partir de las propiedades de las sucesiones de Cauchy. Terminamos con una breve referencia a los números complejos, y analizamos la cardinalidad de los reales y de los complejos.
Se ha tratado con bastante extensión y profundidad la construcción de sistemas numéricos, pues consideramos que es lo suficientemente importante como para que el futuro matemático o físico esté familiarizado en ella, así como que conozca las propiedades de los transfinitos con sus hipótesis del continuo. No obstante, el lector, al que no le interese conocer la construcción de los números, puede empezar a leer a partir de la Segunda Parte de la obra, que es donde de hecho comienza a tratarse el álgebra multilineal. Sólo es aconsejable que se estudie previamente las tres primeras secciones del Capítulo 4, y deje el Capítulo 6 cuando aborde las bases de Jordan.
En la Segunda Parte, se expone las propiedades más importantes de la estructura de los módulos, paso previo para desarrollar cómodamente los espacios vectoriales en la unidad didáctica siguiente. Se introduce los conceptos de producto, coproducto y suma directa de módulos, los cuales son necesarios, pongamos por caso, para estudiar las sucesiones exactas escindibles. Ejemplos de este tipo de sucesiones exactas son las formadas por módulos proyectivos y libres. Estos últimos están tratados con cierta extensión, pues por primera vez aparece el importantísimo concepto de base, cuya utilidad es de sobra conocida cuando se trabaja en componentes de «objetos» definidos en espacios vectoriales. Los productos tensorial y exterior están desarrollados con sumo cuidado y detalle. Estos conceptos volverán a ser estudiados en los citados espacios vectoriales y en las álgebras asociativas, lo que darán lugar a las definiciones de tensor y de formas exteriores.
Los llamados tensores y formas exteriores, conocimientos indispensables para el científico moderno, constituyen la materia central de la Tercera Parte de la obra. Las formas exteriores, definidas en espacios vectoriales, forman un álgebra exterior, cuyo producto es el de Grassmann. Es tal la importancia que va adquiriendo este cálculo, que, en corroboración de ello, se dedica un capítulo a los espacios simplécticos, pues estas estructuras se imponen cada vez más en los desarrollos de la Física Matemática.
En la siguiente unidad didáctica se estudia extensamente los distintos tipos de productos escalares o métricas, indispensables tanto para físicos como para matemáticos que deseen especializarse en Análisis Matemático o en Geometría Diferencial, pues en ella encontrarán (probadas) las propiedades de las formas hermíticas, formas cuadráticas (con una breve incursión a la clasificación de las cónicas no degeneradas), antiderivaciones en álgebras asociativas, espacios orientados y, en ellos, el operador de Hodge, etc.
Finalmente, los seis últimos capítulos constituyen la Quinta Parte de la obra. Tratan sobre álgebras de Clifford y grupos de spin. Se ha desarrollado con detenimiento, haciendo ver al lector la necesidad de conocer previamente gran parte los temas expuestos en las unidades didácticas anteriores. Con ello se pretende que el estudiante adquiera una sólida base para que pueda abordar los fibrados espinoriales y posea, en consecuencia, un dominio del cálculo espinorial, empleado frecuentemente en Física Teórica. Damos una lista completa de las álgebras de Clifford, en la que los complejos, los cuaterniones, el álgebra de Pauli y la de Dirac forman parte.
Para terminar diremos que en el Diccionario de materias y autores sólo citamos la página en donde aparece el concepto definido. En casos excepcionales se hace referencia a alguna página más cuando de alguna manera en éstas se complementa los conceptos ya tratados. En cambio se ha adoptado el criterio de citar todas las veces que los autores se mencionan en la obra.
Por otra parte, las definiciones, lemas, teoremas, proposiciones y corolarios de un capítulo, citados en el mismo, vendrán impresos en negrita, mientras que si son de otro capítulo se citarán en letra normal. En la terna de números que marcan las ecuaciones y expresiones matemáticas, los dos primeros refieren a la numeración del capítulo donde aparece. Si tales expresiones se hallan marcadas por un par de números, se quiere indicar que no pertenece a ninguna demostración de teorema alguno. El primer elemento del par hace referencia a la sección donde está ubicada en el capítulo, y el segundo corresponde a la ordenación numérica dentro de la sección mencionada. La numeración de definiciones, proposiciones, teoremas, etc. sigue el mismo criterio.
Me considero en deuda con mis compañeras de profesorado, Profs. Amparo Cortés y Pilar Martín, que, de manera desinteresada, revisaron capítulos fundamentales del libro y me aportaron inestimables sugerencias que han contribuido a dar mayor precisión en los conceptos y claridad en las demostraciones.
Dedico especial mención a los Profs, y compañeros Vicente Liern y Carlos Ivorra, por la paciente y ardua labor de revisión de las pruebas de imprenta. Labor valiosísima y que difícilmente podré resarcirme por la deuda contraída, debido al tiempo que han invertido en ella y por las múltiples sugerencias que he recibido. Si hubiere algún error en el texto, es totalmente de mi responsabilidad por no seguir fiel y taxativamente sus instrucciones.
Me siento también muy gratificado por la gentileza que ha tenido el Prof. Bernabéu por haber prologado mi libro, por lo cual expreso mi más alta distinción y consideración.
A Ana Marina Osca, secretaria de mi departamento durante muchos años, deseo manifestar mi excelsa gratitud por la paciencia y dedicación que ha tenido conmigo. Sin su ayuda difícilmente se hubiera presentado la obra en las condiciones con que aparece.
También he de agradecer a los compañeros del departamento la comprensión que he recibido en todo momento, pues en los años de elaboración de esta obra me han fortalecido con sus palabras alentadoras y valiosas sugerencias.
Por último, no puedo silenciar el reconocimiento que tengo hacia mis alumnos. Gracias a ellos, me he ido forjando paulatinamente en rigor, en matices conceptuales, y como docente en mi dilatada vida al servicio de la Universidad.
J. OLIVERT
València, mayo de 1996