Decimos que [math] C [/ math] es reflexivo cuando [math] x C x [/ math] para todos [math] x \ in \ mathbb {Z} [/ math].
Decimos que [math] C [/ math] es simétrico cuando [math] x C y \ iff y C x [/ math] para todos [math] x, y \ in \ mathbb {Z} [/ math].
Decimos que [matemática] C [/ matemática] es transitiva cuando [matemática] x C y [/ matemática] y [matemática] y C z \ implica x C z [/ matemática] para todos [matemática] x, y, z \ en \ mathbb {Z} [/ math]
Para todos [math] x \ in \ mathbb {Z}, x \ neq x + 2 [/ math] y [math] x \ neq x-2 [/ math], entonces [math] C [/ math] no es reflexivo.
Para todos [math] x \ in \ mathbb {Z} [/ math], si [math] x C y [/ math], entonces [math] y = x + 2 [/ math] o [math] y = x-2 [/ matemáticas]. Si [matemática] y = x + 2 [/ matemática], entonces [matemática] x = y-2 [/ matemática] y tenemos [matemática] y C x [/ matemática]. Si [matemática] y = x-2 [/ matemática], entonces [matemática] x = y + 2 [/ matemática] y tenemos [matemática] y C x [/ matemática], entonces [matemática] C [/ matemática] es simétrico
[matemática] 2C4 [/ matemática] porque [matemática] 4 = 2 + 2 [/ matemática] y [matemática] 4C6 [/ matemática] porque [matemática] 6 = 4 + 2 [/ matemática], pero [matemática] 6 \ neq 2 + 2 [/ math] y [math] 6 \ neq 2-2 [/ math], entonces [math] C [/ math] no es transitivo.
- Cómo resolver la ecuación linar; {x-y + 2z = 4,2x + yz = 1,3x + 3y-4z = -2}
- ¿Por qué los cerebros humanos no pueden alcanzar o superar la misma capacidad de cálculo y velocidad de una inteligencia artificial?
- ¿Qué algoritmo usa Afiniti?
- ¿Cómo resuelve el Proyecto Venus el problema del exceso (por ejemplo, una persona o personas que desean más de lo que está disponible)?
- Cómo hacer un árbol de factores de un número entero (por ejemplo, 12 o 180)
[matemática] C [/ matemática] debe ser reflexiva, simétrica y transitiva para ser una relación de equivalencia, pero [matemática] C [/ matemática] solo es simétrica, por lo que [matemática] C [/ matemática] no es una relación de equivalencia.