CONJUNTOS

El concepto de conjunto, por ser primero y fundamental para la matemática, no se

trata de definirlo rigurosamente; pero adoptando un punto de vista intuitivo, diremos que un
conjunto en general es un agregado o colección de objetos, llamados elementos. Los
elementos que forman un conjunto pueden ser entes cualesquiera: números, figuras, objetos
físicos, proposiciones, etc.
Dar un conjunto A (de objetos) es fijar una ley teórica que permita decidir para cada
objeto si el mismo pertenece o no al conjunto A. Los objetos que pertenecen a A se llaman
sus elementos, y la notación a  A expresa que a es un elemento de A. Por el contrario, si
un elemento b no pertenece a A, se lo anota: b  A.
Un conjunto también puede definirse como una colección de objetos que poseen una
propiedad determinada. Por ejemplo:

 Los conjuntos que considera la aritmética son los números enteros;

 El conjunto P de los números pares es la colección de los números enteros que
tienen la propiedad de ser divisibles por 2;
 Los objetos de la geometría plana constituyen el conjunto de los puntos del plano;
 Si A es el conjunto de los puntos de un círculo de radio unidad, se puede decir que
A es la colección de los puntos del plano que poseen la propiedad de tener la
distancia al centro menor o igual a 1.

La notación A = {1, 2, 3, 4} indica que el conjunto A se compone de los elementos

encerrados entre las llaves. Esta manera de individualizar un conjunto es sólo utilizable
para definir conjuntos de un número finito de elementos; si bien se usa aún en casos como
este: P = {2, 4, 6, 8,…}, indicando que P es el conjunto de los números pares (que son
infinitos, por eso los puntos suspensivos).
Si todos los elementos de un conjunto A son también elementos de otro B, entonces
se dice que A es parte o subconjunto de B, y se escribe A  B (y se lee: A está incluido en
B). Por ejemplo, si N es el conjunto de los números naturales, y P es el de los números
pares, entonces P  N.
Con Ø se indica el conjunto vacío (sin elementos), de modo que a  Ø para todo
elemento a. Análogamente, Ø  A para todo conjunto A. Asimismo, podemos considerar
un conjunto cuyos elementos sean subconjuntos, debido a la propiedad de la inclusión; es
decir, conjuntos de conjuntos. Análogamente, pueden considerarse conjuntos cuyos
elementos sean conjuntos de conjuntos, etc. Por ejemplo, si A es el plano –de modo que los
elementos de A son los puntos del plano–, y si B es el conjunto cuyos elementos son todos
los círculos del plano, entonces B es un conjunto de subconjuntos de A.
Si tenemos dos conjuntos A y B, cuyos elementos designamos con x e y,
respectivamente, llamamos producto cartesiano A × B de los dos conjuntos, al conjunto de
los pares ordenados (a, b) tales que a  A y b  B. Par ordenado significa que (a, b) no es
lo mismo que (b, a).
Por ejemplo, si A = {a, b, c} y B = {m, n} entonces A × B = {(a, m), (b, m), (c, m),
(a, n), (b, n), (c, n)}.
ESTRUCTURAS ALGEBRAICAS. INTRODUCCIÓN

Sabemos que en los conjuntos Z, Q, R y C de números enteros, racionales, reales y

complejos se pueden definir la suma y la multiplicación y la resta como inversa de la suma.
Todo conjunto de números con la característica de poseer dos operaciones con las
propiedades de la suma y el producto, una de ellas con inversa, constituye lo que se
denomina anillo numérico.
Así pues, Z, Q, R y C son ejemplos de anillos numéricos.

EJEMPLOS.–

1) Sea A el conjunto de los números pares A = 0, ±2, ±4, ±6,…; la suma, la diferencia
y el producto de números pares es un número par, luego A es un anillo numérico.
Más generalmente, el conjunto A de todos los enteros que son múltiplos de un
entero fijo k, es un anillo numérico.
2) Los enteros impares no formar anillo, pues la suma de dos impares es siempre par;
es decir que la suma no es una operación cerrada en el conjunto de los números
impares.
3) Todos los números racionales de la forma –p/2n con p impar, n natural más el cero,
forman un anillo.
4) Todos los números reales de la forma a + b2, donde a y b son enteros, forman un
anillo numérico. Lo mismo ocurre con los reales de la forma a + 3, a + b5, etc.
En cambio, no forman anillo los números reales de la forma a + b32, a y b enteros,
pues por ejemplo: (1 + ³2)² = 1 + 2³2 + ³16 no está en el conjunto.

Un caso particular importante de anillo numérico es lo que llama un cuerpo

numérico. Un anillo numérico A es cuerpo numérico si el cociente de dos números
pertenecientes a A es un número también perteneciente a A, es decir, si el cociente es una
operación cerrada en anillo –desde luego, siempre que el divisor sea distinto de cero.
El anillo Z no es un cuerpo numérico pues entre los números enteros la división no es
siempre posible. En cambio los anillos Q, R y C también son cuerpos. Por eso se habla del
cuerpo de los racionales, del cuerpo de los reales o del cuerpo de los complejos.

El álgebra estudia conjuntas de entes cualesquiera (no necesariamente números) en

los que están definidas dos operaciones con propiedades formalmente idénticas a las que
poseen la suma y el producto en los anillos numéricos. A esos conjuntos, que por la
característica enunciada tienen la estructura algebraica de los anillos numéricos, se los
llama anillos generales. En forma similar se extiende el concepto de cuerpo numérico al de
cuerpo general.
En álgebra tiene asimismo mucha importancia el estudio de una estructura más débil
que la de los anillos o los cuerpos, que es la de conjuntos en los que está definida una sola
operación (asociativa, con elemento neutro e inverso); es la estructura de grupo. Por
ejemplo, el conjunto Z es un grupo respecto de la suma, pero no lo es respecto del producto
(pues el producto de entero no tiene inverso). El conjunto Q-0 (de los números racionales
menos el cero) es un grupo respecto del producto.
 Interesa estudiar los grupos no necesariamente numéricos, es decir, averiguar las
propiedades que derivan del hecho que en un conjunto de entes arbitrarios,
independientemente de la naturaleza de los mismos, esté definida una operación con
propiedades particulares. Esto es, estudiar los grupos en tanto que estructuras algebraicas
especiales.