Número 1 (2012) - 5. Demostración 0^0=1.

[kike0001]

Este artículo se escribe debido al mal uso que se le da a la expresión . En ocaciones a la pregunta a que es igual, o cuanto es , 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 que es igual el número natural cero elevado al número natural cero, que representado simbólicamente es , que desde una mirada conjuntista en  cardinalidad es 1, pero que además este hecho es tambien evidenciado en  el teorema del Binomio.


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

[argentinator]

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 .

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 queda indeterminado, porque:

para ,
para ,
y entonces ¿qué pasa cuando ? ¿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:

.

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

Así que , siempre y cuando .
Pero si , obtenemos que



Acá hay dos posibilidades, o bien o bien .
Supongamos que . En ese caso:



Pero si entonces:



que está indeterminado.

Consideraciones similares muestran que no podría tomar otro valor, así que habría de quedar indeterminado.

____

Otro cálculo:



Esto muestra que deber ser obligadamente ó .

____________________

Por otra parte, cuando se usa 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 , porque ahí, si trabajamos sólo con números naturales, lo que tenemos es un resultado de conteo.

En efecto, el número tiene que designar el cardinal de un conjunto de funciones con dominio , , y con imagen un conjunto con .
Así que no tiene que sorprendernos que aparezca el 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, tiene la propiedad de que , pues .

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 , es claro que ése 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 a partir de tiene sus vueltas, y el resultado final es un sistema que tiene como subconjunto a un conjunto que tiene "las mismas propiedades que los números naturales".

Y yo pregunto, ¿cuáles son "esas" mismas propiedades que tiene N respecto ?

Ciertamente, la propiedad no la tienen los naturales del susbsistema N de .

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 son dos números ordinales, su producto ordinal es el ordinal cuyo tipo de orden coincide con el del producto cartesiano , dotado del orden de diccionario, donde tiene tipo de orden y tiene tipo de orden .

Luego, la potencia ordinal se define recursivamente:

, para
mientras que por definición.

Acá caben dos preguntas:

¿Cuánto es como ordinal? ¿Y cuánto es como ordinal?

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

En el caso de , cuando .

Pero aquí no tiene mucho sentido definir el ordinal .
¿Cuánto tiene que dar esa operación, para ordinales, y qué representa?

En general se define , 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 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.

[kike0001]

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 queda indeterminado, porque:

para ,
para ,
y entonces ¿qué pasa cuando ? ¿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 , 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.

[kike0001]

Hola.

.....

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

Así que , siempre y cuando
Pero si , obtenemos que



Acá hay dos posibilidades, o bien o bien .
Supongamos que . En ese caso:



Pero si entonces:



que está indeterminado.

Consideraciones similares muestran que no podría tomar otro valor, así que habría de quedar indeterminado.

____

Otro cálculo:



Esto muestra que deber ser obligadamente ó .

____________________

.....

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




 Asumiendo el otro calculo no contendría contradicción alguna pues sin importar quien sea el resultado es 1




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
saludos

[argentinator]

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 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 ?
Eso es una decisión arbitraria, y es tan arbitraria como elegir que .

______________

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 , no aparecen contradicciones en ninguna parte, pero es que 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 forzosamente ha de considerarse indeterminado, porque los límites de ese tipo dan resultados siempre distintos, no dan todos ellos "1".

[kike0001]

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 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 ?
Eso es una decisión arbitraria, y es tan arbitraria como elegir que .

______________

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 , no aparecen contradicciones en ninguna parte, pero es que 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 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 , 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 si  hay contradicciones en el a´lgebra yo espero que la muestre?

Por otro lado la forma indeterminada en los libros se utiliza como el símbolo que representa los límites de funciones de la forma donde y cuando se tiende a algún , diferente es decir que , 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  . 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 , 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 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 , 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

[argentinator]

¿ahora bien usted afirma que si se asume si  hay contradicciones en el a´lgebra yo espero que la muestre?

Ya la mostré:

Así que , siempre y cuando .
Pero si , obtenemos que



Acá hay dos posibilidades, o bien o bien .
Supongamos que . En ese caso:



Pero si entonces:



que está indeterminado.

 

Ahí usé el hecho de que para , que es algo en lo que estamos de acuerdo.

[kike0001]

¿ahora bien usted afirma que si se asume si  hay contradicciones en el a´lgebra yo espero que la muestre?

Ya la mostré:

Así que , siempre y cuando .
Pero si , obtenemos que



Acá hay dos posibilidades, o bien o bien .
Supongamos que . En ese caso:



Pero si entonces:



que está indeterminado.

 

Ahí usé el hecho de que para , 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 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

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
 y sus contradicciones surgen precisamente de suponerlo.

saludos

[argentinator]

Si pero también uso el hecho    que a=0 y como usted palntea en la misma, esta se utiliza si 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

que es indeterminado.

¡Noooo! ¡Destrozaste mi argumento!

Y bueno, qué sé yo.

[Carlos Ivorra]

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 . No sé si hay acuerdo en que, salvo en este caso, el valor que se le quiera asignar a , 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 se equivoca", como lo es decir "quien afirma que 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 es ligeramente más conveniente que considerar , 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 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 , podemos jugarnos el cuello a que el autor da por hecho que entenderemos que . 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

,

entonces para concluir de esta definición que debemos pasar por que .

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

El hecho de que 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 . Lo único que dice es que la función de dos variables no es continua en el punto y, precisamente porque es imposible hacerla continua, tenemos libertad para definir como convenga, con la tranquilidad de que, hagamos lo que hagamos, la exponencial doble no será continua.

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

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



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 . 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 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 y otros parecidos.

[kike0001]

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 . No sé si hay acuerdo en que, salvo en este caso, el valor que se le quiera asignar a , 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 se equivoca", como lo es decir "quien afirma que 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 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 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 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 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

[Carlos Ivorra]

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 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 y entonces




o bien:

No adoptamos el convenio de que y entonces



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

y de que al decir que 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 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 no es continua en el punto , 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



Para dar sentido a expresiones como ésta para polinomios, es imprescindible convenir que (donde es una indeterminada) y que esta relación se mantiene al sustituir 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 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 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 . 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 ".