Una relación de equivalencia es una relación que es reflexiva, simétrica y transitiva.
[math] \ sim [/ math] es reflexivo si, para todos [math] x \ in Z [/ math], [math] x \ sim x [/ math]. Entonces, ¿[matemáticas] 5 | (2x + 3x) [/ math] para todos [math] x \ in Z [/ math]?
[matemática] \ sim [/ matemática] es simétrica si, para todos [matemática] x, y \ en Z [/ matemática], [matemática] x \ sim y [/ matemática] implica [matemática] y \ sim x [/ matemáticas]. Entonces, suponiendo que [matemáticas] 5 | (2x + 3y) [/ matemáticas], ¿[matemáticas] 5 | (2y + 3x) [/ math], donde [math] x, y \ en Z [/ math]?
[math] \ sim [/ math] es transitivo si, para todos [math] x, y, z \ in Z [/ math], [math] x \ sim y [/ math] y [math] y \ sim z [/ math] implica que [math] x \ sim z [/ math]. Entonces, suponiendo que [matemáticas] 5 | (2x + 3y) [/ matemáticas] y [matemáticas] 5 | (2y + 3z) [/ matemáticas], ¿[matemáticas] 5 | (2x + 3z) [/ math], donde [math] x, y, z \ in Z [/ math]?
- Deje x, y en números reales. Defina x ~ y iff xy es un número entero. ¿Cómo demuestras que ~ es una relación de equivalencia?
- ¿Cómo se puede probar [matemáticas] E = mc ^ 2 [/ matemáticas]? ¿Alguien sabe cómo se calculó?
- ¿Cómo se le ocurrió a Einstein la ecuación [matemáticas] E = mc ^ 2 [/ matemáticas] y cómo lo demostró?
- ¿Es válida la prueba por inducción en todos los casos en que se puede aplicar?
- ¿Cuál es una buena explicación para el algoritmo de componentes fuertemente conectados de Tarjan?
Si tiene problemas con una parte específica de la prueba (o el fondo), hágamelo saber / personas.
En general, agregar ecuaciones juntas tiende a ayudar (pero no se haga la pregunta).