Diferencia entre revisiones de «Matemáticas/Teoría de conjuntos/Intuitiva/Unión e intersección de conjuntos»

Contenido eliminado Contenido añadido
Alephcero (discusión | contribs.)
Sin resumen de edición
Sin resumen de edición
Línea 15:
<blockquote>
<p>'''( U-1 )''' <math>x\cup x=x</math> (idempotencia)</p>
<p>'''( U-2 )''' <math>x\cup\emptyvarnothing=x</math> (identidad) </p>
<p>'''( U-3 )''' <math>x\cup y=y\cup x</math> (conmutatividad) </p>
<p>'''( U-4 )''' <math>x\cup(y\cup z)=(x\cup y)\cup z</math> (asociatividad) </p>
Línea 25:
 
 
'''( U-2 )''' Hay que demostrar que todo elemento de <math>x\cup\emptyvarnothing</math> es elemento de <math>x</math> (demostrar que <math>x\cup\emptyvarnothing\subseteq x</math>) y que, recíprocamente, todo elemento de <math>x</math> es elemento de <math>x\cup\emptyvarnothing</math> (demostrar que <math>x\subseteq x\cup\emptyvarnothing</math>). Si <math>a\in x\cup\emptyvarnothing</math>, entonces <math>a\in x</math> o <math>a\in\emptyvarnothing</math>, de lo que solo puede ser <math>a\in x</math>. Recíprocamente, si <math>a\in x</math>, entonces <math>a\in x\cup\emptyvarnothing</math>. Por tanto <math>x\cup\emptyvarnothing=x</math>.