Conjuntos: recorrido histrico

La nocin de conjunto apareci con la necesidad del hombre de realizar un

agrupamiento de objetos o cosas. En primera instancia agrupaban los dedos de
las manos como instrumento contable, estos los usaban para representar
conjuntos de dos, tres, cuatro o cinco objetos; adems por medio de los dedos de
las manos podan representar colecciones de hasta diez elementos.
El problema radicaba cuando el uso de los dedos de las manos y de los pies
resultaba inadecuado, para resolver el inconveniente utilizaban pequeos
montones de piedras para representar una correspondencia biunvoca con los
elementos de otro conjunto, cuando se empleaba este sistema de representacin
a menudo amontonaban las piedras por grupos de a cinco, debido a que antes se
familiarizaban con los quntuplos de objetos por observacin de sus propias
manos o pies.
Con lo mencionado anteriormente se observa que la nocin de conjunto naci
debido a la necesidad de hacer un agrupamiento de objetos de acuerdo a ciertas
necesidades o caractersticas.
Ya con el nacimiento de grandes matemticos se fueron introduciendo definiciones
precisas y una simbologa adecuada para los conjuntos. En los siglos XIX y XX la
matemtica prolifera y florece como quizs ningn otro quehacer del espritu.
Movidos por la misma riqueza y audacia de sus invenciones, algunos matemticos
notables se ponen a reflexionar sobre la naturaleza y alcance de su actividad. Su
reflexin es lo que se llama filosfica y as la entienden; pero la conducen como
matemticos que son, asociando libertad y rigor, fantasa fructuosa y precisin
pretensiosa, en el estilo propio de su disciplina.
Esta filosofa matemtica de la matemtica existe de dos maneras. Por una parte,
hay una corriente ms o menos unitaria de pensamiento que ejerce una enorme
influencia sobre la investigacin matemtica y ha llegado a dominar la
enseanza universitaria. Esta corriente se autodenomina "clsica", pero se
llamara "conjuntista" porque coloca al centro de la matemtica, en una forma u
otra, la nocin de conjunto y trabaja en fortalecerla. Iniciada por Dedekind (18311916) y Cantor (1845-1918), incorpora logros de Frege (1848-1925), Peano (18581932), Whitehead (1861-1947) y Russell (1872-1970).
Cabe mencionar la simbologa utilizada por Boole, Peano y Frege en sus aportes
desde la lgica a los conjuntos.

FABIAN TOLEDO SANCHEZ

JEFFREY CERON MORA

George Boole (1815-1864)

Un matemtico esencialmente autodidacta construyo la lgica formal y un nuevo
tipo de algebra que se conoce como algebra de Boole, que a la vez es el algebra
de los conjuntos y el algebra de la lgica. Boole utilizaba las letras x, y, z,, para
representar objetos de un cierto subconjunto de cosas seleccionadas de un
conjunto universal cuya totalidad representaba por el smbolo o numero 1. Por
ejemplo, si el smbolo 1 representaba al conjunto de todos los europeos, x
podra representar a todos los europeos que son ciudadanos franceses,

podra representar a todos los hombres europeos de mas de 21 aos, y

podra representar a todos los europeos que miden entre 1,50 y 1,80 metros de
estatura.
El smbolo o nmero 0 lo tomo Boole para representar el conjunto vaco, que no
contiene ningn elemento del conjunto universal. El signo + entre dos letras o
smbolos, como

x+ y , lo considero representando la unin de los subconjuntos

y , es decir, el conjunto formado por los elementos que figuran en x

en

o en ambos. El signo de multiplicacin

de conjuntos, de manera que

representaba la interseccin

representaba el conjunto de todos

los elementos que estn simultneamente en el subconjunto

subconjunto

y en el

y .

En el ejemplo anterior

x+ y

consistira en el conjunto de todos los europeos

que o son ciudadanos franceses o son hombres y tienen ms de 21 aos o las

dos cosas simultneamente; x y (que se escribe tambin como x y , o
simplemente

x y ) sera el conjunto de los ciudadanos franceses que son

hombres y tienen ms de 21 aos. . (Boole, contrario que De Morgan,

utilizaba la unin excluyente, no permitiendo que hubiera elementos comunes
entre x e y, pero en el lgebra de Boole moderna considera ms conveniente
tomar la operacin + como la unin usual, no excluyente, de conjuntos que
pueden tener elementos comunes).
Es inmediato comprobar que las cinco leyes fundamentales del lgebra se
verifican en cualquier lgebra de Boole de conjuntos, es decir, que
FABIAN TOLEDO SANCHEZ
JEFFREY CERON MORA

x+ y= y + x

xy= yx

x+( y + z)=(x + y )+ z

x ( yz)=(xy ) z

x ( y + z)=xy + xz

Sin embargo, no todas las reglas del lgebra usual siguen siendo vlidas. Por
ejemplo, se tiene evidentemente que 1+1=1 y que x x=x (la segunda
propiedad aparece en la obra de Boole, pero no la primera, por utilizar la unin
excluyente).
Giuseppe Peano (1858-1932)
Dentro de la simbologa utilizada en los conjuntos cabe resaltar los presentados
por Peano que es un clsico de la lgica que fijo prcticamente toda su simbologa
en la obra los principios de la aritmtica. El proceso de constitucin de la lgica
formal moderna viene determinado por el desarrollo de una formalizacin, que
consiste, no en usar smbolos de forma ms o menos generalizada, sino en
conseguir un lenguaje lo suficientemente sutil y completo como para regular su
propio desarrollo. Cuando el simbolismo se utiliza, no slo para anotar los modos
de inferencia, sino tambin para fundamentar dichos modos inferenciales. Esto se
consigue por primera vez con Frege y Peano.
Ambos se apoyan en Boole, pero su proyecto consiste, no en integrar la lgica en
la Matemtica, sino en completar el simbolismo matemtico mediante un
simbolismo lgico ms fundamental, aplicable fuera del dominio de la matemtica
y totalmente autnomo de las particularidades y ambigedades de los lenguajes
ordinarios. Esta es la idea comn que gua los trabajos de Frege y de Peano, aun
cuando este ltimo no tena noticia de la simbologa de Frege en 1889.
El proyecto de Peano es, a la vez, ms audaz y ms modesto que el de Frege. Por
una parte, intenta abarcar toda la Matemtica, por otra, se contenta con enumerar
las leyes lgicas de las que har uso en su exposicin matemtica sin
organizarlas en un sistema deductivo.
Peano fija prcticamente toda su simbologa en la obra Los Principios de la
Aritmtica. En cuanto a la eleccin de smbolos se inspira en el alfabeto
estenogrfico y, a diferencia de Boole, evita la utilizacin de smbolos matemticos
para uso lgico.
FABIAN TOLEDO SANCHEZ
JEFFREY CERON MORA

Para indicar objetos reales cualesquiera emplea las letras latinas itlicas
minsculas a , b , c , , x , y , z . Estos son smbolos de variables, cuyo sentido es
"constante" (siempre el mismo) en la misma frase, pero generalmente diferente
en diferentes frases.
Para los smbolos con significacin constante en todas las frases -constantes
lgicas- emplea, o bien letras griegas o latinas derechas o invertidas, o bien
series de letras latinas (romanas), que son abreviaciones del nombre griego o
latino del objeto representado por el smbolo.
Los smbolos han sido, pues, escogidos de tal forma que no se produzcan
homnimos. Su forma permite una fcil composicin tipogrfica, ya que todas las
frmulas resultantes son unilineales.
Entre los smbolos introducidos por Peano cabe destacar por su importancia los
siguientes:
, , , , ,

El smbolo , es la letra inicial de la palabra consequentia y es interpretada

como signo de deduccin, " a b

significa: de

se deduce b ".

Significado ste lgicamente ambiguo, puesto que Peano no distingue an entre

implicacin "material" y relacin de consecuencia lgica. Por lo dems, Peano no
siempre mantiene la equivalencia entre el clculo de clases y el de proposiciones.
El smbolo

es una innovacin capital que seala la especificidad del clculo

de clases sobre el de proposiciones.

x a

Se lee " x

es un individuo de la

clase a ", seala la relacin de pertenencia de un miembro a una clase.

El smbolo

es el signo para las clases unitarias, esto es, si

elemento de una clase, "

elemento

es el signo de la proposicin existencial: si

a" significa "hay a " o "los

no es vaca.
FABIAN TOLEDO SANCHEZ
JEFFREY CERON MORA

es un

x" indica la clase que contiene exclusivamente el

x . El smbolo

una clase, "

existen", esto es, la clase

a es
a

El inters de la simbologa de Peano no se reduce al hecho de constituir el punto

de partida para la simbologa russelliana, sino que en su aplicacin a las
relaciones y demostraciones matemticas exige el establecimiento de nociones y
distinciones que hasta entonces haban pasado inadvertidas.
Estas simbologas fueron las que utilizaron Peano y Boole en su lgica junto con
aportes de Frege los cuales fueron fundamentales en la teora de conjuntos.
Richard Dedekind (1831-1916)
Dedekind fue una figura clave en el surgimiento de la matemtica conjuntista y
estructural del siglo XX. Este parte introduciendo la nocin de sistema que era lo
que Cantor llamaba 'conjunto. En aras de "la uniformidad de la diccin", admite la
existencia de sistemas "que constan de un objeto nico" (esto es, de conjuntos
unitarios); pero descarta explcitamente "el sistema vaco, que no contiene ningn
elemento.
El siguiente enunciado es la nocin de conjunto adoptada por Dedekind en el
influyente ensayo que dedicaba por esos aos a la fundamentacin conjuntista de
la aritmtica (aunque Dedekind dice 'sistema' en vez de 'conjunto'); Ocurre muy a
menudo que diversas cosas a , b , c ,... por algn motivo son concebidas bajo un
punto de vista comn y reunidas en la mente. Se dice entonces que forman un
sistema S. [..] Como objeto de nuestro pensamiento, tal sistema S (o sea una
coleccin, o una variedad, o una totalidad) tambin es una cosa; est
completamente determinado, cuando est determinado respecto de cada cosa si
es o no un elemento de S. Este enunciado era dado por Dedekind al referirse a un
sistema.

FABIAN TOLEDO SANCHEZ

JEFFREY CERON MORA