Conceptos y trminos bsicos jConjunto

y Definicin. Un conjunto es una coleccin de objetos distintos, llamados elementos, que en general tienen ciertas propiedades comunes.

jPertenencia o membresa de un objeto a un conjunto

- Cualquier objeto que pertenece a un conjunto es llamado miembro o elemento de ese conjunto. - Se dice que un conjunto est bien definido si es posible determinar por medio de ciertas reglas si un objeto dado pertenece o no a dicho conjunto. pA: el objeto p pertenece al conjunto A qA |(q A): q no est en A

jNotacin
y Especificacin de un conjunto: elementos separados por comas entre llaves (especificacin por enumeracin o a granel) Ej: S={1, 3, a}: el conjunto S est formado por los elementos 1, 3, y a 1S, 3S, aS y Especificacin por descripcin de las propiedades que lo caracterizan Ej: S1 = {x `x es un entero par positivo} S2 = {x `x es un vertebrado} en general S = {x `x posee cierta propiedad} yOtra forma: S3={1, 3, 5, ...} S4={2, 4, 6, ..., 18} 2 3 S5={a, a , a , ...} y Conjunto vaco (nulo): conjunto sin elementos; se denota por {} o por . y Se pueden tener conjuntos dentro de otro conjunto Ej: S= { a, b, {a, b, c}, d} Ejemplos: A={rojo, negro}; rojoA; blancoA B={(x,y)|x2+y2=1}; (1,0)B; (2,2)B Conjuntos de nmeros: Nmeros naturales: N={1,2,3,4,...} Nmeros enteros: Z={-g,...,-2,-1,0,1,2,..., g} Nmeros racionales Q={x| x=r/s, r,sZ} Nmeros reales: R={-g,...,-2.0,1.9,...,-1,...,0,...1,..., g} Nmeros irracionales: I={x | xR y xQ} 2 Nmeros complejos: C={a+bi| a,bR e i =-1}

j Inclusin e igualdad
y Subconjuntos. Definicin. Sean P y Q dos conjuntos. Se dice que P es subconjunto* de Q ( P Q) si todo elemento de P es tambin elemento de Q. Se denota tambin Q P. *alternativas P est includo en Q o Q incluye a P Ej: {1, 2} {1, 2, 3}; {a, c} {d, c, b, a} Propiedades. Para 3 conjuntos cualesquiera A, B, C i) A A (reflexiva) ii) (AB) (BC) p (AC) (transitiva) x [(xA p xB) (xB p xC) p (xA p xC)] Igualdad Definicin. Se dice que dos conjuntos A y B son iguales ssi A B y B A, es decir. Ambos contienen la misma coleccin de elementos. Ej: {1, 2, 4} = {1, 4, 2}; {{1, 2}, 4} { {1, 2, 4} {x `x es un entero par no mayor que 10} = {x ` x= y + z donde y{1, 2, 5}, z{1, 2, 5}} {1, 3, 5, ...}={x `x es un entero impar positivo}

y Subconjunto propio Definicin. Se dice que A es un subconjunto propio de B si A B y A { B. Se denota A B. (inclusin propia) y Conjunto Universal o universo Definicin. Un conjunto es llamado universal si incluye a todos y cada uno de los conjuntos en una discusin o contexto particular. Se denota por U o E. Cada conjunto A U. U={x ` P(x) P(x)} P(x): cumple cierta propiedad y Conjunto potencia |A| Definicin. El conjunto potencia (partes) de un conjunto A, denotado P(A) (tambin 2 ), es el conjunto o familia de todos los subconjuntos de A. Ej: P () = {}; P ({a})={, {a}} P ({a, b}) = {, {a}, {b}, {a, b}} P ({a, b, c})={, {a}, {b}, {c}, {a,b}, {a,c}, {b,c} {a,b,c}} Operaciones con conjuntos y El uso de estas operaciones construye nuevos conjuntos combinando, bajo ciertas reglas, elementos de otros conjuntos. j Definiciones Sean A, B y C conjuntos arbitrarios y Interseccin La interseccin de A y B, escrita AB, es el conjunto de elementos que pertenece a A y a B simultneamente. AB = {x ` (xA)(xB)} De la definicin se sigue que AB = BA (conmut.); AA = A (idempot.) y A = Como es un AB conjunto (AB)C = {x ` (xAB)(xC)} (AB)C = ABC = A(BC) (asociativ.) Para A= {A1, A2, ..., An} A1A2...,An = Ai y Conjuntos disjuntos Dos conjuntos disjuntos no tienen elementos en comn: AB= y Coleccin disjunta Una coleccin de conjuntos es llamada coleccin disjunta (por pares) si para cada par de conjuntos en la coleccin stos son disjuntos. Los elementos de la coleccin son mutuamente disjuntos. Sea A ={Ai}iJ; A es una coleccin disjunta ssi AiAj =i,jJ, i{j y Unin La unin de A y B, escrita AB es el conjunto de todos los elementos que son miembros de A o de B o de ambos. AB = {x ` (xA) (xB)} Propiedades: AB = BA; AA = A; A = A (AB) C = ABC = A(BC) Para A={Ai}iJ A1A2...,An = Ai Ai = {x ` xA para al menos una iJ} y Diferencia (complemento relativo) La diferencia de A y B (complemento relativo de B en A), denotada por A B (tambin por A\B es el conjunto de todos los elementos de A que no estn en B. A - B = {x ` (xA) (xB)} Ejemplo. A = {2, 5, 6}, B = {3, 4, 2}; A B ={5, 6} y Complemento El complemento relativo de A respecto a U (U - A) es llamado el complemento absoluto de A. Se denota ~A. ~A = U A = {x ` (xU) (xA)} Propiedades: ~(~A) = A, ~U= ~= U A~A = U = {x ` (xA) (xA)} A~A = = {x ` (xA) (xA)} Ejemplos: A = {2, 5, 6}, B = {3, 4, 2}, C = {1, 3, 4} ~A = {1, 3, 4}

A B = {5, 6} B A = {3, 4} A C = {5, 6} Ejercicio. Mostrar

a) A B = A~B b) A B | ~B ~A c) A (AB) = A B

y Diferencia Simtrica La diferencia simtrica de A y B, denotada por AB es el conjunto definido por AB = (A - B) (B A) yAB m y { x ` [(xA) (xB)] [(xB) (xA)]}} Propiedades: AB = BA; (AB)C = A(BC) A = A; AA = AB =(A~B) (B~A) y Particin de un conjunto Sea A un conjunto y L una coleccin de subconjuntos no vacos. L es una particin de A si L es disjunta por pares y L =A. Ejemplo. A1={1, 2, 8}, A2 = {4, 6}, A3={3, 5, 7} L = {A1, A2, A3} es una particin de A = {1, 2, 3, 4, 5, 6, 7, 8} y Lista ordenada. Una n-ada (n-tupla se designa por (a1, a2, ..., an). El producto cartesiano de los conjuntos A1, A2, ..., An se define como el conjunto de todas las n-adas (a1, a2, ..., an) donde aiAi para i=1, ..., n. (Ai). - AvA tambin se escribe A2, AvAvA = A3, ... Ejemplo jIdentidades A (B C) = (A B) (A C) A (B C) = (A B) (A C) A (A B) = A A (A B) = A ~(A B) = ~A ~B ~(A B) = ~A ~B Diagramas de Venn y Se trata de una representacin esquemtica de conjuntos. Descripcin usual: y Los diagramas de Venn no constituyen pruebas (proofs) en general de la veracidad de relaciones y operaciones entre subconjuntos de U. Ejemplos

Ejemplo.

Inters

Compl

AB=

(A~B)(~AB)(AB) se obtiene de

Resta

Cont

Ejemplo. Del siguiente diagrama se obtiene AB= (A~B)(~AB)que no es verdadera en general (solo para conjuntos disjuntos.