Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[Consulta] propiedades de relaciones
Autor Mensaje
sebab Sin conexión
Empleado del buffet
Sin estado :(
*

Otra
Otra

Mensajes: 1
Agradecimientos dados: 0
Agradecimientos: 0 en 0 posts
Registro en: May 2017
Mensaje: #1
[Consulta] propiedades de relaciones Ejercicios Matemática Discreta
Hola gente, estaba practicando ejercicios para el parcial (no voy a la UTN, no creo que haya problema...) y me surgieron un par de dudas con respecto a las propiedades.

La matriz que tengo es la siguiente:
[Imagen: gif.latex?\begin{bmatrix}%200%20&amp...d{bmatrix}]

Pude demostrar que NO es reflexiva con un contraejemplo
[Imagen: 39a9e16d816aeb58b3c9b559a705e36efc2e3228]
Tomando X=1 nos da FALSO

El problema son las siguientes propiedades (simetria, antisimetria y transitividad). No puedo encontrar contraejemplos, por lo que la relacion seria:
- NO REFLEXIVA
- ANTISIMETRICA
- SIMETRICA
- TRANSITIVA

Es posible? Desde ya muchas gracias.
16-05-2017 23:36
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
manoooooh Sin conexión
Militante
Sin estado :(
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 87
Agradecimientos dados: 0
Agradecimientos: 30 en 26 posts
Registro en: Feb 2017
Mensaje: #2
RE: [Consulta] propiedades de relaciones
Hola!

Para empezar sabemos que la relación R (la llamo así porque no especificaste) tiene como único elemento el par (x,y) (ya que hay un único 1 en la matriz asociada a R). Entonces nos queda que:

\[R = \left \{ \left ( x,y \right ) \right \}\]

Ahora probemos las 4 propiedades:

1) Reflexividad (\[\forall x \in A:\left ( x,x \right ) \in R\])

Esto es falso, puesto que, como escribiste, \[\exists x \in A: \left ( x,x \right ) \notin R\].

2) Simetría (\[\forall \left (x, y \right ) \in A: \left ( x,y \right ) \in R \Rightarrow \left ( y,x \right ) \in R\])

Esto es falso, puesto que \[\exists \left ( x,y \right ) \in A: \left ( x,y \right ) \in R \wedge \left ( y,x \right ) \notin R\].

(recordemos que si tenemos un "si... entonces", al negar ese condicional 1) se invierten los cuantificadores, y 2) uso la Negación del Condicional).

3) Antisimetría (\[\forall \left ( x,y \right ) \in A: \left [\left ( x,y \right ) \in R \wedge \left ( y,x \right ) \in R \right ] \Rightarrow x=y\])

Esto es verdadero, puesto que el valor de verdad de \[\left ( x,y \right ) \in R\] es V, y el valor de verdad de \[\left ( y,x \right ) \in R\] es F, tenemos que todo el valor de verdad del antecedente es F, así que independientemente del valor de verdad del consecuente, la propiedad antisimétrica se cumple.

4) Transitividad (\[\forall \left ( x,y,z \right ) \in A : \left [\left ( x,y \right ) \in R \wedge \left ( y,z \right ) \in R \right ] \Rightarrow \left ( x,z \right ) \in R\])

Esto es verdadero. Acá, al no tener ningún valor de \[z\] podemos elegir cualquiera (supongo que el mismo \[z\] funciona). Entonces se demuestra de la misma manera que 3), ya que hay un antecedente F (V y F da F).


Saludos!
17-05-2017 19:50
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.