16/09/2019, 05:44:17 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Número 1 (2012) - 5. Demostración 0^0=1.  (Leído 46353 veces)
0 Usuarios y 1 Visitante están viendo este tema.
kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« : 26/05/2012, 10:01:41 pm »

Este artículo se escribe debido al mal uso que se le da a la expresión [texx]0^{0}[/texx]. En ocasiones a la pregunta a qué es igual, o cuanto es [texx]0^{0}[/texx], se debe ser cuidadoso al responder, mejor aún se debe ser específico al preguntar.

Antes que nada en esta parte se pretende dar respuesta a la pregunta a qué es igual el número natural cero elevado al número natural cero, que representado simbólicamente es [texx]0^{0}[/texx], que desde una mirada conjuntista en  cardinalidad es 1, pero que además este hecho es también evidenciado en  el teorema del Binomio.

saludos

Asdrúbal Beltrán

Modificación: Añadí (27-05-2012) al artículo, la sección: "El teorema del Binomio, La MAA y Donald Knuth"
saludos

Descargar pdf adjunto

* 00.pdf (361.65 KB - descargado 2963 veces.)
En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #1 : 27/05/2012, 11:52:26 pm »

Hola.

Contesto acá, pero se puede dividir el hilo en un apartado distinto para seguir la discusión, tal como se indica en las normas de la Revista.

En el foro y en todas partes se ha discutido mucho sobre el asunto del [texx]0^0[/texx].

Todo depende de qué está haciendo uno.

Si uno hace álgebra, y desea que las leyes algebraicas se cumplan en todos los casos, entonces lo del [texx]0^0[/texx] queda indeterminado, porque:

[texx]0^b=0[/texx] para [texx]b>  0[/texx],
[texx]a^0=1[/texx] para [texx]a\neq 0[/texx],
y entonces ¿qué pasa cuando [texx]a=b=0[/texx]? ¿Sigo la regla de arriba o la de abajo?

Como así no más no puedo decidir, me voy por ejemplo a las reglas de los exponentes:

[texx]a^{b-c}=\dfrac{a^b}{a^c}[/texx].

Sin salirnos de los números naturales, esa regla habría de ser cierta siempre, por ejemplo, para [texx]b\geq c[/texx], puesto que ahí el resultado nos da de nuevo un número natural.

Así que [texx]a^{b-b}=\dfrac{a^b}{a^b}=1[/texx], siempre y cuando [texx]a\neq 0[/texx].
Pero si [texx]a=0[/texx], obtenemos que

[texx]0^0=0^{b-b}=\dfrac{0^b}{0^b}[/texx]

Acá hay dos posibilidades, o bien [texx]b\neq 0[/texx] o bien [texx]b=0[/texx].
Supongamos que [texx]0^0=1[/texx]. En ese caso:

[texx]1=0^{0-0}=\dfrac{0^0} {0^0} =\dfrac11=1.[/texx]

Pero si [texx]b\neq 0,[/texx] entonces:

[texx]1=0^{b-b}=\dfrac{0^b}{0^b}=\dfrac00,[/texx]

que está indeterminado.

Consideraciones similares muestran que [texx]0^0[/texx] no podría tomar otro valor, así que habría de quedar indeterminado.

____

Otro cálculo:

[texx]0^0=0^{b\cdot 0}=(0^0)^b.[/texx]

Esto muestra que [texx]0^0[/texx] deber ser obligadamente [texx]0[/texx] ó [texx]1[/texx].

____________________

Por otra parte, cuando se usa [texx]0^0=1[/texx] en la teoría de cardinales de conjuntos, está correcto.
En teoría de conjuntos eso es lo que tiene que dar.

Y entonces no sorprende que en el binomio de Newton aparezca de nuevo el uso de [texx]0^0=1[/texx], porque ahí, si trabajamos sólo con números naturales, lo que tenemos es un resultado de conteo.

En efecto, el número [texx](x+y)^n[/texx] tiene que designar el cardinal de un conjunto de funciones con dominio [texx]A[/texx], [texx]cardinal(A)=n[/texx], y con imagen un conjunto [texx]B[/texx] con [texx]cardinal(B)=x+y[/texx].
Así que no tiene que sorprendernos que aparezca el [texx]0^0=1[/texx] en este desarrollo.

______________

Pero la "definición" de número natural como cardinal de un conjunto no es necesariamente la definición matemática de número natural.

En realidad no pueden tomarse como definición, porque tienen propiedades extra-algebraicas.
Por ejemplo, [texx]2=\{\emptyset ,\{\emptyset \}\}[/texx] tiene la propiedad de que [texx]1\in 2[/texx], pues [texx]1=\{\emptyset \}[/texx].

Eso, desde un punto de vista aritmético no tiene ningún sentido.

La definición de número natural es axiomática, por ejemplo, mediante los axiomas de Peano.

Luego, cualquier objeto matemático que cumpla esos axiomas puede considerarse un sistema de números naturales.
No hay razón alguna para excluir otros objetos matemáticos con las mismas propiedades.

De hecho, cuando uno usa algo como [texx]\mathbb N\subset \mathbb Q[/texx], es claro que ése [texx]\mathbb N[/texx] no son los mismos números naturales de la teoría de conjuntos.


Quiero decir, estás considerando la versión constructiva de los números naturales,
pero al hacer eso, ¿qué pasa con los demás sistemas de números?
¿También se aceptan de forma constructiva?

En ese caso, la construcción de [texx]\mathbb Q [/texx] a partir de [texx]\mathbb N[/texx] tiene sus vueltas, y el resultado final es un sistema que tiene como subconjunto a un conjunto [texx]N[/texx] que tiene "las mismas propiedades que los números naturales".

Y yo pregunto, ¿cuáles son "esas" mismas propiedades que tiene N respecto [texx]\mathbb N[/texx]?

Ciertamente, la propiedad [texx]1\in 2[/texx] no la tienen los naturales del susbsistema N de [texx]\mathbb Q[/texx].

Para evitar ambigüedades sobre qué es un número y qué no lo es, no queda más remedio que recurrir a una definición axiomática de número natural, y entonces la interpretación que has hecho sobre números como cardinales deja de ser obligatoria.

__________________

Es más, en teoría de conjuntos podemos pensar en números ordinales, es decir, ciertos objetos que indican o se identifican con conjuntos bien ordenados.

En dicha teoría también hay operaciones aritméticas de suma, producto, exponente, y da la casualidad que, cuando se las restringe a los ordinales finitos, coinciden los resultados aritméticos con los usuales.

Por ejemplo, si sumo los ordinales 2 y 3, obtengo el ordinal 5.

La pregunta aquí sería, ¿cuál es la potencia de ordinales?

Si [texx]\alpha ,\beta [/texx] son dos números ordinales, su producto ordinal [texx]\alpha \beta [/texx] es el ordinal cuyo tipo de orden coincide con el del producto cartesiano [texx]A\times B[/texx], dotado del orden de diccionario, donde [texx]A[/texx] tiene tipo de orden [texx]\alpha [/texx] y [texx]B[/texx] tiene tipo de orden [texx]\beta [/texx].

Luego, la potencia ordinal se define recursivamente:

[texx]\alpha ^n=(\alpha ^{n-1})\alpha [/texx], para [texx]n=2,3,...[/texx]
mientras que [texx]\alpha ^1=\alpha [/texx] por definición.

Acá caben dos preguntas:

¿Cuánto es [texx]\alpha ^0[/texx] como ordinal? ¿Y cuánto es [texx]0^\beta [/texx] como ordinal?

Esto no puede ser más que una convención.

En el caso de [texx]0^\beta =0[/texx], cuando [texx]\beta \geq 1[/texx].

Pero aquí no tiene mucho sentido definir el ordinal [texx]\alpha ^0[/texx].
¿Cuánto tiene que dar esa operación, para ordinales, y qué representa?

En general se define [texx]\alpha ^0=1[/texx], pero eso se hace sólo con la intención de que ser verifiquen las leyes de los exponentes para potenciación de ordinales.

O sea que hay una intención algebraica detrás, y no una justificación sobre hechos concretos,
tal como los que expusiste sobre cardinales de funciones de conjuntos finitos, que eso sí tiene un sentido claro.

Y entonces, aquí de nuevo tenemos los mismos problemas para definir [texx]0^0[/texx] que en el caso del planteo algebraico, porque uno da prioridad con su intención a las leyes de los exponentes, que conducen a un callejón sin salida.



En línea

kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« Respuesta #2 : 28/05/2012, 12:51:03 am »

Hola.

.....
Todo depende de qué está haciendo uno.

Si uno hace álgebra, y desea que las leyes algebraicas se cumplan en todos los casos, entonces lo del [texx]0^0[/texx] queda indeterminado, porque:

[texx]0^b=0[/texx] para [texx]b>  0[/texx],
[texx]a^0=1[/texx] para [texx]a\neq 0[/texx],
y entonces ¿qué pasa cuando [texx]a=b=0[/texx]? ¿Sigo la regla de arriba o la de abajo?


Gracias por sus comentarios argentinator, precisamente en el artículo según los autores y textos citados se justifica que al tomar la segunda regla para todo [texx]a[/texx], y dejando la primera regla tal cual, y todas las demás reglas de los exponentes como son, no se ha de llegar a contradicción o indeterminación  alguna, ni en teoria de conjuntos, algebra ni análisis. Pero si aún despues de esto  no la he notado (la indeterminación que surge)  le agradezco me la haga saber.

En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« Respuesta #3 : 28/05/2012, 01:10:28 am »

Hola.

....[texx]a^{b-c}=\dfrac{a^b}{a^c}[/texx].

Sin salirnos de los números naturales, esa regla habría de ser cierta siempre, por ejemplo, para [texx]b\geq c[/texx], puesto que ahí el resultado nos da de nuevo un número natural.

Así que [texx]a^{b-b}=\dfrac{a^b}{a^b}=1[/texx], siempre y cuando [texx]\red a\neq 0[/texx]
Pero si [texx]a=0[/texx], obtenemos que

[texx]0^0=0^{b-b}=\dfrac{0^b}{0^b}[/texx]

Acá hay dos posibilidades, o bien [texx]b\neq 0[/texx] o bien [texx]b=0[/texx].
Supongamos que [texx]0^0=1[/texx]. En ese caso:

[texx]1=0^{0-0}=\dfrac{0^0} {0^0} =\dfrac11=1.[/texx]

Pero si [texx]b\neq 0,[/texx] entonces:

[texx]1=0^{b-b}=\dfrac{0^b}{0^b}=\dfrac00,[/texx]

que está indeterminado.

Consideraciones similares muestran que [texx]0^0[/texx] no podría tomar otro valor, así que habría de quedar indeterminado.

____

Otro cálculo:

[texx]0^0=0^{b\cdot 0}=(0^0)^b.[/texx]

Esto muestra que [texx]0^0[/texx] deber ser obligadamente [texx]0[/texx] ó [texx]1[/texx].

____________________

.....



Si asumimos La segunda regla para todo [texx]a[/texx] dejando tal cual las demás,como usted muy bien lo afirma en la primera propiedad de los exponentes, tal se aplica si [texx]a\neq{0}[/texx], por ende lo que se usted argumenta en los dos casos está incumpliendo tal condición.




 Asumiendo [texx]0^0=1[/texx] el otro calculo no contendría contradicción alguna pues sin importar quien sea [texx]b[/texx] el resultado es 1

[texx]0^0=0^{b\cdot 0}=(0^0)^b=1[/texx]


Por otro lado ¿el Teorema el binomio de Newton solamente es aplicado en conteo y conjuntos?
que explicación da usted a que cientos de libros de algebra y analisis lo utilicen sin hacer la salvedad del [texx]0^0[/texx]
saludos
En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #4 : 28/05/2012, 01:40:01 am »

No tengo que dar ninguna explicaciòn de eso, es una simple convención que sólo sirve para el binomio de Newton.

Se trata de una abreviatura que hace falta para no andar haciendo salvedades.

El uso de cientos de libros no hace que algo se vuelva verdadero.
Antes de Newton había cientos de libros que afirmaban que las leyes de la relatividad eran las de Galileo, y sin embargo eso no vuelve cierta esa teoría de la relatividad.

Creo que el error está en querer establecer a la fuerza una definición de [texx]0^0[/texx] que sólo sirve para los cardinales de conjuntos y para el binomio de Newton (y también, de paso, para la notación de una serie de Taylor).

Pero en álgebra eso no es cierto.
¿Por qué descartar las propiedades algebraicas cuando la base del exponente es [texx]a=0[/texx]?
Eso es una decisión arbitraria, y es tan arbitraria como elegir que [texx]0^0=1[/texx].

______________

Cita
precisamente en el artículo según los autores y textos citados se justifica que al tomar la segunda regla para todo , y dejando la primera regla tal cual, y todas las demás reglas de los exponentes como son, no se ha de llegar a contradicción o indeterminación  alguna, ni en teoria de conjuntos, algebra ni análisis. Pero si aún despues de esto  no la he notado (la indeterminación que surge)  le agradezco me la haga saber.

No entiendo este último requerimiento, ni las salvedades previas.

En realidad, si evitamos el caso [texx]a=0[/texx], no aparecen contradicciones en ninguna parte, pero es que [texx]a=0[/texx] es más común que aparezca en forma natural que un exponente 0.

En álgebra las contradicciones aparecen cuando se intenta dar un valor "unívoco" a las expresiones, y que además se satisfagan las reglas de los exponentes.
Y en análisis [texx]0^0[/texx] forzosamente ha de considerarse indeterminado, porque los límites de ese tipo dan resultados siempre distintos, no dan todos ellos "1".

En línea

kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« Respuesta #5 : 28/05/2012, 02:06:46 am »

No tengo que dar ninguna explicaciòn de eso, es una simple convención que sólo sirve para el binomio de Newton.

Se trata de una abreviatura que hace falta para no andar haciendo salvedades.

El uso de cientos de libros no hace que algo se vuelva verdadero.
Antes de Newton había cientos de libros que afirmaban que las leyes de la relatividad eran las de Galileo, y sin embargo eso no vuelve cierta esa teoría de la relatividad.

Creo que el error está en querer establecer a la fuerza una definición de [texx]0^0[/texx] que sólo sirve para los cardinales de conjuntos y para el binomio de Newton (y también, de paso, para la notación de una serie de Taylor).

Pero en álgebra eso no es cierto.
¿Por qué descartar las propiedades algebraicas cuando la base del exponente es [texx]a=0[/texx]?
Eso es una decisión arbitraria, y es tan arbitraria como elegir que [texx]0^0=1[/texx].

______________

Cita
precisamente en el artículo según los autores y textos citados se justifica que al tomar la segunda regla para todo , y dejando la primera regla tal cual, y todas las demás reglas de los exponentes como son, no se ha de llegar a contradicción o indeterminación  alguna, ni en teoria de conjuntos, algebra ni análisis. Pero si aún despues de esto  no la he notado (la indeterminación que surge)  le agradezco me la haga saber.

No entiendo este último requerimiento, ni las salvedades previas.

En realidad, si evitamos el caso [texx]a=0[/texx], no aparecen contradicciones en ninguna parte, pero es que [texx]a=0[/texx] es más común que aparezca en forma natural que un exponente 0.

En álgebra las contradicciones aparecen cuando se intenta dar un valor "unívoco" a las expresiones, y que además se satisfagan las reglas de los exponentes.
Y en análisis [texx]0^0[/texx] forzosamente ha de considerarse indeterminado, porque los límites de ese tipo dan resultados siempre distintos, no dan todos ellos "1".



Pero si las mismas propiedades de los exponentes donde se involucran exponentes négativos  se toman con [texx]a\neq{0}[/texx], aquí no se estaría cambiando nada en lo absoluto, simplemente se puede cambiar la propiedad 2 que usted muestra al inicio, como repito sin que surjan inconsistencias en la teoria.

¿ahora bien usted afirma que si se asume [texx]0^0=1 [/texx] si  hay contradicciones en el a´lgebra yo espero que la muestre?

Por otro lado la forma indeterminada [texx]0^0[/texx] en los libros se utiliza como el símbolo que representa los límites de funciones de la forma [texx]f(x)^{g(x)}[/texx] donde [texx]f(x)\rightarrow{0}[/texx] y [texx]g(x)\rightarrow{0}[/texx] cuando se tiende a algún [texx]x=a[/texx], diferente es decir que [texx]0^0[/texx], es indeterminado, como lo pretende usted hacer como un  número a partir de los exponentes,  pues en este caso es un límite y allí no se está asumiendo nunca este valor, además como lo puede usted notar se toman la base y el exponente independientes pero nunca se asume que la potencia  [texx]f(x)^{g(x)}\rightarrow{0^0}[/texx]. Por ende aquí no existiría contradicción alguna.

Por otro lado el hecho de que cientos de libros utilicen el teorema de Newton en sus calculos e implicitamente el hecho de que [texx]0^0=1[/texx], es por que ello no lleba a contradicciones, pues en la mayoría simplemente no se define y algo sin definir no es contradiccón, diferente a que estos mismos en su teoría estipulen que es indeterminado, pero hasta el momento ningun libro argumenta tal posición, de indeterminación.

Y lo que se pretende como se explica en el artículo aunque depronto un poco imponente el titulo y dictatorio es mostrar que [texx]0^0=1[/texx] es consistente en terminos conjuntistas y de conteo, en dichas teorias se puede demostrar este hecho, y se sugiere que puede ser adoptado por las demas ramas sin dificultades, en contraste  las demas ramas  no lo adoptan ni lo refutan, lo anterior personalmente me lleba a  asumir que [texx]0^0=1[/texx], pues existe una rama que lo demuestra y se muestra que no les vendría mal a las demas en asumirlo, esto sin negar que las otras ramas funcionan a la perfección sin asumir tal.


saludos

En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #6 : 28/05/2012, 02:13:56 am »


¿ahora bien usted afirma que si se asume [texx]0^0=1 [/texx] si  hay contradicciones en el a´lgebra yo espero que la muestre?

Ya la mostré:



Así que [texx]a^{b-b}=\dfrac{a^b}{a^b}=1[/texx], siempre y cuando [texx]a\neq 0[/texx].
Pero si [texx]a=0[/texx], obtenemos que

[texx]0^0=0^{b-b}=\dfrac{0^b}{0^b}[/texx]

Acá hay dos posibilidades, o bien [texx]b\neq 0[/texx] o bien [texx]b=0[/texx].
Supongamos que [texx]0^0=1[/texx]. En ese caso:

[texx]1=0^{0-0}=\dfrac{0^0} {0^0} =\dfrac11=1.[/texx]

Pero si [texx]b\neq 0,[/texx] entonces:

[texx]1=0^{b-b}=\dfrac{0^b}{0^b}=\dfrac00,[/texx]

que está indeterminado.

 

Ahí usé el hecho de que [texx]0^b=0[/texx] para [texx]b\neq 0[/texx], que es algo en lo que estamos de acuerdo.
En línea

kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« Respuesta #7 : 28/05/2012, 02:20:09 am »


¿ahora bien usted afirma que si se asume [texx]0^0=1 [/texx] si  hay contradicciones en el a´lgebra yo espero que la muestre?

Ya la mostré:



Así que [texx]a^{b-b}=\dfrac{a^b}{a^b}=1[/texx], siempre y cuando [texx]a\neq 0[/texx].
Pero si [texx]a=0[/texx], obtenemos que

[texx]0^0=0^{b-b}=\dfrac{0^b}{0^b}[/texx]

Acá hay dos posibilidades, o bien [texx]b\neq 0[/texx] o bien [texx]b=0[/texx].
Supongamos que [texx]0^0=1[/texx]. En ese caso:

[texx]1=0^{0-0}=\dfrac{0^0} {0^0} =\dfrac11=1.[/texx]

Pero si [texx]b\neq 0,[/texx] entonces:

[texx]1=0^{b-b}=\dfrac{0^b}{0^b}=\dfrac00,[/texx]

que está indeterminado.

 

Ahí usé el hecho de que [texx]0^b=0[/texx] para [texx]b\neq 0[/texx], que es algo en lo que estamos de acuerdo.

Si pero también uso el hecho    que a=0 y como usted palntea en la misma, esta se utiliza si [texx]\red a\neq{0},[/texx] o con su mismo argumento si pasamos por alto lo de que en dichas propiedades la base debe ser distinta de cero entonces tambien se puede argumentar que

[texx]0^2=0^{(5-3)}=\displaystyle\frac{0^5}{0^3}=\displaystyle\frac{0}{0}[/texx] que es indeterminado.

Me explico mejor la propiedad que usted cita no llebará a contradicción alguna pues ella no se utilizará en el caso en que [texx]a=0[/texx]
 y sus contradicciones surgen precisamente de suponerlo.

saludos
En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.275

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #8 : 28/05/2012, 02:32:13 am »


Si pero también uso el hecho    que a=0 y como usted palntea en la misma, esta se utiliza si [texx]\red a\neq{0},[/texx] o con su mismo argumento si pasamos por alto lo de que en dichas propiedades la base debe ser distinta de cero entonces tambien se puede argumentar que

[texx]0^2=0^{(5-3)}=\displaystyle\frac{0^5}{0^3}=\displaystyle\frac{0}{0}[/texx] que es indeterminado.



¡Noooo! ¡Destrozaste mi argumento!

Y bueno, qué sé yo.

En línea

Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.051


Ver Perfil WWW
« Respuesta #9 : 28/05/2012, 04:17:29 pm »

Hola. He estado leyendo el debate y la verdad es que no acabo de hacerme una idea exacta de qué está defendiendo cada cual, así que no cuestionaré nada a nadie, pues no estoy seguro de a cuál de los dos tendría que cuestionárselo, sino que resumiré lo que pienso yo, por si le interesa a alguien:

Creo que estamos de acuerdo en que hay una definición natural de exponenciación de cardinales respecto a la cual se demuestra que [texx]0^0=1[/texx]. No sé si hay acuerdo en que, salvo en este caso, el valor que se le quiera asignar a [texx]0^0[/texx], incluso el hecho de que se le quiera asignar un valor en lugar de dejarlo indefinido, es cuestión de convenio, de tal modo que tan absurdo es decir "quien afirma que [texx]0^0\neq 1[/texx] se equivoca", como lo es decir "quien afirma que [texx]0^0=1[/texx] se equivoca".

Tratándose de un convenio, no tiene sentido plantearse cuál es el convenio correcto, sino únicamente cuál es el convenio más conveniente, valga la casi-redundancia. A lo sumo, habría que justificar que el convenio adoptado no sea contradictorio.

Debo decir que sólo se me ocurre un contexto en el que considerar [texx]0^0 = 0[/texx] es ligeramente más conveniente que considerar [texx]0^0 =1[/texx], y es la exponenciación de ordinales, aunque no creo que merezca la pena entrar en detalles de este caso. Excluido éste, creo que en cualquier contexto imaginable, convenir que [texx]0^0=1[/texx] tiene todas las ventajas y ningún inconveniente (y, por supuesto, es totalmente coherente).
Por decir algo un poco más objetivo: creo que si leemos cualquier texto de matemáticas riguroso y en un momento dado para seguir sus cálculos nos vemos obligados a evaluar [texx]0^0[/texx], podemos jugarnos el cuello a que el autor da por hecho que entenderemos que [texx]0^0 = 1[/texx]. Si no fuera así, lo advertiría.

Se ha reconocido aquí que el convenio es necesario para interpretar correctamente la fórmula del binomio de Newton, aunque yo añadiría que ésta es válida en un anillo conmutativo cualquiera, y en este contexto general no está relacionada con los cardinales o la combinatoria. También se ha nombrado las series de Taylor. En efecto, si definimos

[texx]\displaystyle e^x = \sum_{n=0}^\infty \dfrac{x^n}{n!}[/texx],

entonces para concluir de esta definición que [texx]e^0 = 1[/texx] debemos pasar por que [texx]0^0 = 1[/texx].

Más en general, en cualquier anillo se conviene en que [texx]a^0 = 1[/texx], para todo elemento [texx]a[/texx] del anillo, y esto vale en particular para un anillo de polinomios [texx]A[X][/texx] y su indeterminada, de modo que [texx]X^0 = 1[/texx] (como igualdad de polinomios), y la gracia de esta igualdad consiste en parte en que se respeta si sustituimos [texx]X[/texx] por cualquier valor, incluso [texx]0[/texx], o de lo contrario tendríamos problemas cada vez que hablamos de un polinomio cualquiera [texx]p(X)[/texx] y consideramos [texx]p(0)[/texx].

El hecho de que [texx]0^0[/texx] sea una indeterminación en análisis, es decir, que al elevar una función o sucesión a otra, donde ambas tienden a cero, el resultado puede comportarse de cualquier forma, no dice nada sobre cómo podemos (o no podemos o debemos o no debemos) definir [texx]0^0[/texx]. Lo único que dice es que la función de dos variables [texx]x^y[/texx] no es continua en el punto [texx](0,0)[/texx] y, precisamente porque es imposible hacerla continua, tenemos libertad para definir [texx]0^0[/texx] como convenga, con la tranquilidad de que, hagamos lo que hagamos, la exponencial doble no será continua.

Según cómo definamos [texx]0^0[/texx] haremos que se comporte bien la función potencial [texx]x^a[/texx] cuando [texx]a=0[/texx] o la función exponencial [texx]a^x[/texx] cuando [texx]a=0[/texx], pero sucede que las funciones [texx]x^a[/texx] aparecen en mil sitios, desde el binomio de Newton hasta las series de potencias, mientras que las funciones exponenciales [texx]a^x[/texx] son totalmente inútiles cuando [texx]a<0[/texx], y nada se pierde por unir al grupo de funciones inútiles el caso [texx]a=0[/texx].

El hecho de que surjan paradojas cuando se usan alegremente las propiedades y los convenios no es un argumento en su contra, sino en contra de usar alegremente las propiedades. Uno puede decir que

[texx]2 = \sqrt 4 = \sqrt{(-2)^2} = -2[/texx]

y con ello no ha demostrado la inconsistencia de la raíz cuadrada, sino únicamente que no se puede jugar de cualquier modo con las raíces cuadradas. Lo mismo con [texx]0^0 = 1[/texx]. Una vez adoptado este convenio, las propiedades de las potencias y exponenciales valen cuando valen y no valen cuando no valen. Y, como en todo, está feo usar una propiedad cuando no vale.

En resumen, mi opinión es que suponer [texx]0^0 = 1[/texx] salvo que, por razones muy concretas, en un contexto muy concreto, convenga suponer otra cosa, es, además de una práctica comúnmente extendida, un convenio muy provechoso, a la par de [texx]0! = 1[/texx] y otros parecidos.
En línea
kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« Respuesta #10 : 28/05/2012, 05:37:59 pm »

Hola. He estado leyendo el debate y la verdad es que no acabo de hacerme una idea exacta de qué está defendiendo cada cual, así que no cuestionaré nada a nadie, pues no estoy seguro de a cuál de los dos tendría que cuestionárselo, sino que resumiré lo que pienso yo, por si le interesa a alguien:

Creo que estamos de acuerdo en que hay una definición natural de exponenciación de cardinales respecto a la cual se demuestra que [texx]0^0=1[/texx]. No sé si hay acuerdo en que, salvo en este caso, el valor que se le quiera asignar a [texx]0^0[/texx], incluso el hecho de que se le quiera asignar un valor en lugar de dejarlo indefinido, es cuestión de convenio, de tal modo que tan absurdo es decir "quien afirma que [texx]0^0\neq 1[/texx] se equivoca", como lo es decir "quien afirma que [texx]0^0=1[/texx] se equivoca".

Tratándose de un convenio, no tiene sentido plantearse cuál es el convenio correcto, sino únicamente cuál es el convenio más conveniente, valga la casi-redundancia. A lo sumo, habría que justificar que el convenio adoptado no sea contradictorio......

Profesor Carlos Ivorra, gracias por sus comentarios todo parte del pdf que adjunte al inicio del pots, en el cual pretendo mostrar como es conveniente asumir que [texx]0^0=1[/texx] en cualquier campo o en la mayoría de los campos de la matemática (a excepción de los ordinales como usted lo afirma, ¡no sabia esto lo miraré!), y de que al decir que [texx]0^0[/texx] es indeterminado o lleba a una indeterminación no tiene justificación solida, y es un mito mal infundado de una forma indeterminada de límites que se mal interpreta, simplemente en otras ramas no se define [texx]0^0[/texx] que pienso es algo muy distinto a decir que es indeterminado. Para argumentar la convención  los argumentos se basan en la cardinalidad conjuntista y en el  teorema del binomio, y aún mas ahora con lo de las series de Taylor(que añadiré al artículo).

Creo que todo el debate surge al ser un poco autoritario y dictatorio en el articulo adjunto,  en decir que [texx]0^0=1[/texx] y depronto debo ser más flexible en mi posición y mostrar que este convenio como usted lo menciona funcionaria sin problemas en las demas ramas.

Por otro lado le agradezco profesor Carlos que  lea el artículo y me haga las observaciones pertinentes, como ya lo hizo argentinator quien junto con usted me muestra que estoy siendo poco o en lo absoluto flexible con mi posición.

saludos
En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.051


Ver Perfil WWW
« Respuesta #11 : 28/05/2012, 06:12:51 pm »

Profesor Carlos Ivorra, gracias por sus comentarios todo parte del pdf que adjunte al inicio del pots, en el cual pretendo mostrar como es conveniente asumir que [texx]0^0=1[/texx] en cualquier campo o en la mayoría de los campos de la matemática,

Tú lo has dicho: es conveniente. Estoy completamente de acuerdo, siempre y cuando entendamos que se trata de un convenio útil, no de algo que pueda demostrarse como inevitablemente cierto. Más claramente: uno es libre de decir:

Adoptamos el convenio de que [texx]0^0 = 1[/texx] y entonces

[texx]\displaystyle (a+b)^n = \sum_{i=0}^n \displaystyle\binom{n}{i}a^i b^{n-i}[/texx]


o bien:

No adoptamos el convenio de que [texx]0^0 = 1[/texx] y entonces

[texx]\displaystyle (a+b)^n = a^n+ b^n+\sum_{i=1}^{n-1} \displaystyle\binom{n}{i}a^i b^{n-i}[/texx]


Obviamente, lo primero es mucho más práctico que lo segundo.

y de que al decir que [texx]0^0[/texx] es indeterminado o lleba a una indeterminación no tiene justificación solida, y es un mito mal infundado de una forma indeterminada de límites que se mal interpreta, simplemente en otras ramas no se define [texx]0^0[/texx] que pienso es algo muy distinto a decir que es indeterminado.

Totalmente de acuerdo. Como he dicho antes, lo único que prueban los argumentos con límites es que la función [texx]x^y[/texx] no es continua en el punto [texx](0,0)[/texx], y de todos es sabido que los límites de una función discontinua en un punto no aportan ninguna información sobre el valor de la función en el punto.

Para argumentar la convención  los argumentos se basan en la cardinalidad conjuntista y en el  teorema del binomio, y aún mas ahora con lo de las series de Taylor(que añadiré al artículo).

Y también tienes el caso de la evaluación de polinomios de varias variables, como

[texx]\displaystyle F(x_1,\ldots, x_n) = \sum_{i_1,\ldots, i_n}a_{i_1,\ldots, i_n}X^{i_1}\cdots X^{i_n}[/texx]

Para dar sentido a expresiones como ésta para polinomios, es imprescindible convenir que [texx]X^0 =1[/texx] (donde [texx]X[/texx] es una indeterminada) y que esta relación se mantiene al sustituir [texx]X[/texx] por cualquier valor, incluido 0.

Creo que todo el debate surge al ser un poco autoritario y dictatorio en el articulo adjunto,  en decir que [texx]0^0=1[/texx] y depronto debo ser más flexible en mi posición y mostrar que este convenio como usted lo menciona funcionaria sin problemas en las demas ramas.

Tu artículo no me ha parecido autoritario, pero en general me ha dado una impresión parecida al debate en este foro: veo obviamente qué sostienes más o menos, pero no sabría concretarlo con total exactitud. ¿Estás afirmando que [texx]0^0=1[/texx] puede demostrarse (fuera del contexto de los cardinales) o lo defiendes como un convenio útil y, por supuesto, consistente?

Por ejemplo, me choca cuando hablas de "la segunda demostración" en la página 5. La "demostración" lo que hace es poner en evidencia que el enunciado usual del binomio de Newton supone necesariamente el convenio de que [texx]0^0 =1[/texx]. No me parece adecuado llamarlo "segunda demostración", sino más bien, "ejemplo incuestionable de que el convenio se usa, de hecho, cada vez que se enuncia el teorema del binomio en la forma usual".

Por otro lado le agradezco profesor Carlos que  lea el artículo y me haga las observaciones pertinentes, como ya lo hizo argentinator quien junto con usted me muestra que estoy siendo poco o en lo absoluto flexible con mi posición.

Ya me lo había leído antes de escribir mi primer mensaje en este hilo. Todo lo que dices, tal vez excepto alguna frase que me resulta equívoca sobre el alcance que pretendes dar a tus afirmaciones (como la que he comentado) me parece razonable. Desde luego, me parece absurdo que se califique de "error garrafal" un inocente "recordemos que [texx]0^0 = 1[/texx]".
En línea
kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« Respuesta #12 : 29/01/2015, 02:08:55 pm »

Profesor Carlos Ivorra cordial saludo:


....
Debo decir que sólo se me ocurre un contexto en el que considerar [texx]0^0 = 0[/texx] es ligeramente más conveniente que considerar [texx]0^0 =1[/texx], y es la exponenciación de ordinales, aunque no creo que merezca la pena entrar en detalles de este caso. Excluido éste, creo que en cualquier contexto imaginable, convenir que [texx]0^0=1[/texx] tiene todas las ventajas y ningún inconveniente (y, por supuesto, es totalmente coherente).
.....

Quería preguntarle sobre: el porque de la conveniencia de asumir [texx]0^0=0[/texx], en el caso de la aritmética ordinal?

muy agradecido

Asdrúbal Beltrán

PD: Si algún otro compañero del foro sabe sobre el tema bienvenidos sus aportes.
En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.051


Ver Perfil WWW
« Respuesta #13 : 29/01/2015, 07:00:35 pm »

Bueno, la frase que citas la escribí en 2012, hace algo más de dos años. Ahora he cambiado de opinión, y el motivo ha sido que desde entonces hasta ahora he publicado una nueva versión revisada y aumentada de mi libro de teoría de conjuntos, y al reconsiderar la exponenciación ordinal he optado por cambiar el convenio [texx]0^0=0[/texx] que usaba en mi libro original por [texx]0^0=1[/texx].

El convenio inicial lo adopté por la influencia del primer libro que leí de teoría de conjuntos (la teoría de conjuntos de Jesús Mosterín), que seguía ese convenio para ordinales (pero definía [texx]0^0=1[/texx] para cardinales), pero entonces tenía yo 18 años, y no tenía una visión muy amplia del asunto, y no había vuelto a reflexionar sobre ello hasta que emprendí la revisión de mi libro. Como digo, en ella he cambiado de criterio.

No obstante, el criterio [texx]0^0=0[/texx] (sólo en el contexto de la aritmética ordinal) tiene una cierta justificación, y es que si [texx]\lambda[/texx] es un ordinal límite, la propiedad [texx]\alpha^\lambda = sup\{\alpha^\delta\mid \delta<\lambda\}[/texx] vale para [texx]\alpha>0[/texx], y sólo vale para [texx]\alpha = 0[/texx] si convenimos que [texx]0^0=0[/texx]. Esto evita tener que tratar aparte el caso [texx]\alpha = 0[/texx] en algunas demostraciones. Sin embargo, ahora me parece preferible tratar este caso aparte y mantener con los ordinales el mismo convenio que en cualquier otro contexto es sin duda el más apropiado.
En línea
kike0001
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 384


Ver Perfil WWW
« Respuesta #14 : 29/01/2015, 08:52:09 pm »

Profesor Carlos Ivorra muchas gracias por la respuesta, está completamente claro, descargaré nuevamente su libro de teoría de conjuntos, pues tengo la versión anterior.

saludos

Asdrúbal Beltrán
En línea

πάντα ἰσχύω ἐν τῷ ἐνδυναμοῦντί με

http://www.asclamath.com
Inocencio
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7


Ver Perfil
« Respuesta #15 : 09/09/2015, 09:08:33 pm »

Hola. Disculpen que reviva este hilo viejo. Es para consultar una idea que me ocurrió al leer los diálogos.

[texx]x{.}0=0[/texx]

[texx](x{.}0)^0= 0^0[/texx]

[texx]x^0{.}0^0= 0^0[/texx]

[texx]x>0[/texx]

[texx]1{.}0^0=0^0[/texx]    (ver nota al final)

[texx]1=\displaystyle{\frac{0^0}{0^0}}[/texx]

Si eso pudiese aceptarse, significaría que el cociente [texx]\displaystyle\frac{0^0}{0^0}}[/texx] no es indeterminado. Está perfectamente determinado y es igual a uno. En ese caso [texx]\displaystyle{0^0}[/texx] se comporta como cualquier número finito, pues al ser dividido por sí mismo da uno. Y si se comporta como número finito, el paso siguiente es averiguar cuánto vale.

Nota : La expresión [texx]\displaystyle{1{.}0^0=0^0}[/texx] no es en este caso consecuencia de "todo término multiplicado por uno da el mismo término" , sino consecuencia de los pasos anteriores y de "todo número finito elevado a potencia cero da uno". El número [texx]x[/texx] es finito y por eso aparece ese 1 en la ecuación.

Sé que probablemente ese intento sea erróneo y, en ese caso, reconocer el error me ayudaría. Saludos.
En línea

Matemático : Veo la rueda desinflada.
Vecino : ¿ Toda desinflada ?
Matemático : No. Sólo su parte inferior.
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 44.722


Ver Perfil
« Respuesta #16 : 10/09/2015, 07:10:49 am »

Hola

[texx]1{.}0^0=0^0[/texx]    (ver nota al final)

[texx]1=\displaystyle{\frac{0^0}{0^0}}[/texx]

Si eso pudiese aceptarse, significaría que el cociente [texx]\displaystyle\frac{0^0}{0^0}}[/texx] no es indeterminado. Está perfectamente determinado y es igual a uno. En ese caso [texx]\displaystyle{0^0}[/texx] se comporta como cualquier número finito, pues al ser dividido por sí mismo da uno. Y si se comporta como número finito, el paso siguiente es averiguar cuánto vale.

Si lees toda la discusión, no se trata de "averiguar" cuánto vale; para que esa pregunta tenga sentido hay definir previamente que significado exacto le queremos dar a [texx]0^0[/texx]. Al final será un convenio, y se han expuesto motivos para darle uno u otro valor.

Saludos.
En línea
Inocencio
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7


Ver Perfil
« Respuesta #17 : 10/09/2015, 02:49:20 pm »

Gracias el_manco. Saludos.
En línea

Matemático : Veo la rueda desinflada.
Vecino : ¿ Toda desinflada ?
Matemático : No. Sólo su parte inferior.
Páginas: [1]   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!