1.1 Conjuntos

Supondremos que el lector sabe las nociones basicas sobre conjuntos, aunque resaltaremos algunas de las mas importantes para que las repase.

La propiedad de extensionalidad nos dice que, dados conjuntos \(A,B\), se tiene que \(A=B\) si y solo si para cada objeto \(x\) se da que \[x\in A\text{ si y solo si }x\in B\] Esta propiedad es importante metodologicamente ya que a la hora de probar que dos conjuntos \(A,B\) son iguales, extensionalidad nos asegura que basta con ver que se dan las dos inclusiones \(A\subseteq B\) y \(B\subseteq A\).

Otro tema importante es manejar correctamente la notacion cuando definimos un conjunto usando llaves y mediante propiedades que caracterizan la pertenencia al mismo. Algunos ejemplos

  1. adhocprefix-adhocsufix \(\{x\in\mathbf{N}:x=1\) o \(x\geq5\}\)

  2. adhocprefix-adhocsufix \(\{x:x\in\mathbf{R}\) y \(x^{2}\geq100\}\)

  3. adhocprefix-adhocsufix \(\{x:x=100\}\)

  4. adhocprefix-adhocsufix \(\{x^{2}+1:x\in\omega\}\)

  5. adhocprefix-adhocsufix \(\{x+y+z:x,y,z\in\{1,2\}\}\)

Dejamos al lector la tarea de entender en forma precisa que conjunto se esta denotando en cada caso.