El Delta de tu Epsilon

jueves, 12 de julio de 2018

(389) PROBLEMA 6, IMO 1988.

PROBLEMA 6, IMO 1988.

Puesto que estamos en días de celebración de la IMO (International Mathematical Olympiad) que este año se celebra en Rumanía (aquí dejo un enlace a su web), en este artículo se abordará la resolución del problema más difícil que ha aparecido en los exámenes de la IMO.

Símbolo de la IMO.

Cabe destacar que el ganador de estas olimpiadas fue el célebre matemático Terence Tao (es la persona más joven de la historia en participar en la IMO teniendo solo 10 años y obteniendo una medalla de bronce a los 10, de plata a los 11 y de oro a los 12) que en este problema consiguió una puntuación de 1/7, lo cual hace pensar que el problema posee una diﬁcultad notable.

Terence Tao recibiendo la medalla de oro por parte del primer ministro de Inglaterra Bob Hawke en 1988.

Terence Tao en la IMO junto con el equipo nacional.

Otra anécdota que refleja la dificultad del problema es que Arthur Engel escribió lo siguiente sobre la dificultad del problema:

Ninguno de los seis miembros del comité australiano encargado de hacer los problemas de la IMO podía resolverlo. Dos de los miembros eran esposo y esposa George y Esther Szekeres , ambos famosos solucionadores y creadores de problemas. Como se trataba de un problema teórico de números, se envió a los cuatro teóricos de números australianos más famosos. Se les pidió que trabajaran en ello durante seis horas. Ninguno de ellos pudo resolverlo en ese momento. El comité del problema lo presentó al jurado del XXIX IMO marcado con un doble asterisco, lo que significaba un que el problema en cuestión es un problema muy complejo, posiblemente demasiado difícil de plantear. Después de una larga discusión, el jurado finalmente tuvo el coraje de elegirlo como el último problema de la competición. Once estudiantes dieron soluciones perfectas.

Entre los once estudiantes que recibieron la puntuación máxima para resolver este problema estuvieron el futuro medallista Fields Ngô Bảo Châu , el profesor de matemáticas de Stanford Ravi Vakil , el profesor de Mills College Zvezdelina Stankova y el político rumano Nicuşor Dan .

El enunciado del problema es el siguiente:

Let a and b be positive integers such that ab + 1 divides

Show that:

is the square of an integer.

En la resolución de este problema se hace uso del método Vieta jumping este método es usado en teoría de números. Se hace uso de él con frecuencia para problemas en los que se da una relación entre dos enteros positivos, junto con una hipótesis para probar sus soluciones. Existen múltiples métodos del Vieta jumping, todos ellos involucran el descenso infinito al encontrar nuevas soluciones a una ecuación usando las fórmulas de Vieta.
Las fórmulas de Vieta son fórmulas que relacionan los coeficientes de un polinomio con sumas y productos de sus raíces. Mostraré las fórmulas básicas:

Sea P(x) ∈ R[x] o P(x) ∈ C[x] (R y C son los conjuntos de números reales y complejos respectivamente) definido de la siguiente manera

$P(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}$

(donde a _n ≠ 0) por el teorema fundamental del álgebra se sabe que P(x) tiene n (no necesariamente distintas) raíces complejas x ₁ , x ₂ , ..., x _n . Las fórmulas de Vieta relacionan los coeficientes del polinomio a _k , k=0,..., n con las sumas finitas y los productos de sus raíces x _i , i= ,...,n de la siguiente manera:
${\begin{cases}x_{1}+x_{2}+\dots +x_{n-1}+x_{n}=-{\dfrac {a_{n-1}}{a_{n}}}\\(x_{1}x_{2}+x_{1}x_{3}+\cdots +x_{1}x_{n})+(x_{2}x_{3}+x_{2}x_{4}+\cdots +x_{2}x_{n})+\cdots +x_{n-1}x_{n}={\dfrac {a_{n-2}}{a_{n}}}\\{}\quad \vdots \\x_{1}x_{2}\dots x_{n}=(-1)^{n}{\dfrac {a_{0}}{a_{n}}}.\end{cases}}$

Equivalentemente indicado, el coeficiente ( n - k )-ésimo de a _n - k se relaciona con la suma de todos los posibles subproductos de raíces, tomados k - a la vez:

$\sum _{1\leq i_{1}<i_{2}<\cdots <i_{k}\leq n}x_{i_{1}}x_{i_{2}}\cdots x_{i_{k}}=(-1)^{k}{\frac {a_{n-k}}{a_{n}}}$

para k = 1, 2, ..., n (donde escribimos los índices i _k en orden creciente para asegurar que cada subproducto de raíces se use exactamente una vez).

Los lados izquierdos de las fórmulas de Vieta son las funciones simétricas elementales de las raíces.

En álgebra conmutativa los polinomios simétricos elementales de n variables X ₁ , ..., X _n

escritos de la forma e _k ( X ₁ , ..., X _n ) para k = 0, 1, ..., n , están definidos por

${\ displaystyle {\ begin {aligned} e_ {0} (X_ {1}, X_ {2}, \ dots, X_ {n}) & = 1, \\ [10pt] e_ {1} (X_ {1} , X_ {2}, \ dots, X_ {n}) & = \ sum _ {1 \ leq j \ leq n} X_ {j}, \\ e_ {2} (X_ {1}, X_ {2}, \ dots, X_ {n}) & = \ sum _ {1 \ leq j <k \ leq n} X_ {j} X_ {k}, \\ e_ {3} (X_ {1}, X_ {2}, \ dots, X_ {n}) & = \ sum _ {1 \ leq j <k <l \ leq n} X_ {j} X_ {k} X_ {l}, \\\ end {aligned}}}$

y así sucesivamente, terminando con

${\ displaystyle e_ {n} (X_ {1}, X_ {2}, \ dots, X_ {n}) = X_ {1} X_ {2} \ cdots X_ {n}.}$

en general, para k ≥ 0 se define

${\ displaystyle e_ {k} (X_ {1}, \ ldots, X_ {n}) = \ sum _ {1 \ leq j_ {1} <j_ {2} <\ cdots <j_ {k} \ leq n} X_ {j_ {1}} \ dotsm X_ {j_ {k}},}$

de modo que e _k ( X ₁ , ..., X _n ) = 0 si

k > n

Por lo tanto, para cada entero positivo

k

menor que o igual a

n

existe exactamente un polinomio simétrico elemental de grado

k

n

variables. Para formar el que tiene grado

k

, tomamos la suma de todos los productos de

k

-subconjuntos de las

n

variables.

Los polinomios simétricos elementales aparecen cuando ampliamos una factorización lineal de un polinomio monico: tenemos la identidad

$\ prod _ {{j = 1}} ^ {n} (\ lambda -X_ {j}) = \ lambda ^ {n} -e_ {1} (X_ {1}, \ ldots, X_ {n}) \ lambda ^ {{n-1}} + e_ {2} (X_ {1}, \ ldots, X_ {n}) \ lambda ^ {{n-2}} + \ cdots + (- 1) ^ {n} e_ {n} (X_ {1}, \ ldots, X_ {n}).$

Es decir, cuando se sustituyen los valores numéricos por las variables

X 1, X 2, ..., X n

, obtenemos el polinomio mónico de una variable (con la variable

λ

) cuyas raíces son los valores sustituidos por

X 1, X 2, ..., X n

y cuyos coeficientes son hasta su signo los polinomios simétricos elementales. Estas relaciones entre las raíces y los coeficientes de un polinomio son las fórmulas de Vieta.

Demostración: expandiendo la igualdad
$a_ {n} x ^ {n} + a_ {n-1} x ^ {n-1} + \ cdots + a_ {1} x + a_ {0} = a_ {n} (x-x_ {1}) (x-x_ {2}) \ cdots (x-x_ {n})$

(que es cierto desde

x_ {1}, x_ {2}, \ dots, x_ {n}

son todas las raíces de este polinomio), multiplicando los factores en el lado derecho e identificando los coeficientes de cada poder de

X.

Formalmente, si uno expande

(x-x_ {1}) (x-x_ {2}) \ cdots (x-x_ {n}),

los términos son precisamente

(-1) ^ {nk} x_ {1} ^ {b_ {1}} \ cdots x_ {n} ^ {b_ {n}} x ^ {k},

dónde

bi}

es 0 o 1, en consecuencia,

x_ {i}

está incluido en el producto o no, y k es el número de

x_ {i}

que están excluidos, por lo que el número total de factores en el producto es n (contando $x ^ {k}$ con multiplicidad k ) ( ya que hay n opciones binarias (incluir

x_ {i}

o x ), hay

2 ^ {n}

términos: geométricamente, estos se pueden entender como los vértices de un hipercubo. Agrupando estos términos por grado produce los polinomios simétricos elementales en

x_ {i}

) para xk, todos los distintos productos k- grupos de

x_ {i}.

n-dimensional se trata de una figura cerrada, compacta y convexa cuyo esqueleto consiste en grupos de segmentos de línea paralelos opuestos alineados en cada una de las dimensiones del espacio, perpendiculares entre sí y de la misma longitud. Para n=2 es un cuadrado, para n=3 es un cubo, para n=4 es un teseracto...

La solución que se expondrá en el atículo será la del Dr. J. Campbell.
Si comparamos la sorprendente semejanza entre la sustitución

que deja invariante

y la sustitución bien conocida

que deja invariante el máximo común divisor de a y b, se hace la siguiente conjetura.

Conjetura: Si a y b son enteros no negativos tales que:

es entero, entonces

Demostración: Si ab = 0, entonces el resultado es trivial. Si ab > 0 podemos suponer a ≤ b, y que el resultado está probado para valores pequeños de ab. Primero encontraremos un c∈ Z tal que:

y que cumpla

De ahí se deduce por inducción (puesto que ac < ab) que:

Para obtener c, resolveremos

y operando obtenemos que

despejando

Obsérvese que c es entero, y que mcd(a,c) = mcd(a,b). Por lo tanto, se conseguiría demostrar la conjetura si se demuestra (2). Para ello, por un lado se tiene:

con lo cual resulta (sabiendo que a ≤ b)

y esto es lo mismo que

es decir, c < b. Por otra parte

Q.E.D

Observaciones: Supongamos dado

con k entero positivo. Un estudio cuidadoso de la anterior demostración muestra que todas las soluciones (a,b) con a y b enteros no negativos de

se pueden obtener aplicando una sucesión de los operadores

a la solución (k, 0). Puesto que S² está elevado al cuadrado (es decir, S aplicado dos veces) y T² dejan invariable (a,b), toda solución de (4) tiene la forma

W(k, 0)

donde W denota una sucesión de S's y T's en la que operadores adyacentes nunca son iguales , Recíprocamente, si W es una sucesión de estas, entonces W(k,0) es una solución de (4) porque los operdores S y T dejan invariable la función

Para identiﬁcar las soluciones (a,b) = W(k,0) con a,b ≥ 0 se muestran las primeras aplicaciones de S y T a la pareja (k,0). Evidentemente, las soluciones (a,b) de la ecuación (4), con a,b ≥ 0 son:

(k, 0) (0, k) y W(k, 0)

donde la sucesión W termina en T (así que T se aplica primero a (k, 0)). Una observación final (cuya demostración se deja como ejercicio para el lector):

Si q=1 hay exactamente 3 soluciones.
Si q>1 hay infinitas soluciones.

Por lo tanto aquí termina el artículo que espero que haya sido de su agrado.

Artículo escrito por Carlos Saravia.

domingo, 24 de diciembre de 2017

(383) Teorema de Poincaré-Perelman

Teorema de Poincaré-Perelman

Este artículo tratará sobre la antes llamada Conjetura de Poincaré, que tras ser demostrada por Grigori Perelman, pasó a llamarse Teorema de Poincaré-Perelman, que actualmente es el único Problema del Milenio resuelto, estos Problemas del Milenio son siete problemas matemáticos cuya resolución sería premiada, según anunció el Clay Mathematics Institute en el año 2000, con la suma de un millón de dólares cada uno (cabe mencionar que Perelman además de renunciar a este premio, también renunció a la Medalla Fields). En realidad, lo que Perelman ha demostrado no es la conjetura de Poincaré, sino un resultado más general del cual la conjetura es un caso particular: la conjetura de geometrización de Thurston. Dicho de otro modo, una vez demostrada la Conjetura de Geometrización de Thurston automáticamente habremos obtenido también la de Poincaré. La Conjetura de Geometrización fue propuesta en 1970 por el matemático William Paul Thurston ganador de una medalla Fields en 1982 por la impresionante envergadura matemática de sus trabajos sobre variedades de dimensión 2 y 3.

En realidad, la Conjetura de Thurston constituye un problema matemático mucho más ambicioso que el de Poincaré, ya que pretende alcanzar una descripción definitiva de cualquier superficie de dimensión 3 por medio de su descomposición en piezas de estructura geométrica más simple.

Primero haré dos breves referencias biográficas sobre Poincaré y Perelman.

Poincaré fue un matemático francés. Ingresó en el Polytechnique en 1873, continuó sus estudios en la Escuela de Minas bajo la tutela de C. Hermite, y se doctoró en matemáticas en 1879. Fue nombrado profesor de física matemática en La Sorbona (1881), puesto que mantuvo hasta su muerte. Antes de llegar a los treinta años desarrolló el concepto de funciones automórficas, que usó para resolver ecuaciones diferenciales lineales de segundo orden con coeficientes algebraicos.

Poincaré.

Grigori Perelman nació el 13 de junio de 1966 en Leningrado (actual San Petersburgo). Con catorce años ingresa en la Escuela 239 de Leningrado para jóvenes talentos. Un centro de élite como otros repartidos por la URSS, donde funcionaban numerosos círculos para niños: de matemáticas, de ajedrez, de deportes, de música...Perelman formó parte del equipo de la URSS en las Olimpiadas de Matemáticas obteniendo una medalla de oro. Estudió matemáticas en la Universidad de Leningrado, tras terminar sus estudios, ha realizado contribuciones históricas a la geometría riemanniana y a la topología geométrica, una de sus contribuciones más importantes fue la demostración de la conjetura que trataremos en este artículo.

La demostración puede verse en esta web.

Grigori Perelman.

El propio Poincaré intentó, sin éxito, resolver el caso n = 3. Ante la imposibilidad de llegar a una demostración rigurosa Poincaré planteó en 1904 la siguiente conjetura, que ha pasado a la historia como la Conjetura de Poincaré:

Toda 3-variedad compacta y simplemente conexa es homeomorfa a S³

Si bien Poincaré solamente estudió el caso n = 3, los matemáticos posteriores consideraron la cuestión para cualquier n ≥ 3. En realidad, para n > 3 se sabe que el grupo fundamental no es suficiente para caracterizar las superficies compactas, y es necesario recurrir al concepto más general de variedades homotópicamente equivalentes. De esta manera, para n > 3 la Conjetura se enuncia del siguiente modo:

Toda n-variedad compacta y simplemente conexa es homeomorfa a Sⁿ

Para entender este enunciado, introduciré conceptos básicos de topología:

Variedad: es una generalización de curva y superficie a espacios de mayor dimensión. Una curva en el plano $\mathbb R$ ² (recta, parábola…) es una 1-variedad, una superficie en $\mathbb R$ ³ (esfera, cilindro…) es una 2-variedad, y así sucesivamente. Por tanto, una 3-variedad es un objeto matemático de $\mathbb R$ ⁴ (sí, un espacio de 4 dimensiones).

Nota: en todos los casos se toman los bordes de la figura. Por ejemplo, cuando hablemos de la esfera estaremos considerando la superficie exterior, es decir, la parte interior no cuenta. No es una esfera maciza, es simplemente la parte externa.

Compacto: un recubrimiento abierto de un subconjunto A ⊆ X de un espacio topológico, es una familia de conjuntos abiertos {O_i}_i_∈_I de X, tales que su unión "cubre" a A:

$\bigcup _{{i\in I}}O_{i}\supseteq A$

Para todo recubrimiento C de un conjunto A, un sobrecubrimiento D es una subfamilia de C, D ⊆ C que sigue siendo un recubrimiento de A es decir, una subcolección de conjuntos de C que cubre a A.

Un espacio topológico X se dice compacto si, dado un recubrimiento abierto de X, existe un sobrecubrimiento finito del mismo.

Simplemente conexo: un espacio topológico X es simplemente conexo si es conexo por caminos y toda aplicación continua $f:[0,1]\to X$ que sea un lazo, es decir, que verifique $f(0)=f(1)=p$ para algún punto p∈X es contractíble de forma continua a dicho punto mediante una homotopía $H:[0,1]\times [0,1]\to X$ tal que $H(s,0)=f(s)$ y $H(s,1)=p$ .
Nota: una homotopía en topología, concretamente en topología algebraica, son dos aplicaciones continuas de un espacio topológico en otro y se dice que estas son homotópicas.

Fig.0.

Los dos caminos en negrita que se muestran arriba son homotópicos en relación a sus extremos. Las líneas finas marcan isocontornos de una posible homotopía.

Nos podemos quedar con que esto significa que la variedad en cuestión no tiene agujeros. Un ejemplo para entender mejor esto: la 2-variedad S² (la esfera tal y como todos la conocemos) es simplemente conexa, pero la 2-variedad T (toro) no lo es, ya que tiene un agujero en medio (Fig.1).

Fig.1.Toro.

Homeomorfo: significa que se pueda plantear un homeomorfismo (aplicación continua y biyectiva cuya inversa es continua) entre ellos. Básicamente se dice que dos n-variedades son homeomorfas si son topológicamente iguales, es decir, si al estudiar ciertas propiedades en cada una de ellas resultan coincidir. Geométricamente podríamos decir que deformando una sin romperla podemos llegar a la otra. Por ejemplo, una circunferencia y una elipse (1-variedades) son homeomorfas, ya que puedo deformar cada una de ellas (sin romperlas) y transformarlas en la otra (Fig.2).

Fig.2.

Ahora veamos una explicación geométrica. Lo explicaremos con 2-variedades, es decir, figuras en 3 dimensiones.

Simplemente conexo: supongamos una esfera, que es una 2-variedad (Fig.3).

Fig.3.Esfera.

Cogemos una cuerda, rodeamos la esfera con ella (por ejemplo, por el ecuador de la misma, aunque podría ser por cualquier otro sitio) y le hacemos un nudo corredizo. Este nudo se irá haciendo más pequeño hasta acabar siendo un punto Fig.4. Y esto pasa con cualquier curva cerrada situada en cualquier parte de la esfera.

Fig.4.

Supongamos que situamos la cuerda rodeando el toro en perpendicular a la figura. Si tiráramos de ella no pasaría lo mismo que en el caso anterior, seguiría siendo de la misma forma y del mismo tamaño, y lo mismo ocurriría si moviéramos la cuerda alrededor del toro.

Si rodeamos el toro en paralelo a la figura y tiramos de la cuerda sí conseguiremos deformarla, pero debido al agujero que el toro tiene en medio no podremos conseguir que la cuerda llegue a ser un punto, como en el caso anterior. Cuando llegáramos al borde interno no podríamos seguir. De esta forma podemos ver que efectivamente el toro es una 2-variedad que no es simplemente conexa.
En Fig.5 se visualizan las distintas formas de anudar explicadas anteriormente.

Fig.5.

Para n = 2 lo expuesto anteriormente nos dice que las 2-variedades esfera y toro no son homeomorfas. Es decir, que de las propiedades topológicas de una de ellas no podemos sacar información de las propiedades topológicas de la otra, debemos estudiar cada 2-variedad por separado.

Sin embargo, si tomamos un elipsoide:

Fig.6.Elipsoide.

Podemos ver que el experimento de la cuerda nos da los mismos resultados que los obtenidos con la esfera. Al ser también el elipsoide una 2-variedad compacta tenemos, por el teorema de Poincaré que la esfera S² y el elipsoide son homeomorfos. Esto también se puede ver intuitivamente en este caso, ya que por ejemplo podemos deformar el elipsoide (sin romperlo) y convertirlo en una esfera.

Finalmente, este teorema es importante debido a que decir que dos variedades son homeomorfas quiere decir que, son topológicamente iguales. El teorema nos permite que, comprobando que una 3-variedad es compacta y simplemente conexa sabremos muchísimas más cosas de ella, ya que las propiedades topológicas de S³ son conocidas, y al ser homeomorfas la otra 3-variedad hereda todas ellas.

Y aquí acaba el artículo que espero que le haya resultado satisfactorio.

Artículo escrito por Carlos Saravia.

sábado, 16 de diciembre de 2017

(373) Ilustración del principio de dualidad

Dualidad

La geometría ha cautivado la mente humana desde que se tiene registro del pensamiento, y probablemente desde que ha habido pensamiento. La belleza de las formas geométricas y su omnipresencia en la naturaleza, como subterfugios de orden en un mundo de caos (dejando a parte procesos caóticos como el clima) ha sido objeto de culto y estudio por todas las culturas. Tras el paso de los milenios, el hombre ha encontrado (o inventado, o querido ver dónde no había nada... pero no deseamos entrar en esa discusión) objetos geométricos curiosísimos, siendo buen ejemplo de esto la botella de Klein o la trompeta de Gabriel. Sin embargo, no se necesitan tales abstracciones para sorprender a quien esté leyendo esto, basta con que tome papel, lápiz (y goma de borrar) y siga las siguientes indicaciones:

Dibujemos dos puntos, llamémoslos A y B. Esos dos puntos determinan una única recta c.

De acuerdo, aun no es muy sorprendente, o al menos se ha visto las veces suficientes como para que deje de sorprender, pero sigamos dibujando e ignoremos la referencia a Hume que suscita lo anterior. Consideramos ahora las rectas a y b, estas rectas intersecan en un único punto C (suponemos que no hay rectas paralelas, volveremos sobre esto más adelante).

¿Aun no se ha sorprendido? Bueno, ante lector tan impertérrito habrá que sacar la artillería. Vamos con la configuración de Pappus de Alejandría, matemático griego que vivió entre los siglos III y IV.

Consideramos dos rectas, pongamos que l y r, que intersecan en un punto O. Ahora tomamos los puntos, A, B, y C en r y A’, B’ y C’ en l. Trazamos las rectas que pasan por A y B’ y por B y A’; sea C1 su intersección. Hacemos lo mismo con las recta que pasa por A y C’, y con la que pasa por C y A’; sea C2 su intersección. Por último consideramos la recta que pasa por B y C’ y la que pasa por B’ y por C; sea C3 su intersección. Pues bien, el teorema de Pappus asegura que C1, C2 y C3 están alineados siguiendo una recta a la que llamaremos s. Nuevamente, estamos suponiendo que siempre hay intersección entre rectas.

Hemos coloreado dos rectas para que se vea mejor, pero el lector puede seguir con su lápiz y su fiel goma de borrar. El uso de regla, aunque sensato, priva a nuestros dibujos del romanticismo que otorga el no saber si va a salir bien o no, por lo que no lo recomendamos.

Vamos con el último resultado antes de explicar qué estamos haciendo. Se recomienda usar regla, a pesar de la falta de romanticismo, la cual puede compensarse usando colorines para no perderse. Consideramos los puntos L y R. Sean a, b y c tres rectas que pasan por L y sean a’, b’ y c’ otras tres rectas que pasan por R. Sea c1 la recta que pasa por la intersección de a y b’ y por la intersección de b y a’. Sea c2 la recta que pasa por la intersección de a y c’ y por la intersección de c y a'. Por último, sea c3 la recta que pasa por la intersección de b y c’ y por la intersección de c y b’. Pues bien, estas tres rectas intersecan en un punto al que llamaremos S.

Pido ahora al lector que revise los enunciados 1 y 2, y asimismo los enunciados 3 y 4. Efectivamente, puede apreciarse una relación entre cada pareja. Hemos intercambiado puntos por rectas, uniones por intersecciones y los sentidos en las relaciones de contenecia. Al resultante de este intercambio se le llama “enunciado dual” y resulta ser cierto si y sólo si lo es el primero. No entraremos aquí en la demostración de que esto sea cierto, pero un lector curioso no debería tener problemas para encontrarla, por lo común de esta.

Por supuesto, en todos los enunciados hemos supuesto que dos rectas cualesquiera se cortan, esto es, que no hay paralelismo. La explicación de esto está en que la dualidad se enuncia en espacios proyectivos (para su definición véanse entradas anteriores), en los cuales dos rectas siempre se cortan.

Si alguien se ha quedado con ganas de más y quiere seguir dibujando enunciados y sus duales, el teorema de Desargues también admite una representación geométrica muy vistosa, y también está definido sobre el espacio proyectivo.

Diego Munuera Merayo.

martes, 5 de diciembre de 2017

(367) Las matemáticas de San Bourbaki 2017

Las matemáticas de San Bourbaki 2017

Recomiendo al lector que antes de comenzar a leer este artículo, si no conoce la tradición de San Bourbaki llevada a cabo por los matemáticos de la Universidad de Valladolid, visite este artículo de nuestro blog:

http://deltadetuepsilon.blogspot.com.es/2013/11/23-nicolas-bourbaki.html

Pues bien, una vez conocida la tradición, pasemos a hablar de las matemáticas contenidas en el logotipo de San Bourbaki 2017, he aquí el logo:

Estas hacen referencia a una acertada frase del Dr. Felipe Cano Torres, nacido en Valladolid, catedrático de matemática pura (geometría y topología) en la facultad de ciencias de la UVa . Esta frase dice que un buen matemático es aquel que tiene las 3 potencias del alma (concepto de San Agustín); siendo estas inteligencia, voluntad y memoria.

Primero, antes de hablar sobre el plano de Fano se define a la geometría proyectiva como la rama de la geometría que estudia los objetos lineales (puntos, líneas, planos, hiperplanos, etcétera) y cómo se intersecan. Estos objetos son estudiados en espacios que tiene más puntos que los espacios usuales y se denominan espacios proyectivos.

Se puede definir el plano proyectivo mediante cuatro axiomas de incidencia entre puntos y rectas:

(i) Dos puntos determinan una única recta.
(ii) En cada recta hay al menos tres puntos.
(iii) Hay tres puntos no alineados.

(iv) Dos rectas cualesquiera se cortan en un punto.

Si estos axiomas se cumplen para un conjunto de puntos en el que se señalan ciertos subconjuntos como las rectas y se define la relación de incidencia punto pertenece a recta, entonces tenemos un plano proyectivo.

Los axiomas que definen un plano proyectivo pueden aplicarse a conjuntos finitos de puntos y rectas, situación que se aleja de la intuición geométrica más inmediata. Se tienen en este caso los planos proyectivos finitos. La Geometría Proyectiva finita fue considerada ya por Von Staudt, y formalizada con todo rigor por matemáticos posteriores. Mención especial entre éstos merece Gino Fano (1871-1952).

Gino Fano (1871-1952).

Es claro que, si un plano proyectivo finito está definido sobre un cuerpo, éste debe ser finito. Se demuestra entonces que, si el cuerpo tiene p elementos, el plano proyectivo tiene 1+p+p² puntos, y el mismo número 1+p+p² de rectas. De este modo, el plano proyectivo finito más pequeño está definido sobre el cuerpo de dos elementos, y resulta tener 7 puntos y 7 rectas (la circunferencia también es una de las rectas proyectivas). Este plano de siete puntos se representa mediante la configuración siguiente, que muestra las incidencias de puntos y rectas. Esta configuración se denomina plano de Fano, pues fue Gino Fano en 1892 quien primero consideró esta configuración y otras análogas en dimensión superior.

Plano de Fano.

Para terminar el artículo podemos observar en la parte inferior el nombre de Lord Vandermonde sustituyendo este a Lord Voldemort.

Alexandre-Théophile Vandermonde fué un matemático y violinista francés que trabajó con Bézout y Lavoisier, en la actualidad su nombre va principalmente asociado a la teoría de los determinantes en matemáticas, siendo una matriz de Vandermonde, en álgebra lineal, una matriz que presenta una progresión geométrica en cada fila. Los índices de la matriz de tamaño n×n están descritos por para todos los índices i y j variando de 1 a n

$V_{i,j}=\alpha _{i}^{j-1}$

lo cual se puede describir explícitamente de la forma siguiente:

Pudiendo calcular el determinante de esta con la fórmula:

${\begin{vmatrix}V\end{vmatrix}}=\prod _{1\leq i<j\leq n}(\alpha _{j}-\alpha _{i})$

Y hasta aquí ha llegado el artículo que espero que haya sido del agrado del lector y ya solo me queda decir: ole, ole, San Bourbaki, ole, ole, nuestro santo.

Artículo escrito por Carlos Saravia.

miércoles, 29 de noviembre de 2017

(359) Enlace a una página de Matemáticas.

Para a quién le pueda interesar, el siguiente enlace nos lleva a una página con contenidos sobre geometría.

Se trata de la antesala de una película dividida en capítulos, película que contempla desde geometría elemental hasta ideas sobre la cuarta dimensión.

La película en su totalidad es larga (117 minutos) pero puede verse capítulo a capítulo. Incluso pueden verse algunos capítulos sueltos (en la página lo explican con mayor exactitud).

He aquí el enlace: http://www.dimensions-math.org/Dim_ES.htm

Diego Munuera Merayo.

jueves, 23 de noviembre de 2017

(353) Bourbaki 2017

La Facultad de Ciencias ya no es un Lugar Seguro: Enemigos de las Matemáticas Preparaos. BOURBAKI 2017

Otro año más nos encontramos saboreando las dulces mieles de Bourbaki. Esta fiesta acoge en su seno por cuadragésimo novena vez a todo tipo de matemáticos, algebristas o analistas, para un disfrute sin comparación.

Se dice pronto, pero 49 años ya son muchos (en específico 7 al cuadrado) en los que nuestro santo ha ofrecido risas y alegría a los alumnos de la carrera, de los cuales, algunos elegidos por el santo han sido dignos de enseñar el dulce néctar los Álgebras (bueno, si trabajamos en el Espacio Proyectivo es mas amargo que un ajo sin pelar), la abstracción subyacente en la Topología o laboriosa tarea de la construcción de lo que hoy es conocido como Análisis Matemático. Estos profesores tienen muchas historias que contar y os traemos la historia de alguien muy querido por todos nosotros "Javichuelo".

Orígenes de Bourbaki

Antes de desvelar todos los secretos que nos va a proporcionar nuestro entrevistado, aclaremos de dónde viene el nombre de Bourbaki. Muchas personas piensan que dicho nombre proviene de algo tan serio como "Bourbaki, el grupo francés encargado de formalizar toda la teoría matemática desde los trabajos realizados en la antigua Grecia hasta el siglo XX". Lo que no mucha gente sabe, es que el nombre de dicho grupo de matemáticos proviene del estudiante Raoul Husson que durante su último curso, se disfrazó del profesor Holmgren y expuso ante sus profesores la demostración del Teorema de Bourbaki, un resultado que lleno de imperceptibles incongruencias, dejaría atónitos a todos los asistentes.

Entrevista a Javier Jimenez Garrido

Ahora os relataré las historias de Javier Jiménez Garrido. Para los que no le conozcan, es uno de los grandes profesores que imparten la asignatura de Cálculo Infinitesimal, sea la hora que sea te recibe en su despacho con su gran bote y por la propiedad estrella resuelve todas tus dudas en cualquier ejercicio.

Nacido de padres científicos, empezó a sentir gran interés por las matemáticas desde joven. Creció, entró en la universidad, creo que no hace falta decir que entró en la carrera santificada por el gran Bourbaki, y el primer año ya se enamoró de esta festividad, tal sería su implicación, que en su segundo año de carrera tomaría el manto de Profeta "El iluminado por santo para sacar la fiesta adelante"; de hecho recuerda esta fiesta con gran cariño y la define como la función seno "sufre altos y bajos pero siempre es continua". Al preguntarle por el Bourbaki que recuerda con más cariño, la respuesta fue aquel en el que tomaba papel de veterano y sacó a relucir dos datos interesantes: En su año se instauró la barrilada que hoy en día se considera la más importante de la carrera de matemáticas, en efecto "La Barrilada de la Integral y la Derivada" y la anécdota de Asklepios.

Anécdota de Asklepios

El Bourbaki correspondiente al tercero de carrera de Javier, fue un día muy lluvioso

y como no debe ser de otra manera, la quema del santo se debe realizar, queriéndose llevar

a cabo en los soportales en frente de Asklepios, la discoteca elegida para la festividad ese

año. Los porteros, se quedaron extrañados observando dicho acto, se les acercaron

y les dijeron: "Mirad chicos, sois muy raros así que no entráis". E indignados por haberse

quedado sin discoteca la mitad de ellos no han vuelto a pisar por allí (Normal).

El Delta Prometido

Como no, tendríamos que ofrecer un pequeño protagonismo a la obra de teatro que se llevará a cabo esta tarde a las 18:00 en la sala Hedy Lamarr de la Facultad de Telecomunicaciones. Obra escrita y dirigida por Antonio Casares y protagonizada por Beatriz Peñalba, ganadora de un BEAfta por su papel en "La Picha de Rienman a Caballo", haciendo el papel de Delta', Ruben Calvo alias "Weasly", internacionalmente conocido por su papel en "Movidas en los Mundos del Pelirrojo", interpretando a Épsilon' y un humilde servidor conocido por actos grotescos y abominables como "Travistiendo a M10 en la Picha de Rienman" o "El Tio de la Batamanta Rosa".

Páginas