1: Conjuntos
( \newcommand{\kernel}{\mathrm{null}\,}\)
- 1.1: Extensionalidad
- Cuando consideramos conjuntos, no nos importa el orden de sus elementos, ni cuántas veces se especifican.
- 1.2: Subconjuntos y Conjuntos de Potencia
- Si cada elemento de un conjuntoA es también un elemento deB, entonces decimos queA es un subconjunto deB. El conjunto que consiste en todos los subconjuntos de un conjuntoA se llama el conjunto de potencia deA.
- 1.3: Algunos conjuntos importantes
- Los conjuntos importantes incluyen los números natural (N), integer (Z), rational (Q) y real (R), pero también cadenas (X∗) y secuencias infinitas (Xω) de objetos.
- 1.4: Uniones e Intersecciones
- La unión de dos conjuntosA yB, escritoA∪B, es el conjunto de todas las cosas que son elementos deAB, o ambas. La intersecciónA∩B de dos conjuntos es el conjunto de elementos que tienen en común.
- 1.5: Pares, Tuplas, Productos Cartesianos
- De la extensionalidad se desprende que los conjuntos no tienen orden a sus elementos. Entonces, si queremos representar orden, utilizamos pares ordenados⟨x,y⟩.
- 1.6: La paradoja de Russell
- Algunas propiedades no definen conjuntos. Si todos lo hicieran, entonces nos encontraríamos con contradicciones rotundas. El ejemplo más famoso de esto es la Paradoja de Russell.