Autor Tema: Escalera del diablo II

0 Usuarios y 1 Visitante están viendo este tema.

03 Agosto, 2008, 08:59 pm
Leído 3708 veces

Héctor Manuel

  • Lathi
  • Mensajes: 3,631
  • Karma: +0/-0
  • Sexo: Masculino
Hola amigos del foro.  A cerca de la función de Cantor, tengo la siguiente duda:

La definición que conozco es:  sea \( x\in{[0,1]} \) tal que \( x=\displaystyle\sum_{n=1}^\infty{\displaystyle\frac{a_{n}}{3^n}} \) con \( a_{n}\in{\left\{{0,1,2}\right\}} \) (x se escribe en notación en base 3).

Sea \( m(x)=min\left\{{n\in{\mathbb{N}}:a_n=1}\right\} \) si existe y \( m(x)=\infty \) en caso contrario.

Entonces la función de Cantor se define como \( G:[0,1]\longrightarrow{\mathbb{R}} \) tal que
\( G(x)=\displaystyle\frac{1}{2^{m(x)}}+\displaystyle\frac{1}{2}\displaystyle\sum_{n=1}^{m(x)-1}{\displaystyle\frac{a_n}{2^n}} \).  La pregunta es:

¿cómo se puede demostrar que la imagen G(x) de toda x es independiente de la expansión trinaria de x que se escoja si es que x tiene dos expansiones diferentes? 

Es decir, si \( x=\displaystyle\sum_{n=1}^\infty{\displaystyle\frac{a_{n}}{3^n}} \)y \( x=\displaystyle\sum_{n=1}^\infty{\displaystyle\frac{b_{n}}{3^n}} \) con \( a_n,b_n\in{\left\{{0,1,2}\right\}} \) y algún \( a_j\neq{b_j} \), por qué se tiene que G(x) sigue valiendo lo mismo.

Saludos y como siempre gracias.

04 Agosto, 2008, 09:49 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 46,736
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

 Utiliza que los únicos números con dos expansiones trinarias distintas son racionales no períodicos. Son de la forma:

 \( x=0.a_1\ldots a_n222222222222\dots =0.a_1\ldots a_n+0.\underbrace{0\ldots 01}_n \)

Saludos.