11.08.2013 Views

Teorica 4

Teorica 4

Teorica 4

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!