REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD PEDAGGICA EXPERIMENTAL LIBERTADOR

INSTITUTO DE MEJORAMIENTO PROFESIONAL DEL MAGISTERIO
NCLEO ACADMICO MRIDA

Elementos de la teora
de conjuntos.

Integrante:
ZULEIMA MARQUEZ C.I.: 16.605.298
Materia: Introduccin Al Algebra
Profesor: Luis Ruiz

Mrida, Mayo 2014.

ELEMENTOS DE LA TEORA DE CONJUNTOS.

La teora de conjuntos: es una rama de las matemticas que estudia las propiedades
de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s
mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica
en la formulacin de cualquier teora matemtica.
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir
el resto de objetos y estructuras de inters en matemticas: nmeros, funciones,
figuras geomtricas, y junto con la lgica permite estudiar los fundamentos de esta.
En la actualidad se acepta que el conjunto de axiomas de la teora de ZermeloFraenkel es suficiente para desarrollar toda la matemtica.
En lgica y matemticas, los axiomas de Zermelo-Fraenkel, formulados por Ernest
Zermelo y Adolf Fraenkel, son un sistema axiomtico concebido para formular la
teora de conjuntos. Normalmente se abrevian como ZF o en su forma ms comn,
complementados por el axioma de eleccin como ZFC.
Los axiomas de Zermelo-Fraenkel:
La teora de conjuntos de Zermelo-Fraenkel toma como primitivos los conceptos de
conjunto y de pertenencia y consta de los diez axiomas siguientes:
1. Axioma de extensionalidad: expresa que dos conjuntos e son iguales (lo que
se representa por
) nicamente si contienen los mismos elementos. Ms
formalmente, y en la simbologa usual:

2. Axioma del conjunto vaco: expresa que existe un conjunto (representado por )
sin elementos. Esto es,

3. Axioma de pares. Dados cualesquiera conjuntos

representado por

, existe otro conjunto,

, cuyos elementos son nicamente e . Esto es,

4. Axioma de la unin: Expresa dada cualquier coleccin de conjuntos

conjunto, representado por
elementos de cada conjunto de

y llamado unin de
. Esto es,

, que contiene todos los

5. Axioma del conjunto potencia: para cualquier conjunto

representado por

, existe un

existe otro conjunto,

, que contiene todos los subconjuntos de . En smbolos,

6. Esquema axiomtico de especificacin. sea

una frmula de un lenguaje de
primer orden que contenga una variable libre . Entonces, para cualquier conjunto
existe un conjunto cuyos elementos son aquellos elementos de que cumplen
. Formalmente se expresa as.

7. Esquema axiomtico de reemplazo: Si

es una sentencia tal que para

cualquier elemento
de un conjunto
el conjunto
existe,
entonces existe una funcin f:xy tal que f(a)=y. Formalmente se expresa as.

Entonces:

8. Axioma de infinitud: existe un conjunto

entonces

tal que

y tal que si

. En smbolos:
.

9. Axioma de regularidad: Para todo conjunto no vaco existe un conjunto

que

tal

. Esto es, en trminos formales:

3

10. Axioma de eleccin: Dada una familia de conjuntos no vacos podemos

seleccionar un elemento de cada conjunto. Este axioma puede expresarse de manera
equivalente a, dado un conjunto cualquiera x, existe una funcin f que elige un
elemento de cada conjunto no vaco de x:

Definicin Conjunto:
Un conjunto es una coleccin o familia de objetos. Las llaves { } tendrn un uso muy
especial y nico, sirven para definir un conjunto.
Los conjuntos se pueden construir de dos formas:

Definicin de un conjunto por extensin.

Definicin de un conjunto por intencin.

Conjunto por extensin: Construir o definir un conjunto por extensin consiste en

declarar todos lo elementos que lo forman.
Ejemplo
{Rosana, Jos, Mara del Carmen, Juan, Pedro}
Conjunto por intencin:
Construir o definir un conjunto por intencin consiste en declarar cules elementos de
un cierto conjunto son seleccionados. Esto se lleva a cabo por una propiedad o
predicado P(x). {x D|P(x)}
Ejemplo
{x R| 2 < x}
Todos aquellos nmeros reales que son mayores que -2.

Entonces al hablar de elementos y conjuntos debemos entender que al escribir

, estamos diciendo que los elementos del conjunto
nmeros 1, 2, 3 y 4. Un grupo de elementos de
es un subconjunto de .

sera, por ejemplo,

son los
, el cual

Los elementos pueden ser conjuntos en s mismos. Por ejemplo: consideremos el

conjunto

. Los elementos de

tiene slo tres elementos: 1, 2 y el conjunto

no son 1, 2, 3, y 4; en efecto,
.

Los elementos de un conjunto pueden ser cualquier cosa. Por ejemplo:

, es el conjunto cuyos elementos son los colores rojo,
verde y azul.
Diferencia entre elemento y subconjunto:
En el siguiente cuadro el conjunto C est formado por dos elementos. El conjunto A
est formado por cinco elementos (cinco figuras geomtricas), y C, sealado con
lnea discontinua, es un subconjunto de A, C A. El conjunto B, por el contrario,
est formado por cuatro elementos: tres figuras geomtricas y un conjunto, a saber, C.
Por tanto, C, sealado con lnea continua, es un elemento de B, C B.

Definicin de Pertenencia:
Un objeto x se dice pertenecer o ser elemento o estar en un conjunto A si el conjunto
A est definido por extensin (cuando el elemento x aparece en la lista de elementos
del conjunto A), y si el conjunto A est definido por intencin (cuando el elemento x
es tomado del universo del discurso y cumple la propiedad establecida para A)
Ejemplo
A={Rosana, Jos, Mara del Carmen, Juan, Pedro}

Jonas

Pedro A

Ejemplo:
Indique cules opciones contienen elementos del conjunto:

A = {x Z / 2 < x < 5}
a) 3 3 A pues 3 es entero y cumple 2 < 3 < 5
b) 6 6
c) -3 3
d) 1.5 1.5

A pues 2 < 6 5
A pues 2 3 < 5
A pues 1.5 no es entero.

Relacin de igualdad de conjuntos:

Se dice que 2 conjuntos A y B son iguales cuando ambos tienen los mismos
elementos, es decir si cada elemento de A pertenece a B y si cada elemento
que pertenece a B pertenece tambin a A. La igualdad se denota A = B.

En la igualdad, el orden de los elementos de cada conjunto no importa.

Entonces

Conjunto Vaco: Es el conjunto que no tiene ningn elemento se llamar el conjunto

vaco. El conjunto vaco se define como {x: x x}
El conjunto vaco es denotado por los smbolos:
. Otra notacin comn para el
conjunto vaco es la notacin extensiva, especificando sus elementos (ninguno) entre
llaves:
Un conjunto universal: es un conjunto formado por todos los objetos de estudio en
un contexto dado. Por ejemplo, en aritmtica los objetos de estudio son los nmeros
naturales, por lo que el conjunto universal para este caso puede ser el conjunto de los
nmeros naturales N. Al conjunto universal tambin se le denomina conjunto
referencial, universo del discurso o clase universal, segn el contexto, y se denota
habitualmente por U o V.

El rectngulo se corresponde con un cierto conjunto universal U. El conjunto A ocupa

el rea delimitada por su contorno, y la superficie azul es su complementario A: toda
el rea de U que no pertenece a A.

OPERACIONES ENTRE CONJUNTOS:

Unin:
La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto formado
por los elementos que pertenecen al menos a uno de ellos a los dos. Lo que se
denota por:
A B = {x/x A x B }
Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
A B ={ 1, 3, 5, 7, 9, 10, 11, 12 }
PROPIEDADES
Idempotencia

UNION

Conmutativa
Asociativa
Neutro
Absorcin
Distributiva
Complementariedad

A
A
A
A
A
A

AA = A
B = B A
(B C) = (A B) C
= A
(A B) = A
(B C) = (A B) (A C)
A' = U

Interseccin
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le
llama interseccin de A y B; y se denota por A B, algebraicamente se escribe as:
AB = {x/x A y x B }
Y se lee el conjunto de elementos x que estn en A y estn en B.

Ejemplo:
Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }
Q P={ a, b, o, r, s, y }
PROPIEDADES
Idempotencia
Conmutativa
Asociativa
Neutro
Absorcin
Distributiva
Complementariedad

INTERSECCION

A
A
A
A
A
A
A

A = A
B = B A
(B C) = (A B) C
= A
(A B) = A
(B C) = (A B) U (A C)
A' =

Diferencia:
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el conjunto
de los elementos de A que no estn en B y se representa por comprehensin como:
A - B={ x/x A ; X B }
Ejemplo:
Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del conjunto A que
no estn en B. Si la operacin fuera B A el resultado es
B A = { g, h, i }
Diferencia Simtrica: La diferencia simtrica de dos conjuntos A y B es el conjunto
A B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a
ambos a la vez.
Entonces la diferencia simtrica entre A y B al conjunto (A - B)
(B - A).
9

Ejemplo:
Sean los conjuntos A = {a, b, c, d, e, f} y B = {a, h, j}.
La diferencia A - B es el conjunto {b, c, d, e, f}. La diferencia B - A es el conjunto
{h, j}; la diferencia simtrica es el conjunto {b, c, d, e, f, h, j}.

Complemento:
El complemento de un conjunto respecto al universo U es el conjunto de elementos
de U que no pertenecen a A y se denota como A' y que se representa por
comprehensin como:
A'= {x U/x y x A }
Ejemplo:
Sea U = {1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= {1, 3, 5, 7, 9 } donde A U
El complemento de A estar dado por:
A'= {2, 4, 6, 8 }
PRODUCTO CARTESIANO DE DOS CONJUNTOS
Dados dos conjuntos A y B, se define el producto cartesiano de ambos como el
conjunto de pares ordenados (a, b) donde a es un elemento de A y b es un elemento
de B.
A X B = {(a, b): a A y b B}
Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos.
El producto cartesiano es el conjunto:
A x B = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)}

10

INTRODUCCIN

Es comn encontrar textos y publicaciones donde se tratan en forma elemental la

teora de conjuntos se afirma de una manera categrica, que la nocin de conjunto es
una nocin que se tiene, intuitivamente, clara. Es decir, todo el mundo comprende lo
que significa un conjunto de personas, un conjunto de nmeros. Sin embargo al
introducirnos en la teora matemtica de conjuntos debemos prescindir de lo que
intuitivamente se presenta claro y adentrarnos en un mundo de gran rigor, donde todo
lo que se utilice haya sido previamente establecido: o bien como proposiciones
primitivas, o como trminos y relaciones primitivas o como trminos y relaciones
definidas; y signifique slo lo que se convenga que signifique. En otros trminos: la
matemtica es una construccin del hombre, y, por tanto, debe elegir los elementos de
construccin y las normas de construccin.

As pues, debemos distinguir entre lo que intuitivamente se entiende por conjunto y lo

que matemticamente debe entenderse por conjunto (a pesar de que los conjuntos
intuitivos pueden ser tiles en tanto que soporte metodolgico para comprender mejor
las definiciones matemticas).

11

CONCLUSION

Para finalizar, es bueno recordar que la Teora de Conjuntos es una teora matemtica,
que estudia bsicamente a un cierto tipo de objetos llamados conjuntos y algunas
veces, a otros objetos denominados no conjuntos, as como a los problemas
relacionados con estos; su importancia radica en que a partir de ella se puede
reconstruir toda la matemtica, salvo la Teora de Categoras.

12

BIBLIOGRAFIA

http://www.terra.es/personal/jftjft/Algebra/Teoria%20de%20Conjuntos/Conjuntos.htm
https://sites.google.com/site/mundomatematicoberna/unidad-1-teoria-de-conjuntos
https://sites.google.com/site/mundomatematicoberna/unidad-1-teoria-deconjuntos/logica-matematica/notacion-y-representacion-de-conjuntos/operacionesentre-conjuntos

13

14