TARDÍGRADOS

Ciencia en español -ʟᴀ ʀᴀᴢóɴ ᴇsᴛá ᴀʜí ғᴜᴇʀᴀ-

Posts Tagged ‘números reales’

La función Infra-Zeta de Riemann

Posted by Albert Zotkin en agosto 22, 2014

Hola amigos de Tardígrados. Hoy voy a continuar con el tema de las infrasumas e infrarrestas que definí en mi post anterior. Dichas definiones eran así:

\displaystyle x \oplus y = x+\log \left (1 + \exp (y-x) \right ) \\ \\ x \ominus y = x+\log \left (1 - \exp (y-x) \right ) (1)

en realidad hay una forma más sucinta de definir ambas operaciones, y es esta:

\displaystyle x \oplus y = \log \left (\exp (x)+\exp (y) \right ) \\ \\ x \ominus y = \log \left (\exp (x)-\exp (y) \right ) (2)

Vemos pues que el elemento neutro de la infrasuma es u = -8 (menos infinito):

\displaystyle x \oplus u = u \oplus x = x \\ \\ x=\log \left (\exp (x)+\exp (u) \right ) \\ \\ \exp(x) = \exp (x) + \exp (u) \\ \\ 0 = \exp (u) \\ \\ u = \log(0)= -\infty (3)

Igualmente, desde la definición de infrarresta podemos ver que cada número real x posee un opuesto x’ tal que:

\displaystyle x \oplus x' = \log \left (\exp (x)+\exp (u) \right )=-\infty (4)

es decir:

\displaystyle x \oplus x' = -\infty \\ \\ (x \oplus x') \ominus x = (\exp (x) + \exp (x'))= -\infty \ominus x = x \\ \\ x \oplus x' = \exp (x) + \exp (x') = -\infty \\ \\ (4)
que es un numero complejo con parte imaginaria π. En realidad para cada número real x existen infinitos números opuestos con parte real igual a x, y parte imaginaria nπi, donde n es un entero impar.

Podemos seguir y definir la operación multiplicación ⊗ así:

\displaystyle x \otimes n = \underset{n}{\underline{x \oplus x \oplus \dots \oplus x}} = \log(n \exp(x)) (5)
donde n es de momento un número entero, pero vemos que no es una operación conmutativa, ya que por regla general no es cierto que x⊗n = n⊗x. Intentemos, de todas formas encontrar un elemento inverso para esta operacion ⊗:

\displaystyle x \otimes u = \log(u \exp(x)) = x \\ \\ u \log(x) = \log(x) \\ \\ u = 1 (6)

luego la operación ⊗ realizada por la derecha posee el elemento neutro u = 1. Pero, si la realizamos por la izquierda obtenemos:

\displaystyle u \otimes x = \log(x \exp(u)) = x \\ \\ x \log(u) = \log(x) \\ \\ \log(u) = \frac{\log(x)}{x}\\ \\ u = \sqrt[x]{x} (7)

lo cual implica que dicha operación realizada por la izquierda no da un elemento inverso único. Pero, podemos ver cuál sería el opuesto de x (por la derecha):

\displaystyle x \otimes x' = \log(x' \exp(x)) = 1\\ \\ \log(x' \exp(x)) = \log(\exp(0)) \\ \\ x' \exp(x) = \exp(0) \\ \\ x' = \exp(-x) (8)

La infra-potenciación ⊛ puede ser definida así:

\displaystyle x \circledast n = \underset{n}{\underline{x \otimes x \otimes \dots \otimes x}} = \log( \exp(x) x^n) \\ \\ x \circledast n = x + n \log x (9)
Por lo tanto ya estamos en condiciones de representar la función Zeta de Riemann en el inframundo, es decir, de definir uan función que llamaré infra-Zeta de Riemann. Para empezar fijémonis en la clásica forma de la función Zeta de Riemann:

\displaystyle \zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} (10)

Expresemos el equivalente a ns en el inframundo así:

\displaystyle n \circledast s = n + s \log n (11)

Ahora presentemos el inverso de dicha infra-potencia:

\displaystyle \exp (-n - s \log n) = \exp (-n) n^{-s} (12)

y realicemos el infra-sumatorio desde n = 1 hasta ∞, para obtener la función infra-zeta de Riemann, \underset{.}{\zeta}:

\displaystyle \underset{.}{\zeta}(s) = \sum_{n=1}^\infty \frac{1}{e^{n} n^s} (13)

Vemos pues que la infra-zeta de Riemann, \underset{.}{\zeta}, es muy parecida a la zeta normal, y la única diferencia visible es que aparece el factor exp(- n), y siempre teniendo en cuenta que el sumatorio son infra-sumas

Saludos

Posted in Matemáticas | Etiquetado: , , , , , , , , , , , , , , , , , , , , , , | Leave a Comment »

Logaritmos: definición de infrasuma e infrarresta

Posted by Albert Zotkin en agosto 17, 2014

Hola amigos de Tardígrados. Hoy voy a intentar definir dos nuevas operaciones aritméticas, que llamaré infrasuma e infrarresta. Empecemos. Sabemos que el logaritmo neperiano de un producto de dos números reales es igual a la suma de los logaritmos neperianos de sus factores

\displaystyle \log (a \times b) = \log (a) + \log (b) (1)

y para la división tenemos que

\displaystyle \log \left (\frac{a}{b}\right ) = \log (a) - \log (b) (2)

Siguiendo este proceso operativo, nos podemos preguntar si existe un operador binario ⊕ tal que

\displaystyle \log (a+b) = \log (a) \oplus \log (b) (3)
Por lo tanto, desde el operador binario suma + deberiamos poder definir ese operador binario ⊕ que llamaríamos infrasuma. De igual forma deberíamos poder definir un operador binario ⊖ tal que

\displaystyle \log (a-b) = \log (a) \ominus \log (b) (4)

De hecho es posible expresar esa nuevas operaciones binarias de forma explícita así:

\displaystyle x \oplus y = x+\log \left (1 + \exp (y-x) \right ) \\ \\ x \ominus y = x+\log \left (1 - \exp (y-x) \right ) (5)

La demostración de esto último es fácil, pues sabemos que:

\displaystyle x = \log(a) \ \ \ y = \log(b)

con lo cual tenemos que:

\displaystyle x \oplus y =\log(a) \oplus \log(b) = \log(a+b)= \log(a) +\log \left (1 + \exp (\log(b)-\log(a)) \right ) \\ \\ \log(a+b)= \log(a) +\log \left (1 + \exp (\log\frac{b}{a}) \right ) \\ \\ \log(a+b)= \log(a) +\log \left (1 + \frac{b}{a} \right ) \\ \\ \log(a+b)= \log(a) +\log \left (\frac{a + b}{a} \right ) \\ \\ \log(a+b)= \log(a) +\log (a + b) -\log(a) \\ \\ \log(a+b)= \log (a + b) \\ \\ (6)

La demostración para la infrarresta se hace igual:

\displaystyle x \ominus y =\log(a) \ominus \log(b) = \log(a-b)= \log(a) +\log \left (1 - \exp (\log(b)-\log(a)) \right ) \\ \\ \log(a-b)= \log(a) +\log \left (1 - \exp (\log\frac{b}{a}) \right ) \\ \\ \log(a-b)= \log(a) +\log \left (1 - \frac{b}{a} \right ) \\ \\ \log(a-b)= \log(a) +\log \left (\frac{a - b}{a} \right ) \\ \\ \log(a-b)= \log(a) +\log (a - b) -\log(a) \\ \\ \log(a-b)= \log (a - b) \\ \\ (7)
A continuación se puede comprobar, por ejemplo, si el operador binario infrasuma ⊕ forma un grupo dentro del conjunto de los números reales. Se han de cumplir las siguientes propiedades.

1. Clausura respecto de la infrasuma ⊕: para dos números reales x e y, x⊕y debe ser un número real Comprobamos que para el caso particular x = 0, y = 0, tendriamos,

\displaystyle 0 \oplus 0 =\log(1) \oplus \log(1) = \log(1+1) = \log(2) (8)
El caso por el que la clausura no se cumpliría sería para log(0), pero para que eso ocurriese en una infrasuma debería darse el caso especial exp(y–x) = -1, pero eso caso sólo resultaria cuando:

\displaystyle y - x = n i\pi
siendo n un número entero impar. Es decir, y – x sería un número imaginario puro, pero como x e y son números reales, su resta nunca puede ser un número complejo (imaginario puro).

2. Elemento identidad:

\displaystyle (x \oplus 0) = 0 \oplus x = 0 (9)

Pero, eso no siempre es cierto para todo número real x. Por ejemplo:

\displaystyle (3 \oplus 0) = 3.0485873515737420588\dots
Por lo tanto, ya no sería necesario seguir comprobando si se cumplen las demás propiedades de un grupo, como son la propiedad asociativa y el elemento inverso. La infrasuma no formaría un grupo en el conjunto de los números reales, y tampoco la infrarresta. Pero, estamos buscando un número real y tal que x⊕y = x. Con lo cual, sólo para el caso y = -∞ se cumpliría eso. Pero, -∞ (menos infinito) no es ningún número, por lo tamto la infrasuma no posee elemento identidad.

Supongamos que la infrasuma posee elemento identidad – ∞, entonces podemos seguir viendo si se complen las demás propiedades para formar un grupo. Así, para el elemento inverso hay que ver si x⊕x’ = x’⊕x = – ∞, donde x’ sería el inverso de x. Al resolver esa ecuación obtenemos la solución

\displaystyle x' = x+i\pi (10)

Es decir, el inverso de x no sería un número real sino complejo con parte imaginaria \pi.

Saludos

Posted in Matemáticas | Etiquetado: , , , , , , , , , , , , , , , , , , , | Leave a Comment »

 
A %d blogueros les gusta esto: