18/01/2020, 17:17:11 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: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Problema de relaciones  (Leído 1883 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Eleal
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 548


Ver Perfil
« : 10/02/2008, 18:04:51 pm »

Aquí un problema que no he podido resolver:

Si R es una relación,

[texx]F(R)=\bigcup\bigcup{(R)}[/texx],


donde [texx]F(R)=Dominio(R)\cup{Rango(R)}[/texx]
________

Sólo he podido probar [texx]F(R)\subseteq{}\bigcup\bigcup{(R)}[/texx],

pero todavía no he podido con la otra inclusión:

[texx]F(R)\supseteq{}\bigcup\bigcup{(R)}[/texx]

Quisiera un poco de ayuda,


Saludos,
En línea
Eleal
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 548


Ver Perfil
« Respuesta #1 : 10/02/2008, 18:13:07 pm »

Y otra pregunta relacionada:

¿Cómo se suele llamar a  [texx]F(R)=Dominio(R)\cup{Rango(R)}[/texx] ?

Saludos,

En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 45.734


Ver Perfil
« Respuesta #2 : 11/02/2008, 08:03:35 am »

Hola

 ¿ Qué significa:

  [texx] \bigcup \bigcup (R )[/texx] ?

 No entiendo a esa notación.

 Por otra parte la unión del dominio y rango de una relación, que yo sepa, no tiene ningún nombre especial.

Saludos.
En línea
Eleal
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 548


Ver Perfil
« Respuesta #3 : 12/02/2008, 21:13:52 pm »

Ésta es la definición que me dieron:

[texx] \bigcup \bigcup (R )=\bigcup \, \{x: (\exists{B\,  \textsf{tal que}\ x\in{B}, B\in{R}}) \}[/texx]

Saludos,
En línea
León
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Mensajes: 941


Ver Perfil
« Respuesta #4 : 12/02/2008, 23:36:54 pm »

Ah, es porque definen un par ordenado mediante,

(x,y):={{x},{x,y}}

Cuando hagas preguntas de estas en el foro tienes que poner las definiciones que estás usando... sino sólo podemos adivinar. Esa de mas arriba es una definición extremadamente formal de par ordenado con la que los matemáticos rara vez se meten.

También vendría bien que muestres un poco lo que estás haciendo así sabemos con que nivel de formalidad estás trabajando.

Bueno, un poco porque me divierte, me fabrico las definiciones formales que corresponden a esta situación.

Las definiciones usando sólo teoría de conjuntos podrían ser:

[texx]p[/texx] es un par ordenado si y sólo si:

(1) [texx]\forall c \in p, \exists! x \in c, \forall d \in p, x\in d[/texx]
(la intersección de todos los conjuntos elemento de p es un conjunto con un solo elemento)

(2) [texx]\forall c,d \in p, c\subseteq d\vee d\subseteq c[/texx]
(los conjuntos elemento de p están encajados)

(3) [texx]\exists c \in p, \forall d \in p, d\neq c\Rightarrow \exists! x \in d, x\not\in c[/texx]
(p no es vacío y si p contiene mas de un conjunto elemento, uno de esos conjuntos tiene un sólo elemento que no está en el otro).

Una definición de dominio de una relación podría ser:

[texx]\mbox{Dominio}(R):=\{x:\exists p \in R, \forall y\in p, x \in y\}[/texx]

Y la de rango:

[texx]\\ \mbox{Rango}(R):=\{x:\exists p \in R, [\exists y,z\in p, x\in y, x \not\in z] \vee [\forall y,z\in p, y=z\wedge x\in y]\}[/texx]


Bien, con eso ya se puede trabajar. Hago la parte que te falta.

Supón que [texx]u\in\cup\cup R[/texx] entonces

[texx]\exists x, \exists B \mbox{ tal que } u \in x, x \in B, B \in R[/texx]

Dados esos x y B hay dos posibilidades

1) [texx]\forall z \in B, u\in z[/texx] y entonces [texx]u \in \mbox{Dominio}(R)[/texx] (tomando p=B en la definición de Dominio).

o, por el contrario,

2) [texx]\exists z \in B, u \not\in z[/texx] y entonces [texx]u \in \mbox{Rango}(R)[/texx] (tomando p=B se cumple el primero de los corchetes de la definición de Rango).

Eso demuestra que [texx]u \in \mbox{Dominio}(R)\cup\mbox{Rango}(R)[/texx].
En línea
Eleal
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 548


Ver Perfil
« Respuesta #5 : 15/02/2008, 07:17:34 am »

Ah, es porque definen un par ordenado mediante,

(x,y):={{x},{x,y}}

Sí, ésa es la definición de par ordenado con la que estaba trabajando.

Una pregunta adicional, ¿De qué otras maneras es posible definir un par ordenado?

Estaba viendo en un libro, y lo definen:

[texx]<x,y>=\{\{x,\emptyset\},\{y,\{\emptyset\}\}[/texx]

Saludos,
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!