Hola gente,

Estaba pensando en lo siguiente: dado el conjunto de todos los números complejos con módulo 1, cuáles pertenecen a algún Gn? "Intuitivamente" uno podría pensar que todos, ya que Gn se puede refinar tanto como se quiera. Sin embargo calculo que hay mil casos exóticos (o no tanto) que se me escapan. Cómo entra en esto un complejo que incluye en su argumento un número trascendental que no es pi, por ejemplo?

Si alguien puede iluminarme o indicarme dónde puedo leer sobre esto se lo agradeceré mucho. Si estoy diciendo burradas avisen.

Encontré esta discusión en wikipedia, pero no mucho más:

http://en.wikipedia.org/wiki/Talk:Root_ ... ent_Points

Muy interesante la pregunta.
Filosoficamente se podria decir que casi ningun numero de modulo 1 es raiz de la unidad. Ya que solo son raices de la unidad aquellos que tienen argumento
Es decir si eligen un numero r entre 0 y 1 que no sea racional entonces no es raiz de la unidad. Dicho de otra forma los numeros de modulo 1 que son raices de la unidad se pueden contar mientras que los otros no.

http://es.wikipedia.org/wiki/Numerable
http://es.wikipedia.org/wiki/M%C3%A9todo_diagonal

Muchas gracias por la respuesta, interesantes los artículos.

Agergando a lo que dice Quimey, hay distintas nocionesa cerca de lo que quiere decir "mucho" o "muy poco". Por ejemplo, aunque hay muy pocas raices de la unidad, cualquier número de módulo 1 se puede aproximar arbitrariamente por alguien en tomando el n suficientemente grande: ¡justificar!

La idea es exactamente la misma que la de aproximar reales por racionales. De hecho, es un lindo punto de encuentro entre el álgebra (I) y el análisis (I)... (pista... la función es continua y su imágen es todo ...).

Bueno, para no agregar comentarios innecesarios, lo que dice Quimey más abajo es exactamente a lo que me refiero. Serán materias distintas, pero la matemática interesante es una sola. ¿Por qué Álgebra I no incluye ejercicios que supongan un poco de conocimiento de Análisis I y vic.? (me van a matar...).

Algo un poco( ) mas complicado. Si tomamos un z de modulo 1 que no sea raiz de la unidad y miramos el conjunto es denso en el conjunto de numeros complejos de modulo 1. Es decir que cuando tomamos su clausura nos da todo o que podemos aproximar a cualquier complejo de modulo 1 por uno de estos tanto como queramos.
(Creo que es cierto. Si fuera falso buscar contraejemplo)

Eso sale directamente de esto o es más complicado?

Tomando puedo asegurar que existe raíz de Gn, ua que entre dos irracionales siempre hay un racional y todo racional es raíz de algún Gn.

Tiene sentido?

EStá perfecto, aunque habría que reordenar un poco la explicación. La idea sería algo así:



Ese argumento de continuidad es escencial. Fijate que lo que vos decís acerca de que los valores de los argumentos y los números complejos estén cerca es exactamente eso.

Así sale que el conjunto de raíces de la unidad es denso en . Ahora, quiero ver que alguien resuelva lo que preguntó Quimey... es como algo que siempre supimos y nunca demostramos, aunque creo que con Julian (un amigo) lo terminamos de ver un día en Análisis Complejo, cuando estábamos muy al pedo, eran las 8:30 de la mañana, y volver a dormirse no era una opción.