NOTAS PARA LOS ALUMNOS DEL CURSO DE ANALISIS MATEMATICO III

TEORA DE CONJUNTOS

Ing. Juan Sacerdoti

Facultad de Ingeniera
Departamento de Matemtica
Universidad de Buenos Aires
2003
V 2.03

NDICE
2.- TEORA DE CONJUNTOS
2.1.- SMBOLOS BSICOS PRIMITIVOS O INDEFINIDOS Y SMBOLOS DE PUNTUACIN
2.1.1.- SMBOLOS BSICOS OBJETOS O ENTES
2.1.2.- SMBOLOS BSICOS CONECTIVOS
2.1.3.- SMBOLOS DE PUNTUACIN
2.2.- PRIMERAS RELACIONES BSICAS - EXPRESIN DE PERTENENCIA A UN CONJUNTO
2.2.1.- SMBOLO BSICO CONECTIVO: SER O PERTENECER A UN CONJUNTO
2.2.2.- PORQUE CONJUNTO
2.3.- SMBOLO BSICO NEGACIN (NOT)
2.3.1.- EXPRESIN DE NEGACIN DE PERTENENCIA A UN CONJUNTO
2.3.2.- SINNIMO
2.4.- SMBOLO BSICO SIMULTNEIDAD (AND)
2.4.1.- EXPRESIN DE SIMULTNEIDAD DE PERTENENCIA A UN CONJUNTO
2.4.2.- SINNIMO
2.4.3.- DEFINICIN DE CONJUNTO INTERSECCIN
2.5.- DEFINICIN DE CONJUNTO COMPLEMENTARIO DE A SOBRE B
2.6.- SMBOLO BSICO PARA TODO (ALL)
2.6.1.- EXPRESIN DE PARA TODO ELEMENTO DE UN CONJUNTO. INCLUSIN
2.6.2.- SINNIMOS
2.6.3.- DEFINICIN DE EXISTE UN ELEMENTO DEL CONJUNTO
2.6.4.- SINNIMO: NO INCLUSIN
2.6.5.- DEFINICIN DE PROPIEDAD DE CONJUNTO VACO Y DEFINICIN DE CONJUNTO VACO
2.6.5.1.- DEFINICIN DE PROPIEDAD DE CONJUNTO VACO
2.6.5.2.- SINNIMO: DEFINICIN DE CONJUNTO VACO
2.6.6.- DEFINICIN DE IGUALDAD DE CONJUNTOS
2.6.7.- DEFINICIN DE DESIGUALDAD DE CONJUNTOS
2.6.8.- DEFINICIN DE IDENTIDAD DE ELEMENTOS DE CONJUNTOS
2.7.- DEFINICIN DE CONJUNTO COMPLEMENTO DE A DENTRO DE B, UNIN, Y PARTICIN.
2.7.1.- DEFINICIN DE CONJUNTO UNIVERSO
2.7.2.- DEFINICIN DE COMPLEMENTO DE UN CONJUNTO A INCLUIDO EN OTRO CONJUNTO
E (UNIVERSO)
2.7.3.- DEFINICIN DE CONJUNTO UNIN
2.7.4.- PARTICIN DE UN CONJUNTO
2.8.- RED DE SMBOLOS DE LA TEORA DE CONJUNTOS Y LGICA

MATEMTICA
2.- TEORA DE CONJUNTOS
La matemtica como lenguaje se puede estructurar a partir de la Teora de Conjuntos.

2.1.- SMBOLOS BSICOS PRIMITIVOS O INDEFINIDOS Y SMBOLOS DE PUNTUACION

Los smbolos primitivos para armar expresiones matemticas y consecuentemente una red matemtica,
son los del modelo o Teora de Conjuntos cuyos entes, conectivos y puntuacin se pueden presentar como:
Objetos o Entes
Conectivos
Puntuacin

x, A,...
/
. , : ; .. ... ( ) [] {} :=

(elementos y Conjuntos)

Estos smbolos son aquellos donde se empieza a construir la Red Matemtica.

Obs.: Ntese que como toda red es arbitraria, podran haberse definidos otros primitivos como por ejemplo:
Unin en lugar de interseccin.
Existencia en lugar de Para Todo.
Etc.
O sea podra haber otra presentacin de smbolos bsicos. La eleccin es sobre la base del principio de
economa, o sea la simplicidad de la red.

2.1.1.- SMBOLOS BSICOS: OBJETOS O ENTES

Estos smbolos representan a los objetos o entes del Sistema bajo estudio. Esto significa tantos a los elementos
como a los Conjuntos.
En principio son los sustantivos bsicos del idioma corriente.
Los smbolos bsicos objetos no tienen definicin, o sea no son reducibles a otros smbolos, pero tambin
tienen una asignacin arbitraria smbolo - objeto que debe por supuesto identificar unvocamente el objeto para
aplicar los modelos que se construyan.
Ello no obsta que un mismo modelo pueda aplicarse a distintos objetivos variando la asignacin de los entes.
La relatividad de los smbolos bsicos se observa en los siguientes ejemplos:
Ejemplo 1: En la Geometra Eucldea dos conceptos primitivos, o sea smbolos bsicos como el punto y la recta
pueden ser intercambiados entre s sin cambiar la validez del modelo.
Tomando rectas no paralelas (incidentes) es valido el intercambio:
Dos rectas no coincidentes definen uno y solo un punto.
Dos puntos no coincidentes definen una y solo una recta.

Ejemplo 2: En el modelo el lgebra Lineal la palabra vector puede ser representativa de una inmensa cantidad
de entes distintos: fuerzas fsicas, funciones, series, integrales, diferenciales, ecuaciones lineales, soluciones de
ecuaciones lineales tanto algebraicas como diferenciales, etc. etc.

Ejemplo 3: Los modelos de Sistemas Lineales representados por una Ecuacin Diferencial de segundo orden y de coeficientes constantes:
a y(t) + b y(t) + c y(t) = x(t) que ligan la salida con la entrada del Sistema

a y(t) + b y(t) + c y(t) = x(t)

Esquema del modelo
Sistema
general
Circuito
Elctrico
Serie
Circuito
Elctrico
Paralelo

Ecuacin
a y(t) +b y(t) + c y(t) = x(t)
L i(t)+R i(t)+

1
C

i(w)dw = u(t)

1
1
u(t)+
R
L

Salida

x(t)

y(t)

Tensin
Elctrica
u(t)

Corriente
elctrica
i(t)

Inductancia
L

Resistencia
R

1/capacitancia
1/C

Corriente
elctrica
i(t)

Tensin
Elctrica
u(t)

Capacitancia
C

1/Resistencia
1/R

1/Inductancia
1/L

1
L q(t)+R q(t) + q(t) = u(t)
C
Cu(t)+

Entrada

u(w)dw=i(t)

m x(t) + c x(t) + k x(t) = f(t)

Fuerza
Movimiento
excitatriz
x(t)
f(t)

Masa
m

Coeficiente de
amortiguamiento
c

Constante
Elstica
k

Vibracin
Angular

J (t) + c(t) + (t) = M(t)

Movimiento
Par
Angular
excitatriz
M(t)
(t)

Momento de
Inercia
J

Coeficiente de
amortiguamiento
c

Constante
Elstica
Torsional

Vibracin
de mnsulas

J x(t) + cx(t) + x(t) = f(t)

Fuerza
Movimiento
excitatriz
x (t)
f(t)

Momento de
Inercia
J

Coeficiente de
amortiguamiento
c

Constante
Elstica

Vibracin
longitudinal

2.1.2.- SMBOLOS BSICOS CONECTIVOS

Los conectivos, que son los smbolos que representan a las interrelaciones entre los elementos del sistema.
Ejemplos de conectivos son:
1.- Ser o Pertenecer [
] que es el que establece la relacin pertenencia de un elemento a un conjunto.
2.- Negacin [ / ] que es el que establece la relacin de negacin de la pertenencia de un elemento a un conjunto.
3.- Simultaneidad [ ] que es el que establece la relacin doble de pertenencia de un elemento a dos conjuntos.
4.- Para Todo [ ] que es el que establece la relacin de inclusin de conjuntos. Tambin es equivalente a la
definicin de existencia de un elemento de un conjunto. O sea que el conjunto es no vaco.
Cada uno de ellos va acompaado por un axioma o regla de armado, que indica como se emplea el smbolo
en las expresiones compuestas, incluyendo los smbolos de puntuacin pertinentes. Son las reglas de la gramtica del
lenguaje.

2.1.3.- SMBOLOS DE PUNTUACIN

Los smbolos de puntuacin que son el tercer tipo de smbolos de un Lenguaje cuyo objeto es propio del mismo
lenguaje para la construccin expresiones de forma de cadenas, rboles o estructuras ms complejas de smbolos
como por ejemplo redes. Los smbolos de puntuacin y su empleo ms comn en la teora de conjuntos y en
matemtica en general son los siguientes:
Smbolos de puntuacin := { . , ; : .. ... ( ) [ ] {} := }

Smbolo
.
,;
:
..
...
( ) [] {}
:=

Empleo usual
Fin de expresin
Separador de elementos o partes de expresin
Tal que
Desde hasta
Desde hasta
Secuencia de lectura (u operacin)
Asignacin
Secuencia dentro de un rbol

Entre otras funciones se emplean en

1.- Asignaciones de smbolos nuevos (definiciones)
2.- Separar cadenas
3.- Fijar ordenar de secuencias en las cadenas. Por ejemplo los parntesis.
4.- Dar las bifurcaciones en un rbol. Por ejemplo las flechas.

2.2.- PRIMERAS RELACIONES BSICAS - EXPRESIN DE PERTENENCIA A UN CONJUNTO

2.2.1.- SMBOLO BSICO CONECTIVO: SER O PERTENECER A UN CONJUNTO
Se introduce el conectivo con la expresin (relacin de smbolos)
Smbolo bsico ser o pertenecer : Reglas de uso:
Se representa un Elemento x que pertenece a un Conjunto A.
x A
x : Elemento del Conjunto
: Conectivo de Pertenencia o Ser
A : Conjunto
Obs 1: Ntese que los objetos que se conectan con el conectivo ser [] Son el elemento y el Conjunto. Esto
significa que estos conceptos se crean simultneamente.

Una segunda forma de representar la pertenencia (sinnimo) es por la expresin:

A := {x, y, z,...}
donde se presentan explcitamente los elementos del conjunto.
Obs 2: La notacin A := { x1 x2 ... xn } no es general, solo vale para conjuntos numerables.
Obs 3: Otra notacin A := { x: Prop(x) } puede emplearse solamente despus de haber definido. Proposicin
en Lgica ms adelante.

2.2.2.- PORQU CONJUNTO

La importancia de Conjunto esta dado por la simplicidad (facilidad, claridad, comodidad) con que a partir de
el se puede estructurar una red de smbolos bsicos con los principales conceptos de la matemtica, cuya lista obvia
otro comentario:
1.- Par Ordenado
2.- Producto Cartesiano
3.- Relacin
4.- Funcin
5.- Relacin de Equivalencia
6.- Relacin de Orden
7.- Numero Natural
8.- Numero Entero
9.- Numero Fraccionario
10.- Estructura Lineal (Vectorial)
11.- Estructura Mtrica
12.- Numero Complejo
Etc.

2.3.- SMBOLO BSICO NEGACIN (NOT)

2.3.1.- EXPRESIN DE NEGACIN DE PERTENENCIA A UN CONJUNTO
Se introduce el smbolo de negacin [ / ] con la expresin (relacin de smbolos)
Smbolo bsico negacin (not): Reglas de uso
Se representa un Elemento x que no pertenece a un Conjunto A.
x / A
: Ax.-

// :=

x // A := x A

/ : Smbolo de Negacin
Ax : Axioma de la doble negacin o tercero excluido
2.3.2.- SINNIMO
Se define por comodidad un smbolo de no pertenencia:
Def.

a A := a/A

: Smbolo de NO pertenencia o NO ser

2.4.- SMBOLO BSICO SIMULTANEIDAD (AND)

2.4.1.- EXPRESIN DE SIMULTANEIDAD DE PERTENENCIA A UN CONJUNTO
Se introduce el smbolo de simultaneidad [ ^ ] con la expresin (relacin de smbolos)
Smbolo bsico simultaneidad (and) : Reglas de uso
Se representa un Elemento x que pertenece simultneamente a un Conjunto A y a un Conjunto B.
(x A) ( x B)
: Ax .-

(x A) ( x B) := (x B) ( x A)

: Smbolo de Pertenencia Simultnea

Ax : Axioma de la conmutatividad de la simultaneidad
2.4.2.- SINNIMO
Def.:

x A

x B

:=

(x A) ( x B)

2.4.3.- DEFINICIN DE CONJUNTO INTERSECCIN

Def.:

AB := { x: (x A) ( x B) }

: Smbolo de la Interseccin de Conjuntos

AB : Conjunto Interseccin

2.5.- DEFINICIN DE CONJUNTO COMPLEMENTARIO DE A SOBRE B

Def:

C(A,B) := { x: (x / A) ( x B) }
C(A,B) : Conjunto Complementario de A sobre B

2.6.- SMBOLO BSICO PARA TODO (ALL)

2.6.1.- EXPRESIN DE PARA TODO ELEMENTO DE UN CONJUNTO. INCLUSIN
Se introduce el smbolo de Para todo elemento de un conjunto [ ] con la expresin (relacin de smbolos)

Smbolo bsico para todo elemento de un conjunto (all) : Reglas de uso

El smbolo [ ] se emplea para representar el hecho, que Para Todo Elemento x que pertenezca al Conjunto
A tambin pertenece al Conjunto B.

(x A) : ( x B)
: Smbolo de Para Todo
El uso del smbolo Para Todo no es nada ms ni nada menos que el concepto de Inclusin. As que se
considera equivalente (sinnimo) al uso del smbolo de Inclusin.

AB := (x A) : ( xB)

: Smbolo de inclusin
AB : El Conjunto A est incluido en el Conjunto B.

2.6.2.- SINNIMOS
Def.: BA := AB
BA : El Conjunto B incluye el Conjunto A.
Una segunda forma de sinnimo de la inclusin entre dos conjuntos, es el smbolo de Subconjunto.
Se dice que A es un Subconjunto de B cuando A est incluido en B.

Def.:

A S(B) := A B
A S(B) : A es Subconjunto de B

2.6.3.- DEFINICIN DE: EXISTE UN ELEMENTO DEL CONJUNTO

Un tercer sinnimo del uso del smbolo Para Todo es el smbolo existe [] , que se introduce por comodidad,
para negar el Para todo:

Def.: (x A) : ( xB )

:= / (x A) : ( x B )

: Smbolo de Existencia

(x A) : ( xB )
Tambin se usa el smbolo de no existencia

Def.:

[/] (x A) := / (x A)
: A1

// :=

[/] : Smbolo de No Existencia

Obs.: Como se ver el smbolo de existencia es de equivalente al concepto de no inclusin.

2.6.4.- SINNIMO: NO INCLUSIN

La negacin de la no inclusin es:

Def.:

A B := A / B
A B : A no est incluido en B

El significado de la no inclusin significa que

A B := / (x A) : ( x B)
O sea

A B := (x A) : ( xB )
Donde se observa que el smbolo existe [] , es cmodo para definir la no inclusin, al negar el Para todo.

2.6.5.- DEFINICIN DE PROPIEDAD DE CONJUNTO VACO Y DEFINICIN DE CONJUNTO VACIO

2.6.5.1.- DEFINICIN DE PROPIEDAD DE CONJUNTO VACO
Una cuarta forma de representar la inclusin, o sea un cuarto sinnimo del uso del Para todo es el smbolo de
Vaco [ ] , que es un concepto relativo a otro conjunto que se denomina Universo.

Def.:

C(B, A) := A B
C(B, A) : Propiedad de ser Conjunto vaco
B : Conjunto Universo

El concepto de tener la Propiedad de Conjunto vaco es relativo al Universo que se tome de referencia. O sea
que un conjunto C(B,A ) tiene la propiedad de vaco con respecto a un Universo B si

A B := (x A) : ( x B)
=: / (x A) : ( xB )
=: C(B, A)

2.6.5.2.- SINNIMO: DEFINICIN DE CONJUNTO VACO

Por extensin se puede definir como Conjunto vaco a aquel conjunto que no tiene elementos, todo esto siempre
relativo a otro conjunto dado: el Universo considerado B.

Def.:

:= C(B,A) :

C(B,A)

:= {x: / (x A) : ( xB )}
2.6.6.- DEFINICIN DE IGUALDAD DE CONJUNTOS
Se define el smbolo de Igualdad de conjuntos [=]

Def.:

A= B := (AB) (BA)
= : Smbolo de Igualdad de Conjuntos
A = B : El Conjunto A es igual al Conjunto B

2.6.7.- DEFINICIN DE DESIGUALDAD DE CONJUNTOS

Se define el smbolo de Desigualdad de conjuntos []

Def.:

A B := A / =B

: Smbolo de Desigualdad de Conjuntos

A B : El Conjunto A no es igual al Conjunto B

2.6.8.- DEFINICIN DE IDENTIDAD DE ELEMENTOS DE CONJUNTOS

Se define el smbolo de identidad de elementos de conjuntos [ ]

Def.:

x y := {x} = {y}

: Smbolo de Identidad de Elementos de Conjuntos

x y : El elemento x es idntico al elemento y
Obs: No se define la Identidad de Conjuntos, sino la Identidad de elementos de Conjuntos. Esto se hace para
tener la implicacin (asignacin) dada en la definicin.

2.7.- DEFINICIN DE CONJUNTO COMPLEMENTO DE A DENTRO DE B, UNIN , Y PARTICIN.

Por comodidad se introducen otros smbolos derivados a partir del de inclusin: [/A] Conjunto complemento de
A dentro de B ( Conjunto Complementario cuando A est incluido en B ), [] Unin, y P(B) Particin de un
Conjunto.

2.7.1.- DEFINICIN DE CONJUNTO UNIVERSO

Def.:

E Universo := A

: A E

Obs: Un Universo puede ser cualquier conjunto que incluye a otro. Su definicin es arbitraria y relativa. Podra
haber ms de un Universo.

En general se llama Universo al Conjunto donde se analiza el Sistema. Es el lmite del Sistema. En ese caso
todos los Conjuntos estn incluidos en el Universo.

2.7.2.- DEFINICIN DE COMPLEMENTO DE UN CONJUNTO A INCLUIDO EN OTRO CONJUNTO

E (UNIVERSO)
Def.:

A E
/A := C(A,E)
/A : Conjunto Complemento de A dentro de E
E : Universo

2.7.3.- DEFINICIN DE CONJUNTO UNIN

Def.: (AB)

:= /( /A /B)

: Smbolo de Unin de Conjuntos

A B : Conjunto Unin

2.7.4.- PARTICIN DE UN CONJUNTO

La particin de un conjunto B es un conjunto de conjuntos que cumple:
Def.: P(B) := { A : A S(B)
: Axioma1
Axioma2

Ai Aj =
ij
A1 A2 ... An = B

P(B) : Particin del conjunto B

2.8.- RED DE SMBOLOS DE LA TEORA DE CONJUNTOS Y LGICA