20/11/2019, 12:37:22 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: 1 2 3 [4] 5 6   Ir Abajo
  Imprimir  
Autor Tema: Construcción de los sistemas numéricos  (Leído 66481 veces)
0 Usuarios y 1 Visitante están viendo este tema.
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #60 : 16/10/2011, 04:57:38 pm »

Principal * N Z Q R C +


Bueno, la forma algorítimica de la suma se puede hacer más o menos fácilmente, pero tiene que ser con dígitos binarios.

Con dígitos en base diez no sé, tendría que pensarlo un poco más.



Lo que puede hacerse con el mismo procedimiento, usando cualquier base b de dígitos, es lo de las aproximaciones.



Como lo problemático está en la parte decimal, diría que mejor conviene trabajar sólo con esa parte, y lo demás es sólo rutina.

Sean [texx]x=(0, m), y=(0, m')[/texx], donde [texx]m,m'[/texx] son "mantisas".
Esto quiere decir que [texx]m,m'[/texx] son sucesiones [texx]m=\{a_n\}_{n=1}^\infty,m'=\{b_n\}_{n=1}^\infty[/texx], tal que [texx]a_n,b_n\in\{0,1,2,3,4,5,6,7,8,9\}[/texx], para todo [texx]n=1,2,3,...[/texx].

Ahora hay que trabajar con las truncaciones a [texx]n[/texx] dígitos, para luego pasar al caso infinito.

Definimos [texx]<x>_n=(0, \{a_1,a_2,...,a_n,0,0,0,...\})[/texx], o sea, hemos tomado los primeros [texx]n[/texx] dígitos de [texx]x[/texx], y el resto, en vez de dejarlo en blanco, hemos puesto "0"s.

Lo mismo se puede hacer para [texx]y[/texx].

Ahora, es fácil definir la suma de los números "truncados" [texx]<x> _n\oplus<y> _n[/texx].
El algoritmo es conocido, y se puede especificar con precisión (basta que me lo pidan).
Pero lo hago resumido: uno se "para" en la posición [texx]n[/texx], y "suma" dígito a dígito, como nos han enseñado en la escuela,
yendo de "derecha a izquierda", llevando acarreos si fuera necesario.

Los dígitos "a la derecha" de la posición [texx]n[/texx] se declaran todos como "0", como es natural.

Eso nos da como resultado un cierto objeto [texx]z_n=(e,M )[/texx], donde [texx]e[/texx] es 0 ó 1, según como venga el acarreo, mientras que [texx]M[/texx] es la "mantisa" que corresponde a [texx]z_n[/texx].
La "mantisa" de [texx]z_n[/texx] es una sucesión de dígitos, con esta pinta:

[texx]M=\{c_1^{(n)},c_2^{(n)},c_3^{(n)},c_4^{(n)},...\}[/texx]

Se puede ser más precisos, y decir que cuando [texx]i\leq n[/texx] el dígito en la posición [texx]i[/texx] es un número entre 0 y 9, pero que cuando [texx]i> n[/texx], el dígito [texx]i[/texx]-ésimo es siempre 0.

Para "hacerlo más visual", muestro el resultado de esto, así:

[texx]M=\{c_1^{(n)},c_2^{(n)},c_3^{(n)},c_4^{(n)},...,c_n^{(n)},0,0,0,...\}[/texx]



Lo que uno quisiera hacer acá es definir un objeto [texx]z=(e,M)[/texx], con mantisa

[texx]\{c_1,c_2,c_3,...\}[/texx]

de tal forma que los dígitos sucesivos [texx]c_1,c_2,c_3,...[/texx] etc. coincidan acordemente con los obtenidos en cada suma "truncada".

Por ejemplo, quisiera que los dígitos de [texx]c_1[/texx] hasta [texx]c_{800}[/texx] coincidan con los de la suma truncada [texx]z_{800}[/texx].
Está claro que los dígitos de [texx]z[/texx] desde la posición 801 en adelante no coincidirían (en general) con la "cola de 0s" que hemos dejado en la suma truncada [texx]z_{800}[/texx], pero eso no importa.

Este "deseo" tiene dos problemas. Uno es que la suma truncada hasta el dígito 800 no necesariamente nos coincide con los dígitos que debiera tener [texx]z[/texx] hasta la posición 800. Esto es por los problemas que trae el "acarreo desde la derecha" cuando se trabaja con infinitos dígitos.

Otra cuestión es que los dígitos pueden ir cambiando a medida que avanza el índice [texx]n[/texx] en la sucesivas sumas truncadas [texx]z_n[/texx].

Se necesita demostrar que, para cada posición [texx]i[/texx]-ésima, el dígito en esa posición se estabiliza, no cambia a medida que [texx]n[/texx] tiende a infinito.
Esto de hablar de que "tiende a infinito" en un contexto donde sólo tenemos alfabetos de dígitos, y nada de geometría, no nos conduce a nada...

Aunque en realidad tendremos suerte, porque veremos que a partir de un [texx]n[/texx] bastante grande (que depende de [texx]i[/texx]) el dígito [texx]c_i^{(n)}[/texx] (o sea, el [texx]i[/texx]-ésimo de la suma truncada [texx]z_n[/texx]) empieza a ser siempre el mismo.

Esta propiedad nos permite definir con total certeza, en forma inambigua, cuál es "exactamente" el dígito [texx]i[/texx]-ésimo de la suma.

Si vos me dieras los dígitos de [texx]e[/texx] y de [texx]\pi[/texx], yo tendría que trabajar de esta manera para determinar con precisión cada dígito.

Es una especie de "algoritmo", pero que escribiré más bien en formato de demostración.



Todo ese palabrerío puede quitarse, pero si no pongo la idea de la demostración, va a quedar como una construcción matemática pedante e intentendible, y no le veo el sentido.

En el post que sigue continúo.
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #61 : 16/10/2011, 10:17:51 pm »

Para resolver los dilemas anteriores sobre la "estabilidad" definitiva de un dígito en una posición dada, hay que separar el análisis en varios casos, para ver qué puede hacerse en cada uno.

Ciertamente, el problema surge cuando hay acarreo.

Consideremos el primer dígito [texx]c_1^{(n)}[/texx]de cada suma truncada [texx]z_n[/texx], para [texx]n=1,2,3,...[/texx]

Ciertamente [texx]c_1^{(1)}[/texx] es la cifra de las unidades de la suma de [texx]a_1[/texx] y [texx]b_1[/texx], lo cual se puede decir matemáticamente que es el resto módulo 10 de la suma [texx]a_1+b_1[/texx].

A medida que se van considerando más cifras en la suma, la primer cifra [texx]c_1^{(n)}[/texx] para [texx]n=2,3,...[/texx] puede ir variando.
Sin embargo, nosotros sabemos que a lo sumo puede variar en "1" unidad más, debido a que si hay "acarreo" desde los dígitos de la derecha, este acarreo es a lo sumo "1".

Ahora bien. Si en la "iteración" [texx]n[/texx] (o sea, si al calcular la suma truncada [texx]z_n[/texx]) la suma de los dígitos de [texx]x,y[/texx] en la posición [texx]n[/texx] es 8 o menor, o sea, [texx]a_n+b_n\leq 8[/texx], entonces NUNCA se producirá acarreo hacia la posición inmediata izquierda [texx]n-1[/texx].

En cambio, si [texx]a_n+b_n\geq 10[/texx], entonces SIEMPRE se producirá acarreo en "1" unidad en la posición inmediata izquierda [texx]n-1[/texx].

Si [texx]a_n+b_n=9[/texx], entonces no hay acarreo al calcular ese dígito en la suma truncada [texx]z_n[/texx], pero no sabemos si en el paso siguiente [texx]z_{n+1}[/texx] obligará a sumarle un "1" a ese 9 en la posición [texx]n[/texx], produciendo un acarreo.

Ahora bien. En caso de que se produzca acarreo en la posición [texx]n-1[/texx] o no, hay que considerar la suma total de los dígitos [texx]a_{n-1}+b_{n-1}[/texx]+"el acarreo desde posición n", y eso da el dígito [texx]c_{n-1}^{(n)}[/texx] de [texx]z_n[/texx].

Según que se hayan obtenido números [texx]\geq 9[/texx] el "acarreo" se seguirá contagiando hacia la izquierda hasta algún dígito donde no haya más acarreo.





Este análisis nos da la pista de cómo proceder.

Supongamos que [texx]a_2+b_2\geq 10[/texx]. Entonces habrá acarreo en todas las sumas truncadas [texx]z_n[/texx], para [texx]n=2,3,4,...[/texx] etc.
De manera que [texx]c_1^{(n)}=a_1+b_1+1[/texx] (módulo 10).

Se ve claramente que esto no depende de [texx]n[/texx], al menos para [texx]n> 1[/texx], y podemos estar tranquilos, pues, de que el primer dígito no va a variar nunca más.
Sólo ha diferido el [texx]c_1^{(1)}[/texx] (primer dígito de la etapa 1) con el [texx]c_1^{(n)}[/texx] (primer dígito de la etapa [texx]n[/texx]) para [texx]n\geq 2[/texx].

Hemos probado (un poco conversado, lo sé) lo siguiente:

* Existe un valor [texx]n=N[/texx] ("lo bastante grande") tal que para todo [texx]n\geq N[/texx] el valor de [texx]c_1^{(n)}[/texx] es siempre el mismo.



Pero sólo analizamos un caso, faltan otros dos.

Veamos qué pasa si [texx]a_2+b_2\leq 8[/texx].
Entonces el acarreo "hacia" la posición 1 siempre será "0" (o sea, no se produce jamás acarreo), y otra vez tenemos que [texx]c_1^{(n)}[/texx] no varía a medida que [texx]n[/texx] "se hace grande". Es constante.

El caso más problemático es aquel en que [texx]a_2+b_2=9[/texx].
Es problemático, porque en [texx]z_2[/texx] no se "ve" si a ese 9 habrá que sumarle algún acarreo desde la posición 3, y si hay un 9 en la 3, si hay que considerar o no el acarreo desde la posición 4, etc.

Sin embargo, "supongamos" que [texx]a_n+b_n\neq 9[/texx] para algún [texx]n\geq 2[/texx], y tomemos el mínimo [texx]n[/texx] que cumple esa propiedad y denotémoslo N.

En ese caso, entre el dígito 1 de la suma, y el dígito [texx]n[/texx], "todos son 9"s. ¡¡!!

Si [texx]a_N+b_N\leq 8[/texx], entonces no hay acarreo hacia la izquierda, luego los 9s intermedios no son afectados por acarreo alguno, y llegamos hasta el primer dígito, el de la posición 1, "sin acarreo alguno", con lo cual, podemos asegurar que para todo [texx]n\geq N[/texx], el dígito [texx]c_1^{(n)}[/texx] será siempre constante, sin importar el valor de [texx]n[/texx].

Hemos encontrado el punto exacto a partir del cual las sumas "se estabilizan" en el primer dígito por lo menos.

En cambio, si [texx]a_N+b_N\geq 10[/texx], entonces para todo [texx]n\geq N[/texx] siempre habrá acarreo de "1" unidad hacia la izquierda, lo cual afecta a todos los 9s intermedios, hasta llegar al dígito de la posición 1 de la suma.
Esto convierte a todos los 9s que había... en 0s, y se le suma 1 al dígito de la primer posición.

Pero lo importante es que, para [texx]n\geq N[/texx] esto ya no va a sufrir más cambios, y el dígito [texx]c_1^{(n)}[/texx] quedará estable.





Hemos casi resuelto todo el problema, al menos para dejar fijo, de una vez por todas, el primer dígito de la suma de [texx]x,y[/texx].

Esto es así porque en la mayoría de los casos, siempre ocurrirá que al menos hay un índice [texx]n[/texx] tal que [texx]a_n+b_n\neq 9[/texx].

La negación de esta situación es el caso especial en que "todas las sumas [texx]a_n+b_n=9[/texx], para [texx]n\geq 2[/texx]".

Este caso especial lo tratamos aparte.
En realidad, aquí lo que ocurre es que jamás se produce acarreo, en ninguna de las sumas truncadas [texx]z_n[/texx], todo [texx]n[/texx], y por lo tanto, [texx]c_1^{(n)}[/texx] siempre permanece constante, igual a la suma obtenida en el primer paso.





Es cierto que se obtiene el caso "molesto" de dígitos con "cola de 9"s.
Pero eso no es un problema en esta etapa de la construcción, porque lo que estamos haciendo es simplemente definir una "suma" de sucesiones de dígitos.

Para que eso se "arregle" de modo que se obtenga un sistema de números reales sin esos desarrollos con "cola de 9"s, se hacen unas pequeñas tretas que vienen después.

Lo principal ha sido esto, de poder demostrar que para las sumas truncadas [texx]z_n[/texx], existe un índice [texx]n=N[/texx] tan grande como sea necesario, a partir del cual [texx]z_n[/texx] siempre mantiene constante su primer dígito [texx]c_1^{(n)}[/texx].

En virtud de que todos estos números [texx]c_1^{(n)}[/texx] ahora son iguales para [texx]n=N,N+1,N+2, etc.[/texx],
tenemos un modo NO-AMBIGUO de definir el primer dígito del objeto [texx]z=x\oplus y[/texx] que estamos buscando.


Para su mantisa, definimos pues [texx]c_1=\lim_{n\to \infty} c_1^{(n)}[/texx], lo cual tiene sentido (por la constancia de ese valor para [texx]n[/texx] grande),
y es nada más ni nada menos que lo que hemos dicho: aquel valor de [texx]c_1^{(n)}[/texx] que se vuelve siempre constante para [texx]n[/texx] grande.



Finalmente, recordemos que lo único que hicimos en los párrafos anteriores fue demostrar que tenía sentido definir en forma inambigua al "primer dígito" de la mantisa de [texx]z[/texx].

Sin embargo, el mismo procedimiento puede repetirse para el "2do dígito", luego el "3er dígito", y así sucesivamente.

En general, la fórmula que se obtiene para dichos dígitos es siempre la misma, y sigue las ideas anteriores, resultando que existe el límite:

[texx]c_j=\lim_{n\to\infty} c_j^{(n)}[/texx],

Se define, pues, la mantisa de [texx]z[/texx] como [texx]\{c_1,c_2,c_3,c_4,...\}[/texx].




Espero que se haya entendido.

En línea

Dani
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 120



Ver Perfil WWW
« Respuesta #62 : 17/10/2011, 09:44:34 am »

Yo desde mis humildes conocimientos voy a criticar el método de Jabato para construir números reales.

Su método no me parece nada novedoso, en el sentido de que no introduce ideas o conceptos nuevos. Lo único que hace es poner nombres y apellidos a los números. De ese par ordenado que él define, a lo que él llama "mantisa", desde siempre se ha llamado "parte decimal". Y las propiedades que él 'descubre' de la "mantisa" (que si es cíclica define un número racional, etc.) son ya las que se conocen de la "parte decimal" desde hace siglos.

No me parece nada "matemático" (en el sentido de que no sigue un método axiomático, sino que lo único que hace es juntar las piezas de un puzzle al tun-tún) coger, por ejemplo, del número pi, el 3, llamarlo parte entera, coger el 141592... llamarlo "mantisa", juntarlo en (e,m) = (3,141592...) y concluir que (con un par ordenado) hemos construído el número pi. Y esa es otra, el concepto de par ordenado ya viene implícito en el concepto de número real, en el sentido de que hay una parte entera, que va siempre al principio, y otra parte llamada "parte decimal", que siempre va después y separada por una coma.

Es absurdo demostrar las propiedades ya conocidas de los números reales a partir del par ordenado de Jabato porque, en realidad, y dicho así burdamente, es lo mismo que demostrar esas mismas propiedades utilizando los números reales y encerrándolos con paréntesis para que tengan aspecto de pares ordenados. Por supuesto, definir las operaciones básicas entre los pares ordenados de Jabato se reduce a un ejercicio de aritmética básica, que es identificar y formalizar los axiomas que rigen las operaciones definidas en ésta.

Tampoco veo que tenga mucho sentido demostrar que el conjunto de pares ordenados de Jabato coincide con el conjunto de los números reales, ya que, como digo, realmente no veo que haya construido nada nuevo, lo único que ha hecho ha sido cambiar la notación de los elementos de [texx]\mathbb{R}[/texx] simplemente añadiéndoles paréntesis y redefiniendo las palabras castellanas con las que nos referimos a ellos ('número' por 'par ordenado' (como digo, los números ya llevan implícitamente el concepto de par ordenado), 'parte decimal' por 'mantisa'...).

En mi opinión, lo único que veo que ha hecho Jabato ha sido redefinir la notación y las palabras con las que nos referimos todos al mismo concepto y redescubrir reescribir las propiedades que ya conocemos todos en otra notación; y considero que todas las dificultades que se encuentre para tal menester son las mismas dificultades que se encontraría si hiciera el mismo ejercicio con los números "de toda la vida", por lo que, para mí, su método no aporta ninguna idea nueva ni mejora lo que ya tenemos.
En línea
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.541



Ver Perfil
« Respuesta #63 : 17/10/2011, 10:53:38 am »



Voy a contar algo sobre la intuición y cómo nos confunde; se trata de una “paradoja” que “inventé yo” y que, como siempre, habrán inventado muchas personas a través de los tiempos.

 La intuición nos hace pensar en un primer y único hombre que está al principio en el tiempo (en la historia del hombre) en  una sola porción de materia que también está al principio del tiempo del Universo... en definitiva, que siempre intuimos que todas las singularidades están al principio y que en “la parte final” todo es pluralidad (salvo con las especies extinguidas o alguna cosa así).

 Sin embargo, pensemos matemáticamente: todos hemos tenido un padre y una madre, dos abuelos y dos abuelas, cuatro bisabuelos y cuatro bisabuelas... si seguimos así hasta “el principio” del tiempo, el número de personas que habría en ese principio del tiempo serían muchísimas; es verdad que todas las especies, incluso la humana, son endogámicas, pero la endogamia difícilmente puede justificar que al principio de los tiempos hubiera sólo una pareja que diera lugar a toda la especie.
Y lo mismo se puede decir para cualquier especie, para la “primera” especie que pudiera haber existido.

Del mismo puede ocurrir a la hora de pensar en la construcción de los números: ¿había al principio de los tiempos una sola dimensión?

El hecho de estudiar primero con una sola variable se debe a que es más fácil operar con una variable que con dos, pero a la hora de observar cosas como las que se tratan en este post, ¿tiene que ser así?

 Un profesor que tenía yo -explicando estructuras algebraicas- recuerdo que contó una vez que los rusos -al menos en algunos libros de la editorial Mir- empezaban por estudiar primero los cuerpos y después les iban quitando propiedades hasta llegar a los grupos.

 Si pensamos en el sistema numérico como decía -partiendo la unidad y considerando unidades las partes resultantes- entonces podremos “inventar” la suma e ir dando lugar a un conjunto cada vez mayor de elementos distintos; hasta llegar a infinitos elementos. A partir de ahí podemos comparar esos elementos porque todos tienen un número distinto de unidades (y podríamos ordenarlos al darles valor) No habrá nunca números negativos, lo que habrá será una unidad cambiante y menguante (ambas cosas). Evidentemente, tampoco habrá números “Q” ni complejos al no haber negativos; tendríamos LOS NÚMEROS, sin apellidos.

 Más tarde se podría intentar determinar una única unidad principal para establecer posteriormente relaciones de equivalencia; y ahí la cosa se hace imposible, porque tendremos que tomar un número que no es nadie respecto de los otros, que está en medio de una sucesión infinita, es decir, que no está ni en un extremo ni en otro y a ninguna distancia determinada de los extremos, y darle propiedades de unidad; esto es como hacer capitán general a Merceditas la de la pescadería; que seguro que es muy buena, la pobre, no tengo nada contra ella, pero hacer eso es una barbaridad; una barbaridad inevitable, ya lo sé, pero una barbaridad en sentido matemático con la que no nos queda más remedio que vivir.

Saludos.
En línea

Jabato
Visitante
« Respuesta #64 : 17/10/2011, 02:18:26 pm »

Contestando a Dani: Solo te diré una cosa Dani, si fuera así como tu dices yo creo que argentinator, que es un buen matemático, no se habría molestado en escribir sus dos últimos mensajes, ¿no te parece? Podría decirte más cosas pero creo que con eso es suficiente.

Lee más despacio las cosas que hemos escrito en este hilo, medítalas y luego haz una crítica un poco menos apasionada, más racional. Piensa que la mantisa no es la parte decimal de nada porque debe suponerse que ni los números racionales ni los números reales existen todavía, porque los estamos construyendo con el modelo. La construcción de este modelo presupone que solo existen los números naturales y los enteros, lo que por otra parte es uno de sus mayores alicientes ya que la construcción de los racionales y de los reales se hace simultaneamente, y además resulta que la mantisa no es un número sino una cadena infinita de caracteres que en principio no tiene valor numérico, no puede tenerlo al menos hasta que se complete la construcción, por razones evidentes.

Saludos, Jabato. :sonrisa_amplia:
En línea
Jabato
Visitante
« Respuesta #65 : 17/10/2011, 02:56:55 pm »

Intentando entender a argentinator:

Bueno, la forma algorítimica de la suma se puede hacer más o menos fácilmente, pero tiene que ser con dígitos binarios.

Con dígitos en base diez no sé, tendría que pensarlo un poco más.



Lo que puede hacerse con el mismo procedimiento, usando cualquier base b de dígitos, es lo de las aproximaciones.



Como lo problemático está en la parte decimal, diría que mejor conviene trabajar sólo con esa parte, y lo demás es sólo rutina.

Sean [texx]x=(0, m), y=(0, m')[/texx], donde [texx]m,m'[/texx] son "mantisas".
Esto quiere decir que [texx]m,m'[/texx] son sucesiones [texx]m=\{a_n\}_{n=1}^\infty,m'=\{b_n\}_{n=1}^\infty[/texx], tal que [texx]a_n,b_n\in\{0,1,2,3,4,5,6,7,8,9\}[/texx], para todo [texx]n=1,2,3,...[/texx].

Ahora hay que trabajar con las truncaciones a [texx]n[/texx] dígitos, para luego pasar al caso infinito.

Definimos [texx]<x>_n=(0, \{a_1,a_2,...,a_n,0,0,0,...\})[/texx], o sea, hemos tomado los primeros [texx]n[/texx] dígitos de [texx]x[/texx], y el resto, en vez de dejarlo en blanco, hemos puesto "0"s.

Lo mismo se puede hacer para [texx]y[/texx].

Ahora, es fácil definir la suma de los números "truncados" [texx]<x> _n\oplus<y> _n[/texx].
El algoritmo es conocido, y se puede especificar con precisión (basta que me lo pidan).
Pero lo hago resumido: uno se "para" en la posición [texx]n[/texx], y "suma" dígito a dígito, como nos han enseñado en la escuela,
yendo de "derecha a izquierda", llevando acarreos si fuera necesario.

Los dígitos "a la derecha" de la posición [texx]n[/texx] se declaran todos como "0", como es natural.

Eso nos da como resultado un cierto objeto [texx]z_n=(e,M )[/texx], donde [texx]e[/texx] es 0 ó 1, según como venga el acarreo, mientras que [texx]M[/texx] es la "mantisa" que corresponde a [texx]z_n[/texx].
La "mantisa" de [texx]z_n[/texx] es una sucesión de dígitos, con esta pinta:

[texx]M=\{c_1^{(n)},c_2^{(n)},c_3^{(n)},c_4^{(n)},...\}[/texx]

Se puede ser más precisos, y decir que cuando [texx]i\leq n[/texx] el dígito en la posición [texx]i[/texx] es un número entre 0 y 9, pero que cuando [texx]i> n[/texx], el dígito [texx]i[/texx]-ésimo es siempre 0.

Para "hacerlo más visual", muestro el resultado de esto, así:

[texx]M=\{c_1^{(n)},c_2^{(n)},c_3^{(n)},c_4^{(n)},...,c_n^{(n)},0,0,0,...\}[/texx]



Lo que uno quisiera hacer acá es definir un objeto [texx]z=(e,M)[/texx], con mantisa

[texx]\{c_1,c_2,c_3,...\}[/texx]

de tal forma que los dígitos sucesivos [texx]c_1,c_2,c_3,...[/texx] etc. coincidan acordemente con los obtenidos en cada suma "truncada".

Por ejemplo, quisiera que los dígitos de [texx]c_1[/texx] hasta [texx]c_{800}[/texx] coincidan con los de la suma truncada [texx]z_{800}[/texx].

Está claro que los dígitos de [texx]z[/texx] desde la posición 801 en adelante no coincidirían (en general) con la "cola de 0s" que hemos dejado en la suma truncada [texx]z_{800}[/texx], pero eso no importa.

Este "deseo" tiene dos problemas. Uno es que la suma truncada hasta el dígito 800 no necesariamente nos coincide con los dígitos que debiera tener [texx]z[/texx] hasta la posición 800. Esto es por los problemas que trae el "acarreo desde la derecha" cuando se trabaja con infinitos dígitos.

Otra cuestión es que los dígitos pueden ir cambiando a medida que avanza el índice [texx]n[/texx] en la sucesivas sumas truncadas [texx]z_n[/texx].

Se necesita demostrar que, para cada posición [texx]i[/texx]-ésima, el dígito en esa posición se estabiliza, no cambia a medida que [texx]n[/texx] tiende a infinito.
Esto de hablar de que "tiende a infinito" en un contexto donde sólo tenemos alfabetos de dígitos, y nada de geometría, no nos conduce a nada...

Aunque en realidad tendremos suerte, porque veremos que a partir de un [texx]n[/texx] bastante grande (que depende de [texx]i[/texx]) el dígito [texx]c_i^{(n)}[/texx] (o sea, el [texx]i[/texx]-ésimo de la suma truncada [texx]z_n[/texx]) empieza a ser siempre el mismo.

Esta propiedad nos permite definir con total certeza, en forma inambigua, cuál es "exactamente" el dígito [texx]i[/texx]-ésimo de la suma.

Si vos me dieras los dígitos de [texx]e[/texx] y de [texx]\pi[/texx], yo tendría que trabajar de esta manera para determinar con precisión cada dígito.

Es una especie de "algoritmo", pero que escribiré más bien en formato de demostración.



Todo ese palabrerío puede quitarse, pero si no pongo la idea de la demostración, va a quedar como una construcción matemática pedante e intentendible, y no le veo el sentido.

Para resolver los dilemas anteriores sobre la "estabilidad" definitiva de un dígito en una posición dada, hay que separar el análisis en varios casos, para ver qué puede hacerse en cada uno.

Ciertamente, el problema surge cuando hay acarreo.

Consideremos el primer dígito [texx]c_1^{(n)}[/texx]de cada suma truncada [texx]z_n[/texx], para [texx]n=1,2,3,...[/texx]

Ciertamente [texx]c_1^{(1)}[/texx] es la cifra de las unidades de la suma de [texx]a_1[/texx] y [texx]b_1[/texx], lo cual se puede decir matemáticamente que es el resto módulo 10 de la suma [texx]a_1+b_1[/texx].

A medida que se van considerando más cifras en la suma, la primer cifra [texx]c_1^{(n)}[/texx] para [texx]n=2,3,...[/texx] puede ir variando.
Sin embargo, nosotros sabemos que a lo sumo puede variar en "1" unidad más, debido a que si hay "acarreo" desde los dígitos de la derecha, este acarreo es a lo sumo "1".

Ahora bien. Si en la "iteración" [texx]n[/texx] (o sea, si al calcular la suma truncada [texx]z_n[/texx]) la suma de los dígitos de [texx]x,y[/texx] en la posición [texx]n[/texx] es 8 o menor, o sea, [texx]a_n+b_n\leq 8[/texx], entonces NUNCA se producirá acarreo hacia la posición inmediata izquierda [texx]n-1[/texx].

En cambio, si [texx]a_n+b_n\geq 10[/texx], entonces SIEMPRE se producirá acarreo en "1" unidad en la posición inmediata izquierda [texx]n-1[/texx].

Si [texx]a_n+b_n=9[/texx], entonces no hay acarreo al calcular ese dígito en la suma truncada [texx]z_n[/texx], pero no sabemos si en el paso siguiente [texx]z_{n+1}[/texx] obligará a sumarle un "1" a ese 9 en la posición [texx]n[/texx], produciendo un acarreo.

Ahora bien. En caso de que se produzca acarreo en la posición [texx]n-1[/texx] o no, hay que considerar la suma total de los dígitos [texx]a_{n-1}+b_{n-1}[/texx]+"el acarreo desde posición n", y eso da el dígito [texx]c_{n-1}^{(n)}[/texx] de [texx]z_n[/texx].

Según que se hayan obtenido números [texx]\geq 9[/texx] el "acarreo" se seguirá contagiando hacia la izquierda hasta algún dígito donde no haya más acarreo.





Este análisis nos da la pista de cómo proceder.

Supongamos que [texx]a_2+b_2\geq 10[/texx]. Entonces habrá acarreo en todas las sumas truncadas [texx]z_n[/texx], para [texx]n=2,3,4,...[/texx] etc.
De manera que [texx]c_1^{(n)}=a_1+b_1+1[/texx] (módulo 10).

Se ve claramente que esto no depende de [texx]n[/texx], al menos para [texx]n> 1[/texx], y podemos estar tranquilos, pues, de que el primer dígito no va a variar nunca más.
Sólo ha diferido el [texx]c_1^{(1)}[/texx] (primer dígito de la etapa 1) con el [texx]c_1^{(n)}[/texx] (primer dígito de la etapa [texx]n[/texx]) para [texx]n\geq 2[/texx].

Hemos probado (un poco conversado, lo sé) lo siguiente:

* Existe un valor [texx]n=N[/texx] ("lo bastante grande") tal que para todo [texx]n\geq N[/texx] el valor de [texx]c_1^{(n)}[/texx] es siempre el mismo.



Pero sólo analizamos un caso, faltan otros dos.

Veamos qué pasa si [texx]a_2+b_2\leq 8[/texx].
Entonces el acarreo "hacia" la posición 1 siempre será "0" (o sea, no se produce jamás acarreo), y otra vez tenemos que [texx]c_1^{(n)}[/texx] no varía a medida que [texx]n[/texx] "se hace grande". Es constante.

El caso más problemático es aquel en que [texx]a_2+b_2=9[/texx].
Es problemático, porque en [texx]z_2[/texx] no se "ve" si a ese 9 habrá que sumarle algún acarreo desde la posición 3, y si hay un 9 en la 3, si hay que considerar o no el acarreo desde la posición 4, etc.

Sin embargo, "supongamos" que [texx]a_n+b_n\neq 9[/texx] para algún [texx]n\geq 2[/texx], y tomemos el mínimo [texx]n[/texx] que cumple esa propiedad y denotémoslo N.

En ese caso, entre el dígito 1 de la suma, y el dígito [texx]n[/texx], "todos son 9"s. ¡¡!!

Si [texx]a_N+b_N\leq 8[/texx], entonces no hay acarreo hacia la izquierda, luego los 9s intermedios no son afectados por acarreo alguno, y llegamos hasta el primer dígito, el de la posición 1, "sin acarreo alguno", con lo cual, podemos asegurar que para todo [texx]n\geq N[/texx], el dígito [texx]c_1^{(n)}[/texx] será siempre constante, sin importar el valor de [texx]n[/texx].

Hemos encontrado el punto exacto a partir del cual las sumas "se estabilizan" en el primer dígito por lo menos.

En cambio, si [texx]a_N+b_N\geq 10[/texx], entonces para todo [texx]n\geq N[/texx] siempre habrá acarreo de "1" unidad hacia la izquierda, lo cual afecta a todos los 9s intermedios, hasta llegar al dígito de la posición 1 de la suma.
Esto convierte a todos los 9s que había... en 0s, y se le suma 1 al dígito de la primer posición.

Pero lo importante es que, para [texx]n\geq N[/texx] esto ya no va a sufrir más cambios, y el dígito [texx]c_1^{(n)}[/texx] quedará estable.





Hemos casi resuelto todo el problema, al menos para dejar fijo, de una vez por todas, el primer dígito de la suma de [texx]x,y[/texx].

Esto es así porque en la mayoría de los casos, siempre ocurrirá que al menos hay un índice [texx]n[/texx] tal que [texx]a_n+b_n\neq 9[/texx].

La negación de esta situación es el caso especial en que "todas las sumas [texx]a_n+b_n=9[/texx], para [texx]n\geq 2[/texx]".

Este caso especial lo tratamos aparte.
En realidad, aquí lo que ocurre es que jamás se produce acarreo, en ninguna de las sumas truncadas [texx]z_n[/texx], todo [texx]n[/texx], y por lo tanto, [texx]c_1^{(n)}[/texx] siempre permanece constante, igual a la suma obtenida en el primer paso.





Es cierto que se obtiene el caso "molesto" de dígitos con "cola de 9"s.
Pero eso no es un problema en esta etapa de la construcción, porque lo que estamos haciendo es simplemente definir una "suma" de sucesiones de dígitos.

Para que eso se "arregle" de modo que se obtenga un sistema de números reales sin esos desarrollos con "cola de 9"s, se hacen unas pequeñas tretas que vienen después.

Lo principal ha sido esto, de poder demostrar que para las sumas truncadas [texx]z_n[/texx], existe un índice [texx]n=N[/texx] tan grande como sea necesario, a partir del cual [texx]z_n[/texx] siempre mantiene constante su primer dígito [texx]c_1^{(n)}[/texx].

En virtud de que todos estos números [texx]c_1^{(n)}[/texx] ahora son iguales para [texx]n=N,N+1,N+2, etc.[/texx],
tenemos un modo NO-AMBIGUO de definir el primer dígito del objeto [texx]z=x\oplus y[/texx] que estamos buscando.


Para su mantisa, definimos pues [texx]c_1=\lim_{n\to \infty} c_1^{(n)}[/texx], lo cual tiene sentido (por la constancia de ese valor para [texx]n[/texx] grande),
y es nada más ni nada menos que lo que hemos dicho: aquel valor de [texx]c_1^{(n)}[/texx] que se vuelve siempre constante para [texx]n[/texx] grande.



Finalmente, recordemos que lo único que hicimos en los párrafos anteriores fue demostrar que tenía sentido definir en forma inambigua al "primer dígito" de la mantisa de [texx]z[/texx].

Sin embargo, el mismo procedimiento puede repetirse para el "2do dígito", luego el "3er dígito", y así sucesivamente.

En general, la fórmula que se obtiene para dichos dígitos es siempre la misma, y sigue las ideas anteriores, resultando que existe el límite:

[texx]c_j=\lim_{n\to\infty} c_j^{(n)}[/texx],

Se define, pues, la mantisa de [texx]z[/texx] como [texx]\{c_1,c_2,c_3,c_4,...\}[/texx].




Espero que se haya entendido.


Hasta aquí leído, entendido y más ó menos conforme. No veo errores, aunque la última parte del desarrollo está un poco revuelta y cuesta leerla, pero parece correcta.

De todas forma se me ha ocurrido una forma que quizás permitiera simplificar un poco el desarrollo, consistiría en realizar un desarrollo similar, más sencillo, para mantisas periódicas, lo que permitiría definir los números racionales en primer lugar (*), y después solo bastaría identificar las mantisas no periódicas con los irracionales (ya que a fin de cuentas los números irracionales son todos aquellos que no son racionales por propia definición). Bueno esa es más ó menos la idea.

(*) NOTA: Habría que demostrar además que cuando la mantisa es periódica existe un número natural que al realizar el producto por la mantisa se obtiene una mantisa periódica de perido 0, aunque eso no parece muy complicado (recuerdas aquello de tantos nueves como cifras tiene la parte periódica seguida de tantos ceros como cifras tiene la parte no periódica).

Saludos, Jabato. :sonrisa_amplia:
En línea
Dani
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 120



Ver Perfil WWW
« Respuesta #66 : 17/10/2011, 05:34:20 pm »

Contestando a Dani: Solo te diré una cosa Dani, si fuera así como tu dices yo creo que argentinator, que es un buen matemático, no se habría molestado en escribir sus dos últimos mensajes, ¿no te parece? Podría decirte más cosas pero creo que con eso es suficiente.

Lee más despacio las cosas que hemos escrito en este hilo, medítalas y luego haz una crítica un poco menos apasionada, más racional. Piensa que la mantisa no es la parte decimal de nada porque debe suponerse que ni los números racionales ni los números reales existen todavía, porque los estamos construyendo con el modelo. La construcción de este modelo presupone que solo existen los números naturales y los enteros, lo que por otra parte es uno de sus mayores alicientes ya que la construcción de los racionales y de los reales se hace simultaneamente, y además resulta que la mantisa no es un número sino una cadena infinita de caracteres que en principio no tiene valor numérico, no puede tenerlo al menos hasta que se complete la construcción, por razones evidentes.

Saludos, Jabato. :sonrisa_amplia:

No discuto que argentinator sea un buen matemático, y además he leído parte de sus (vuestros) mensajes. Pero por eso mismo pienso que no es necesario introducir esa nueva notación que has introducido tú (yo no la llamaría nuevo modelo, porque realmente de nuevo no veo que tenga nada) para llevar a cabo todos los desarrollos que ha hecho él, sino que pueden hacerse prescindiendo de ella. Lo que veo que está haciendo argentinator en varios de sus mensajes es formalizar los algoritmos que conocemos de la aritmética básica en axiomas, pero también veo que para eso no es requisito imprescindible definir los números reales como lo haces tú. Considero que éste es uno de esos casos en los que los árboles no nos dejan ver el bosque. Es más, sigo pensando que realmente no estáis descubriendo nada nuevo, sino que estás reinventando la rueda y comprobando si ésta gira si en vez de "rueda" le pones otro nombre.

No he dicho que la "mantisa" que defines tú pretenda ser la parte decimal de nada, sino que los resultados que obtienes y obtendrás trabajando con tus pares ordenados en su totalidad son los mismos que los que obtendrás considerando los números reales sin paréntesis. Los números reales ya incorporan implícitamente el concepto de par ordenado ( (parte real, parte decimal) ). Y al igual que la "mantisa" de tu definición, no hay nada que te impida ver en la parte decimal de un número real una sucesión de dígitos sin valor numérico (de hecho, el concepto de "valor númerico" yo lo veo solo como una construcción psicológica que nos hacemos nosotros por necesidad; matemáticamente los números no tienen ningún significado).

Análogamente, tampoco veo problema en construir los números reales como los conocemos utilizando solo los números enteros.

Si no es mucho pedir, intenta responderme a estas preguntas:

1) ¿Qué idea nueva introduce tu 'modelo' que no esté ya contenida en el modelo que conocemos de los números reales?

2) ¿Qué desarrollos permite hacer tu 'modelo' que no permita el otro?

3) El problema que apuntaba antes donald. ¿Cómo lo solventas? No parece muy lícito decidir sobre la marcha que ahora esto es una "mantisa", o ahora no lo es, según te convenga. Y aunque lo hagas, no salvas el problema. Por definición, si [texx](a,b)[/texx] es un par ordenado, [texx](a,b) = (a,c) \Rightarrow{} b = c [/texx]. ¿Qué haces cuando en dos pares ordenados que representan a un mismo número tengas dos "mantisas" distintas?
En línea
Jabato
Visitante
« Respuesta #67 : 17/10/2011, 05:53:53 pm »

Es que acaso yo he hecho semejantes afirmaciones. Yo no he dicho tales cosas, eres tu el que me las asigna, pero ni yo he dicho que mi modelo sea algo nuevo ni que permita hacer cosas que no puedan hacerse con otros modelos de números reales. La única novedad es el propio modelo, que no cabe duda que es otro más de los muchos que existen, pero concretamente este modelo parece que no está establecido, al menos por lo que yo sé y por lo que afirma argentinator no parece que esté descrito en los textos conocidos.

Respecto a que haya dos pares ordenados que representen el mismo número real pero que contengan mantisas distintas es un caso que no puede darse, siempre que se excluyan las mantisas de periodo nueve, que ya lo están porque así le contesté yo mismo a donald hace ya varios mensajes. Aunque parece que no te has enterado de eso. (Si conoces algún contra ejemplo exponlo aquí por favor, no te coartes)

Por cierto ¿cuando hablas de números reales de que modelo estas hablando? Porque probablemente con este modelo si puedan hacerse cosas que con otros no se pueda aunque eso habría que investigarlo si queremos saberlo a ciencia cierta, pero para eso tienes que explicarme que modelo de numeros reales es al que te refieres. Desde luego el modelo que yo he propuesto cumple con todas las propiedades de los reales, pero también tendrá algunas propiedades que no tengan otros modelos, ¿no te parece? Por ejemplo, los números reales se muestran aquí como el conjunto formado como producto cartesiano de dos conjuntos bien definidos, el de los números enteros y el de las sucesiones de dígitos. ¿Podrías demostrar semejante propiedad usando el modelo de Dedekind ó el de Cantor?

De hecho aún te diría más, para poder descomponer un número real en su parte entera y su parte fraccionaria es necesario demostrar que este modelo es viable, por el procedimiento que más te guste, pero si no lo demuestras estás hablando del sexo de los ángeles cada vez que realizas tal descomposición. ¿Puedes decirme en base a que construcción justificas la expresión decimal de los números reales? ¿Quien dice que tal cosa puede hacerse? Porque no te documentas un poco antes de hablar Dani.

Vamos, digo yo, Jabato.
En línea
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.541



Ver Perfil
« Respuesta #68 : 17/10/2011, 07:36:39 pm »


) El problema que apuntaba antes donald. ¿Cómo lo solventas? No parece muy lícito decidir sobre la marcha que ahora esto es una "mantisa", o ahora no lo es, según te convenga. Y aunque lo hagas, no salvas el problema. Por definición, si [texx](a,b)[/texx] es un par ordenado, [texx](a,b) = (a,c) \Rightarrow{} b = c [/texx]. ¿Qué haces cuando en dos pares ordenados que representan a un mismo número tengas dos "mantisas" distintas?

Eso no es ni siquiera un problema menor, como ha dicho Argentinator, es que no es un problema, o al menos no es un problema de Jabato, lo es de las bases, si acaso; en este caso de la base diez. Y nuestro propio sistema de números reales, escrito con comas detrás de las unidades enteras, tiene ambas representaciones, ¿qué le obliga a quitarlos? Si no quiere no tiene por qué hacerlo.   
Las calculadoras convierten automáticamente esos números en cuanto ven varios nueves: 0.999999=1, pero porque son máquinas y aproximan como si hubiera infinitos nueves; multiplicando a mano no saldría nunca:

[texx]\dfrac{1}{3}+\dfrac{1}{3}+\dfrac{1}{3}=3(0.333..)=0.999...= \dfrac{3}{3}=1[/texx]

sale por eso, porque [texx]\dfrac{a}{a}=1[/texx], pero a mano no sale nunca.

Y para ver que es un problema de la base basta fijares que al dividir 1/3 lo que hacemos es partir ese uno en diez partes y poner un cero en el cociente:

[texx]\dfrac{1}{3}=0.333..\Rightarrow 10=3 \cdot 0,333...[/texx]

Pero si usamos base 6, y partimos el 1 en seis partes:

[texx]\dfrac{1}{3}\Rightarrow 6=3 \cdot 0,2[/texx]

No sale periódico, sale 0,2 escrito en base decimal, pero que multiplicado por 3 es:

[texx]0,2+0,2+0,2=0,6=1_{en\,\,base\,\,6}[/texx]

Saludos.
 
 
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #69 : 18/10/2011, 02:05:34 am »

En respuesta a Dani: Creo que has malentendido el punto central de la discusión.

Has hablado del "modelo de los reales que ya conocemos".

Bueno, pero eso supone que "ya" conocemos un "modelo".
¿Cuál?

Mi respuesta es: ninguno, hasta tanto se haya construido al menos un modelo.

((Debido a que los posts me han quedado largos, voy a poner trozos de texto en Spoilers, para que sea más cómodo seguirlos))

________________

Spoiler: Una analogía ilustrativa... (click para mostrar u ocultar)

_________________

¿Como se construye un ejemplo (o "modelo", si se prefiere esta palabra) de "sistema de números reales"?

Hay muchas alternativas, pero lo cierto es que uno puede construir uno, usarlo como "el" sistema de números reales, y después demostrar que es equivalente a cualquier otro modelo dado.


Desde el punto de vista lógico, lo que vos llamás "números reales de toda la vida" en realidad NO EXISTEN.

Van a existir después de que hayamos construido al menos un primer modelo.

___________

Y la pregunta acá es: ¿qué pasa si elegimos que, el primer modelo de reales que construimos sea directamente a través de dígitos?
¿Cómo se efectúa la construcción?

Uno tiene que definir "a mano" la suma, la multiplicación, la relación de orden, y finalmente probar que se cumplen cada uno de los axiomas de los números reales: los axiomas algebraicos, los axiomas ordinales, los axiomas algebraico-ordinales, y por último el axioma del supremo.

_____________________

Cuando vos decís que "los dígitos" están asociados a los "reales de toda la vida" estás pensando en una situación diferente:

Spoiler: (Abrir para seguir los detalles) (click para mostrar u ocultar)

No es lícito probar las propiedades de los desarrollos decimales "desde los axiomas", porque los axiomas PUEDEN SER FALSOS.
Una lista de axiomas SIN MODELOS es falsa, no sirve para nada.

___________________

Por otra parte, al usar uno desarrollos decimales tiene la certeza de que va a llegar a buen puerto, porque uno sabe por experiencia que, de existir de verdad los números reales (mejor dicho, algún modelo de ellos), entonces automáticamente aparecen asociados los desarrollos decimales.

Pero estos desarrollos decimales "sólo tienen sentido" después que se ha demostrado que LOS AXIOMAS TIENEN SENTIDO, y esto ocurre sólo DESPUÉS que se ha construido un modelo válido.

Este tipo de cosas van en la dirección del trabajo de Hilbert, al tratar de fundar la matemática sobre la base de los números naturales.

En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #70 : 18/10/2011, 02:26:15 am »

En cuanto a si la construcción por desarrollos decimales es conocida o no...

Spoiler: Mi visión del asunto... (click para mostrar u ocultar)
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #71 : 18/10/2011, 02:38:52 am »

Finalmente, hago un comentario sobre las quejas de Dani de que esto de los desarrollos decimales se supone que son algo "obvio" o demasiado conocido.

En realidad los desarrollos decimales son algo ambiguo, no corresponde a números reales.

No es sólo cuestión de decir que un número real es una parte entera y una parte decimal.

Porque además hay que verificar la estructura algebraica y analítica.

Para ver que esto efectivamente es así, lo más adecuado es poner un ejemplo, que en este caso lo pongo dentro de los mismos números reales.

Spoiler: (Detalles del ejemplo) (click para mostrar u ocultar)
_________________________

En cuanto a la queja de Dani, de que hay casos ambiguos en la definición de suma con desarrollos decimales...

Eso sería cierto sólo si a los desarrollos decimales quisiéramos llamarlos números reales, sin ningún "arreglo" previo.

Spoiler: (click para continuar leyendo) (click para mostrar u ocultar)
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #72 : 18/10/2011, 02:55:09 am »

Spoiler: Un ejemplo análogo en los enteros (click para mostrar u ocultar)

Sobre el sentido y utilidad de estas construcciones "a mano" de los sistemas numéricos:

Spoiler: (Click para ver explicación) (click para mostrar u ocultar)
En línea

argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #73 : 18/10/2011, 05:21:13 am »

Contestando a Dani: Solo te diré una cosa Dani, si fuera así como tu dices yo creo que argentinator, que es un buen matemático, no se habría molestado en escribir sus dos últimos mensajes, ¿no te parece? 

No discuto que argentinator sea un buen matemático, 

Estas cosas no tienen importancia, pues en rigor, se trata de la "Falacia de Autoridad".

Me doy cuenta que Donald sabe mucho más que yo de teoría de modelos,
y sin embargo sigo sin creerme lo que él opina sobre la fiabilidad de la intuición como fundamento base para la matemática.

Mientras estemos en el marco de la teoría de conjuntos estándar (ZFC o NBG o MK, cualquiera de ellas),
la discusión sobre los sistemas numéricos gira en torno a qué son "dentro de la teoría de conjuntos".

Una pregunta central es "qué entendemos por números".
En el marco formal de la teoría de conjuntos, los números no son algo "intuitivo", ni "conocidos de toda la vida".

En línea

Jabato
Visitante
« Respuesta #74 : 18/10/2011, 03:41:04 pm »

La suma de pares quedaría establecida entonces en la forma:

[texx](e_1,\ m_1)+(e_2,\ m_2)=(e,\ m)[/texx]

en la que:

[texx]e=e_1+e_2+a[/texx]                  [texx]m=m_1+m_2[/texx]

siendo [texx]a[/texx] el indicador de acarreo de la suma de mantisas en la primera posición y m la mantisa resultante de la suma de mantisas en la forma que ya estableció argentinator.

En esta tesitura podemos establecer ahora las propiedades de la suma y ver que se satisfacen los axiomas de los reales para la suma:

- La suma es ley de composición interna, es decir la suma de dos pares es un par. Es evidente que se cumple ya que por propia definición se establece que la suma de dos pares es un par.

- La suma de dos pares es única. Es también evidente por la propia definición puesto que la suma de dos enteros es un entero único y la suma de dos mantisas es una mantisa única (si las mantisas de periodo 9 se transforman en mantisas de periodo nulo) y el indicador de acarreo solo puede tomar un único valor.

- La suma presenta la propiedad asociativa. También se cumple porque dicha propiedad se cumple para la suma de números enteros y la suma de números naturales.
 
- La suma presenta la propiedad conmutativa. Exactamente igual que la anterior.

- Existe el elemento neutro para la suma. Dicho elemento es [texx](0,\ 000000.....)[/texx]

- Existe el elemento inverso para la suma. Dicho elemento es [texx](e,m)^{-1}=(-e-1,m_c)[/texx]  en la que [texx]m_c[/texx] es la mantisa complementaria respecto de la mantisa de periodo 9, que se obtiene al substituir cada digito por su complemento respecto de 9.

[texx](e,\ m)+(e,\ m)^{-1}=(e-e-1,\ m+m_c)=(0,\ 000000....)[/texx]

Es claro que al sumar las mantisas se obtendrá una mantisa de periodo 9, que al ser convertida a una mantisa de periodo 0 anulará la parte entera.

He tratado de ser breve y omitir los detalles porque creo que esto no debería plantearle problemas a nadie, supongo.

Saludos, Jabato. :sonrisa_amplia:
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #75 : 18/10/2011, 07:06:20 pm »

Bueno, en este punto es que aparece el problema de los 9's y hay que resolverlo formalmente.

Lo que se hace no es "convertir los 9s a 0s y listo", sino que uno define clases de equivalencia.

Si la mantisa m no termina en un período de 0s o 9s, se define la clase de equivalente de m como el conjunto que contiene a m como único elemento.

La clase de m, [m], sería el conjunto {m}.
O sea [m] = {m}.

En cambio, cuando m termina en una cola de 0s o de 9s, la clase de equivalencia tiene que contener a los dos casos posibles.

Por ejemplo [0.1249999...] = {0.1250000...,    0.1249999....}
Otro ejemplo: [0.337000...] = {0.3369999...,   0.3370000...}

Es engorroso trabajar con estas "clases" porque casi no difieren de las sucesiones mismas, no tiene mucha gracia.

Pero es lo más correcto o conveniente.

Si no, uno tiene que usar otra convención en las sumas de sucesiones de dígitos, y evitar el caso de mantisas que terminan en cola de 9s, digamos.

Pero tanto un enfoque como el otro tienen su precio a pagar.

___________________

En cuanto a que las propiedades algebraicas que mencionaste son sencillas de probar...
No estoy de acuerdo.

No es que sea difícil, pero no es trivial.
Me refiero a que, así como definimos la suma como un proceso iterativo, truncando a n digitos y luego pasando a una especie de "límite" para n que tiende a infinito.

Esta misma operatoria tendría que repetirse al comprobar cosas como la ley asociativa, conmutativa, etc.

Sin embargo, es cierto también que, salvo esto, la forma de proceder de todos modos es bastante obvia.

Por otro lado, en el caso "ambiguo" de las colas de 0s y colas de 9s, hay que prestar especial atención.
Sin embargo, si uno tuvo el cuidado previo de definir una suma correctamente con clases de equivalencia, no habría dudas en esta parte (no haría falta considerar todos los casos).

En línea

Jabato
Visitante
« Respuesta #76 : 18/10/2011, 07:22:46 pm »

Creo argentinator que no merece la pena parase mucho más en estos temas, lo de las clases de equivalencia puede evitarse si establecemos de forma previa, yo ya lo hice, que las sucesiones de periodo 9 no son mantisas y definimos la suma incluyendo el caso de la transformación de periodo 9 a periodo nulo, es decir que cuando al sumar dos mantisas se obtenga una mantisa de periodo 9 ésta deberá transformarse a periodo nulo sumando una unidad al último dígito de la parte no periódica ó a la parte entera si la mantisa es periódica pura. Yo seguiría avanzando en el modelo, pero eso será mañana porque a mi hoy ya me sonó la hora. Mañana será otro día.

Saludos, Jabato. :sonrisa_amplia:
En línea
Jabato
Visitante
« Respuesta #77 : 19/10/2011, 03:48:47 pm »

El paso siguiente parece que debería ser establecer el producto de dos pares y parece que la forma más lógica sería hacerlo de esta manera:


[texx]{(e_1,m_1)\times (e_2,m_2)=(e_1,0)\times (e_2,0)+(e_1,0)\times (0,m_2)+(e_2,0)\times (0,m_1)+(0,m_1)\times (0,m_2)}[/texx]


pero ello nos obliga a realizar varias definiciones previas lo cual parece que va a complicar la cosa en grado sumo.


      [texx](e_1,0)\times (e_2,0)=(e_1\cdot e_2,0)[/texx]

      [texx](e,0)\times (0,m)=?[/texx]   (Obliga a definir el producto de un entero por una mantisa)

      [texx](0,m_1)\times (0,m_2)=?[/texx]   (Obliga a definir el producto de dos mantisas entre si)


No veo otra forma más sencilla. ¿Alguna sugerencia?

Saludos, Jabato. :sonrisa_amplia:
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.278

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #78 : 19/10/2011, 04:24:00 pm »

 :cara_de_queso:

¡No digas que no te avisé!

Ese tipo de problemas son los que ocurren al separar parte entera de mantisa.

Por eso siempre he dicho: es preferible hacer un modelo en que sólo se consideren dígitos.

O sea, desarrollos de la forma:

[texx]\displaystyle\sum_{n=-k}^{\infty} a_n 10^{-n}.[/texx]

donde [texx]k[/texx] es algún entero cualquiera.

Los índices [texx]n[/texx] negativos corresponden a la parte entera del número.
Los positivos se asocian a la parte fraccionaria.

Debido a que la parte entera siempre tiene una cantidad finita de dígitos, no se introducen dificultades en el tratamiento al permitir desarrollos así.
El "costado derecho" que es el que tiene infinitos dígitos, es lo más complicado, y ya hemos explicado cómo se trabaja en ese caso (por truncaciones y aproximaciones).


De todas maneras, la parte más complicada es la que corresponde al producto de dos mantisas.
Analicemos eso.

Lo que yo haría sería muy similar a lo hecho para la suma, y resumo las ideas:

* Truncar los factores cada uno hasta el decimal [texx]n[/texx]-ésimo "a la derecha de la coma".
* Multiplicar con el algoritmo usual, ya que tenemos ahí finitos decimales y no hay problema. Al resultado lo llamamos [texx]z_n[/texx], que no es el resultado buscado, pero se aproxima.
* A medida que [texx]n[/texx] crece, hay que demostrar que los dígitos de [texx]z_n[/texx] se van "estabilizando".

Pongo un ejemplo numérico que aclarará mejor la idea que la demostración:

Pongamos el ejemplo de la parte fraccionaria de [texx]\pi\by e[/texx]. Esto es [texx](\pi-3)(e-2)[/texx].

Parte fraccionaria de [texx]\pi[/texx]: 0.14159265358979....
Parte fraccionaria de [texx]e[/texx]:   0.71828182845904...
El producto de estos números da algo como: [texx]0.1017034301168....[/texx]

El algoritmo anterior funcionaría así:

[texx]z_1=0.1\times 0.7=0.07[/texx]
[texx]z_2=0.14\times 0.71=0.0994[/texx]
[texx]z_3=0.141\times 0.718=0.101238[/texx]
[texx]z_4=0.1415\times 0.7182=0.1016253[/texx]
[texx]z_5=0.14159\times 0.71828=0,1017012652[/texx]

y así sucesivamente.

Fijate que hubo un momento, a partir de [texx]n=3[/texx], en que el primer dígito se hizo "1", y ese valor será el definitivo de ahí en adelante.
Lo mismo ocurrió para el 2do y el 3er dígito.
Es una casualidad que se hayan "estabilizado" a partir del mismo índice [texx]n[/texx] que el 1er dígito.
El 4to y 5to dígito se estabilizan a partir de [texx]n=5[/texx].

Para cada posición del desarrollo decimal del producto, o sea, para el [texx]k-[/texx]ésimo dígito,
no es posible predecir en qué momento comenzará a "estabilizarse".
Pero basta demostrar que habrá algún paso [texx]n[/texx] a partir del cual ese dígito empieza a vale siempre lo mismo (yo digo pues, que "se estabiliza").

Esta es la cuestión central que hay que ponerse a demostrar para que este método esté justificado.
Y hay que hacerlo, porque si no el método no está justificado.

Ahora bien, al menos hoy no tengo muchas ganas de hacerlo. Pero es cuestión de rutina ponerse a luchar con los dígitos "en abstracto", buscar un índice [texx]n[/texx] adecuado, etc.

_____________________

En el ejemplo se vislumbra otra dificultad, que con la suma no teníamos: al multplicar desarrollos truncados, el número de dígitos del producto se duplica hasta [texx]2n[/texx].

Esto trae una dificultad adicional que se debe tener en cuenta.

Otro problema interesante también es el de que los "acarreos" en el producto no son tan simples como en la suma. En ella se acarrea 0 ó 1. En el producto se puede acarrear hasta 8.

En línea

Jabato
Visitante
« Respuesta #79 : 20/10/2011, 02:20:59 pm »

El problema de multiplicar un entero por una mantisa se reduce fácilmente a una suma finita de mantisas y por lo tanto no le dedicaré mucha más atención que esta. Nuestro gran problema, como dice argentinator, es el producto de mantisas y es ahí donde se va a demostrar nuestra habilidad para desarrollar este modelo.

Vamos con el primer caso:

[texx](e,0)\times (0,m)[/texx]

a) Si [texx]e>0[/texx] se suma tantas veces como indique [texx]e[/texx] el par (0,m) consigo mismo

b) Si [texx]e=0[/texx] el resultado de la operación es el par nulo (0,00000...)

c) Si [texx]e<0[/texx] se suma tantas veces como indique [texx]|e|[/texx] el par (0,m) consigo mismo y a continuación se cambia el signo a la parte entera obtenida, se le resta 1 y por último se substituye la mantisa resultante por su complemento respecto de la mantisa 99999999999.....

NOTA: Nótese que, en este caso, por parte entera de un número real negativo se ha tomado el valor por defecto, es decir el mayor entero menor que el número real dado. La otra opción hubiera sido tomar el valor por exceso. Había que tomar una de las dos opciones y elegí ésta por que me pareció la más útil, aunque cualquiera de las dos hubiera valido.

Saludos, Jabato. :sonrisa_amplia:
En línea
Páginas: 1 2 3 [4] 5 6   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!