1.1-6.e

1.1-6.e

de Agustin Camara Montero -
Número de respuestas: 1
No se me estaría ocurriendo por donde empezar empezar a encarar el ejercicio. ¿Hay que verificar con valores aleatorios o hay que hacer algún tipo de demostración?
En respuesta a Agustin Camara Montero

Re: 1.1-6.e

de Sofia Llavayol Alvariño -
Copio la primera parte de la letra: sean A, B, C y D conjuntos. Verificar que (A\times B)\cup (C\times D)\subset (A\cup C)\times (B\cup D).
Yo diría que tenés que escribir una prueba. Abajo te doy indicaciones de cómo armarla. Dejo espacios en blanco para que completes lo que falta. Antes de empezar, corroborá que sepas bien cuáles son las definiciones de unión y producto cartesiano entre conjuntos. 

Prueba: para probar la inclusión, hay que probar que todos los elementos de (A\times B)\cup (C\times D) también están en (A\cup C)\times (B\cup D). Así que tomo un (x,y)\in (A\times B)\cup (C\times D) cualquiera, y hay probar que se cumple (x,y)\in (A\cup C)\times (B\cup D).

Por definición de unión, hay dos casos: que (x,y)\in (A\times B), o que (x,y)\in (C\times D). Así que uno puede hacer la prueba en cada caso.

Caso 1: supongamos que (x,y)\in (A\times B). Entonces, por definición de producto cartesiano, x cumple que .............. e y cumple que .............. . Por lo tanto, x\in (A\cup C) e y\in (B\cup D). Esto concluye la prueba del Caso 1 porque ..............

Caso 2: supongamos que (x,y)\in (C\times D). Entonces ........................................................................................................................................................................ . Esto concluye la prueba del Caso 2.

Fin de la prueba.

En la otra parte del ejercicio, tenés que buscar un ejemplo concreto en donde se dé la inclusión estricta, y uno en el que se dé la igualdad entre los conjuntos.