You are currently browsing the monthly archive for septiembre 2013.
Como entonces
y
con
,
,
y si
es de soporte compacto.
1.- donde
En este caso, y, por tanto,
. De esta manera, tenemos:
,
,
2.-
Ahora hacemos
,
,
3.-
En esta ocasión,
,
,
4.-
Definimos
,
,
5.- con
Para esta ecuación,
,
,
6.-
Finalmente, tenemos
,
,
Un salto cualitativo en las matemáticas se produce al introducir las estructuras algebraicas: un conjunto de elementos con unas operaciones cumpliendo ciertas propiedades, ya que nos permiten abstraernos de los objetos concretos y sacar conclusiones generales a partir de las propiedades que cumplen, de manera que podemos demostrar teoremas que seran tan validos en los enteros como en los polinomios, por decir algo.
Los elementos pueden ser números (, …) o no (polinomios, matrices, funciones, …). Las operaciones (o leyes de composición) pueden ser internas (la suma, el producto, la composición, …) o externas (producto por escalar, …) y las propiedades son la asociatividad, la existencia de neutro, de inverso, la conmutatividad, distributividad, etc.
Pero como en las matemáticas siempre podemos abstraer mas, podemos convertir a las propias estructuras algebraicas en nuevos objetos de estudio e intentar buscar que tienen en común entre ellas, dando origen al álgebra universal.
En el álgebra universal tenemos categorías. Una categoría está formada por:
: un conjunto de objetos, que denotaremos mediante
La siguiente URL realiza una busqueda en la prestigiosa revista Annals of Mathematics de todos aquellos artículos que contengan la palabra Spain:
http://annals.math.princeton.edu/?s=Spain
que nos devuelve como resultado 22 artículos a partir del 2004 que tienen a algún español entre sus autores. De estos, los únicos autores que repiten son: Diego Cordoba (3), Francisco Gancedo (3), Antonio Cordoba (2), Angel Castro (2) y Gabriel Navarro (2).
Por cierto, una curiosidad: resulta que Antonio Cordoba ¡es el padre de Diego Cordoba! Supongo que el padre debe estar orgullosisimo de que el hijo ya lo supere (por lo menos en artículos en Annals 🙂
Dado cualquier número primo , el conjunto
de los enteros módulo
tiene estructura de cuerpo. Solemos escribir
para referirnos al cuerpo finito de
elementos.
En particular, cuando , tenemos el cuerpo
con la suma y el producto, que están en correspondencia, desde el punto de vista de las álgebras de Boole, con las operaciones XOR y AND.
Si es un cuerpo, se puede dotar fácilmente a
de estructura de cuerpo.
Por lo tanto, es un cuerpo, también finito. Como todos los cuerpos finitos de
elementos son isomorfos entre ellos y el cuerpo anterior tiene
, estamos tratando con
. Podriamos haber construido el cuerpo de otra manera: buscar un polinomio irreducible
de grado
con coeficientes en
y construir
como:
.
Se puede demostrar que cualquier cuerpo finito es un espacio vectorial sobre cierto
. En particular,
es un espacio vectorial sobre
de dimensión
.
Existe un teorema, que en nuestro nos lleva a algo que ya sabiamos, que nos dice que si es un
-ev de dimensión
entonces
es isomorfo a
(en nuestro caso
es
y
es
, por lo que
).
Dado un anillo y sea
el anilllo de polinomios sobre
. Entonces la derivada formal de
es
.