Dado un conjunto [matemático] A = \ {1,2,3 \} [/ matemático], sería un conjunto que contiene [matemático] \ {(1,1), (2,2), (3,3) \} [/ math] ser un ejemplo de una relación reflexiva, simétrica, antisimétrica y transitiva?

Sea [matemática] R = \ {(1,1), (2,2), (3,3) \} [/ matemática] una relación definida en el conjunto [matemática] A = \ {1,2,3 \}[/matemáticas].

La relación [matemática] R [/ matemática] es reflexiva porque para cada [matemática] x \ en A [/ matemática] tenemos [matemática] (x, x) \ en R [/ matemática]. Además, para cada [matemática] x, y \ en A [/ matemática] tenemos la implicación [matemática] (x, y) \ en R \ implica (y, x) \ en R [/ matemática]. Por lo tanto, [matemática] R [/ matemática] es una relación simétrica. La relación [matemática] R [/ matemática] también es transitiva porque, para cada [matemática] x, y, z \ en A [/ matemática], tenemos [matemática] (x, y), (y, z) \ en R \ implica (x, z) \ en R [/ math]. Para que la relación [matemática] R [/ matemática] sea antisimétrica, debemos tener [matemática] (a, b), (b, a) \ en R \ implica a = b. [/ Matemática] Pero esto es verdadero para [matemáticas] R [/ matemáticas]. Por lo tanto, [math] R [/ math] también es una relación antisimétrica en el conjunto [math] A. [/ Math]

[matemática] R = {(1,1), (2,2), (3,3)} es una relación en el conjunto [/ matemática] [matemática] A = {1,2,3} [/ matemática]

La relación R es reflexiva porque por cada x∈A [matemática] xA [/ matemática] tenemos (x, x) ∈R.

Cada x, y∈A: (x, y) ∈R⟹ (y, x) ∈R. Por lo tanto, R es una relación simétrica .

La relación R es transitiva porque, para cada x, y, z∈A: (x, y), (y, z) ∈R⟹ (x, z) ∈R

Es reflexivo ya que todos los miembros están en relación entre sí.

No es simétrico ni tampoco es antisimétrico. Para la simetría, al menos necesita dos elementos diferentes que se presentan en ambas relaciones. (uno para la relación directa y el segundo para la relación inversa)

No es antisimétrico, ya que al menos necesita una relación con dos elementos diferentes (donde el inverso no está presente)

Sin embargo, se puede suponer que es transitiva. Trivialmente

Sin embargo, tenga en cuenta que puede surgir sutilmente ya que el conjunto no viola la propiedad de simetría y antisimetría, por lo tanto, algunas personas asumen ambas propiedades para el conjunto anterior. Sin embargo, no hace una gran diferencia.

si

More Interesting

¿Cuál es la diferencia entre [math] 2 ^ \ infty [/ math] y [math] \ infty ^ 2 [/ math]?

¿Por qué la raíz cuadrada de cero, cero?

Deje [math] \ mathit {f} [/ math]: [math] \ mathbb {R ^ {+}} \ rightarrow \ mathbb {R} [/ math], donde [math] \ textit {f (x)} = \ int_ {1} ^ {x} \ frac {dt} {t} [/ math]. ¿Cómo mostrarías que [math] \ textit {f} [/ math] es una función uno a uno y sobre?

Cómo integrar [matemática] \ ln (\ sin (x)) [/ matemática] de [matemática] 0 [/ matemática] a [matemática] \ frac \ pi 2 [/ matemática]

La expresión [matemática] -2x ^ 3 + hx ^ 2 + 11x-k [/ matemática] tiene un factor de [matemática] x + 2 [/ matemática] y deja un resto de 6 cuando se divide por [matemática] x-1 [/matemáticas]. Calcule el valor de [matemáticas] h [/ matemáticas] y de [matemáticas] k. [/ math] Por lo tanto, factorizar la expresión por completo?

¿Cuál es el mayor número de cuadrados de 1 por 1 que puede colocar dentro de un círculo de 1996 unidades de diámetro si los cuadrados deben tener una separación de 1 unidad entre sí en todos los bordes o esquinas, es decir, cada segunda fila o columna está vacía?

¿Cuál es el valor mínimo de a ^ 2 + b ^ 2?

Cómo encontrar la raíz real de y = x ^ 3 + x + 1

Cómo encontrar la función de densidad de probabilidad de una combinación lineal de tres variables aleatorias independientes con funciones generadoras de momentos dados

¿Cuál es un argumento combinatorio de que la suma del primer cuadrado impar es [matemática] \ binom {2n + 1} 3 [/ matemática]?