09/12/2019, 06:54:03 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Cero elevado a cero  (Leído 638 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Marcos Castillo
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 1.765


Ver Perfil
« : 25/06/2019, 01:50:11 pm »

Hola.

Quiero entender este pdf adjunto para entender [texx]0^0=1[/texx]. ¿Me explicáis y me contextualizáis la PROPOSICIÓN 25?. Tengo nociones básicas de conjuntos, y sé inglés. Estoy estudiando un libro de acceso a la universidad, con vuestra ayuda. ¿Cómo lo veis para mí este pdf?. Son solo 9 hojas, y yo tengo ganas.

¡Un saludo!

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

No man is an island (John Donne)
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 809



Ver Perfil
« Respuesta #1 : 25/06/2019, 03:00:15 pm »

Si tienes ganas de leerte el pdf, adelante. Si te surgen dudas las puedes ir poniendo aquí, como siempre.

Sobre la proposición 25, en teoría de conjuntos se define el cardinal de un conjunto [texx]A[/texx], que intuitivamente se corresponde con su número de elementos. Si [texx]A[/texx] es un conjunto finito, no hay ningún problema, y puedes identificar los cardinales finitos con los números naturales, incluyendo el cero. Por ejemplo, el cardinal de [texx]A = \{ 1, 5, 78 \}[/texx] es [texx]3[/texx] porque el conjunto tiene tres elementos. Si el conjunto es infinito el concepto de cardinalidad es algo más sutil, y no voy a entrar en ello ahora pues no es importante para la cuestión que nos ocupa.

En teoría de conjuntos se define la exponenciación de cardinales de la siguiente forma (me restringiré a cardinales finitos, es decir, a números naturales). El cardinal [texx]n^m[/texx] es el cardinal del conjunto de todas las aplicaciones de un conjunto de cardinal [texx]m[/texx] en un conjunto de cardinal [texx]n[/texx].
Por ejemplo, [texx]2^1=2[/texx] porque hay exactamente dos aplicaciones de un conjunto de un elemento en un conjunto de dos elementos. No es muy difícil convencerse de que la exponenciación así definida coincide con la exponenciación de números naturales "de toda la vida".

Ahora, calculemos [texx]n^0[/texx]. Este es el número de aplicaciones de un conjunto de cero elementos (es decir, el conjunto vacío) en un conjunto de [texx]n[/texx] elementos. Pero solo hay una tal aplicación: la aplicación vacía. Por tanto, [texx]n^0=1[/texx], y esto incluye el caso en que [texx]n=0[/texx], pues hay exactamente una aplicación del.conjunto vacío en sí mismo. Además, esto vale también para cardinales infinitos: si [texx]\kappa[/texx] es un cardinal, se tiene que [texx]\kappa^0=1[/texx], por el mismo motivo: hay exactamente una aplicación del conjunto vacío en cualquier otro conjunto.
Esto es lo que afirma el apartado a) de la proposición 25 del pdf.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
Gustavo
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Colombia Colombia

Mensajes: 1.739


Ver Perfil
« Respuesta #2 : 25/06/2019, 06:11:19 pm »

Potencialmente relevante: http://rinconmatematico.com/foros/index.php?topic=57593.0
En línea
Marcos Castillo
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 1.765


Ver Perfil
« Respuesta #3 : 25/06/2019, 06:17:55 pm »

Hola Gustavo

El pdf lo he sacado de el hilo que mencionas.

¡Un saludo!
En línea

No man is an island (John Donne)
Fernando Revilla
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 10.550


Las matemáticas son demasiado humanas (Brouwer).


Ver Perfil WWW
« Respuesta #4 : 25/06/2019, 06:31:55 pm »

Puede ser útil la respuesta 16# de http://rinconmatematico.com/foros/index.php?topic=100182.0. Se justifica que [texx]0^0=1[/texx] en términos de cardinalidad y en respuestas anteriores que [texx]0^0[/texx] es indeterminado en términos de límites. Nada especial, pues todo está relacionado con la pregunta que se esconde tras la expresión [texx]0^0[/texx].
En línea

Marcos Castillo
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 1.765


Ver Perfil
« Respuesta #5 : 26/06/2019, 02:22:31 am »

Hola, geómetracat, Fernando Revilla
geómetracat, me quedo con tu mensaje, que me explica lo que me interesa del pdf, que es el valor de cero elevado a cero desde el punto de vista conjuntista. No necesito más.
Fernando Revilla, gracias por comentarme el punto de vista también de los límites de funciones.
¡Un saludo!
En línea

No man is an island (John Donne)
Marcos Castillo
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 1.765


Ver Perfil
« Respuesta #6 : 04/07/2019, 07:58:10 am »

Hola, geómetracat. La proposición 25. a) dice:
[texx]\alpha^0=0[/texx], cualquiera sea el cardinal [texx]\alpha[/texx]. No me cuadra con la explicación que me diste.
Un saludo.
En línea

No man is an island (John Donne)
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 809



Ver Perfil
« Respuesta #7 : 04/07/2019, 08:04:19 am »

No me di cuenta en su momento. Es una errata. Debería decir [texx]\alpha^0 = 1[/texx] (si no, la observación de al lado no tiene sentido).
Igualmente, en el apartado b) del mismo teorema, debería ser "si [texx]\alpha \neq 0[/texx], entonces [texx]0^\alpha = 0[/texx].
En los siguientes extractos de otros textos está todo bien.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
Marcos Castillo
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 1.765


Ver Perfil
« Respuesta #8 : 04/07/2019, 10:28:31 am »

Hola geómetracat
Perfecto. Algo más adelante dice:
[texx]\color{red}\mbox{Demuestre que}\;\kappa^0=1\;\mbox{y}\;\kappa^1=\kappa\;\mbox{para todo}\;\kappa[/texx]
¿[texx]\kappa[/texx] significa "cardinal", al igual que [texx]\alpha[/texx]?; ¿cómo se demuestran esas dos igualdades, evitando notaciones farragosas si las hubiera?.
Saludos
En línea

No man is an island (John Donne)
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 809



Ver Perfil
« Respuesta #9 : 04/07/2019, 11:04:18 am »

Sí, [texx]\kappa[/texx] es un cardinal.
La primera igualdad ya te la indiqué en mi respuesta original. Para calcular [texx]\kappa^0[/texx], tienes que contar cuántas aplicaciones [texx]f: \emptyset \rightarrow A[/texx] hay, donde [texx]A[/texx] es un conjunto cualquiera de cardinal [texx]\kappa[/texx]. Pero solo hay hay una tal aplicación: la aplicación vacía. Por tanto, [texx]\kappa^0 =1[/texx].

La otra igualdad es parecida. Hay que contar cuántas aplicaciones [texx]1 \rightarrow A[/texx] hay, donde [texx]A[/texx] es un conjunto de cardinal [texx]\kappa[/texx] y [texx]1[/texx] un conjunto con un único elemento. Pero está claro que hay [texx]\kappa[/texx] aplicaciones: para cada [texx]x \in A[/texx] tenemos la aplicación que envía el único elemento de [texx]1[/texx] a [texx]x[/texx], y estas son todas las aplicaciones que hay.
Por tanto, [texx]\kappa^1 = \kappa[/texx].
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
Marcos Castillo
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 1.765


Ver Perfil
« Respuesta #10 : 04/07/2019, 03:01:18 pm »

Bien. Más adelante, en un recuadro en inglés dice:
"Unos pocos hechos sobre aritmética cardinal:
(...)
(3.10) [texx]\kappa^0=1[/texx]; [texx]1^{\kappa}=1[/texx]; [texx]0^{\kappa}=0\;\mbox{si}\;\kappa>0[/texx]
Para probar (3.4)-(3.10), uno debe sólo encontrar las apropiadas funciones uno-a-uno".
Las dudas son:
1- ¿A qué funciones se refiere?
2- ¿En este texto (tal vez en todos) función es sinónimo de aplicación?
3- En la proposición ésta, la (3.10), ¿kappa hace referencia a cardinales finitos?.
Un saludo
En línea

No man is an island (John Donne)
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!