Matemtica I

2011

CONJUNTOS Y RELACIONES. CONJUNTOS. En muchos capitulos de la matemtica no es posible definirlo todo desde un principio, pues al hacerlo involucraramos conceptos an no definidos. Siempre hay que partir de algunos conceptos primeros o primitivos, que no se definen. En la teora de conjuntos tambin pasa esto, por lo cual no definiremos formalmente la palabra conjunto y lo tomaremos como un concepto primitivo ( en el sentido de primero ) de los que en matemticas no se pueden definir. Intuitivamente todos tenemos idea de que un conjunto es una lista, coleccin o clase de objetos bien definidos. Dichos objetos pueden ser cualesquiera: nmero, personas, letras, etc. Estos objetos se llaman elementos del conjunto. Al definir un conjunto debemos establecer claramente cuales elementos "pertenecen" a l y cuales no, de esa forma tendremos un conjunto bien definido. La relacin "pertenecer" que se establece para cada elemento de un conjunto (un elemento pertenece a un conjunto) tampoco la podemos definir asi que la consideraremos tambin como una relacin primitiva. NOTACION. A los Conjuntos los simbolizaremos con letras maysculas: A, B, X, Y, etc.,y a los elementos con minscula: a, b, x, y... Colocaremos entre llaves { } los elementos de cada conjunto. Ejemplos de conjuntos: A= {1, 3, 7, 10} B= {x /x es nmero par} Usamos algunos smbolos como: / es "tal que" o "entonces" "pertenece" "Si y solo si o equivalente a" "para todo" "Existe uno" Hay dos formas bsicas para definir conjuntos que podemos resumir en lo que sigue Definir por Comprensin: Es cuando damos una o varias propiedades o caractersticas de los elementos que pertenecen al conjunto (conjunto B anterior) de tal forma que los elementos que las tienen, quedan perfectamente determinados y pertenecen al conjunto; los que no las verificane, no pertenecen a l. Definir por Extensin: Es cuando nombramos y detallamos todos y cada uno de los elementos que pertenecen al conjunto (Conjunto A anterior). Parece obvio que tendremos dificultades de definir as conjuntos con muchos elementos. Def. Relacin de Igualdad de Conjuntos Decimos que el conjunto X es igual al conjunto Y, si ambos tienen los mismos elementos, o sea si casa elemento de X pertenece al conjunto Y y recprocamente. Se anota: A = B xA xB xB xA Ejemplos: 1) A = {1, 2, 3, 4}

Matemtica I

2011

2) B = {4, 3, 2, 1} entonces A = B Esto muestra que no importa el orden en que coloquemos los elementos es ms si lo definiramos por comprensin ni si quiera se podra plantear un orden determinado. 3) C = {x N /x es par y 0<x<10} D = {2, 4, 6, 8} entonces C = D 4) E ={ x / x 3x = 2} F = { 2, 1 } entonces E = F

Def. Conjunto Vaco. Es un conjunto que no tiene elementos, se acostumbra representar con el smbolo . Ejemplos: A = {las personas vivientes de ms de 200 aos} B = {x / x = 4 y x es impar} entonces A y B son vacos; A = B = Def. Conjunto Unitario Es un conjunto que tiene un nico elemento. Ejemplo: A= {a} Def. Relacin de Inclusin de Conjuntos. Diremos que A est incluido en el conjunto B, o que A es un subconjunto de B, o que A es parte de B, si A B xA xB Representamos la inclusin con el smbolo por " " Ejemplos. a) A = {1, 2, 3, 16} B = {1, 2, 3, 14, 16, 21} A B b) C = {x/ x es par} D = {2, 4, 8, 22} DC c) E = {5, 1, 3} F = {3, 1, 5} E F pero tambin F E por esto se suele decir que nuestra definicin es inclusin en sentido amplio porque pueden ser iguales. Cuando queramos sealar que estan incluidos pero no son iguales usaremos " " y "" debajo. Otra Definicin de Igualdad a partir de la Inclusin: Dos conjuntos A y B son iguales, si tienen los mismos elementos es decir: A=B AByBA Observaciones: 1)Para probar que un conjunto no est incluido o no es subconjunto de otro bastar encontrar un elemento del primero que no pertenezca al segundo. 2) El conjunto vaco se considera subconjunto de todo conjunto, o sea que est incluido en todos los conjuntos. Esto es porque no se puede probar lo contrario (punto 1) o sea no podemos probar que hay un elemento del vaco que no est en el otro conjunto. 3) Si A no es subconjunto de B, se representa A B, hay por lo menos un elemento de A que no es elemento de B. 4) Todo conjunto es subconjunto de si mismo. Def. Subconjunto Propio: X es subconjunto propio de Y si x es subconjunto de y, y x no es igual a y. O sea:

Matemtica I XYy XY (o Y X)

2011

Teorema 1: Si a es subconjunto de B y B subconjunto de C. Entonces A es subconjunto de C. A B T) A C H) BC Demostracin: si x A como A B x B pero como B C x C hemos demostrado que si x A x C que es la definicin de A C Def. Conjunto Universal: En algunas aplicaciones de la teora de conjuntos, todos los elementos pertenecen a un conjunto dado, todos los conjuntos que se consideran son subconjuntos de un mismo conjunto dado, a dicho conjunto lo llamaremos conjunto universal y lo sealaremos conla letra U. Pero en principio cualquier conjunto puede ser llamado universal si todos los dems que tenga inters considerar son subconjuntos de l. Ejemplos: 1) En geometra plana el conjunto de los puntos del plano es el conjunto universal. 2) En estudios sobre poblacin humana el conjunto universal es el de todas las personas del mundo. Def. Familia de Conjuntos: Cuando los elementos de un conjunto son a su vez conjuntos, lo llamamos Familia de Conjuntos y lo simbolizamos por letras cursivas maysculas M ; A; B Ejemplo: Sea A = { {2,3}, {2}, {5,6}} es una familia de conjuntos. Sus elementos son los conjuntos A={2,3} B = {2} C = {5,6}. Entonces A A , B A, C A Def. Conjunto Potencia: Dado un conjunto A, llamamos potencia a la familia de todos los subconjuntos de A. Notacin: PA se lee potencia de A. Ejemplos: Si A = {a, b} PA = {{a, b}, {a}, {b}, {} Si B = {4, 7, 8} PB = {{4, 7, 8}, {4, 7}, {7, 8}, {4, 8}, {4}, {7}, {8}, {}} Se observa que el nmero de elementos del conjunto potencia es 2n, siendo n el nmero de elementos de S. Por ello se denomina Conjunto Potencia y se suele simbolizar por 2s; tambin se le llama "conjunto de partes" de S. En el primer ejemplo PA tiene 22 = 4 elementos, y en el segundo PB tiene 23 = 8 elementos. Def .Conjuntos Disjuntos: Si dos conjuntos A y B no tienen elementos comunes, se dice que A y B son disjuntos. Ningn elemento de a est en B y ningn elemento de B esta en A. Ejemplos: E = {x, y, 2} F = {m, n, p} son disjuntos. A = {2, 8} B = {8, 11, 14} no son disjuntos pues 8 A y 8 B

Matemtica I

2011

Diagramas de Venn-Euler. Con ellos se ilustra de manera sencilla las relaciones entre conjuntos, representando un conjunto con un crculo o lneas cerradas. El criterio que hay que seguir es que un elemento se representa una sola vez y debemos "encerrar" los elementos en lineas cerradas generalmente crcunferencias. Ejemplo: Si A B y A B podemos diagramarlo como:

Si A B podemos diagramarlo como: A B

Operaciones Fundamentales con Conjuntos As como conocemos operaciones con nmeros (por ejemplo a la suma que cada par (x, y) de nmeros, le asigna la suma x + y, tambin existen operaciones entre los conjuntos que a un par de conjuntos dados le hacen corresponder otro conjunto de determinada forma . Def. Unin de conjuntos (): Definicin: la unin de los conjuntos A y B es otro conjunto formado por todos los elementos que pertenecen a A o a B o a ambos. Se anota AB. Matemticamente lo expresamos as AB ={x / x A y/o x B} A veces se usa la "o" matemtica que simboliza en realidad un y/o del lenguaje. Ejemplo: A = { 7, 9, 5 } B = { 8, 7, 6, 5 } De donde AB = {5, 6, 7, 8, 9} Usamos diagramas de Venn. AB

7 5

8 6

Los elementos comunes a ambos conjuntos { 7, 5 } figuran una sola vez en el conjunto unin.

Matemtica I

2011

Propiedades: i) Idempotente: A A = A (se demuestra inmediatamente por la definicin). ii)Conmutativa: A B = B A ( se demuestra que ambos conjuntos tienen los mismos elementos) ii) Asociativa: A ( B C ) = ( A B ) C (se demuestra a partir de la definicin de unin) Observaciones: Si A y B son siempre subconjuntos de la unin de ambos O sea se cumple que : A AUB, B A B Def. Interseccin de conjuntos (): Definicin: la interseccin de dos conjuntos A y B es otro conjunto cuyos elementos son los elementos comunes de A y B, o sea los que pertenecen a A y a B simultneamente. Matemticamente lo expresamos as: AB ={x / x A y x B} Ejemplo: S = {a, b, c, d} T = {f, b, d, g} S T = {b, d } S T * usando los diagramas de Venn:

a c

b d

f g

Propiedades:

i) Idempotente: A A = A ( Se demuestra aplicando la definicin) ii) Conmutativa: A B = B A (Se demuestra aplicando la definicin) iii) Asociativa: A ( B C ) = ( A B) C (Se demuestra aplicando en forma reiterada la definicin) Observaciones: 1) cada uno de los conjuntos A y B tienen a la interseccin A B como subconjunto o sea ( A B) A y ( A B) B. 2) Si dos conjuntos son disjuntos (es decir que no tienen elementos comunes), la interseccin es el conjunto vaco A B = .
Def. Diferencia de conjuntos ():

Definicin: la diferencia de los conjuntos A y B es el conjunto de los elementos que pertenecen a A y no a B. Lo expresamos como sigue: A B = {x / x A y x B} Ejemplos: S = {a, b, c, d} T = {f, b, d, g} De donde: S T = {a, c} y T S = {f, g}

Matemtica I

2011

Usando los diagramas de Venn: S T S-T

T-S

a c

b d

f g

a c

b d

f g

a c

b d

f g

Observaciones: 1) El conjunto A B es subconjunto de A, o sea que ( A B ) A 2)Los conjuntos ( A B), ( A B), ( B A) son mutuamente disjuntos, la interseccin de ellos es vaca.
Def. Complemento de un conjunto ( )

El complemento de un conjunto A es el conjunto de los elementos que pertenece al universal U y no pertenecen a A. Es decir, la diferencia del conjunto universal U y del A. Se denota el complemento de A por: A = C U = {x / x U y x A} = U A

Ejemplo: Sea el conjunto universal de las letras del alfabeto: U= {x/x es una letra del alfabeto} y sea A ={ x/x es una vocal } entonces = {x / x no es una vocal} = {x / x es una consonante} Usando los diagramas de Venn: se acostumbra simbolizar al conjunto universal con un rectngulo. Tambin es comn usar como notacin de complemento de A:
U A

c a e i o u i n j

b h k q w l

f m r x

p v

s y

t z

Observaciones: 1) La unin de un conjunto A con su complemento da el conjunto Universal, o sea: A=U 2) El complemento del conjunto universal es el conjunto vacio y recprocamente: U = = U 3) El complemento del complemento de un conjunto es el conjunto mismo, o sea: Complemento de () = A y adems: A =

Matemtica I

2011

Teorema 2: La diferencia de A y B es igual a la interseccin de A y el complemento de B, o sea: A B = A B Demostracin: A B = { x / x A y x B} Como xB xB por definicin de complemento y como x A entonces pertenece a la interseccin, y por definicin de interseccin: A B = A B Teorema 3: (H) Si A A B (T ) A B = A Por (H) x A x B pues A B x A B Y demuestro recprocamente Si x A B x A y x B x A Teorema 4: (H) Si A B (T )A B = B
Si x A B x A o x B pero como A B x B . Si x B por definicin x A B O sea que A B = B .

Teorema 5: (H) Si A B (T ) C U C U
B
B

x CU x U y x B pero como A B x A x CU CU CU

Teorema 6: (H) Si A B (T ) A ( B A) = B Si x A (B A ) x A por (H) x B [A (B A )] B o x (B A ) x B

A (B A ) = B

Si x B Si x A x [A (B A )] B [A (B A )] o x A x (B A ) o sea x [A (B A )]

Matemtica I

2011

Teorema 7 (Propiedad Distributiva): Distributiva de la interseccin con respecto a la unin (T) A (B C) = ( A B) ( A C) Demostracin: Si x A y x (B C) x B x ( A B) x (A B ) (A C ) A (B C) (A B ) (A C) (1) x C x (A C) x (A B ) (A C) Si x (A B) (A C) x (A B ) x A y x B x (B C) x A (B C) x (A C) x A y x C x (B C) x A (B C) ==> (A B ) (A C ) A (B C) (2) La igualdad surge de (1) y (2) simultneamente. Teorema 8 (Propiedad Distributiva): Distributiva de la unin con respect a la interseccin. (T )A (B C) = ( A B) ( A C) Se demuestra analogicamente al anterior. Teorema 9: Propiedad de De Morgan (T)

( A UB )
U

= CU CU

Demostracin: ( A UB ) A SI x CU x A x CU
x

A U

B U

( A UB ) U

[C
A

A U

B U

] (1)
( A UB )
U

x B x CU

Si x CU CU x CU x A
x ( A B) x CU
( A UB )

[C C ] C
B
U U

( 2)

x CU x B

La igualdad surge de (1) y (2) simultneamente. Teorema10: Propiedad de De Morgan

(T ) CU
( A B )

= CU CU

Se demuestra analgicamente igual al anterior.

Matemtica I

2011

Conjuntos ordenados
Al definir un conjunto por extensin se escriben todos los elementos; esto se hace en un orden cualquiera, y cualquiera sea el orden elegido siempre es el mismo conjunto por la definicn de igualdad, por ejemplo: {1, 5, 3} = {3, 5, 1}. Adems si se define por comprensin ni siquiera se puede considerar un orden determinado, o sea en esencia en los conjuntos no hay orden. Pero a veces resulta inportante considerar algn orden de los elementos obteniendo as lo que llamaremos provisoriamente un conjunto ordenado.
Definicin Par Ordenado: Se llama par ordenado a un conjunto formado por dos elementos (que pueden ser iguales) y un criterio de ordenacin que establece cual es el primer elemento y cual el segundo. Este criterio en general es de izquierda a derecha, como leemos, pero pudiera ser otro. Ejemplo: (2, 1) de primer elemento 2 y de segundo elemento 1. (x, y) de primer elemento x y de segundo elemento y. Definicin de igualdad: el par ordenado (a, b) es igual al par ordenado (c, d) si los primeros elementos a y c son iguales y los segundos b y d tambin son iguales, o sea que: ( a , b ) = ( c, d ) a = c y b = d Los conjuntos de tres elementos ordenados se llaman ternas ordenadas ; los cuatros son cuaternas ordenas, los de n elementos se le llaman n- uplas ordenadas. En realidad podemos prescindir de la palabra ordenadas que es redundante y hablar de pares, ternas , n-uplas sabiendo que siempre tendrn orden. Definicin n-uplas Ordenadas. Son los conjuntos formados por n elementos y un criterio de ordenacin que establece cual elemento es el primero, cual es el segundo, cual el tercero y as hasta completar los n elementos, el ltimo lo llamaremos el n-simo (ocupa el lugar n). Definicin Producto Cartesiano: Se llama producto cartesiano del conjunto A por el conjunto B, al conjunto de todos (cuyo elementos son) los pares ordenados (a, b) tales que el primer elemento pertenece al primer conjunto y el segundo al segundo o sea a A y b B .

A dicho producto lo anotamos A x B, o sea que: A B = {( x, y ) / x A, y B} Ejemplo: A = {a, b, c} B = {p, q} AB = { (a,p), (a,q), (b,p), (b,q), (c,p), (c,q) } Si los elementos son de A y B distintos entonces AB BA. Adems si la queremos saber la cantidad de pares ordenados debemos hacer 32, o sea el producto de la cantidad de elementos de cada conjunto y una forma de visualizarlo es en un cuadro de doble entrada.

Matemtica I
A B p q a (a,p) (a,q) b (b,p) (b,q) c (c,p) (c,q)

2011

Otra forma y ms recomendable de construir un producto cartesiano es construir un diagrama de rbol. Sobre todo cuando hay ms de 2 conjuntos (por ej. A x B x C) Diagrama de rbol: A a b c B p q p q p q Pares
(a,p) (a,q) (b,p) (b,q) (c,p) (c,q)

PROPIEDADES: (i) A B tienen al menos un elemento (por ordenado) si y solo si cada factor tiene al menos un elemento. (ii) Si A B y ninguno es vaco entonces A B B A RELACIONES: Podemos definir relaciones como una proposicin matemtica con una o ms variables. Ejemplo: x es hermano de y x < 3y x + 2y = z Las relaciones se clasifican segn el nmero de variables: Binarias (2 variables) como los dos primeros ejemplos. Ternarias (3 variables) como el tercer ejemplo, aunque en general son ms comunes las relaciones Binarias. Consideramos en general relaciones binarias que anotamos: (x,y) R o mejor x R y. En una relacin binaria (x, y), "x" es el primer trmino, xA que es al que llamamos conjunto de partida; en cambio "y" es el segundo trmino e yB al que llamamos conjunto de llegada. Al conjunto de los pares ordenados que cumplen una relacin se le llama conjunto de validez de la relacin o relacin propiamente dicha: R = { (x,y) / x R y } o sea de los elementos que si estn relacionados Este es un subconjunto del producto cartesiano de A B o sea R A B .

10

Matemtica I

2011

Definicin Funcin o aplicacin: Se llama funcin o aplicacin de A en B a toda relacin de A en B que cumple las siguientes condiciones : para todo elemento del dominio existe el correspondiente y, y ste siempre es nico, o en smbolos: f: AB , f es funcin x A y B y nico / y = f(x) (y es el correspondiente de x)

Este nico elemento y B se llama imagen de x por la funcin f o de la funcin f para el elemento x. Si la relacin f es una funcin, al conjunto de partida A lo llamamos Dominio, al conjunto de llegada B lo llamamos Codominio. Tambin llamamos imagen o conjunto imagen o recorrido de f al conjunto de las y B tales que algn x A relacionado por f con y, o sea al conjunto de los elementos de B que son correspondientes o imgenes de los de A. Im(f) = { y B/ x A e y = f(x) } El conjunto Imagen puede no coincidir con todo el codominio, solo podemos afirmar que siempre Im(f) B (codominio) NOTA: para funciones anotaremos x f y como y = f (x). Ejemplos: Sea f la funcin que asigna a cada pais su capital. El dominio de f son todos los paises del mundo; el codominio son las ciudades capitales del mundo. La imagen, por ejemplo, de Francia en Paris , o sea: f (Francia) = Paris. Se impone que todos los pases tienen una sola capital para que sea funcin.

A = {a, b, c, d} B = {x, y, z,w}. f: A B NOTA: f de dominio A y codominio B. f(a) = y f(b) = z f(c) = x f(d) = y

c a d

x y z

Sean A = {a, b, c} B = {x, y, z}. Averiguar en los diagramas que siguen cuando se define una funcin. 1) a b c z x y

11

Matemtica I

2011

2)

a b c 3) a b c y

x y z

x z

1) No, al elemento b no le corresponde ninguna imagen, no es funcin 2) No, al elemento c le corresponden dos elementos x y z, no cuple la definicin la magen de cada elemeto de A debe ser nica, no es funcin 3) Si, es una funcin. Dos elementos del dominio pueden tener el mismo correspondiente del codomino.
Definicin funcin inyectiva. Si a elementos distintos de su dominio le corresponden siempre imgenes distintas, o sea: f es funcin inyectiva a , b A a b f(a) f(b) Definicin funcin sobreyectiva. Si todos los elementos del codominio B son imagen de al menos un elemento del dominio, o sea:

f es funcin sobreyectiva y B x A / y = f(x) Otra forma sera decir entonces que: f es funcin sobreyectiva Im(f) = B
Definicin funcin biyectiva. Es una funcin biyectiva cuando es una funcin al mismo tiempo inyectiva y sobreyectiva

12