Deje [math] S = A \ cap B_c [/ math]. Entonces tu igualdad se convierte
[matemáticas] A \ cap B = A – S [/ matemáticas].
Si [math] x \ en A \ cap B [/ math], queremos demostrar que [math] x \ en AS [/ math].
[matemática] x \ en A \ cap B [/ matemática] implica que [matemática] x \ en A [/ matemática] y que [matemática] x \ en B [/ matemática], por lo que solo necesitamos demostrar que [matemática] ] x \ notin S [/ math]. Como [math] x \ en B [/ math], [math] x \ notin B_c [/ math]. Por lo tanto, [math] x \ notin A \ cap B_c = S [/ math].
- ¿Qué significa el concepto de "cierre" de Kuratowski?
- ¿Cuál es el campo de la ciencia moderna matemáticamente más complejo?
- ¿Por qué nunca te has molestado en aprender matemáticas más allá de la aritmética?
- ¿Es difícil estudiar este tipo de matemáticas?
- ¿Qué le permite hacer o pensar la teoría del tipo de homotopía que la teoría de conjuntos no lo hace?
si [matemática] y \ en A – S [/ matemática], queremos demostrar que [matemática] y \ en A \ cap B [/ matemática].
[matemática] y \ en A – S [/ matemática] significa que [matemática] y \ en A [/ matemática] y que [matemática] y \ notin S = A \ cap B_c [/ matemática]. Por lo tanto, [math] y \ notin B_c [/ math], lo que implica que [math] y \ in B [/ math]. Como [matemáticas] y \ en A [/ matemáticas] y [matemáticas] y \ en B [/ matemáticas], obtenemos que [matemáticas] y \ en A \ cap B [/ matemáticas].
Si encuentra la prueba difícil de entender, un gráfico de Venn no le hará daño. 🙂