4: Más sobre Sets
( \newcommand{\kernel}{\mathrm{null}\,}\)
En este capítulo veremos más de cerca algunos datos básicos sobre los conjuntos. Una pregunta que podríamos hacernos es: ¿Podemos manipular conjuntos de manera similar a la forma en que manipulamos las expresiones en álgebra básica, o a la manera en que manipulamos las proposiciones en la lógica? En álgebra básica somos conscientes de quea⋅(b+c)=a⋅b+a⋅c para todos los números realesa,b, yc. En lógica verificamos un análogo de esta afirmación, es decir,p∧(q∨r)⇔(p∧q)∨(p∧r)), dondep,q, and r estaban las proposiciones arbitrarias. SiA,B, yC son conjuntos arbitrarios, esA∩(B∪C)=(A∩B)∪(A∩C)? ¿Cómo nos convencemos de que es verdad, o descubrimos que es falso? Consideremos algunos enfoques de este problema, veamos sus pros y sus contras, y determinemos su validez. Más adelante en este capítulo, introducimos particiones de conjuntos y minsets.