Cómo definir una relación en [matemática] R \ veces R = R ^ 2 [/ matemática] por [matemática] (x, y) \ equiv (a, b) [/ matemática] iff [matemática] x + y = a + b [/ matemáticas]

  • La relación [matemáticas] \ equiv [/ matemáticas] es reflexiva .

Considere cualquier [math] (x, y) \ in \ mathbb {R} ^ 2 [/ math],

[matemática] x + y = x + y \ flecha derecha (x, y) \ equiv (x, y) [/ matemática]

  • La relación [matemáticas] \ equiv [/ matemáticas] es simétrica .

Considere cualquier [matemática] (x, y), (w, z) \ in \ mathbb {R} ^ 2 [/ matemática],

[matemáticas] (x, y) \ equiv (w, z) \ rightarrow x + y = w + z \ rightarrow w + z = x + y \ rightarrow (w, z) \ equiv (x, y) [/ math]

  • Finalmente, la relación [matemáticas] \ equiv [/ matemáticas] también es transitiva.

Considere cualquier [matemática] (x, y), (w, z), (s, t) \ in \ mathbb {R} ^ 2 [/ math],

[matemáticas] (x, y) \ equiv (w, z) [/ matemáticas] y [matemáticas] (w, z) \ equiv (s, t) \ rightarrow x + y = w + z = s + t \ rightarrow (x, y) \ equiv (s, t) [/ math].

  • La clase de equivalencia es [math] C_r = \ {(x, y) \ in \ mathbb {R} ^ 2: x + y = r \} [/ math] donde [math] r \ in \ mathbb {R} [/ math ] Geométricamente, es una línea recta. Aquí está la gráfica de las clases de equivalencia para [math] r = -1, 0, 1 [/ math]:

Esa ya es la definición de una relación.

Reflexividad:

[matemáticas] x + y = x + y \ Flecha derecha (x, y) \ sim (x, y) [/ matemáticas]

Simetría:

[matemáticas] x + y = a + b \ Flecha derecha a + b = x + y [/ matemáticas]

Transitividad:

[matemática] a + b = x + y [/ matemática] y [matemática] x + y = v + w \ Rightarrow a + b = v + w \ Rightarrow (a, b) \ sim (v, w) [/ matemáticas]

para b)

Tome un punto en el plano, por ejemplo, [matemática] (1,1) [/ matemática] entonces tiene [matemática] 1 + 1 = 2 [/ matemática] ahora solo necesita encontrar todos los otros pares [matemática] (x, y) [/ math] con [math] x + y = 2 [/ math] luego obtuviste la clase de equivalencia de [math] (1,1) [/ math]

Ejemplos, [matemáticas] (0,2), (2,0), (- 1,3), (3, -1) [/ matemáticas]

¿Cómo generalizarías esto?

More Interesting

¿Cómo surgieron las 'funciones personalizadas' como el pecado y el cos?

¿Es siempre obvio si un conjunto de axiomas produce una contradicción o no?

¿Cómo publican aquí los matemáticos respuestas tan complejas? ¿Realmente puedes obtener un título en matemáticas en solo 4 años?

¿Cuál es la sonrisa de volatilidad?

¿Cuáles son las diferencias entre topología diferencial, geometría diferencial, topología algebraica y geometría algebraica? ¿En qué orden se suele aprender sobre ellos?

¿Cuál es la definición matemática de una expresión lógica? ¿Es un conjunto ordenado de predicados y operadores booleanos?

Cómo enamorarse de las matemáticas

Cómo resolver 328 ^ 4 en poco tiempo sin usar una calculadora

¿Cuáles son algunas aplicaciones de las matemáticas (no la lógica) en informática, especialmente en teoría computacional?

¿Por qué podemos usar la transformación de Laplace para convertir un sistema no lineal en expresión lineal?

¿Existe investigación sobre la demostración del teorema orientado al ser humano?

Verdad matemática: ¿Qué hace que las oraciones matemáticas sean verdaderas?

¿De qué manera se puede calcular el porcentaje?

Encuentre el inverso multiplicativo de la matriz [math] AB [/ math], si [math] A = \ begin {bmatrix} a & 2 \\\\ b & 3 \ end {bmatrix} [/ math], [math] B = \ begin {bmatrix} 3 & b \\\\ a & 2 \ end {bmatrix} [/ math] donde [math] a, b \ in N [/ math], [math] b <0 [/ math ], [matemáticas] | A | = 4 [/ matemáticas] y [matemáticas] | B | = 4 [/ matemáticas].

¿Se usaron reglas de cálculo en el Proyecto Manhattan?