Tema II

Objetivos
Generales:

CONJUNTOS Y APLICACIONES

1. Hacer que el alumno asimile el concepto de conjunto como la estructura algebraica ms simple en la que se ambientarn el resto de las estructuras algebraicas, 2. Conocer el concepto de aplicacin entre conjuntos, y 3. Conocer el concepto de relacin binaria. Especficos: Definir conjunto, unificando y reafirmando este concepto. Unificar y reafirmar el concepto de conjunto y la notacin de teora de conjuntos. Entender los conjuntos como el modelo matemtico ms sencillo que se conoce. Decidir cuando dos conjuntos son iguales o uno de ellos est contenido en otro. Conocer el conjunto de las partes de un conjunto. Saber operar con conjuntos (unin, interseccin, complemento). Reconocer las propiedades que satisfacen las distintas operaciones entre conjuntos y saber utilizarlas para demostrar igualdades entre conjuntos. Conocer el producto cartesiano entre conjuntos y sus propiedades. Conocer el concepto de correspondencia y saber calcular imagen, imagen inversa, dominio y codominio de una correspondencia. Saber cuando una correspondencia entre dos conjuntos es una aplicacin y saber clasificarla. Saber calcular la composicin de dos aplicaciones. Conocer la correspondencia inversa de una aplicacin. Reconocer cuando una familia de subconjuntos de un conjunto es un particin. Entender el concepto de relacin binaria y saber determinar las propiedades que satisface. Distinguir entre relacin de equivalencia y de orden. Saber calcular una clase de equivalencia y el conjunto cociente asociado a una relacin de equivalencia, y Conocer los conceptos de conjunto totalmente ordenado y conjunto bien ordenado. Entender los distintos elementos notables de un conjunto ordenado y saber calcularlos.

Garca-Muoz, M.A. 1

lgebra I Ing. Tc. en Informtica de Gestin Bibliografa

lgebra lineal, J. de Burgos. McGraw-Hill, 1995. lgebra y Geometra Analtica, F. Granero. McGraw-Hill, 1994. lgebra lineal y geometra: curso terico-prctico, J. Garca- Garca y M. Lpez Pellicer. Marfil, 1992. lgebra lineal y geometra: ejercicios, J. Garca-Garca y M. Lpez Pellicer. Marfil, 1991. Matemtica discreta, F. Garca Merayo. Paraninfo, 2001. Estructuras de Matemtica discreta para la computacin, B. Kolman y otros. Prentice Hall, 1997. Problemas resueltos de Matemtica discreta, F. Garca Merayo y otros. Paraninfo, 2003. lgebra, R. Godement. Tecnos, 1978.

2.1 Introduccin
El concepto de conjunto es uno de los ms importantes en matemticas, aun ms que la operacin de contar, pues se puede encontrar implcita o explcitamente, en todas las ramas de las matemticas puras y aplicadas. En su forma explcita, los principios y terminologa de los conjuntos se utilizan para construir teoremas matemticos ms claros y precisos y para explicar conceptos abstractos como el infinito. Todo matemtico o filsofo ha empleado razonamientos de la teora de conjuntos de una forma ms o menos consciente. La teora de conjuntos se debe al matemtico ruso Georg Cantor, aunque otros matemticos como George Boole dieron los primeros pasos para su desarrollo. En el ltimo cuarto del siglo XIX se vivi un episodio apasionante de la historia de las matemticas que las ligara desde entonces a la historia de la lgica. Primero, George Boole (1815-1864) trat de presentar la lgica como parte de las matemticas. Poco despus G. Fregge (1848-1925) intent demostrar que la aritmtica era parte de la lgica y, dando un gran paso tanto en la historia de las matemticas como en la historia de la lgica, G. Cantor se adelant a Fregge con una fundamentacin lgica de la aritmtica. Como consecuencia, Cantor cre una nueva disciplina matemtica entre 1874 y 1897: la teora de conjuntos. Cantor defini conjunto como una coleccin en un todo de determinados y distintos objetos de nuestra percepcin o nuestro pensamiento, llamados los elementos del conjunto. Su obra fue admirada y condenada simultneamente por sus contemporneos. Desde entonces los debates en el seno de la teora de conjuntos han sido siempre apasionados, sin duda por hallarse estrechamente conectados con importantes cuestiones lgicas. La Teora de Conjuntos empez a influir en otras reas de las matemticas. Por ejemplo, Lebesgue la utiliz en su integral. Posteriormente se intento axiomatizar la Teora de Conjuntos. El primero que lo hizo fue Zermelo en 1908. Despus lo intentaron Fraenkel, von Neumann, Bernays y Gdel. Este ltimo termin demostrando las limitaciones de cualquier teora axiomtica.

Garca-Muoz, M.A.

Tema II: Conjuntos y aplicaciones

Breve historia de Cantor Cantor fue descendiente de judos. Su padre fue un prospero comerciante, nacido en Copenhague, Dinamarca, pero emigr siendo joven a San Petersburgo, Rusia, donde naci el matemtico Georg Cantor en marzo de 1845. Una enfermedad pulmonar del padre causa el traslado familiar en 1856 a Francfort, Alemania. Debido a esta curiosa mezcla de nacionalidades diversas patrias reclaman a Cantor como hijo. Cantor siempre se inclin hacia Alemania. Su talento y su inters por las matemticas se le conocan antes de cumplir los 15 aos. Comenz sus estudios universitarios en Zurich, en 1862 y posteriormente continuo en la Universidad de Berln donde se especializ en Matemticas, Filosofa y Fsica. Nunca tuvo verdadera aficin por la Fsica, por lo que dividi su inters por las dos primeras. Su profesores matemticos fueron Kummer, Kronecker y Weierstrass. Como los dos primeros trabajaban en Aritmtica, Cantor tambin se decant por este rea de trabajo. As, hizo un profundo estudio de las "Disquisitiones Arithmeticae" de Gauss, el escribi, en el ao de 1867, su disertacin, aceptada para aspirar al ttulo de doctor, sobre un punto difcil que Gauss haba dejado a un lado respecto a la solucin en nmeros enteros x, y, z de la ecuacin determinada: ax2 + by2 + cz2 = 0 donde a, b, c, son nmeros enteros. Tanto este trabajo como otros artculos publicados entre 1867 y 1871 sobre teora de nmeros fueron de gran calidad pero nada indicaba que su autor cambiara el curso de la Matemtica. A los 27 aos dio clases en la Universidad de Halle y a partir de 1872 fue catedrtico. Este mismo ao viaj a Suiza donde conoci a Dedekind que se cree influy en las ideas de Cantor. Cantor empez a trabajar en series trigonomtricas y aqu aparecen las primeras ideas sobre teora de conjuntos. El ao 1874, apareci el primer trabajo revolucionario de Cantor sobre la teora de conjuntos. En este artculo Cantor consideraba dos clases diferentes de infinitos (hasta entonces se consideraba que todos los infinitos tenan el mismo tamao) los que se podan poner en correspondencia uno a uno con los nmeros naturales (los que se podan numerar) y los que no se poda. El estudio de los infinitos por parte de Cantor fue considerado por Kronecker con una locura matemtica. Temiendo por la matemtica, Kronecker lo atac con todas las armas que tuvo en su mano. El resultado fue que Cantor, y no la teora de conjuntos, acab en un hospital siquitrico. Cantor muri en Halle (Alemania), en 1918, teniendo 73 aos de edad. Para entonces, ya le haban sido concedidos mltiples honores y su obra haba logrado ser reconocida.

2.2 Conjuntos
2.2.1 Conceptos bsicos

Llamaremos conjunto a toda coleccin de objetos y elemento a cada uno de los objetos de un conjunto. Garca-Muoz, M.A.

lgebra I Ing. Tc. en Informtica de Gestin Un conjunto se puede definir de dos formas: por extensin (citando cada elemento) y por comprensin (citando una propiedad que verifican todos sus elementos). NOTACIN: Utilizaremos las letras maysculas A, B, X,... para denotar conjuntos y las letras minsculas a, b, x, y,... para denotar elementos.
a A (El elemento a pertenece al conjunto A) a A (El elemento a no pertenece al conjunto A) = { } = conjunto vaco = {nmeros naturales} = {0, 1, 2, 3, 4,.....} = {nmeros enteros} = {...,-3, -2, -1, 0, 1, 2, 3,...} = {nmeros racionales} = {a/b tal que a = {nmeros reales} , e, a/b, 2 = {nmeros complejos} = {a + bi tal que a, b } Los conjuntos los podemos representar mediante diagramas de Venn (regiones del plano delimitadas por una curva cerrada que encierra a los elementos del conjunto) o bien mediante diagramas en lnea (los elementos de un conjunto se representan sobre una lnea recta). Definicin Llamaremos cardinal de un conjunto A al nmero de elementos de dicho conjunto y lo representaremos por card(A). Atendiendo a esto diremos que un conjunto es finito si card(A) es finito, en otro caso diremos que A es infinito. Definicin Dados X e Y conjuntos, diremos que son iguales, X = Y, si estn formados por los mismos elementos. Propiedades La igualdad de conjuntos satisface las siguientes propiedades: i) Reflexiva: A = A para todo conjunto A. ii) Simtrica: Dados A y B conjuntos, A = B B = A. iii) Transitiva: Dados A, B y C conjuntos, A = B y B = C A = C. Definicin Diremos que X es un subconjunto de Y (X est contenido o incluido en Y), X Y, si todo elemento de X es un elemento de Y. Es decir, X Y (xX xY). Si X no est contenido en Y se denotara por X Y. Usamos X Y cuando X est contenido en Y y no sabemos si son o no iguales, es decir, X Y X Y y X Y. Observacin: y b , b 0}

Garca-Muoz, M.A.

Tema II: Conjuntos y aplicaciones

El conjunto vaco est contenido en cualquier conjunto X ( X, X). Propiedades La inclusin de conjuntos satisface las siguientes propiedades: i) Reflexiva: A A para todo conjunto A. ii) Antisimtrica: Dados A y B conjuntos, A B y B A A = B. iii) Transitiva: Dados A , B y C conjuntos, A B y B C A C. A los subconjuntos de X distintos de y de X se les llama subconjuntos propios, y a X y al se les llama subconjuntos impropios de X. Definicin Dado un conjunto X, llamaremos conjunto de las partes de X, (X) al conjunto que tiene por elementos a todos los subconjuntos de X, esto es, (X) = { A / A X } . Se tiene card( (X)) = 2card(X). 2.2.2 Operaciones con conjuntos Definicin Sea X un conjunto y A, B (X), llamaremos interseccin de A y B, al subconjunto de X formado por los elementos que pertenecen simultneamente a A y a B, A B = { x X / x A y x B} (X). Diremos que A y B son disjuntos si A B = . Definicin Sea X un conjunto y A, B (X), llamaremos unin de A y B, al subconjunto de X formado por los elementos que pertenecen al menos a uno de dichos conjuntos, es decir: A B = { x X / x A x B} (X). Definicin Sea X un conjunto y A (X), llamaremos complemento de A respecto de X, al conjunto formado por todos los elementos de X que no pertenecen a A, es decir: A =A ={ x X / x A} (X). Propiedades Conmutativa: AB=BA AB=BA A, B (X). ii) Asociativa: A (B C) = (A B) C A (B C) = (A B) C A, B, C (X). iii) Idempotencia: AA=A AA=A iv) Elemento universal y elemento nfimo: AX=X A= A (X). A (X). i)

Garca-Muoz, M.A.

lgebra I Ing. Tc. en Informtica de Gestin

v) Elemento neutro: A=A AX=A vi) Leyes de absorcin: A (A B) = A A (A B) = A vii) Distributivas: A (B C) = (A B) (A C) A (B C) = (A B) (A C) viii) Involucin: X= = X (A) = A ix) Del complemento: A A = X A A = x) Leyes de De Morgan: (A B)= A B (A B)= A B 2.2.3 Producto cartesiano Definicin Un par ordenado es un objeto formado por dos elementos con un orden determinado que notaremos por (a, b). A los elementos a y b se les denomina primera y segunda componente del par (a, b). Dos pares ordenados son iguales si y slo si las componentes correspondientes son iguales. De forma anloga podemos definir una terna, cuaterna, quntupla y en general, nupla como un objeto formado por n elementos a1, a2,..., an en un orden dado y lo notaremos por (a1, a2,...,an). Definicin Dados X e Y conjuntos, llamaremos producto cartesiano de X e Y, al conjunto formado con todos los pares ordenados que pueden formarse con elementos de X e Y: X Y = {(a, b) / a X y b Y} Se tiene que card(X Y) = card(X).card(Y). El producto cartesiano se puede representar mediante diagramas cartesianos, diagramas sagitales y tablas de doble entrada. De igual forma se puede definir el producto cartesiano de tres conjuntos: A B C = {(a, b, c) / a A, b B y c C} y en general, dados A1, A2,..., An conjuntos, definimos su producto cartesiano como el conjunto formado por todas las n-uplas posibles (a1, a2,...,an) de forma que a1 A1, a2 A2,..., an An: A1 A2 ... An = { (a1, a2,...,an) / ai Ai, i} Propiedades Sean X e Y conjuntos, A, B (X) y C, D (Y), se tiene: i) X Y Y X. ii) A C X Y. iii) Distributiva respecto de la unin X (C D) = (X C) (X D) (A B) Y = (A Y) (B Y) iv) Distributiva respecto de la interseccin A (X). A, B (X).

A, B, C (X). A (X). A (X). A, B (X).

Garca-Muoz, M.A.

Tema II: Conjuntos y aplicaciones

X (C D) = (X C) (X D) (A B) Y = (A Y) (B Y) v) (X C) = X C (A Y) = A Y vi) (A C) (B D) = (A B) (C D).

2.3 Aplicaciones
Definicin Sean X e Y conjuntos. Una correspondencia entre X e Y es una terna (X, Y, G) donde G X Y. Al conjunto X se le llama conjunto inicial, al conjunto Y se le llama conjunto final y a G se le llama grafo o grfica de la correspondencia. Si el par (x, y) G se dice que x se corresponde con y. A una correspondencia como la anterior se le suele asignar letras f, g, h,..., representndose mediante f: X Y,

Y o bien, X

Definicin Si a X, llamaremos imagen de a, f(a), al conjunto de elementos de Y que se corresponden mediante f con a: f(a) = { b Y / (a, b) G} Si b Y, llamamos imagen inversa de b, f 1(b), al conjunto de elementos de X que se corresponden con b: f 1 (b) = { a X / (a, b) G} Definicin Llamaremos dominio de una correspondencia f: X Y al subconjunto de X formado por los elementos cuya imagen es distinta del vaco, es decir: Dom(f) = { a X / f(a) }. Llamaremos imagen de f al conjunto formado por todas las imgenes de los elementos de A, Im(f) = f (a)

aDom ( f )

Definicin Una correspondencia f: X Y se dice que es una aplicacin cuando todo elemento de X tiene UNA Y SOLO UNA imagen en Y: a X, 1 b Y tal que f(a)=b Definicin Dadas dos aplicaciones f, g diremos que son iguales si tienen iguales conjunto inicial y final y el mismo grafo: f = g f, g: X Y y f(a) = g(a), a X. Definicin Dada una aplicacin f: X Y y A X, llamamos imagen de A por f, f*(A), al subconjunto de Y formado por todas las imgenes por f de los elementos de A f(A) = f*(A) = f (a) = { f(a) / a A }
aA

Si C Y, llamamos imagen inversa de C por f o preimagen de C por f, f (C), al subconjunto de X formado por todos los elementos cuya imagen por f pertenecen a C * f -1(C) = f (C) = { a X / f(a) C}

Garca-Muoz, M.A.

lgebra I Ing. Tc. en Informtica de Gestin

Definicin (tipos de aplicaciones) Dada una aplicacin f: X Y, diremos que es a) inyectiva si cada elemento de Y es imagen a lo mas de un elemento de X, es decir, x x f(x) f(x), b) sobreyectiva si todo elemento de Y es imagen al menos de un elemento de X, b Y, a X tal que f(a)= b, c) biyectiva si es inyectiva y sobreyectiva a la vez, b Y, 1 a X tal que f(a)= b. Toda aplicacin biyectiva de un conjunto en si mismo se le llama permutacin. Propiedad Sea f: X Y una aplicacin entonces: i) si f es inyectiva entonces card(X) card(Y), ii) si f es sobreyectiva entonces card(X) card(Y), y iii) si f es biyectiva entonces card(X) = card(Y). Definicin Dadas f: X Y y g: Y Z aplicaciones, podemos definir una correspondencia h: X Z tal que h(x) = g(f(x)). As definida h es tambin una aplicacin que llamamos aplicacin compuesta de f y g y se denota por h = g o f. Proposicin La composicin de aplicaciones satisface la propiedad asociativa, es decir, si f: X Y, g: Y Z y h: Z T entonces h o (g o f) = (h o g) o f. Proposicin Dada f: X Y aplicacin, se tiene f o IdX = f y IdY o f = f. Definicin Dada una aplicacin f: X Y (es decir, f = (X, Y, G)) existe una correspondencia de Y en X, f -1 = (Y, X, Ginv), de manera que (b, a) Ginv si y solo si (a, b) G. Adems si f es biyectiva, entonces f -1 es una aplicacin, tambin biyectiva, que se llama inversa de f. Proposicin Sean X e Y conjuntos, f: X Y y g: Y X aplicaciones. Entonces: i) Si f es biyectiva, entonces f -1 o f = IdX y f o f -1 = IdY. ii) Si g o f = IdX, entonces f es inyectiva y g sobreyectiva. iii) Si g o f = IdX y f o g = IdY, entonces f y g son biyectivas y g = f -1. Proposicin Sean X, Y y Z conjuntos, f: X Y y g: Y Z aplicaciones biyectivas, entonces g o f: X Z es biyectiva y (g o f)-1 = f -1 o g -1. Definicin Sean I y X conjuntos, llamamos familia de elementos de X indizada en I a toda aplicacin f: I X tal que f(i) = xi. Usaremos la notacin ( xi )iI = { xi / i I}. Si I es finito se dice que la familia es finita y si I = {1, 2,..., n} se escribe ( xi )1 i n. Definicin

Garca-Muoz, M.A.

Tema II: Conjuntos y aplicaciones

Sea X es un conjunto y (Ai)iI es una familia de elementos de decir, una aplicacin f: I anterior al conjunto (X) indizada en I, es

(X) tal que f(i) = Ai. Llamamos unin de la familia

U Ai = { x X / iI t. q. x A }.
i

iI

De igual forma, llamamos interseccin de la familia al conjunto

I Ai = { x X / x A , iI }.
i

iI

Definicin Sea X un conjunto. Una particin de X es una familia (Ai)iI de elemento de satisfaciendo: i) Ai para todo i I, ii) Si i j, entonces Ai Aj = , y iii)

(X)

U Ai = X.
iI

2.4 Relaciones binarias

Definicin Sea X un conjunto. Llamamos relacin binaria en X a todo subconjunto R del producto cartesiano X X, es decir, R X X. Diremos que a est relacionado con b por R, y lo notaremos por a R b, si y solo si (a, b) R. Definicin Sea R una relacin binaria en el conjunto X, diremos que: i) R es reflexiva, si a R a para todo a X. ii) R es simtrica, siempre que a R b, se tiene que b R a. iii) R es antisimtrica, siempre que a R b y b R a, se tiene que a=b. iv) R es transitiva, siempre que a R b y b R c, se tiene que a R c. 2.4.1 Relaciones de equivalencia Definicin Una relacin binaria R en X se dice que es una relacin de equivalencia si verifica simultneamente las propiedades reflexiva, simtrica y transitiva. Definicin Dada R una relacin de equivalencia sobre un conjunto X y a X, definimos la clase de equivalencia de a al subconjunto de X formado por todos los elementos relacionados con a, es decir, a = [a] = { x X / x R a }. Proposicin Sea R una relacin de equivalencia en X. Entonces a R b si y solo si a =b. Definicin Sea R una relacin de equivalencia en X. Llamaremos conjunto cociente de X por la relacin R, y lo notaremos por X/R, al conjunto de todas las clases de equivalencia en X determinadas por R

Garca-Muoz, M.A.

lgebra I Ing. Tc. en Informtica de Gestin

X/R = {a / a X } Adems la aplicacin p: X X/R, definida por p(a) =a, para todo a X es sobreyectiva y recibe el nombre de proyeccin cannica. Proposicin X/R determina una particin en X. Teorema (Descomposicin cannica de una aplicacin) Dada una aplicacin f: X Y, existen: i) una relacin de equivalencia Rf sobre X ii) una aplicacin sobreyectiva p: X X/Rf, definida por p(a) =a, iii) una aplicacin biyectivaf: X/Rf Im(f), definida porf(a ) = f(a), iv) una aplicacin inyectiva i: Im(f) Y definida por i(f(a)) = f(a), satisfaciendo f = i of o p.
f X p X/Rf f Y i Im(f)

2.4.2 Relaciones de orden Definicin Una relacin binaria R sobre un conjunto X diremos que es una relacin de orden si verifica simultneamente las propiedades reflexiva, antisimtrica y transitiva. Diremos que X es un conjunto ordenado si hay una relacin de orden definida en X. Generalmente escribimos a b y se lee a es menor o igual que b cuando (a, b) R. Definicin Dos elementos a, b X se dicen comparables por la relacin de orden R si y solo si a b o bien b a ((a, b) R o (b, a) R). Definicin Una relacin de orden R en X, se dice que es un orden total si cualquier par de elementos de X son comparables. En tal caso se dice que X es un conjunto totalmente ordenado. En otro caso se dice que R es un orden parcial y que X es un conjunto parcialmente ordenado. Definicin Sea R una relacin de orden en X, un subconjunto no vaco A de X se llama cadena cuando todo par de elementos de A son comparables por la relacin R de X, es decir, la relacin de orden R restringida a A es un orden total. Cuando el conjunto X es finito, el orden queda definido representando los elementos por puntos y uniendo con una flecha cada dos elementos comparables de manera que si a b, el vector de entre a y b es ascendente. La figura resultante se llama diagramas en rbol o de Hasse. Definicin Sea X un conjunto ordenado por una relacin de orden R y A X. Diremos que A est acotado superiormente si existe un x X tal que a x para todo a A. A tal elemento x se le llama cota superior de A.

Garca-Muoz, M.A.

10

Tema II: Conjuntos y aplicaciones

Diremos que A est acotado inferiormente si existe un y X tal que y a para todo a A. A tal elemento y se le llama cota inferior de A. Si A est acotado inferior y superiormente se dice que A est acotado. Definicin Se dice que un elemento m A es el mximo de A si es una cota superior de A. De igual forma un elemento n A es el mnimo de A si es un cota inferior de A. Propiedad Si existe mximo de un conjunto (resp. mnimo) es nico. Definicin Un conjunto ordenado X se dice bien ordenado si todo subconjunto no vaco de X tiene un elemento mnimo. Propiedad Todo conjunto bien ordenado est totalmente ordenado. Definicin Sea A X. Llamaremos supremo de A, sup(A), al mnimo (si existe) del conjunto de cotas superiores de A y llamaremos nfimo de A, inf(A), al mximo (si existe) del conjunto de cotas inferiores de A. Definicin Sea X un conjunto ordenado. Un elemento x X se dice maximal de X si la relacin x a para algn a X, implica que x = a. Un elemento y A se dice minimal en X si la relacin b y para algn b X, implica que y = b.

Garca-Muoz, M.A.

11