Regla y Reflejometro

noviembre 30, 2008

Un reflejometro es un instrumento que realiza la siguiente construccion: Dados tres puntos X, Y, Z el reflejometro marca el punto Z' simetrico de Z respecto de la recta XY.

Problema 1) Dado un triangulo ABC, explicar como se puede construir su circuncentro usando solamente regla y reflejometro.

Problema 2) ¿Es posible construir el Incentro del ABC usando solamente regla y reflejometro?

Leer el resto de esta entrada »

Triangulando un segmento

noviembre 21, 2008

Se tiene un segmento y se lo parte en tres pedazos, ¿Cual es la probabilidad de que con ellos se pueda formar un triangulo?

Leer el resto de esta entrada »

Si tenemos un mazo con 5 cartas, las podemos mezclar de modo que dos cartas que eran vecinas dejen de serlo. Por ejemplo si numeramos las cartas 1,2,3,4,5 las podemos reordenar de la siguiente forma: 3,5,2,4,1.

Es facil ver que lo mismo vale para un mazo con n cartas para n\geq 4. Si ahora tenemos una cantidad numerable de cartas ordenadas como los numeros enteros tambien podemos reordenarlas de la siguiente forma:

...,-3,3,-1,1,2,0,-2,4,-4,6,-6,...

¿Que pasa si tenemos un continuo de cartas?

Supongamos que queremos mezclar a los numeros reales; ¿Como interpretar que numeros vecinos dejen de serlo? Ahora ya no tenemos “vecinos” asi que vamos a tener que pedir algo ligeramente distinto. Lo que buscamos es mezclar los numeros de forma que para toda numero x haya un intervalo que lo contenga y un intervalo alrededor de donde quede despues de reordenar las cartas de forma que ninguna carta del primer intervalo quede en el segundo luego de mezclarlas (salvo el x).

La pregunta seria entonces:

¿Existe una biyeccion f:\mathbb{R}\rightarrow \mathbb{R} tal que para todo x\in \mathbb{R} existan \gamma_x,\epsilon_x >0 tales que para todo y\in \mathbb{R} tal que 0<|y-x|<\gamma_x se tiene que |f(y)-f(x)|>\epsilon_x?

Leer el resto de esta entrada »

Curva de Medibles

junio 7, 2008

Supongamos que tenemos un espacio de medida finita (E,\sigma,\mu) y definamos una relacion de equivalencia entre los medibles por A\sim B si \mu(A\Delta B)=0. Podemos entonces darle al conjunto {\cal{M}} de clases de equivalencias estructura de espacio metrico definiendo la siguiente distancia: d(A,B)=\mu(A\Delta B).

Luego, si la medida \mu es no-atomica, ({\cal {M}},d) resulta un espacio metrico arco-conexo!!!!

Leer el resto de esta entrada »

Problema: Si tenemos un numero real entre 0,1 en cada punto con coordenadas enteras del plano de forma que cada numero sea el promedio de sus cuatro vecinos entonces todos los numeros son iguales.

Leer el resto de esta entrada »

Existe un conjunto S\subset [0,1]^2 tal que

  • No tiene tres puntos alineados
  • Para todo cerrado F\subset [0,1]^2 con |F|>0 se tiene que S\cap F\neq \emptyset

Nota: De la segunda condicion se deduce que |S|_e=1 pues en caso contrario deberia existir un abierto G\subset [0,1]^2 con S\subset G y |G|<1 pero entonces si ponemos F=[0,1]^2\backslash G tenemos que F contradice la segunda condicion.

Leer el resto de esta entrada »

Todos medibles

abril 21, 2008

1) Sea A\subset \mathbb{R} tal que para todo S\subset A, se tiene que S es medible. Probar que |A|=0.

2) Probar que existe una medida signada FINITAMENTE ADITIVA \mu sobre todos los subconjuntos del \ [0,1] tal que \mu (A) = |A| para todo A\subset [0,1] medible. ¿Se puede pedir positiva?

3) (Ulam) Probar que si \mu es una medida finita definida para TODOS los subconjuntos de un conjunto de cardinal \aleph_1 tal que \mu(\{x\})=0 para todo x en X entonces \mu(X)=0.

Leer el resto de esta entrada »

Sea \delta(a,b)=1 si a\neq b y \delta (a,b)=0 si a=b. Esto define una distancia en \mathbb{N} (la “discreta”).

Si al conjunto \mathbb{N}^{\infty} de suceciones de enteros positivos le ponemos la siguiente distancia,

d(x,y)=\sum {\delta(x_n,y_n)\over 2^n}

Entonces (\mathbb{N}^{\infty},d) resulta un espacio metrico completo y separable.

Por otro lado, 2^{\infty} con la misma distancia es un espacio metrico homeomorfo al Cantor, de donde (2^{\infty},d) es compacto.

Veamos que en algun sentido, son los espacios metricos mas grandes con tales propiedades.

1) Sea (M,d) un espacio metrico completo y separable. Probar que existe f:\mathbb{N}^{\infty}\rightarrow M continua, abierta y sobreyectiva.

2) Sea (M,d) un espacio metrico compacto. Probar entonces que existe f:2^{\infty}\rightarrow M continua, abierta y sobreyectiva.

Leer el resto de esta entrada »

Clases Monotonas

abril 9, 2008

Dado un conjunto X y una familia \cal{F} de subconjuntos de X decimos que:

  1. \cal{F} es un “Algebra” si para todos F_1,F_2 en \cal{F} se tiene que F_1\cup F_2 y F_1^c estan en \cal{F}.
  2. \cal{F} es una “\sigma-Algebra” si para todos F_1,F_2,...,F_n , \ldots en \cal{F} se tiene que \bigcup F_i y F_1^c estan en \cal{F}.
  3. \cal{F} es una “Clase Monotona” si para todos F_1,F_2,...,F_n,.. en \cal{F} tales que F_i\subset F_{i+1} (F_{i+1}\subset F_i) para todo i se tiene que \bigcup F_i (\bigcap F_i) esta en \cal{F}.

Ademas vamos a denotar por \cal{M(F)} a la menor Clase Monotona que contiene a \cal{F} y por \sigma(\cal{F}) a la menor \sigma-Algebra que contiene a \cal{F}.

Teorema: Si \cal{A} es un algebra entonces \cal{M(A)}=\sigma(\cal{A}).

Leer el resto de esta entrada »

Cortar Poligonos

abril 6, 2008

1) ¿Que poligonos convexos se pueden dividir en paralelogramos?

2) Es conocido que a todo poligono se lo puede cortar en varios poligonos y con ellos armar cualquier otro poligono con la misma area que el original. ¿Es posible hacer esto solo trasladando los pedazos? Leer el resto de esta entrada »

Seguir

Get every new post delivered to your Inbox.