Más sobre círculos y cuadrados
diciembre 24, 2008
Definamos la siguiente medida en el plano.
Donde el ínfimo se toma sobre todas las posibles formas de cubrir a con numerables círculos y donde es la medida «usual» del círculo. (el área)
Es igual a la medida de Lebesgue pero cambiando cubos por bolas.
Quiero decidir si es igual a la de Lebesgue.
O equivalentemente
Decidir si
con
O parecido (y esta es la que me interesa)
Estimar
Donde los son círculos disjuntos y sin borde (abiertos).
MOTIVACIÓN::
Hace algún tiempo respondimos de varias formas una pregunta muy linda. Después respondimos otra pregunta que andaba dando vueltas por ahí.
Si tuviéramos que fuera menor que 1, conseguiríamos una prueba usando medida y eso estaría muy bueno.
Supongamos que tenemos 3 círculos tangentes por fuera, de radios . Si el máximo círculo que podemos meter en el medio es de radio , vale esto
Usando tu notacion, y de ahi que y que las medidas coinciden.
Para ver que creo que se puede hacer asi.
Paso 1: Empeza con el cuadrado y dibuja su circulo inscrito.
Paso 2: A cada uno de las cuatro partes que quedan del cuadrado sin cubrir dividilas en cuadrados lo mas chiquito posible y en cada no de ellos volve al paso 1.
Si iteras esto y cuadriculas suficientemente chiquito se puede ver que te acercas tanto como queres a 1.
Basicamente en el paso vas a poder conseguir cualquier cosa menor a .
¿Qué significa «dividir en cuadrados lo más chiquitos posible»?
«lo mas chiquititos posible» fue una mala eleccion de palabras, seria mas correcto decir «suficientemente chiquitos». El tema es que obviamente la region no se puede dividir en cuadrados ya que tiene bordes curvos sin embargo si se puede dividir en cuadraditos regiones tan parecidas como queramos a los pedazos que sobran.
Buenísimo.
Me convence porque la medida de la frontera del círculo es 0.
Qué lástima!