Discusión:Función discreta

La definición de "función discreta" tiene vicios de ambiguedad. Puede afirmarse que su dominio sea un subconjunto de los naturales. Lo que hace que las sucesiones finiras o infinitas caigan en esta categoría. Pero si se exige que además el codominio sea un subconjunto de los naturales, la restricción no me parece natural ni necesaria.

Más complicado es identificar subconjunto de los Naturales con un "conjunto finito o enumerable", ya que el conjunto de los números Racionales, y cualquier subconjunto de ellos es enumerable. Inclusive, todos los números algebraicos determinan un conjuto enumerable.

Hay una posibilidad topológica que es decir que en la topología de los Reales, el conjunto es topológicamente discreo es decir cada uno de sus elementos es centro de un intervalo abierto que no contiene otro punto del conjunto. Es decir, está prohibido que tenga un punto de acumulación.

Mi sugerencia sería eliminar esta categoría que estimo obsoleta y quedarnos con sucesiones finitas o infinitas con valores sin restricciones. Por ejemplo, la función n |--> 1/n^2. me parece una buena función "discreta".

--Rehernan (discusión) 02:43 5 oct 2010 (UTC)

Creo que en lugar de eliminar el artículo, perteneciente a un concepto que de por sí puede ser buscado por personas afines al tema, convendría extenderlo, explicando este tipo de ambigüedades a las que te refieres, siendo avaladas por referencias. Pero en si mismo sí me parece digno de un artículo.. mucho más completo que como está ahora. Saludos, Farisori » 23:32 5 oct 2010 (UTC)