![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() ![]() |
![]() |
![]()
Publicado:
#1
|
|
![]() Dios Matemático ![]() Grupo: Usuario FMAT Mensajes: 288 Registrado: 25-August 09 Desde: Por ahí Miembro Nº: 57.644 Nacionalidad: ![]() Universidad: ![]() Sexo: ![]() ![]() |
Sea R una relación binaria sobre un conjunto A. Diremos que R es circular si y sólo si cada vez que xRy e yRz entonces se cumple que zRx. Demuestre que R es una relación de equivalencia si y sólo si R es circular y refleja.
-------------------- RECURSIÓN: Si no lo entiende, vea RECURSIÓN
![]() ![]() ![]() ![]() ![]() |
|
|
![]()
Publicado:
#2
|
|
![]() Dios Matemático Supremo ![]() Grupo: Usuario FMAT Mensajes: 1.767 Registrado: 21-January 08 Desde: Santiago - Ancud Miembro Nº: 14.865 Nacionalidad: ![]() Colegio/Liceo: ![]() Universidad: ![]() Sexo: ![]() ![]() |
Supongamos que R es circular y refleja. Como R es refleja, xRx. Si xRy, por "circularidad" xRx y xRy implica que yRx, con lo que R es simétrica. Si xRy e yRz, nuevamente por circularidad, zRx y por simetría, xRz, con lo que R es transitiva. Luego, R es de equivalencia.
Supongamos ahora que R es de equivalencia. Por transitividad, si xRy e yRz, entonces xRz, y por simetría, zRx. Luego, R es circular, demostrando lo pedido. -------------------- Estudia para superarte a ti mismo, no al resto. |
|
|
![]()
Publicado:
#3
|
|
![]() Dios Matemático ![]() Grupo: Usuario FMAT Mensajes: 288 Registrado: 25-August 09 Desde: Por ahí Miembro Nº: 57.644 Nacionalidad: ![]() Universidad: ![]() Sexo: ![]() ![]() |
Supongamos que R es circular y refleja. Como R es refleja, xRx. Si xRy, por "circularidad" xRx y xRy implica que yRx, con lo que R es simétrica. Si xRy e yRz, nuevamente por circularidad, zRx y por simetría, xRz, con lo que R es transitiva. Luego, R es de equivalencia. Supongamos ahora que R es de equivalencia. Por transitividad, si xRy e yRz, entonces xRz, y por simetría, zRx. Luego, R es circular, demostrando lo pedido. Correcto! (En la segunda parte, R ya es refleja porque es de equivalencia). -------------------- RECURSIÓN: Si no lo entiende, vea RECURSIÓN
![]() ![]() ![]() ![]() ![]() |
|
|
![]() ![]() |
Versión Lo-Fi | Fecha y Hora actual: 3rd April 2025 - 10:08 PM |