INTRODUCCIÓN AL LENGUAJE DE LAS MATEMÁTICAS

Uno de los conceptos más importantes y discutidos en matemáticas es el

concepto de Conjunto. En cualquier curso de matemáticas se inicia por definir
los objetos a estudiar y los conjuntos que se podrán formar con ellos, es por
eso que debemos definirlos de manera que no haya posibilidad de generar
contradicciones dentro de la teoría.

Muchos avances en matemáticas vienen de estudiar contradicciones, ejemplos

de este tipo de expresiones son: la paradoja de Zenón (relacionada con el
concepto de convergencia de series) o la paradoja del mentiroso (un ejemplo
de contradicción lógica). La idea intuitiva de conjunto no es una idea “moderna”
pues desde tiempos remotos se han estudiado “colecciones de objetos de un
tipo u otro”, de aquí que la definición mas simple que se suele dar es:

Un conjunto es una colección de objetos que tienen una propiedad

común.

Supongamos bajo esta definición, tomaremos conjuntos cuyos elementos

pueden ser también otros conjuntos. Esta suposición no es imposible pues
podemos considerar el conjunto de todos los conjuntos. Entonces nos
preguntamos:

¿Es posible que un conjunto pueda ser un elemento de sí mismo?

Veamos si esta pregunta tiene sentido: consideremos S el conjunto de los de

los conjuntos que NO son elementos de sí mismos. Si S es un elemento de sí
mismo, entonces, se cumple que S no es elemento de sí mismo; por el
contrario, si S no es elemento de sí mismo, entonces, se cumple que S es
elemento de sí mismo. Esto nos dice que:

S es un elemento de sí mismo, sí y solo sí, S no es un elemento de sí

mismo.

Esto es una contradicción, llamada la paradoja de Russell (paradoja lógica).

Veamos otra situación: supongamos que TODAS las palabras del idioma
español están listadas en algún diccionario y consideramos el siguiente
conjunto: sea T el conjunto de todos los números naturales que pueden ser
descritos con menos de veinte palabras. Como hay una cantidad finita de
palabras, solo hay una cantidad finita de combinaciones de palabras con una
cantidad menor a veinte palabras, esto implica que T es un conjunto finito, y por
tanto, no todos los números naturales podrán ser descritos de esta manera. En
consecuencia, existirá el menor número natural que no puede ser descrito
con menos de veinte palabras del idioma español. Por definición este
número no pertenece a T; pero pudimos describirlo con 17 palabras, de ahí
que, este número pertenece a T, y tenemos una contradicción. A esta se le
conoce como la paradoja de Berry (paradoja semántica).
En ambas contradicciones notamos que el uso del lenguaje y las conclusiones
lógicas de las definiciones influyen en el desarrollo de una teoría. En particular,
estas paradojas muestran que la concepción ingenua de que describir una
propiedad implica que existe un conjunto con elementos que cumplen
dicha propiedad lleva a que se puedan construir “conjuntos patológicos”.
Esta definición de conjunto con la que iniciamos debe ser revisada y por tanto
vamos a introducir una axiomática que nos permita construir una definición
apropiada de conjunto y otro concepto que usamos pero que tampoco dejamos
bien definido, elemento.

Muchos matemáticos han contribuido a la construcción de una Teoría

Axiomática de Conjuntos, en este oportunidad usaremos los axiomas de Von
Neumann, Zermelo y Fraenkel. Primero se tendrán dos nociones indefinidas
clase y la relación de pertenencia ∈, a partir de aquí TODOS los objetos de
la teoría serán clases, algunas de esas clases será llamadas conjuntos. De
esta manera, Todo conjunto será una clase, pero, no toda clase será un
conjunto. A una clase que no es un conjunto la llamaremos clase propia. La
expresión x ∈ A se leerá como “x es un elemento de A” o “x pertenece a A”
o “x está en A” y su negación será x ∉ A . Si tenemos una clase x y existe una
clase A tal que x ∈ Aentonces diremos que x será llamada elemento. Note
que habrán clases que no serán elementos de otras clases y así evitaremos
paradojas como la de Russell y usando el lenguaje de la lógica para trabajar
con las clases, evitaremos paradojas como la de Berry

En general se usarán letras minúsculas a, b, c, x, y, z… para designar

elementos, mientras que se usarán las letras mayúsculas para denotar clases,
elementos o clases que no son elementos. Antes de enunciar los axiomas de la
teoría, damos dos definiciones más: Dadas dos clases A , B :

 A=B si todo elemento de A es también un elemento de B y viceversa.

Es decir, dos clases son iguales, sí y solo sí, tienen los mismos
elementos.

 A ⊆ B si todo elemento de A es también un elemento de B. En este caso,

decimos que A es una subclase de B o que A está contenida en B o
que B contiene a A. Además, A es una subclase estricta de B que se
simboliza A ⊂ B , si A ⊆ B y A ≠ B .

Con estas definiciones ya podemos dar una definición de conjunto:

Un conjunto es una clase que al mismo tiempo es elemento de alguna

otra clase.

Ahora enunciamos los axiomas:

 Axioma 1 (Axioma de Extensión)

Si x= yy x ∈ Aentonces y ∈ A .

 Axioma 2 (Axioma de Construcción de Clases)

 Si P es una proposición, entonces, existe una clase Cque contiene a
todos los elementos x que satisfacen la propiedad P .Denotaremos esta
clase como:
C={ x| P ( x ) }

 Axioma 3 (Axioma de Emparejamiento)

Si a y b son elementos, entonces, { a , b } es un elemento y si a y b son
conjuntos, entonces, { a , b } es un conjunto.

 Axioma 4 (Axioma de Subconjuntos)

Toda subclase de un conjunto es un conjunto.

 Axioma 5 (Axioma de la Unión)

Si es una familia de conjuntos, entonces, es un conjunto.

 Axioma 6 (Axioma del Conjunto Potencia)

Si es un conjunto, entonces, es un conjunto.

 Axioma 7 (Axioma de Reemplazo)

Si es un conjunto y es una función sobreyectiva,
entonces, es un conjunto.

 Axioma 8 (Axioma de Elección)*

Dada una familia de conjuntos no-vacíos, mutuamente disyuntos;
existe un conjunto el cual consiste exactamente de un elemento de
cada . A este conjunto se le llama conjunto de elección para .

 Axioma 9 (Axioma de Infinitud)

Existe un conjunto inductivo (también llamado conjunto de sucesores).

 Axioma 10 (Axioma de Cardinalidad)

Existe una clase de conjuntos, llamada números cardinales, con
las siguientes propiedades:

K1 Si es un conjunto, entonces, existe un número cardinal tal

que .

K2 Si es un conjunto, y son números cardinales, entonces,

y implica que .

Si es el número cardinal de un conjunto , lo denotaremos como

.

 Axioma 11 (Axioma de Ordinalidad)

Existe una clase de conjuntos, llamada números ordinales, con las
siguientes propiedades:
 O1 Si es un conjunto, entonces, existe un número ordinal tal que
.

O2 Si es un conjunto, y son números cardinales, entonces,

y implica que .

Si es el número cardinal de un conjunto , lo denotaremos como

.

De esta lista concluimos que:

1. Los axiomas 1 y 2 nos permiten construir clases usando proposiciones

lógicas, lo que nos permitirá construir las operaciones entre clases:
unión, intersección, complemento, diferencia y diferencia simétrica.

2. El axioma 3 nos permite justificar la definición de pareja ordenada y, por

tanto, definir el producto cartesiano de clases.

3. Los axiomas 4 a 7 son conocidos como los axiomas de conjuntos y

permiten establecer las propiedades de los conjuntos, además, el
axioma 3 puede probarse como consecuencia del axioma 7.

4. El axioma de elección permite justificar: hacer elecciones arbitrarias

de elementos en conjuntos, lo que nos hace preguntar: ¿esta
escogencia es sucesiva o simultánea? La respuesta a esta pregunta
está relacionada con dos formas de trabajar en matemáticas, una que es
constructiva (el axioma de elección no es válido), es decir, un objeto
existe siempre que se pueda construir, lo que implica que se puede dar
un algoritmo (con una cantidad finita de pasos) para su construcción. Y
otra no-constructiva (el axioma de elección es válido) en la que se
tiene certeza de la existencia de objetos sin dar una construcción del
mismo.

5. El axioma 9 permite justificar que la clase vacía es, en efecto, un

conjunto y además justificar la existencia y construcción del conjunto de
los números naturales.

6. Los axiomas 10 y 11 permiten estudiar el “tamaño” de los conjuntos,

además, justificar hacer aritmética con cantidades infinitas.

Gracias a estos axiomas tendremos las herramientas para construir conjuntos

numéricos; también, nos permitirán justificar darle diferentes tipos de
estructuras, tales como, órdenes, grupos, anillos, topologías, sigma-álgebras,
etc.

Referencias
• https://es.wikipedia.org/wiki/Uni%C3%B3n_de_conjuntos
• https://es.wikipedia.org/wiki/Intersecci%C3%B3n_de_conjuntos
• https://es.wikipedia.org/wiki/Diferencia_de_conjuntos
• https://es.wikipedia.org/wiki/Diferencia_sim%C3%A9trica
• https://es.wikipedia.org/wiki/Complemento_de_un_conjunto
• https://es.wikipedia.org/wiki/Producto_cartesiano
• https://es.wikipedia.org/wiki/Par_ordenado
• https://es.wikipedia.org/wiki/Tupla
• https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
• https://es.wikipedia.org/wiki/Conectiva_l%C3%B3gica
• https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos
• C.C. Pinter, Set theory, Addison-Wesley series in mathematics,
Addison-Wesley Publishing Company, 1971.
• Suppes, Patrick; Hill, Shirley (2002) (1964). A First Course in
Mathematical Logic. Dover.