25/01/2020, 22:33:14 pm *
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: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Descripciones impropias  (Leído 807 veces)
0 Usuarios y 1 Visitante están viendo este tema.
alexpglez
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 81


Ver Perfil
« : 02/10/2016, 15:59:06 pm »

Buenas tardes.

¿Qué significan las descripciones impropias y qué utilidad lógica tienen?
[texx] \not \exists! x \alpha \vdash x|\alpha=y|(y=y) [/texx]

Además, en matemáticas hay veces que es inevitable usarlas, por ejemplo:
[texx] F(x)=y|(x,y) \in F [/texx]
Que tiene un valor bien definido si [texx] x \in DF [/texx], pero ¿qué valor tendría si [texx] x \not\in DF [/texx]?
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.081


Ver Perfil WWW
« Respuesta #1 : 02/10/2016, 16:57:39 pm »

¿Qué significan las descripciones impropias y qué utilidad lógica tienen?
[texx] \not \exists! x \alpha \vdash x|\alpha=y|(y=y) [/texx]

Eso es simplemente un convenio práctico por el que establecemos que todas las descripciones impropias, es decir, todas las expresiones de la forma [texx]x\mid \alpha[/texx] cuando no existe un único [texx]x[/texx] que cumple [texx]\alpha[/texx], representan un mismo objeto, que en principio no está determinado, pero si una teoría axiomática puede determinar unívocamente un objeto puedes tomar como axioma que la descripción impropia es ese objeto. Por ejemplo, en una teoría de conjuntos puedes tomar como axioma que [texx]\forall u\ u\notin x\mid x=x[/texx], con lo que estamos adoptando el convenio de que la descripción impropia es el conjunto vacío.

Además, en matemáticas hay veces que es inevitable usarlas, por ejemplo:
[texx] F(x)=y|(x,y) \in F [/texx]
Que tiene un valor bien definido si [texx] x \in DF [/texx], pero ¿qué valor tendría si [texx] x \not\in DF [/texx]?

Pues, si adoptamos el convenio que acabo de indicar, sería [texx]F(x)=\emptyset[/texx], aunque nada te impide adoptar cualquier otro convenio alternativo para las descripciones impropias. En realidad importa poco qué objeto seleccionas para interpretarlo. Por eso mismo no pasa nada si no seleccionas ninguno en particular. No obstante, si selecciones uno definible sin descriptores (como es el caso del conjunto vacío, que está caracterizado por la fórmula sin descriptores [texx]\forall u\ u\notin x[/texx]) es posible demostrar que toda fórmula es equivalente a una fórmula sin descriptores.
En línea
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!