Mayo 17, 2009

Se me dice: ¿Y la Ciencia? ¿No intenta, por otros caminos, reducir el misterio que nos rodea?

Quizá. Pero la Ciencia no me interesa. Me parece presuntuosa, analítica y superficial. Ignora el sueño, el azar, la risa, el sentimiento y la contradicción, cosas todas que me son preciosas.

Luis Buñuel

Mayo 17, 2009

Para que pueda ser he ser otro,

salir de mí, buscarme entre los otros,

los otros que no son si yo no existo,

los otros que me dan plena existencia.

Octavio Paz

Marzo 11, 2009

“Let me sum it up for you. Information is not knowledge. Knowledge is not wisdom. Wisdom is not truth. Truth is not beauty. Beauty is not love. Love is not music. Music is the best.”

Frank Zappa

Morfismo de K-Algebras

Febrero 24, 2009

Sea K un cuerpo cualquiera y denotemos por {\cal M}_n(K) el anillo de matrices de n\times n con su estructura de K-algebra natural.

Probar que si se tiene un morfismo de K-algebras \psi:{\cal M}_m(K)\rightarrow{\cal M}_n(K) entonces m divide a n.

Nota: No se cual es la defincion usual de morfimos de K-algebras pero le pido que \psi(I_m)=I_n.

Read the rest of this entry »

En general para demostrar que para todo cuerpo K existe su clausura algebraica se procede de la siguiente manera:

Pongamos E_0=K y construyamos una extension algebraica E_1/E_0 tal que todo polinomio de E_0[x] tenga una raiz en E_1 (*). Analogamente se va construyendo una sucesion de cuerpos (cada uno algebraico sobre el anterior) tal que todo polinomio en E_n[x] tenga una raiz en E_{n+1}

E_1\subset E_2\subset...\subset E_n\subset ..

Finalmente se toma E=\bigcup E_n y se prueba que todo polinomio en E[x] tiene una raiz en E de donde E es algebraicamente cerrado.

Vale la pena remarcar que en realidad no hace falta irse tan lejos, de hecho E_1 ya es algebraicamente cerrado!!!!

Mas precisamente:

Sea E/K una extension algebraica de cuerpos tal que todo polinomio en K[x] tiene una raiz en E. Probar que E es algebraicamente cerrad0.

Read the rest of this entry »

Probar que {\sqrt[3]{2}}+{\sqrt[3]{3}}+{\sqrt[3]{5}} no es racional.

Read the rest of this entry »

Dominios de Dedekind

Febrero 19, 2009

En lo que sigue consideremos un anillo integro con unidad R y denotemos por K su cuerpo de fracciones (asumamos de paso que R\neq K). Un ideal fraccionario I es un R-submodulo de K finitamente generado.

Las siguientes afirmaciones sobre R son equivalentes:

1) Todo ideal se factoriza de forma unica como producto de primos.
2) Es noetheriano, primo implica maximal e integramente cerrado.
3) Todo ideal fraccionario es inversible (ie: para todo ideal fraccionario I existe un ideal fraccioanrio J tal que IJ=R).

Es interesante como varios libros de textos definen un anillo de Dedekind via 2) y luego prueban 1) sin mencionar que esto es en realidad una equivalencia (e historicamente la motivacion original para estudiar tales anillos!!). Esto se debe a que en general es mucho mas facil chequear 2) que 1) (por ejemplo para el caso del anillo de enteros de un cuerpo de numeros).

Read the rest of this entry »

Febrero 9, 2009

El Hermoso consuelo de encontrar el mundo en un alma,  de abrazar a mi especie en una criatura amiga.

F. Holderlin

Febrero 9, 2009

Existian unos hechos ciertos, sí, que saltaban a los ojos, pero que resultaba muy dificil ordenar y analizar; tampoco era posible otorgarles un fundamento logico. Sin embargo, a pesar de esa dificultad, de esa imposibilidad, producian en conjunto una impresion a la que no podia sustraerse y que, poco a poco, se convertia en conviccion absoluta.

F. Dostoyevski, El Idiota

Sobre Proba

Diciembre 21, 2008

1_ Aleatoriedad, Esperanza y Varianza.
2_ Probabilidad como frecuencia relativa.
3_ ¿Que es la ley de los grandes numeros?¿Por que se llama asi?
4_ ¿Que significa el teorema central del limite?
5_ ¿De donde sale la distribucion de Poisson? ¿Que es un proceso de Poisson?
6_ Variable Aleatoria vs Funcion medible
7_ Sigma-algebra como informacion.
8_ ¿En que se diferencia la Teoria de la Medida de la Teoria de Probabilidades?
9_ Real-Proba o Proba-Real
Read the rest of this entry »