Teorica 4
Teorica 4 Teorica 4
Números complejos. Los cuaterniones. El álgebra vectorial. Las estructuras modernas. El Algebra JPP-HdM – p. 1/3
- Page 2 and 3: Períodos • 3000 aC - 1550 dC: N,
- Page 4 and 5: Bourbaki (II) " (...) la singularid
- Page 6 and 7: Entonces, qué es el álgebra? Todo
- Page 8 and 9: Origen del Algebra • Solución de
- Page 10 and 11: Solución de ecuaciones lineales y
- Page 12 and 13: Solución de ecuaciones lineales y
- Page 14 and 15: Solución de ecuaciones lineales y
- Page 16 and 17: Teoría de números Diofanto, Ferma
- Page 18 and 19: Problemas físico-geométricos Prob
- Page 20 and 21: Física y Geometría Maxwell quedó
- Page 22 and 23: Ley de Ampere ⎧ ⎪⎨ ⎪⎩ ∂
- Page 24 and 25: Leyes de Gauss ∂D1 ∂x ∂B1 ∂
- Page 26 and 27: La abstracción en el Algebra 1844
- Page 28 and 29: • Hamilton, álgebras. 1844 • G
- Page 30 and 31: • Hamilton, álgebras. 1844 • G
- Page 32 and 33: Cuál fue la mayor influencia para
- Page 34 and 35: Matemáticos Franceses I 1903 − 1
- Page 36 and 37: La postguerra Bourbaki ∼ 1933 JPP
Números complejos.<br />
Los cuaterniones.<br />
El álgebra vectorial.<br />
Las estructuras modernas.<br />
El Algebra<br />
JPP-HdM – p. 1/3
Períodos<br />
• 3000 aC - 1550 dC: N, Q≥0, +, ., √<br />
• 1550-1850: Z, Q, Z[x], n √<br />
• 1850-1930: Grupos (de permutaciones), Anillos<br />
(de polinomios, de enteros gaussianos), Algebras<br />
(de matrices, de cuaterniones, de Lie)<br />
• 1930-?: estructuras a secas (grupos, anillos,<br />
módulos, álgebras,...)<br />
JPP-HdM – p. 2/3
Dieudonné (I)<br />
" (...) el cálculo, una de cuyas repercusiones fue la de<br />
permitir la determinación, en un número finito de<br />
pasos, de las raíces de cualquier ecuación con tantos<br />
decimales como se quiera (pongamos 20). Es un<br />
método estándar que se conoce bien desde Newton y<br />
que, en un ordenador, proporciona el resultado muy<br />
rápidamente, en pocos segundos, cuando antes eran<br />
necesarios tres o cuatro días de trabajo duro. No hay<br />
dudas de que el método era perfecto para los usuarios<br />
y los técnicos. Por qué esos idiotas de los matemáticos<br />
siguieron buscando soluciones por radicales?"<br />
Pensar las matemáticas, Tusquets, 185-186 (1988)<br />
JPP-HdM – p. 3/3
Bourbaki (II)<br />
" (...) la singularidad de este ejemplo (...) restringe<br />
algo su alcance, a pesar, o más bien a causa, de la<br />
formación de una escuela de " cuaternonistas"<br />
fanáticos, extraño fenómeno que se reproduce más<br />
tarde alrededor de la obra de Grassman, y después en<br />
los vulgarizadores que toman de Hamilton y<br />
Grassman lo que se ha llamado " cálculo vectorial"."<br />
Algebra lineal y Algebra multilineal, Elementos de<br />
Historia de las matemáticas, Alianza Ed. (1976) p.93<br />
JPP-HdM – p. 4/3
Elementos de Historia de las<br />
matemáticas, N. Bourbaki<br />
Contras:<br />
• Anacronismos y valoraciones a posteriori<br />
• Excesivamente centrado en el álgebra<br />
• Motivación errónea<br />
Pro: cubre completamente los resultados teóricos del<br />
álgebra a partir del 1800; muy buena bibliografía;<br />
excelente color de la tapa y buen tamaño de letra.<br />
JPP-HdM – p. 5/3
Entonces, qué es el álgebra?<br />
Todo lo que sea objeto de estudio matemático (curvas<br />
y superficies, funciones, simetrías, cristales, mecánica<br />
cuántica y demás) puede ser ’coordenatizado’ o ’medido’.<br />
Sin embargo, para esta coordinatización los<br />
números ’ordinarios’ no siempre son lo adecuado. A<br />
la inversa, cuando encontramos un nuevo tipo de objeto,<br />
estamos forzados a construir o descubrir nuevas<br />
’cantidades’ para coordenatizarlos. La construcción y<br />
el estudio de estas cantidades es lo que caracteriza el<br />
lugar del álgebra en las matemáticas (por supuesto,<br />
muy aproximadamente).<br />
Kostrikin y Shafarevich, Algebra I, EMS Springer<br />
(1987)<br />
JPP-HdM – p. 6/3
Francois Viete (1540-1603)<br />
Introduce tres tipos de análisis:<br />
• Zetético: transformación de un problema en una<br />
ecuación.<br />
• Porístico: explorar una conjetura manipulando<br />
símbolos.<br />
• Exegético: el arte de resolver una ecuación<br />
hallada por el análisis zetético.<br />
JPP-HdM – p. 7/3
Origen del Algebra<br />
• Solución de ecuaciones polinomiales<br />
• Teoría de números<br />
• Problemas físicos y geométricos<br />
JPP-HdM – p. 8/3
Solución de ecuaciones lineales y raíces de<br />
polinomios<br />
Algebra babilónica, los hindúes, los árabes, Fiore,<br />
Cardano, Ferrari, Tartaglia, Viete, Descartes<br />
• Babilonia: libro de problemas ’prácticos’<br />
• Solución de cuadráticas y cúbicas de Omar<br />
Khayyam<br />
• Los italianos y la ecuación de 3er grado<br />
• La Geometría de Descartes<br />
JPP-HdM – p. 9/3
Solución de ecuaciones lineales y raíces de<br />
polinomios<br />
Descartes, Euler, Lagrange, D’Alambert, Gauss<br />
JPP-HdM – p. 10/3
Solución de ecuaciones lineales y raíces de<br />
polinomios<br />
Descartes, Euler, Lagrange, D’Alambert, Gauss<br />
• Los números complejos<br />
JPP-HdM – p. 11/3
Solución de ecuaciones lineales y raíces de<br />
polinomios<br />
Descartes, Euler, Lagrange, D’Alambert, Gauss<br />
• Los números complejos<br />
• Relaciones entre las raíces<br />
JPP-HdM – p. 12/3
Solución de ecuaciones lineales y raíces de<br />
polinomios<br />
Descartes, Euler, Lagrange, D’Alambert, Gauss<br />
• Los números complejos<br />
• Relaciones entre las raíces<br />
• El TFA<br />
JPP-HdM – p. 13/3
Solución de ecuaciones lineales y raíces de<br />
polinomios<br />
Ruffini, Abel, Galois (los " idiotas")<br />
• Solución por radicales<br />
JPP-HdM – p. 14/3
Solución de ecuaciones lineales y raíces de<br />
polinomios<br />
Ruffini, Abel, Galois (los " idiotas")<br />
• Solución por radicales<br />
Lagrange, Cauchy, Cayley<br />
• Permutaciones de raíces<br />
• Teoría de grupos<br />
JPP-HdM – p. 15/3
Teoría de números<br />
Diofanto, Fermat, Euler, Gauss, Lagrange, Kummer,<br />
Dedekind...<br />
• Puntos racionales en el círculo<br />
• Escribir un número como suma de 2 o 4<br />
cuadrados<br />
• Zp, enteros gaussianos, factorización única<br />
(Kummer, ideales)<br />
• Fermat<br />
–Andrew Wiles<br />
–Serre - Ribet - Dieulefait - Khare-Wintenberger<br />
JPP-HdM – p. 16/3
Problemas físico-geométricos<br />
• Latitud y longitud (Oresme)<br />
• Coordenadas y geometría analítica (Fermat,<br />
Descartes)<br />
• Curvas algebraicas (Newton, Descartes, Euler,<br />
Bezout)<br />
JPP-HdM – p. 17/3
Problemas físico-geométricos<br />
Problemas clásicos<br />
• Duplicación del cubo<br />
• Trisección del ángulo<br />
• Cuadratura del círculo<br />
(Mucha gente involucrada)<br />
JPP-HdM – p. 18/3
Problemas físico-geométricos<br />
• Espacios vectoriales (Grassman, Hamilton<br />
-quiere liberar a los complejos de la geometría!)<br />
• Rotaciones, Ecuaciones diferenciales, Simetrías<br />
de las leyes físicas (Euler, Lagrange, Cauchy, Lie,<br />
Noether)<br />
• Cálculo vectorial, leyes físicas (Gibbs, Heaviside<br />
y Stokes, "los vulgarizadores que toman de<br />
Hamilton y Grassman lo que se ha llamado<br />
cálculo vectorial", y Thompson -lord Kelvin-,<br />
Green, Tait, y Maxwell, "los cuaternonistas<br />
fanáticos")<br />
JPP-HdM – p. 19/3
Física y Geometría<br />
Maxwell quedó impresionado por los trabajos de Tait<br />
sobre aplicaciones físicas de los cuaterniones y<br />
escribió a Thomson in 1871:<br />
"You should let the world know that the true source of<br />
mathematical methods as applicable to physics is to<br />
be found in the Proceedings of the Royal Society of<br />
Edinburgh. The volume- surface- and line- integrals<br />
of vectors and quaternions and their properties as in<br />
the course of being worked out by Tait is worth all<br />
that is going on in other seats of learning."<br />
JPP-HdM – p. 20/3
Física y Geometría<br />
Tait empezó a estudiar la teoría de nudos, y empezó<br />
con la mezcla de física y cuaterniones re-escribiendo<br />
resultados de Helmholz sobre mecánica de fluídos.<br />
En particular, mostró cómo se podía describir el fluído<br />
separando su movimiento, su rotación y su dilatación.<br />
Reescribió las ecuaciones de Maxwell para el<br />
electromagnetismo vectorialmente:<br />
JPP-HdM – p. 21/3
Ley de Ampere<br />
⎧<br />
⎪⎨<br />
⎪⎩<br />
∂H3<br />
∂y<br />
∂H1<br />
∂z<br />
∂H2<br />
∂x<br />
∂H2 − ∂z = 4π j1 + ∂D1<br />
<br />
∂t<br />
∂H3 − ∂x = 4π j2 + ∂D2<br />
<br />
∂t<br />
∂H1 − ∂y = 4π j3 + ∂D3<br />
<br />
∂t<br />
1 ∂D<br />
∇ × H = j +<br />
4π ∂t<br />
H campo magnético<br />
D densidad de campo eléctrico<br />
j densidad de corriente<br />
JPP-HdM – p. 22/3
Ley de Faraday<br />
⎧<br />
⎪⎨<br />
⎪⎩<br />
∂E3<br />
∂y<br />
∂E1<br />
∂z<br />
∂E2<br />
∂x<br />
− ∂E2<br />
∂z<br />
− ∂E3<br />
∂x<br />
− ∂E1<br />
∂y<br />
= −∂B1<br />
∂t<br />
= −∂B1<br />
∂t<br />
= −∂B1<br />
∂t<br />
∇ × E = − ∂B<br />
∂t<br />
E campo eléctrico<br />
B densidad de campo magnético<br />
JPP-HdM – p. 23/3
Leyes de Gauss<br />
∂D1<br />
∂x<br />
∂B1<br />
∂x<br />
+ ∂D1<br />
∂y<br />
+ ∂B1<br />
∂y<br />
+ ∂D1<br />
∂z<br />
+ ∂B1<br />
∂z<br />
= ρ<br />
= 0<br />
∇ · D = ρ ∇ · B = 0<br />
ρ densidad de carga eléctrica<br />
JPP-HdM – p. 24/3
Los operadores ∇., ∇× también tienen unidades<br />
cuáles?<br />
JPP-HdM – p. 25/3
La abstracción en<br />
el Algebra<br />
1844 − 1931<br />
JPP-HdM – p. 26/3
1844<br />
• Hamilton, álgebras: On a new Species of<br />
Imaginary Quantities connected with a theory of<br />
Quaternions, Proc. of the Royal Irish Acad. 2<br />
(1844), 424-434, y otros tres papers.<br />
JPP-HdM – p. 27/3
• Hamilton, álgebras.<br />
1844<br />
• Grassman, espacios vectoriales: Die Lineale<br />
Ausdehnungslehre, ein neuer Zweig der<br />
Mathematik (Teoría de la Extensión Lineal, una<br />
nueva rama de las matemáticas) (1844).<br />
JPP-HdM – p. 28/3
• Hamilton, álgebras.<br />
1844<br />
• Grassman, espacios vectoriales.<br />
• Cauchy, grupos de permutaciones: Exercise<br />
d’analyse et de physique mathmatique, 3, Paris<br />
(1844) 151-252. (al año siguiente, C. R., t. XXI,<br />
277-496!)<br />
JPP-HdM – p. 29/3
• Hamilton, álgebras.<br />
1844<br />
• Grassman, espacios vectoriales.<br />
• Cauchy, grupos de permutaciones.<br />
• Kummer, ideales: De numeris complexis, qui<br />
radicibus unitatis et numeris integris realibus<br />
constant, Gratulationschrift der Univ. Breslau zur<br />
Jubelfeier der Univ. Königsberg, (1844).<br />
JPP-HdM – p. 30/3
• Hamilton, álgebras.<br />
1844<br />
• Grassman, espacios vectoriales.<br />
• Cauchy, grupos de permutaciones.<br />
• Kummer, ideales.<br />
1931<br />
Van der Waerden, Moderne Algebra, 2 vol., 1er ed.<br />
Springer, Berlin.<br />
JPP-HdM – p. 31/3
Cuál fue la mayor influencia para el álgebra a<br />
principios del s. XX?<br />
La Primera Guerra Mundial<br />
JPP-HdM – p. 32/3
1914-1918<br />
• Marne 1914: comienza la guerra de trincheras<br />
2, 6.10 5 - 2, 5.10 5 (2, 5.10 5 franceses)<br />
• Verdun 1916: uso del gas difosgeno (cloro<br />
-alemán, líquido- y fosgeno -francés, gas a 8 ◦ C)<br />
3, 8.10 5 Francia - 3, 2.10 5<br />
• Somme 1916: debut de los tanques, a 3.2 km/h<br />
4.10 5 ingleses, 2.10 5 franceses, 4.10 5 alemanes<br />
(para distraer a los alemanes de Verdún)<br />
JPP-HdM – p. 33/3
Matemáticos Franceses I<br />
1903 − 1909<br />
Delsarte, Dubreil, Cartan, Ehressman, Possel,<br />
Dubreil-Jacotin, Weil, Dieudonné, Leray, Chevalley<br />
[Kolmogorov, Segre, Church, Hodge, Mahler, Stone,<br />
Wintner, Orlicz, van der Waerden, Littlewood, de<br />
Rham, Sobolev, Lewy, Whitehead, Mac Lane, Quine,<br />
Landau, Feller, Taussky, Tikhonov, Paley, Whitney,<br />
Coxeter, Alfhors, Krein, Carlitz, Keller, Godel,<br />
Mazur, Young, Shnirelmann, Borsuk]<br />
JPP-HdM – p. 34/3
Matemáticos Franceses II<br />
1910 − 1915 : 0<br />
[Erdos, Kac, Eilenberg, Levinson, Kakutani, Doob,<br />
Bers, Dantzig, Gelfand, Kantorovich, Witt, Chern,<br />
Turing, Birkhoff, Jacobson, Turán, Fritz John, S.<br />
Schwarz, Teischmuller, Zuse, Zassenhaus]<br />
1915 − 1919 : Laurent Schwartz<br />
[Hamming, Kodaira, Tukey, Ito, Halmos, Shannon,<br />
Kaplansky, Tutte, Selberg, Kato, Iwasawa, Nicolson,<br />
Fomin, Robinson (x2), Smullyan]<br />
JPP-HdM – p. 35/3
La postguerra<br />
Bourbaki ∼ 1933<br />
JPP-HdM – p. 36/3
Era posible otra clase de álgebra?<br />
Si<br />
• René Gateaux (1889-1914)<br />
• A.-L. Cholesky (1875-31/08/1918)<br />
• Jean Cavailles (1903-1944)<br />
• Albert Lautman (1908-1944)<br />
• Simone Weil (1909-1943)<br />
JPP-HdM – p. 37/3