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)+ Entrada x(t) Tensin Elctrica u(t) Corriente elctrica i(t) Salida y(t) Corriente elctrica i(t) Tensin Elctrica u(t) a a b b c c

1 C

i(w)dw = u(t)

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

Cu(t)+

Inductancia L

Resistencia R

1/capacitancia 1/C

1 1 u(t)+ R L

u(w)dw=i(t)

Capacitancia C

1/Resistencia 1/R

1/Inductancia 1/L

Vibracin longitudinal

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

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