Cuadrados

Junio 23, 2009

Un número entero es suma de los dos cuadrados de dos enteros sii no es divisible por ningún primo de la forma 4n-1. ¿Cuándo es un número racional suma de los cuadrados de dos números racionales?


Crísis de valores

Junio 18, 2009

Calcule el producto de los valores críticos de un polinomio f\in\mathbb{C}[X] en término de sus coeficientes.


Urgh

Mayo 21, 2009

El teorema de Krein-Milman nos dice que un convexo compacto en un espacio localmente convexo (por ejemplo, un espacio de Banach) es la clausura de la cápsula convexa del conjunto de sus puntos extremales.

Muestre que si el espacio es de Banach de dimensión infinita, entonces casi todo convexo compacto es la clausura de su conjunto de puntos extremales. Aquí “casi todo convexo” significa lo siguiente: el conjunto de los convexos compactos que satisfacen esa propiedad es de primera categoría en el espacio métrico de los convexos compactos con su métrica de Hausdorff.

(Para que esto tenga algún sentido, hay que ver antes que el conjunto de los compactos convexos de un espacio de Banach, dotado de la métrica de Hausdorff, es un espacio métrico completo, claro…)


Retorcido

Mayo 11, 2009

Sea C=S^1\times I el cilindro, y sean f_0,\,f_1:C\to\mathbb{R}^3 las inmersiones sugeridas en las siguientes figuras:

cilinders

La segunda inmersión «da una vuelta completa»

¿Se puede deformar f_0 a f_1 vía inmersiones?


No tenemos mas trabajo :P

Mayo 9, 2009

Mientras tanto…

Abril 16, 2009

No hay mucha actividad por estos lados…

Para mantener el piloto encendido, un par de links a dos notas de la muy interesante Michèle Audin:


Variaciones

Marzo 28, 2009

‘Can you do Division? Divide a loaf by a knife—what’s the answer to that?’

Lewis Carroll, Alice in Wonderland.

Sean A y B dos anillos de división y sea f:A\to B una función inyectiva que es un morfismo de los grupos abelianos aditivos subyacentes y tal que para cada a\in A\setminus\{0\} se tiene que

f\bigl(\frac1a\bigr) = \frac1{f(a)}.

Entonces f es o bien un morfismo de anillos o bien un anti-morfismo de anillos.


Cosas con M

Marzo 19, 2009

‘They were learning to draw,’ the Dormouse went on, yawning and rubbing its eyes, for it was getting very sleepy; ‘and they drew all manner of things—everything that begins with an M—’

‘Why with an M?’ said Alice.

‘Why not?’ said the March Hare.

Alice was silent.

Lewis Carroll, Alice in Wonderland.

Si G es un grafo (simple, sin lazos, no orientado) finito, una inmersión extraña de G en el plano es una forma de dibujarlo en el plano de manera tal que (i) los vértices son todos distintos, (ii) cada arco es un arco de Jordan (sin problemas podemos suponer que son suaves o lineales a trozos), (iii) si dos arcos se intersecan lo hacen o bien en un extremo común o bien en puntos interiores de los dos, y en este segundo caso la intersección es transversal, y (iv) se cumple la condición de que todo par de arcos se interseca una vez.

¿Puede dar ejemplos?


Formalidades

Marzo 16, 2009

Sea G el conjunto de series formales de potencias

a_1 t+a_2 t^2 + a_3 t^3 + \cdots

con coeficientes complejos, término constante nulo y a_1\neq0.
Definamos una operación \mathord\circ:G\times G\to G de manera que si f= a_1 t+a_2 t^2 + a_3 t^3 + \cdots y g son dos elementos de G, entonces

f\circ g = \sum_{n\geq1} a_n g^n.

Es fácil ver que esta serie converge, así que esto tiene sentido. Por supuesto, esta operación es simplemente la composición formal.

  • Muestre que (G,\mathord\circ) es un grupo. ¿Es divisible?
  • Es subconjunto G_0\subset G de las series con radio de convergencia positivo es un subgrupo. ¿Es divisible? ¿Puede dar al menos condiciones para que un elemento de G_0 sea el cuadrado de otro elemento de G_0?

What’s cohomology got to do, got to do, got to do with it?

Marzo 11, 2009

Definición: Sea A un anillo (conmutativo, con unidad…), y sean I, J dos ideales de A. Definimos el conductor de I en J como (I:J) = \{ a \in A: aI \subset J\}.

Sea f \in k[x,y] un polinomio, que se escribe como f = \alpha_1 \cdot \alpha_2 \cdots \alpha_k, donde cada \alpha_i = \beta_i x + \gamma_i y + \delta_i. Supongamos además que los \alpha_i son todos distintos. Demostrar que (f_x : f) \cap (f_y:f) = (f)

¿Qué pasa si se agregan más variables?