ALGEBRA I UNIDAD II CONJUNTOS

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

INDICE: Prologo Introduccin Nocin de conjuntos Relacin de pertenencia Conjuntos numricos Clases de conjuntos Subconjuntos Igualdad de conjuntos Operaciones entre conjuntos Propiedades de las operaciones entre conjuntos Formas de demostrar igualdad de conjuntos Numero de elementos de un conjunto finito Numero de elementos de la unin Bibliografa 2 3 3 3 4 6 6 8 9 12 13 15 15 17

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

UNIDAD N 2 CONJUNTOS PROLOGO.- UNIDAD II En el ltimo cuarto del siglo XIX se vivi un episodio apasionante de la historia de la matemtica que la ligara desde entonces a la historia de la lgica. Primero, Georg Boole (1815-1864) en su Mathematical Analysis of Logic trat de presentar la lgica como parte de la matemtica. Poco despus Gottlob Frege (1848-1925) intent mostrar que la aritmtica era parte de la lgica en su Die Grundlagen der Arithmetik. Pero, dando un gran paso tanto en la historia de la matemtica como en la historia de la lgica, G. Cantor se haba adelantado a Frege con una fundamentacin lgica de la aritmtica. Cantor haba demostrado que la totalidad de los nmeros naturales comprendidos en el intervalo de extremos 0 y 1 no es numerable, en el sentido de que su infinitud no es la de los nmeros naturales. Como una consecuencia de esa situacin, Cantor cre una nueva disciplina matemtica entre 1874 y 1897: la teora de conjuntos. 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. Segn la definicin de conjunto de Cantor, ste es una coleccin en un todo de determinados y distintos objetos de nuestra percepcin o nuestro pensamiento, llamados los elementos del conjunto. Frege fue uno de los admiradores de la nueva teora de Cantor, y dio una definicin de conjunto similar. En 1903 B. Russell demostrara que la teora de conjuntos de Cantor era inconsistente y cuestionara la definicin de conjunto en la teora de Cantor. Pero pronto la teora axiomtica de Zermelo (1908) y refinamientos de sta debidos a Fraenkel (1922), Skolem (1923), von Newman (1925) y otros sentaron las bases para la teora de conjuntos actual.
Autor: Elio Romero Cullar Pgina 3

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

INTRODUCCION.Una teora se fundamenta y se va construyendo a partir de conceptos fundamentales, encadenando los nuevos conocimientos o proposiciones que se basan en las anteriores. Es as como se parte de trminos no definidos o conceptos fundamentales. Luego hay proposiciones que relacionan estos conceptos fundamentales y que son tan evidentes que se aceptan como verdaderas. Estas proposiciones se denominan axiomas de la teora. Siguiendo con la construccin aparecen las proposiciones cuya veracidad debe ser probada o demostrada, stos son los llamados teoremas que segn su importancia se puede denominar proposicin, lema, corolario o teorema. Se dice que un concepto es primitivo, cuando dicho concepto se admite sin definicin. As los conceptos de conjunto, elemento y relacin de permanencia son conceptos primitivos en la matemtica. NOCION DE CONJUNTOS.- Toda agrupacin o coleccin de objetos es considerado como conjunto, siempre que exista un criterio preciso que nos permita afirmar que un objeto pertenece o no a dicha agrupacin. Si enunciamos una propiedad y buscamos los objetos que la cumplen, tendremos un agregado al que llamamos CONJUNTO. NOTACION.- Usaremos letras maysculas para denotar conjuntos como A, B, C, .. y letras minsculas para los elementos de un conjunto como a, b, c, .. El conjunto se escribe entre llaves { }. Entre ellas se incluyen bien los elementos que forman el conjunto (esto solo es posible si el conjunto es finito), o bien se escribe la propiedad que nos permite decidir si un elemento es del conjunto o no {x / x cumple la propiedad p}, se lee conjunto de los x, talque x cumple con la propiedad p. La primera forma se llama determinacin de conjuntos por extensin y la segunda por comprensin. RELACION DE PERTENENCIA.Autor: Elio Romero Cullar Pgina 4

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

La relacin de elemento a conjunto es de pertenencia. La notacin x A se lee x pertenece a A, indicando as, que x forma parte del conjunto A. La negacin de P(x): x A. Es ~P(x): x A y se lee x no pertenece a A. CONJUNTO UNIVERSAL.- Es el conjunto que contiene a todos los elementos que se estn considerando en un estudio o contexto particular. Generalmente se representa con la letra U. DIAGRAMA DE VENN-EULER.Los conjuntos se suelen representar grficamente a travs de los diagramas de Venn- Euler. Se llaman diagramas de Venn-Euler a las regiones del plano delimitadas por lneas curvas o quebradas que sirven para ilustrar y establecer relaciones entre conjuntos. En general el conjunto universal se lo representa con un rectngulo y los conjuntos por bucles cerrados. CONJUNTOS NUMERICOS.NUMEROS COMPLEJOS.- [C] Constan de dos partes una parte real y la otra imaginaria, generalmente se representan con la letra z z= a + b i , siendo la parte real y b la parte imaginaria i = 1 . Se representan grficamente por un punto del plano.
Eje Imaginario

z = a + bi

Eje Real

NUMEROS REALES.- [R] Una propiedad importante de los nmeros reales es el poder los representar por puntos de una lnea recta. (Recta real)
- -2 -1 0 1 2 3 4

1 1 1 1 Un nmero real siempre admite representacin decimal, (exacta o no exacta). Ejemplos.Autor: Elio Romero Cullar Pgina 5

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

4 = 1.3333 3 1 = 0.25 b) 4
a) c) 2 = 1.4142 d) = 3.14159

NUMEROS IMAGINARIOS.- [I] Los numeros imaginarios son aquellos que resultan de la raiz cuadrada de nmeros negativos. Ejemplo
20 = 20 . 1 = 20 i

NUMEROS RACIONALES.- [Q] Los nmeros racionales son los reales que se pueden expresar como razn de dos nmeros enteros. Se denota el conjunto de los nmeros racionales por q. NUMEROS IRRACIONALES.- [Q'] Los nmeros irracionales son los reales que no se pueden expresar como la razn de dos nmeros enteros. Es decir son aquellos que no son racionales. Generalmente se denotan por q'. NUMEROS ENTEROS.- [z] NUMEROS FRACCIONARIOS.- [f] NUMEROS NATURALES.- [n] [z+] Son los nmeros con los que aprendemos a contar. Son tambin los nmeros enteros positivos. NUMEROS ENTEROS NEGATIVOS.- [z-] EL CERO.NUMEROS PRIMOS.- [p] Son aquellos nmeros que solo son divisibles por si mismo y la unidad. Ejemplo 2,3,5,7,11,13,
Autor: Elio Romero Cullar Pgina 6

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

ESQUEMA QUE RELACIONA LOS CONJUNTOS NUMRICOS.N Complejos

N Imaginarios

N Reales

N Irracionales

N Racionales

N Fraccionarios

N Enteros

N Enteros Negativos

Cero

N Enteros Positivos N Primos

CLASES DE CONJUNTOS.CONJUNTO UNITARIO.- Se denomina conjunto unitario al que esta compuesto por un nico elemento. CONJUNTO FINITO.- Es el conjunto que tiene un nmero determinado de elementos. CONJUNTO INFINITO.- Es el conjunto que tiene un nmero inconmensurable de elementos. SUBCONJUNTOS.- (INCLUSION) DEFINICION.- Sean A y B dos conjuntos. Se dice que A es subconjunto de B si y solamente si todo elemento de A est en B. Y se simboliza por: A B Y se lee: A est incluido en B A est contenido en B
Autor: Elio Romero Cullar Pgina 7

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

A es una parte de B A es subconjunto de B Si se simboliza por B A se lee: B incluye a A B contiene a A B es todo de A B es superconjunto de A Simblicamente tenemos: A B x, xA xB B A x, xB xA Su diagrama de Venn- Euler es: B A

AB
Observaciones: 1.- Si A es un conjunto finito de n elementos, entonces tiene exactamente 2n subconjuntos distintos. 2.- El conjunto vaco es subconjunto de todo conjunto. 3.- Todo conjunto es subconjunto de s mismo. NEGACIN DE LA RELACIN DE INCLUSIN.AB ( A B) ( x, xA xB) x: ( xA xB) x: xA xB

SUBCONJUNTO PROPIO.A es un subconjunto propio de B si y solo si ( A B) AB SUBCONJUNTOS COMPARABLES Y NO COMPARABLES.Dos conjuntos A y B son comparables si (A B) (B A). Dos conjuntos A y B no son comparables si {(A B) (B A)}. Ejemplo.-

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

B A A B (Ay B son comparables) B (Ay B son no comparables) B A

B A (B y A son comparables)

A (A B) (B A)

CONJUNTOS DISJUNTOS.- Dos conjuntos A y B son disjuntos si no tienen elementos en comn. IGUALDAD DE CONJUNTOS.Definicin.Dos conjuntos A y B son iguales y escribiremos A=B si y solo si, A est incluido en B y B est incluido en A. Simblicamente tenemos: A=B (A B) (B A) (x, xA xB) (x, xB xA) x, (xA xB) (xB xA) x, (xA xB) Es decir dos conjuntos son iguales si tienen los mismos elementos. Ejemplo.- Determine cules de los siguientes conjuntos son iguales. A = {x / xN, x2-7x+12=0} E = {x / x es una letra de la palabra RAUL} B = {3,4} F = {x / x es una letra de la palabra ULTRA} CONJUNTO POTENCIA.- (conjunto de partes) Dado un conjunto A, se llama conjunto potencia de A o conjunto de partes de A, al conjunto cuyos elementos son todos los subconjuntos de A. Notacin.- P(A), se lee Conjunto potencia de A o Conjunto de partes de A. Simblicamente: P(A) = {s/ s A} Ejemplo.- Determine el conjunto potencia del conjunto B = {a,b,c}.

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

OPERACIONES ENTRE CONJUNTOS.A continuacin definiremos las operaciones ms usuales y las graficaremos segn el diagrama de Venn-Euler. Consideraremos el conjunto Universo como el rectngulo que contiene a todos los dems conjuntos.

A B
Diagrama de Venn de la Unin, regin rayada al menos una vez.

Unin de conjuntos: Dados dos conjuntos A y B, se llama unin de A y B y se denota por A B al conjunto que contiene los elementos de A, los elementos de B y los elementos que estn en ambos conjuntos. A B = {x / x A x B}, es decir x(A B) x A x B Si A={x/ F(x)} y B={x/G(x)}, entonces: A B = {x/ F(x)} {x/ G(x)} A B = {x/ F(x) G(x)}

Definicin de la Unin

Autor: Elio Romero Cullar

Pgina 10

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

B A B

Interseccin de conjuntos: Dados dos conjuntos A y B, se llama interseccin de A y B y se denota por A B al conjunto que contiene los elementos que estn simultneamente en ambos conjuntos. Dos conjuntos cuya interseccin es vaca se denominan conjuntos disjuntos. A B={x / x A x B}, es decir x(A B) x A x B Si A={x/ F(x)} y B={x/G(x)}, entonces: A B = {x/ F(x)} {x/ G(x)} A B = {x/ F(x) G(x)}

Diagrama de Venn de la inter, regin rayada Definicin de Interseccin dos veces.

U
Diferencia de conjuntos: Dados dos conjuntos A y B, se llama diferencia de A y B y se denota por A - B al conjunto que contiene a los elementos de A y no estn en B. A - B={x / x A x B}, es decir que x(A B) x A x B Si A={x/ F(x)} y B={x/G(x)}, entonces: A - B = {x/ F(x)} - {x/ G(x)} A - B = {x/ F(x) G(x)}
Definicin de Diferencia.

A-B
Diagrama de Venn de la diferencia, regin rayada nicamente vertical.

Autor: Elio Romero Cullar

Pgina 11

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

B AB
Diagrama de Venn de la diferencia simtrica, regin rayada una sola vez.

Diferencia simtrica de conjuntos: Dados dos conjuntos A y B, se llama diferencia simtrica de A y B y se denota por A B al conjunto que contiene a los elementos que estn en A y no estn en B ms los elementos que estn en B y no estn en A. A B={x / (x A x B) (x B x A)} , es decir x (A B) (x A x B) (x B x A) A B=(A - B) (B - A)
Definicin de diferencia simtrica.

U A

Ac
Diagrama de Venn del complemento absoluto de A, regin rayada nicamente vertical.

omplemento Absoluto: Dado un conjunto A llamaremos complementos de A y lo denotaremos por A', Ac, o CA al conjunto que contiene a todos los elementos del universo que no estn en A. Ac= U-A = {x / x U x A}, es decir, x Ac x U x A Si A={x/ F(x)}, entonces: Ac={x/ F(x)}
Definicin de complemento absoluto

A B

Complemento relativo: Dados A y B, si BA, entonces la diferencia AB, se llama conjunto complementario de B en A o complemento de B en A. Su notacin: CB A

CB A = A-B = {x / x A x B}, es
decir, x CB A xAxB

CB A
Diagrama de Venn del complemento relativo Definicin de complemento relativo de B en A, regin rayada nicamente vertical.
Autor: Elio Romero Cullar Pgina 12

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

Ejemplo.- Dados los conjuntos:

1 1 1 1 1 1 1 , , , , 0, , , , 1 , 2, 3 } 2 3 4 5 4 3 2 A = {xU / x-3=0} 1 B = {xU / x= y , yU, y1} 2 1 C = {xU / x= 2y+1, y<1 yU} 2 D = {xU / x.(2x+1)=0} 1 E = {xU / x - y } 4 F = {xU / x=0 x=1}

U = {-

Hallar por extensin a) (AB)C b) (Ac Bc)-E c) A-(B-D) d) (CE)F e) (AB)c (CD)c f) P(A) P(B) g) P(AB) h) P(AF) Ejemplo.1.- Si A = {x / F(x)}, B = {x / G(x)} y C = {x / H(x)}. Determinar el E.P. que define el conjunto a) A(Bc-C) b) (Ac Bc) C 2.- Si A = {x / H(x)} y B = {x / S(x)}. Determinar en trminos de A, B y operaciones de conjuntos, los siguientes conjuntos: a) {x / H(x) S(x)} b) {x / H(x) S(x)} PROPIEDADES DE LAS OPERACIONES CONJUNTISTAS.1.- IDEMPOTENCIA.AA=A AA=A 2.- CONMUTATIVA.Autor: Elio Romero Cullar Pgina 13

ALGEBRA I

A B = B A A B = B A AB = BA

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

3.- ASOCIATIVA.(AB)C = A(BC) (AB)C = A(BC) (AB)C = A(BC) 4.- DISTRIBUTIVA.A(BC) = (AB)(AC) A(BC) = (AB)(AC) A(BC) = (AB)(AC) (BC)A = (BA)(CA) (BC)A = (BA)(CA) (BC)A = (BA) (CA) 5.- IDENTIDAD.A= A=A AU=A AU=U 6.- COMPLEMENTARIEDAD.AAc = AAc = U 7.- INVOLUCION.(Ac )c= A 8.- LEYES DE MORGAN.(AB)c = Ac Bc 9.- ABSORCION.A (AB) = A A (AB) = A 10.- DIFERENCIA RELATIVA Y COMPLEMENTO.A-B = A Bc FORMAS DE DEMOSTRACION DE LA IGUALDAD DE CONJUNTOS.Autor: Elio Romero Cullar Pgina 14

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

i) Mediante el uso de la definicin de igualdad de conjuntos por inclusin. ii) Utilizando formulas lgicamente equivalentes iii) Mediante igualdades conjuntistas ya conocidas Ejemplos.Ejemplo 1.- Demostrar por definicin de igualdad de conjuntos que: A B = B A Solucin.Sabemos que dos conjuntos A y B son iguales si: A=B (AB) (BA) Usando esta definicin AB = BA si y solo si
1 2

[( A (B A )] [( B A ) ( A B)] B )

De 1, si x(AB), entonces xA xB xB xA x(BA) (AB) (BA) De 2, si x(BA), entonces xB xA xA xB x(AB) (BA) (AB) Como ambos se contienen, entonces AB = BA. Ejemplo 2.- Utilizando formulas lgicamente equivalentes demostrar que: (AB)c = Ac Bc Solucin.Considerando que: A= {x/ E(x)} y B= {x/ F(x)} (AB)c = ({x/ E(x)} {x/ F(x)})c = ({x/ E(x) F(x)})c = {x/ (E(x) F(x))} = {x/ (E(x)) (F(x))}
Autor: Elio Romero Cullar

Cambio de notacin Definicin de unin Def. de complem. Ley de Morgan

Pgina 15

ALGEBRA I

= {x/ (E(x))} {x/ (F(x))} = {x/ E(x)}c {x/ F(x)}c = Ac Bc

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

Def. de unin Def. de complem. Cambio de notacin.

Ejemplo 3.- Demostrar mediante igualdades conjuntistas ya conocidas que: A-(B-C) = (A-B) (AC) Solucin.A-(B-C) = A-(BCc) = A((BCc))c = A(Bc(Cc)c) = A(BcC) = (A Bc) (AC) = (A- B) (AC) Diferencia y complemento Diferencia y complemento Ley de Morgan Ley de involucin Distributiva Difer. complem. hacia atrs

Ejemplo 4.- Demostrar mediante igualdades conjuntistas ya conocidas que: A (A B) = A - B Solucin.A (A B) = (A (AB)) ((AB)-A) Def. de

= (A(AB)c) ((AB)Ac) Difer. Complemento. = (A(AB)c) (AcA)B) Conmu. y asociat. = (A(AB)c) (B) = (A(AB)c) = A(AB)c = A(AcBc) Complementacin Identidad Identidad Ley de Morgan

= (AAc)(ABc) Distributiva = (ABc) = ABc

Autor: Elio Romero Cullar

Complemento Identidad
Pgina 16

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

= A-B

Diferencia y complemento.

NUMERO DE ELEMENTOS DE UN CONJUNTO FINITO.DEFINICION.- El numero de elementos de un conjunto A cualquiera, es el nmero de elementos distintos que tiene dicho conjunto< NOTACION.-

n(A), se lee nmero de elementos de A

NUMERO DE ELEMENTOS DE LA UNION DE CONJUNTOS.-

n(AB) = n(A) + n(B) - n(AB)

Ejemplo.De un grupo de 60 alumnos que aprobaron al menos una de las dos materias, 28 han aprobado FIS 100 y 46 han aprobado MAT 101. Cuntos alumnos podemos asegurar que han aprobado ambas materias? Ejemplo.En una encuesta a cerca de programas de televisin que se realiz entre los estudiantes de tecnologa, se tienen los siguientes resultados: 60 % prefieren el programa A 50 % prefieren el programa B 50 % prefieren el programa C 30 % prefieren los programas A y B 20 % prefieren los programas B y C 30 % prefieren los programas A y C 10 % prefieren los programas A, B y C a) Qu porcentaje prefiere los programas A y B pero no el C? b) Qu porcentaje prefiere exactamente dos de los programas mencionados? c) Qu porcentaje no ve ninguno de los programas mencionados? d) Qu porcentaje prefieren los programas B o C pero no el A? Ejemplo.Demostrar que: Ejemplo.Autor: Elio Romero Cullar Pgina 17

n(ABC)=n(A)+n(B)+n(C)-n(AB)-n(AC)-n(BC)+n(ABC)

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 2

En la Facultad se est organizando las mini olimpiadas en los deportes: Ftbol, Bisbol y Natacin. Hay 870 alumnos en la Facultad que van ha participar en estas disciplinas deportivas de los cules: 400 pueden participar en Ftbol 390 pueden participar en Bisbol 480 pueden participar en Natacin 680 pueden participar en Ftbol o Bisbol 210 no van ha participar en ninguno de los tres deportes 9 participan en Ftbol, Bisbol pero no en Natacin 190 pueden participar solo en Natacin a) Cuntos alumnos pueden participar por lo menos en dos de los tres deportes? b) Cuntos alumnos pueden participar en los tres deportes mencionados? c) Cuntos alumnos tiene la Facultad? Ejemplo.1. De 180 maestros de una universidad 135 tienen su Doctorado, 146 son investigadores de tiempo completo. De los Doctores 114 son investigadores de tiempo completo. Indicar cuntos de estos maestros: a) tienen su Doctorado o se dedican a investigar de tiempo completo. b) no tienen su Doctorado ni se dedican a investigar de tiempo completo.

BIBLIOGRAFIA: 1.- Armando Rojo 2.- Lipschutz Seymour 3.- Lipschutz Seymour 4.- Braulio Cceres Ch. 4.- Sebastian Lazo G. : Algebra I : Matemticas finitas : Teora de Conjuntos y temas afines : Lgica y conjuntos : Algebra Moderna : Editorial Ateneo : Editorial Mc. Graw Hill : Editorial Mc. Graw Hill : Editorial El Pas : Impresiones Soipa Ltda.

Autor: Elio Romero Cullar

Pgina 18