Loading [MathJax]/jax/element/mml/optable/SuppMathOperators.js

2 votos

Enumeraciones de los racionales y una propiedad de densidad refinada

Dejemos que (yn)n=1 sea una enumeración de todos los números racionales (esto es posible, ya que Q es contable) y que yR se le dará. Dado que Q  es denso en R está claro que para todos los ε>0 existe alguna nZ+ tal que |yny|<ε .

Considere el siguiente refuerzo de esta propiedad: Dado cualquier yR existe alguna nZ+ tal que |yny|<1/n independientemente de la forma en que Q  está enumerado.

Lo que me preocupa es que sea posible enumerar los racionales de una manera tan "elegante" que la unión de una colección de bolas abiertas con radios decrecientes a su alrededor cubra sólo un subconjunto estricto de R pero la afirmación sigue siendo intuitivamente cierta. Incluso si la afirmación es falsa para las enumeraciones generales, ¿se puede dar al menos uno tal enumeración para la cual esta propiedad se mantiene para todos yR ? ¿Qué opinas?

3voto

Marcin Łoś Puntos 1561

Bueno, el problema consiste en cubrir R con familia de bolas Bn con radios 1n y se centra en los racionales. En efecto, es posible enumerar los racionales de manera "elegante", ya que [0,1] contiene infinitos racionales, podemos "pasar arbitrariamente mucho tiempo" allí, y, digamos, para cada 2n elementos de la secuencia colocan sólo uno fuera [0,1] .

En cuanto a la segunda pregunta: Creo que debería ser posible, aunque sospecho que es un poco complicado. Lo pensaré más tarde.

Edición: En realidad, no es tan difícil después de todo.

La idea se basa en el hecho de que ciertamente podemos proporcionar dicha cobertura si abandonamos el requisito de enumerar todos los racionales, ya que Σn1/n diverge. Del mismo modo, podemos hacerlo con bolas de la mitad de tamaño. Por lo tanto, podemos crear la enumeración deseada de la siguiente manera: dejemos que los elementos con índices pares se coloquen de manera que sus bolas cubran el R y que los elementos de impar enumeren los restantes racionales.

Edit2: No es del todo relevante, pero quizás sea de interés. Creo que es más cierto: toda enumeración de racionales contiene una subsecuencia con dicha propiedad. Podemos construir inductivamente tal subsecuencia "creciendo" el área cubierta, escogiendo elementos de intervalos de tamaño 12n fuera de la región cubierta (con algún solapamiento) con índice mayor que el de cualquier elemento tomado hasta ahora. Es posible, porque cada uno de esos intervalos contiene infinitos elementos de enumeración - equivalentemente, elementos con índices arbitrariamente altos.

(Por supuesto, dicha subsecuencia no será en general una enumeración de racionales)

2voto

Did Puntos 1

Para cada enumeración (yn) , dejemos que Yn=(yn1/n,yn+1/n) por cada n .

puede ser posible enumerar los racionales de forma tan "elegante" que la unión de una colección de bolas abiertas con radios decrecientes a su alrededor cubra sólo un subconjunto estricto de R .

Esta es una forma de hacerlo.

Supongamos que |yn| excepto cuando n es una potencia de 2 . Entonces Y_n\subseteq[-2,2] excepto cuando n es una potencia de 2 y la longitud de cada Y_{2^k} es 2^{1-k} por lo que \bigcup\limits_nY_n cubre como máximo [-2,2] unión un conjunto de medida a lo sumo \sum\limits_k2^{1-k} , que es finito. En particular, \bigcup\limits_nY_n\ne\mathbb R .

se puede dar al menos uno tal enumeración para la cual esta propiedad se mantiene para todos y\in\mathbb R ?

Uno puede, aquí hay un ejemplo.

Por cada k\geqslant0 , dejemos que I_k=[-2^k,2^k] . Dejemos que J_0=I_0 y, para cada k\geqslant1 , J_k=I_k\setminus I_{k-1} . Utilice (y_{2n}) para cubrir sucesivamente J_k por cada k\geqslant0 por los intervalos Y_{2n} . Una vez hecho esto, utilice (y_{2n+1}) para enumerar los números racionales restantes.

Entonces (y_n) enumera los números racionales y \bigcup\limits_nY_{2n}=\mathbb R .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X