Teoría de conjuntos

1. Conjuntos y funciones.
1.1 Definiciones básicas. Matemáticas habitualmente tratan con “conjuntos”
constituidos por varios tipos de “elementos”, por ejemplo, el conjunto de
caras de un poliedro, el conjunto de puntos en una línea, el conjunto de
todos los enteros positivos, y así. Debido a su generalidad, es difícil definir
estos conceptos en cierto sentido que hace más que meramente remplazar
la palabra “conjunto” por algún termino equivalente como “clase”, “familia”,
“colección”, etc. y la palabra “elemento” por algún termino equivalente como
“miembro”. Nosotros adoptaremos un “ingenuo” punto de vista y
consideraremos las nociones de un conjunto y de los elementos de un
conjunto como primitivo y bien entendido.
El concepto de conjunto cumple un rol clave en las matemáticas modernas.
Esto es parcialmente debido a el hecho que la teoría del conjunto,
originalmente se desarrolló hacia finales del siglo diecinueve, y por ahora
se ha convertido en un tema extenso en sí mismo. Mas importante, sin
embargo, es la gran influencia por la cual la teoría del conjunto ha ejercido
y continúa ejerciendo el pensamiento matemático como un todo. En este
capítulo, introduciremos las nociones básicas teóricas de los conjuntos y
notaciones a ser usadas en el resto del libro.
Los conjuntos serán expresados por letras mayúsculas como A, B, …, y los
elementos de conjuntos por letras minúsculas como a, b, … El conjunto con
elementos a, b, c, … es frecuentemente expresado por {a, b, c, …}, en
otras palabras, al escribir los elementos de el conjunto entre corchetes. Por
ejemplo, {1} es el conjunto cuyo único número es 1, mientras {1, 2, …, n,
…} es el conjunto de todos los enteros positivos. La expresión, “el elemento
a pertenece a el conjunto “A” está escrito simbólicamente como aЄA,
mientras aɆA significa que “el elemento a no pertenece al conjunto A”. Si
cada elemento de un conjunto A también pertenece al conjunto B, decimos
que A es un subconjunto del conjunto B y se escribe AC B o BϽ A (también
se lee como “A esta contenida en B” o “B contiene A”). Por ejemplo, el
conjunto de todos los números pares es un subconjunto de los conjuntos de
los números reales. Decimos que dos conjuntos A y B son iguales y se
escribe A = B si A y B consiste precisamente de los mismos elementos.
Observe que A=B si y solo si AC B y BϽ A, en otras palabras, si y solo si
cada elemento de A es un elemento de B y cada elemento de B es un
elemento de A. Si AC B pero A≠B, llamamos A un subconjunto propio de B.
A veces esto se sabe de antemano si un determinado conjunto o no (por
ejemplo, el conjunto de raíces de una ecuación dada) contiene elementos
en absoluto. Así, es conveniente introducir el concepto del conjunto vacío,
en otras palabras, el conjunto que no contiene elementos en absoluto. Este
conjunto será expresado por el símbolo ø. El conjunto ø es claramente un
subconjunto de cada conjunto (¿Por qué?).