Autor Tema: diferencia entre simetría y antisimetria en relaciones binarias

0 Usuarios y 1 Visitante están viendo este tema.

21 Junio, 2017, 02:49 pm
Leído 6745 veces

forestgump

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 19
  • Karma: +0/-0
  • Sexo: Masculino
Quisiera que alguien me pudiera explicar como es que una relación puede ser simétrica y antisimetrica al mismo tiempo, entiendo las definiciones de cada propiedad pero lo que no me queda claro es eso, como pueden coexistir.
Si pudieran aportar algún ejemplo de relación que cumpla ambas propiedades me ayudaría a entender la idea mejor.
Gracias de ante mano.

21 Junio, 2017, 03:11 pm
Respuesta #1

Ignacio Larrosa

  • Moderador Global
  • Mensajes: 2,401
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Actividades con GeoGebra
Quisiera que alguien me pudiera explicar como es que una relación puede ser simétrica y antisimetrica al mismo tiempo, entiendo las definiciones de cada propiedad pero lo que no me queda claro es eso, como pueden coexistir.
Si pudieran aportar algún ejemplo de relación que cumpla ambas propiedades me ayudaría a entender la idea mejor.
Gracias de ante mano.

Simétrica: \( aRb\;\Rightarrow{}bRa \)
Antisimétrica: \( \left. \begin{matrix}{aRb}\\{bRa}\end{matrix}   \right\}\;\Rightarrow{}\;a=b \)

Si se cumplen las dos,

\( aRb\;\xrightarrow[sim.]\;bRa\;\xrightarrow[ant.]\;aRa \)

Se trata por tanto de una relación trivial: todos los elementos están relacionados exclusivamente consigo mismos.

Saludos,
Daría todo lo que se por la mitad de lo que ignoro (R. Descartes)
O incluso por muchísimo menos ...  (yo)

22 Junio, 2017, 09:22 am
Respuesta #2

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Quisiera que alguien me pudiera explicar como es que una relación puede ser simétrica y antisimetrica al mismo tiempo, entiendo las definiciones de cada propiedad pero lo que no me queda claro es eso, como pueden coexistir.
Si pudieran aportar algún ejemplo de relación que cumpla ambas propiedades me ayudaría a entender la idea mejor.
Gracias de ante mano.

Simétrica: \( aRb\;\Rightarrow{}bRa \)
Antisimétrica: \( \left. \begin{matrix}{aRb}\\{bRa}\end{matrix}   \right\}\;\Rightarrow{}\;a=b \)

Si se cumplen las dos,

\( aRb\;\xrightarrow[sim.]\;bRa\;\xrightarrow[ant.]\;aRa \)

Se trata por tanto de una relación trivial: todos los elementos están relacionados exclusivamente consigo mismos.

Sólo una observación por si no ha quedado suficientemente claro. Lo que ha probado ilarrosa es que las únicas relaciones que son simétricas y antisimétricas son aquellas en las que las únicas posibles relaciones son las de un elemento consigo mismo. Podría ser  la relación vacía; o una relación con un sólo elemento relacionado consigo mismo; o dos elementos relacionados consigo mismo... etcétera... El matiz que quería enfatizar es que no tienen porque estar todos los elementos relacionados consigo mismo.

Saludos.

22 Junio, 2017, 10:04 am
Respuesta #3

Ignacio Larrosa

  • Moderador Global
  • Mensajes: 2,401
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Actividades con GeoGebra
Hola

Quisiera que alguien me pudiera explicar como es que una relación puede ser simétrica y antisimetrica al mismo tiempo, entiendo las definiciones de cada propiedad pero lo que no me queda claro es eso, como pueden coexistir.
Si pudieran aportar algún ejemplo de relación que cumpla ambas propiedades me ayudaría a entender la idea mejor.
Gracias de ante mano.

Simétrica: \( aRb\;\Rightarrow{}bRa \)
Antisimétrica: \( \left. \begin{matrix}{aRb}\\{bRa}\end{matrix}   \right\}\;\Rightarrow{}\;a=b \)

Si se cumplen las dos,

\( aRb\;\xrightarrow[sim.]\;bRa\;\xrightarrow[ant.]\;aRa \)

Se trata por tanto de una relación trivial: todos los elementos están relacionados exclusivamente consigo mismos.

Sólo una observación por si no ha quedado suficientemente claro. Lo que ha probado ilarrosa es que las únicas relaciones que son simétricas y antisimétricas son aquellas en las que las únicas posibles relaciones son las de un elemento consigo mismo. Podría ser  la relación vacía; o una relación con un sólo elemento relacionado consigo mismo; o dos elementos relacionados consigo mismo... etcétera... El matiz que quería enfatizar es que no tienen porque estar todos los elementos relacionados consigo mismo.

Saludos.

Si, desde luego, los elementos que están relacionados, lo están solo consigo mismos. Yo estaba añadiendo inconscientemente la propiedad reflexiva.

Saludos,
Daría todo lo que se por la mitad de lo que ignoro (R. Descartes)
O incluso por muchísimo menos ...  (yo)