Uncategorized « Seminario de Problemas

Familias

Noviembre 23, 2009

Sea $\mathcal F$ una familia de funciones analíticas definidas sobre un abierto $U\subseteq\mathbb C$ . Si para cada $z\in U$ el conjunto $\{f(z):f\in\mathcal F\}$ es finito, ¿es necesariamente la familia $\mathcal F$ finita?
¿Qué pasa si las funciones de $\mathcal F$ son solamente infinitamente diferenciables?

Si en el primer punto reemplazamos la palabra «finito» por «numerable», entonces el enunciado que se obtiene es, de acuerdo a un teorema de Paul Erdős, independiente de $\mathrm{ZFC}$ . (!!)

3 comentarios | Uncategorized | Permalink
Escrito por Grin Without a Cat

Supongamos que hay n puntos en un cuadrado, uno de los cuales es el vértice inferior izquierdo. ¿Siempre se pueden elegir n rectángulos disjuntos, cada uno de ellos con el vértice inferior izquierdo en uno de los puntos, de manera que cubran más de la mitad del área del cuadrado?

Deja un Comentario » | Uncategorized | Permalink
Escrito por unimbecil

faltan problemas de probabilidad y me acorde uno

Noviembre 21, 2009

Un mono tipea al azar las 26 letras del alfabeto en una pc,

¿cuánto tarda en promedio en escribir ABRACADABRA?

Gracias M.G

un mono tipea al azar las 26 letras del alfabeto en una pc, cuanto tarda en promedio en escribir abracadabra? es aceptable como problema para la página?

1 comentario | Uncategorized | Permalink
Escrito por julianhaddad

Tuberías

Noviembre 13, 2009

En el plano $xy$ de $\mathbb{R}^3$ dibujemos el tablero de ajedrez infinito usual, y despues consideremos la superficie $S$ de los puntos de $\mathbb{R}^3$ que están a distancia $1/4$ de los puntos de las rectas que dibujamos. Por otro lado, tapemos a $\mathbb{R}^3$ por cubos de lado $1$ como siempre y consideremos la superficie $T$ de los puntos de $\mathbb{R}^3$ que están a distancia $1/4$ de la unión de los lados de todos los cubos.

¿Las superficies $S$ y $T$ son homeomorfas?

Deja un Comentario » | Uncategorized | Permalink
Escrito por Grin Without a Cat

Distancia

Octubre 16, 2009

Sea $U(n)$ el grupo unitario, visto como grupo de Lie dotado de una métrica riemanniana invariante por translaciones. Determine la distancia geodésica entre dos elementos del grupo.

1 comentario | Uncategorized | Permalink
Escrito por Grin Without a Cat

Simplicidad

Octubre 14, 2009

alas, it is my vice, my fault:
Whiles others fish with craft for great opinion,
I with great truth catch mere simplicity

William Shakespear, Troilus and Cressida, Acto 4, Escena 4. Habla Troilo.

Una lista de $n^2+1$ números reales distintos contiene una sublista de $n+1$ elementos que es o creciente o decreciente. Por ejemplo, la lista $3,1,4,2,5$ tiene a $3,4,5$ como sublista ordenada.

1 comentario | Uncategorized | Permalink
Escrito por Grin Without a Cat

Respuesta sencilla a pregunta compleja

Octubre 11, 2009

Es sabido que si $z\in\mathbb{C}$ , la única forma de que se anule $f(z)=1+z^2$ es que sea $z=\pm i$ . Así, si $x\in\mathbb{R}$ , como la distancia entre $x$ y cualquiera de los puntos $\pm i$ es $\sqrt{1+x^2}$ , siempre que $|z-x|<\sqrt{1+x^2}$ sabremos que $f(z)\neq 0$ . La pregunta es: ¿se puede probar esto sólo acotando, sin usar el argumento de que las raíces de $f$ son $\pm i$ ?

Por ejemplo: ¿Se puede probar que si elegimos un real $x$ y consideramos la matriz $X=xI_n \in \mathbb{R}^{n\times n}$ , entonces toda otra matriz cuadrada $Z$ que esté a distancia menor que $\sqrt{1+x^2}$ de $X$ será inversible? Acá la distancia me parece que debería ser la dada por la norma de Frobenius, que es elevar al cuadrado todos los coeficientes, sumar y tomar raíz cuadrada. O alternativamente, se calcula con la fórmula $\|A\|=\sqrt{tr(A^tA)}$ . (Después de esto hay que normalizar dividiendo el resultado por $\sqrt{n}$ para que $I_n$ tenga norma 1.)

Una formulación precisa creo que es la siguiente: Sea $\mathcal{A}$ una $\mathbb{R}$ -álgebra normada con unidad $I$ , y sea $x \in \mathbb{R}$ . Sea $z \in \mathcal{A}$ tal que $\|z- xI\| < \sqrt{1+x^2}$ . Probar que $1+z^2$ es inversible. Se puede suponer que el producto es conmutativo para la prueba.