1

Lecciones de lgebra y Geometra I

Primer Ao del Profesorado de Matemtica Prof. Miguel ngel De Carlo

Leccin 1 Conjuntos

lgebra y Geometra I

ndice Captulo I
Lecciones de lgebra y Geometra I ................................................................................................1 Introduccin. ....................................................................................................................................3 1.- Definicin. ......................................................................................................................................3 2.- Enumeracin o extensin. ...............................................................................................................4 3.-Propiedad o comprensin. ................................................................................................................5 4.-Conjuntos dados por frmulas. ........................................................................................................5 5.-Axiomas ...........................................................................................................................................6 Relaciones entre conjuntos ..........................................................................................................10 6.- Inclusin. .......................................................................................................................................10 7.- Conjunto de partes. .......................................................................................................................10 8.- Diagramas de Venn-Euler. ............................................................................................................11 9.- El Conjunto Universo Local. ........................................................................................................11 Operaciones con conjuntos ..........................................................................................................11 10.- Complemento. A ........................................................................................................................11 11.- Interseccin .................................................................................................................................11 12.- Unin...........................................................................................................................................12 13- Diferencia. ....................................................................................................................................12 14. Diferencia. Simtrica ....................................................................................................................12 15.- Leyes de operaciones con conjuntos ...........................................................................................13 16.- Inclusin y pertenencia ...............................................................................................................14 17.- Conjuntos contradictorios. ..........................................................................................................14 18.- Silogismos. ..................................................................................................................................15 PRACTICO 1 .....................................................................................................................................17

lgebra y Geometra I

Introduccin.
1.- Definicin.
La teora de conjuntos aport ideas fundamentales a la matemtica moderna que jugaron un rol importante en el estudio de los fundamentos. Originariamente la definicin de conjunto fue elaborada por Cantor: Un conjunto es una reunin de objetos determinados y bien diferenciados de nuestra intuicin o de nuestro pensamiento, formando una totalidad. La definicin en definitiva nos lleva a aceptar que la palabra conjunto es en nosotros una idea intuitiva. Decimos entonces que existen conceptos primitivos que no definimos como: Conjunto, elemento y pertenencia Los objetos que integran un conjunto se llaman elementos de ese conjunto. Para indicar que un objeto a es elemento de un conjunto A se escribe a lee a pertenece a A" o a es elemento de A".

A que se

Si por e1 contrario, el objeto a no es elemento del conjunto A se escribe a que se lee a no pertenece a A" o a no es elemento de A". Si los objetos a, b, c,..., h son elementos de A, se escribe a, b, c,...., h, A.

A,

Generalmente se usan letras minsculas para designar a los elementos de un conjunto y letras maysculas para designar a los conjuntos mismos, pero, cuando resulte conveniente, emplearemos una letra mayscula para designar a un elemento de un conjunto, por ejemplo, escribiremos A B . Si escribimos b A no quiere decir que b no sea a su vez un conjunto (con elementos que no interesan en el desarrollo). Vemos que dentro de los conceptos fundamentales o primitivos de la teora tenemos el conjunto sus elementos y la relacin de pertenencia que existe entre ellos. Dar un conjunto o definir un conjunto, es indicar cuales son sus elementos. Un conjunto estar bien definido si sabemos exactamente que objetos pertenecen a l, y por lo tanto sabremos cuales no pertenecen a l. Ejemplos: 1. El conjunto A de los habitantes de La Plata. Esta expresin debe considerar sinnima de: "el conjunto A cuyos elementos son todos los habitantes de La Plata y solo ellos". 2. El conjunto C cuyos elementos son 10,
3,

Se nombran cada uno de sus elementos, a saber, los nmeros 10, 3, . Se dice en estos casos que el conjunto ha sido definido por extensin. 3. El conjunto D de los nmeros naturales mayores que 5 y menores que 100.000. lgebra y Geometra I

No se nombra ninguno de los elementos de cada conjunto pero se da una propiedad que caracteriza a todos ellos, la propiedad de habitar en La Plata para A y la propiedad de ser un nmero natural mayor que 5 y menor que 100.000 para D. Se dice que tales propiedades caracterizan a los elementos de un conjunto por que todos los elementos del conjunto tienen esa propiedad y adems, cualquier objeto que tenga esa propiedad pertenece al conjunto. En estos casos se dice que se ha definido un conjunto por comprensin.

2.- Enumeracin o extensin.

Una manera frecuente de dar conjuntos es enumerar todos sus elementos. Si formo un conjunto de la siguiente manera: {San Martn, Bolvar, Washington} o sea encerrando entre llaves los nombres de sus elementos, separados entre s por comas, de este modo no hay ninguna duda sobre cules son los elementos del conjunto: ah estn todos a la vista. Se dice entonces que el conjunto est definido por enumeracin o extensin. {1, 2, 3, 4, 6, 12}, es un conjunto de nmeros, dado por enumeracin de sus elementos Ntese que estos elementos son los mismos que los del conjunto por la propiedad de ser todos los nmeros divisores de 12 . Es claro que el mtodo de enumeracin no sirve cuando el conjunto tiene infinitos elementos, pero algunas veces pueden usarse en estos casos los puntos suspensivos, siempre que quede claro su significado. As el conjunto {l, 2, 3, 4, .....} es el de los nmeros naturales, dado por extensin o enumeracin; {2, 4, 6, 8, .....} es el de los nmeros pares. {1, 2, 4, 8, 16, ....}es el conjunto formado por las potencias 20 , 21 , 22 , 23 , 24 ,... Aunque el conjunto sea finito, si tiene muchos elementos este mtodo no es muy cmodo. Podemos definir por extensin el conjunto de las personas que tienen telfono en esta ciudad, y as est hecho en la gua de telfonos, pero es bastante trabajo confeccionarla. Sin embargo a veces el mtodo de la enumeracin es indispensable, para evitar imprevisiones que hemos visto que tiene el dar conjuntos por propiedades. Parece fcil definir el conjunto de las personas que pueden votar en este pas, en este ao, pero no es as porque hay muchos motivos legales que impiden que algunas personas mayores puedan votar. La nica forma clara de definir este conjunto tan importante, es enumerar una por una todas las personas que pueden votar. De este modo ya no puede haber discusin: una persona puede votar si y solo si est en la lista. Cuando, adems, de conocer los elementos del conjunto tomamos en cuenta las relaciones, los vnculos que hay entre esos elementos, diremos que el conjunto tiene estructura. Los bancos del aula tienen una estructura, pues estn ordenados por filas y columnas. Los alumnos de primero Matemtica forman un conjunto sin estructura evidente, pero si los ordenamos alfabticamente, o los agrupamos por amistad, por gustos, por capacidad, le damos al conjunto una estructura. Los nmeros, adems de formar un conjunto, se pueden sumar, multiplicar, ordenar, etc. lgebra y Geometra I

3.-Propiedad o comprensin.
Los libros de Matemtica forman un conjunto, los perros negros forman otro. Cualquier propiedad que enunciemos, determina un conjunto: el conjunto de todos los objetos que tienen esa propiedad. As, para saber si un objeto pertenece al conjunto {libros de Historia} hay que ver si tiene la propiedad de ser un libro de Historia. Pertenecer al conjunto de los perros negros es lo mismo que tener la propiedad de ser un perro negro. En la prctica puede aparecer una dificultad. y es que algunas de estas propiedades son un poco relativas, y no todo el mundo, o no siempre, se las aplica a los mismos objetos. Seguramente no todos estarn de acuerdo en decir si tal seor es pobre o no. Comparada con un microbio, una silla es un objeto enorme, pero comparada con una estrella es insignificante; entonces, la silla es grande o no ? Un perro que tenga casi todo el pelo negro, pero con algunas manchitas blancas, es negro o no ? La historia de la vida de un gran msico, es un libro de Historia o no ?. En cambio con los nmeros primos no tenemos ninguna duda posible: estos conjuntos matemticos estn definidos con toda precisin. De todas maneras, y aunque haya estas dificultades, las propiedades son una manera muy til de definir conjuntos. Por eso es esencial definir claramente las propiedades de los objetos que forman el conjunto, para poder reconocer cules objetos las poseen y cules no. El conjunto de todos los objetos que tienen una propiedad, se simboliza escribiendo esa propiedad entre llaves: {los hombres buenos} {las piedras preciosas} {los mamferos} {los tringulos equilteros} {los nmeros naturales que son divisores exactos d 12} Por otra parte es posible pensar que cualquier conjunto define una propiedad. Si A . es un conjunto, hay objetos que tienen la propiedad de pertenecer a A ; son justamente los elementos de A Definitivamente el conjunto A est formado por aquellos objetos que tienen la propiedad de pertenecer a A. Vemos que la idea de propiedad est inevitablemente ligada a la de conjunto. -

4.-Conjuntos dados por frmulas.

Muchas propiedades matemticas se expresan por frmulas, para lograr brevedad y claridad, de modo que las frmulas nos permitirn tambin definir conjuntos. As, los nmeros naturales cuyo cuadrado es menor que 60, forman un conjunto, que llamaremos C 3 9 C, pues 32 = 9 < 60 C, pues 92 = 81 y es falso que 81< 60 A (a es

Para expresar que un elemento a pertenece ( ) a un conjunto A se escribe a elemento de A), a A (a no es elemento de A). Escribamos entonces la frmula x2 < 60

donde indicamos con la letra x una variable que nos permite formar el conjunto de verdad, puesto que en ese lugar probaremos poner diferentes nmeros. lgebra y Geometra I

Si al remplazar la x por un nmero n es cierto que n2 < 60 , entonces n Si es falso que n2 < 60 entonces n C .

C.

Este conjunto se simboliza tambin entre llaves, de la siguiente manera: C = {x / x2 < 60} Que se lee: "el conjunto formado por aquellos nmeros que escritos en vez de la x dan un resultado verdadero". La x se escribe aparte a la izquierda, separada por una raya vertical, para indica que ella es la letra que hay que remplazar por nmeros. A esa letra se la llama variable; sirve para marcar los lugares de una frmula donde hay que poner nmeros para ver qu pasa. Las ltimas letras del alfabeto, x, y, z, se usan frecuentemente como smbolos de variables. Los conjuntos y sus elementos que lo forman deben estar bien definidos, esto es, que siempre ser posible establecer si un elemento dado pertenece o no al conjunto.

Propiedades.
Comnmente los conjuntos son introducidos como colecciones de objetos con alguna propiedad comn. La nocin de propiedad merece un poco de anlisis. Algunas propiedades frecuentemente consideradas en la vida diaria son tan vagas que difcilmente son admitidas en las matemticas. El problema para admitir a estas propiedades como "buenas" propiedades para definir conjuntos es causado por el significado de algunas palabras o atributos dados a los elementos. Por ejemplo decir, puede ser rubio o es gordo. Una forma de remediar este tipo de dificultades o algunas otras similares es decir explcitamente que significa "puede" o ponernos de acuerdo en que significa "gordo" por ejemplo, estableciendo que gordo es pesar mas de cien kilogramos. Sin embargo, el determinar los elementos de un conjunto sabiendo que son los que satisfacen cierta propiedad, sigue siendo complicado. Decimos que: Una propiedad es una proposicin tal que para cualquier objeto es posible decidir, sin ambigedad, si dicho objeto la verifica. Si un objeto x verifica la propiedad P(x) decimos que la propiedad es verdadera (V); en caso contrario decimos que la propiedad es falsa (F). Cuando P(x) es verdadera tambin decimos que el objeto x tiene la propiedad P(x). Desde propiedades arbitrarias P(x) y Q(x), podemos formar nuevas propiedades: la conjuncin P(x) Q(x), la disyuncin P(x) Q(x) y la negacin de P(x), P(x). En cuanto al Significado de estas nuevas propiedades generadas por P(x) y Q(x) tenemos que: Para que un objeto x verifique la conjuncin es necesario que x verifique simultneamente a cada una de las propiedades que la componen; para que x verifique la disyuncin es necesario que x verifique por lo menos una de sus componentes, y para que x verifique la negacin de P(x) es necesario que x no verifique P(x)

5.-Axiomas
El desarrollo de la teora de conjuntos en su axiomtica no examina directamente el lgebra y Geometra I

7 significado del termino "conjunto" tal y como en Geometra no se examinan los significados de los trminos "punto", "recta" y "plano"; pero a partir de sus axiomas al igual que en Geometra se deducen todos los teoremas sin recurrir a los significados intuitivos de los trminos primitivos. Ahora empezaremos a dar nuestro sistema axiomtico. Intentaremos aclarar el significado intuitivo de cada axioma. Axioma 1 (de Existencia) Hay un conjunto que no tiene elementos. Un conjunto sin elementos puede ser descrito de manera intuitiva de varias formas; por ejemplo, como el conjunto de los perros que han escrito obras literarias o como el conjunto de nmeros reales que satisfacen la ecuacin x 2 1 0 . Intuitivamente los ejemplos de esta clase describen al mismo conjunto, el conjunto vaco. El nico conjunto que no tiene elementos es llamado el conjunto vaco y es identificado por el smbolo Axioma 2 (de Extensin) Si todo elemento de A es elemento de B y todo elemento de B es elemento de A, entonces A = B Podemos decir que dos conjuntos que tienen los mismos elementos son idnticos. A=B ( x: x A x B) ( x: x B x A)

De este axioma podemos deducir que si existen dos conjuntos sin elementos es automticamente cierto que los conjuntos son iguales por lo tanto podemos definir que: Axioma 3. (Esquema de Comprensin). Para toda Propiedad P(x) y para todo conjunto A existe un conjunto B, que tiene por elementos los elementos de A que satisfacen a R. Por ejemplo si P(x) es x = x el axioma expresa: Para toda propiedad (o relacin) x = x y para todo conjunto A existe un conjunto B, que tiene por elementos los elementos de A y satisface la propiedad. En este caso el axioma habla de la igualdad A = B. El axioma postula entonces que par cualquier seleccin de variable y cualquier conjunto A, hay un conjunto B, que consiste exactamente de los elementos de A para los cuales se verifica P. Para especificar un conjunto no basta con dar una propiedad es necesario tambin disponer de un conjunto a cuyos elementos pueda aplicarse esa propiedad. Esto garantiza la existencia de conjuntos nuevos definidos a partir de los ya existentes. Axioma 4. (Del Par). Si A y B son dos conjuntos, existe un conjunto cuyos nicos elementos son A y B. El axioma del par asegura que todo conjunto es un elemento de algn conjunto, y dos conjuntos son simultneamente elemento de algn mismo conjunto.

Ejemplo:

lgebra y Geometra I

8 Sean A = y B = entonces { , } (cuando se repite el elemento el conjunto es unitario) = { }, se deduce entonces que si { , } = { } el { }. Note que { }, puesto que no tiene elementos y { } tiene un elemento. No debemos confundir los conjuntos de un solo elemento con el elemento propiamente dicho a {a} Axioma 5. (De Unin). La reunin de un conjunto de conjuntos es un conjunto. Decimos que S es un sistema de conjuntos o una familia de conjuntos cuando queremos hacer nfasis en que los elementos de S son conjuntos. Ejemplo: Sean A y B conjuntos, x {A B} si y solo si x A o x B. El conjunto {A B} es llamado la unin de A y B y es denotado por A B. x A B x A x B.

Definicin. A es un subconjunto de B si cualquier elemento de A pertenece a B. A Definicin. x A si y solo si {x} Definicin. AyA A B x A x B

A para todo conjunto A ByB C se tiene que A C

Definicin. Para cualesquiera conjuntos A, B y C tales que A

Axioma 6. (Del Conjunto Potencia) Para todo conjunto A existe un conjunto que tiene por elementos las partes de A. Para cualquier conjunto X existe un conjunto P tal que A S si y solo si A P Llamaremos al conjunto P de todos los subconjuntos de X, el conjunto potencia de X se anota P(X). , a , b , a, b P ({a,b}) = Definiciones. Para cualquier conjunto A, siempre P(X) para cualquier X Si A B entonces P(A) P(B) Debemos tener en cuenta que la pertenencia ( ) y la contencin ( ) son, conceptualmente, distintos: Una diferencia importante es que para cualquier conjunto A, A A mientras no esta del todo claro que cualquier conjunto A A. De hecho que . La inclusin es reflexiva y la pertenencia no lo es. La no tiene carcter transitivo. El conjunto vaco es subconjunto de todo conjunto. El producto de una familia de conjuntos no vacos es un conjunto no vaco. Ningn conjunto es elemento de s mismo. De todos los subconjuntos de un conjunto dado S, el nico conjunto impropio es el mismo S. lgebra y Geometra I ,A P(A)

9 El conjunto que contiene a todos los conjuntos que se estn considerando se llama Universal El conjunto A = {Divisores de doce} y el conjunto B = {1,2,3,4,6,12}, son iguales pues sus elementos son los mismos. Entonces A = B si y solo si; a A a B y adems, b B b A A=B Ejercicios. 1. A que conjuntos pertenece el conjunto de todas las rectas del plano que pasan por dos puntos. 2. Cuales son los elementos del conjunto que se obtiene de la expresin 2k-3 dndole a k los valores 2, 3, 4, 5 y 6? 3. Supongamos cinco personas: Ana, Mara, Pedro, Juan y Diego; se quiere formar el conjunto de grupos de esas cinco personas con la condicin de que en cada grupo no haya dos hombres juntos. Hacer una lista de los elementos de ese conjunto. 4. Del conjunto del ejercicio anterior extraer los grupos en que aparezcan juntos Ana y Pedro. 5. De las formulas A B y B C, se deduce A C? 6. Sea A el conjunto de los nmeros naturales iguales a 2, y sea B el conjunto cuyos elementos son A y el numero 1."Es lcito escribir 2 B? 7. Escriba las afirmaciones en notacin conjuntista (1) x no pertenece a A. (4) F no es subconjunto de H (2) R es subconjunto de S. (5) H no incluye a D. (3) des elemento de E. (x A x B)

8. Sea M = {r, s, t}. Es decir, M consta de los elementos r, s y t. Diga cuales de las afirmaciones son correctas o incorrectas. Si alguna es incorrecta, decir por que. (a) r M (b) r M (c) {r} M (d) {r} M 9. Enuncie con palabras y luego escriba por extensin: (1)A={x / x2 = 4}. (2) B= {x / x-2= 5}. (3) C = {x / x es positivo, x es negativo}.

(4) D = {x / x es una letra de la palabra correcto } . 10. Escriba los conjuntos por comprensin (l) El A que consiste de las letras a, b, c, d y e. (3) El conjunto C de todos los pases de las Naciones Unidas. 11. Cules de estos conjuntos son iguales? (1) {x / x es una letra en la palabra tocata }. (2) Las letras de la palabra tacto. (2) El B = {2, 4, 6, 8,...} (4) El conjunto D = {3}.

lgebra y Geometra I

10 (3) {x / x es una letra de la palabra cota}. 12. Muestre que los conjuntos (4) Las letras a, c, o, t.

, { }, {{ }} son distintos.

13. Indique cules de 1as siguientes expresiones son falsas: (a) A={A}, (b) {a, b} = {{a}, {b}}, (c) { }.

Relaciones entre conjuntos

6.- Inclusin.
Si todos los elementos de un conjunto N son tambin elemento de un conjunto M, se dice que N est incluido en M y se escribe N M N M en el caso que consideremos la igualdad de los conjuntos. Tambin podemos decir que N es parte de M que M incluye o contiene a N. M N Todo conjunto A que este incluido o contenido en otro B se denomina subconjunto de B Sea A un subconjunto de B, si A B, se dice que A es un subconjunto propio de B. A B (x A x B)

Si A es un subconjunto propio de B, existen en B elementos que no pertenecen a A. Todos estos elementos que no estn en A constituyen el complemento del conjunto A en B, y constituye otro subconjunto propio de B Dos conjuntos son comparables si A B B A Dos conjuntos se dicen no comparables si A B y B A. Ntese que si A y B son no comparables hay en A un elemento que no est en B y hay tambin en B un elemento que no est en A. Si dos conjuntos A y B no tienen elementos comunes, es decir, si ningn elemento de A esta en B y si ningn elemento de B est en A, se dice que A y B son disjuntos.

7.- Conjunto de partes.

La familia de todos los subconjuntos de un conjunto S se llama conjunto potencia de S. Si M = {a, b} entonces el conjunto potencia tendr 4 elementos P(s) = {{a, b}, {a}, {b}, }

Un conjunto de dos elementos tiene dos partes, el mismo conjunto y el vaco. El conjunto vaco tiene un solo subconjunto, . Vemos que a medida que aumentamos un elemento en el conjunto el nmero de partes se duplica. Sin elementos 20 = 1 parte, Un elemento 21 = 2 partes, dos elementos 22 = 4 partes, tres elementos 23 = 8 partes y as siguiendo. Por eso al conjunto de partes de un conjunto tambin se lo denomina conjunto potencia y se lo calcula como 2n partes.

lgebra y Geometra I

11

8.- Diagramas de Venn-Euler.

La relacin entre subconjuntos y conjuntos se pude ilustrar usando diagramas de Venn. el diagrama de Venn en la figura muestra el conjunto universal U con un rectngulo, y los subconjuntos A y B con crculos. Tambin puede verse que B es un subconjunto de A.

Dos conjuntos, A y B, se llaman mutuamente exclusivos o disjuntos cuando A B = . En este caso, no hay elementos comunes entre A y B.

9.- El Conjunto Universo Local.

En la Teora de Conjuntos, se tiene como referencia, explcita o implcitamente, un universo local; es decir, un marco de referencia dentro del cual se trabaja. Este universo local o del discurso debe de ser un conjunto, quedando muy claro este concepto, ya que no se le debe confundir con la coleccin de todos los conjuntos, que es una coleccin que no es un conjunto, sino una clase propia; por lo tanto, aunque no existe el conjunto de todos los conjuntos, si existir en casi cada caso particular, un conjunto que tenga a todos los conjuntos de inters del discurso.

Operaciones con conjuntos

Dentro del clculo de conjuntos pueden practicarse varias operaciones, cada una de las operaciones pueden definirse en forma precisa recurriendo al concepto de pertenencia y conectivas proposicionales, del siguiente modo:

10.- Complemento. A
El complemento de un conjunto A es el conjunto formado por todos los elementos que no pertenecen a el. El conjunto complemento de A ( A) es igual a lo que queda del universo una vez que se han quitado los elementos de A. rea sombreada

11.- Interseccin
La interseccin de dos conjuntos, A y B, es un conjuntos que contiene los elementos comunes a ambos conjuntos (pertenecen al conjunto A y al conjunto B). Se simboliza as: A B. El rea sombreada representa la interseccin entre A y B. Si dos conjuntos no tienen elementos comunes, son disjuntos, entonces la Interseccin entre los dos es vaca. A B = {x / x A x B} lgebra y Geometra I

12

12.- Unin.
La unin de dos conjuntos, A y B, es un conjunto que contiene todos los elementos que pertenecen a los conjuntos A y B. La unin se simboliza as: A B. El rea sombreada en la figura muestra la unin de los conjuntos A y B. La unin entre dos conjuntos A B es el conjunto de los elementos que pertenecen a A a B a ambos. A B = {x / x A x B}

13- Diferencia.
La diferencia de los conjuntos A y B es el conjunto de elementos que pertenecen a A, pero no a B. La diferencia se simboliza A - B A - B = {x / x A x B}

B - A = {x / x B

x A}

14. Diferencia. Simtrica

La diferencia simtrica de los conjuntos A y B es la unin de los conjuntos A-B y B-A La diferencia simtrica se simboliza A B A B = (A-B) (B-A)

Tambin podemos decir que la diferencia simtrica es igual a la unin de los conjuntos menos la interseccin entre los mismos. A B = (A B) - (A B)

De la discusin de los diagramas de Venn se obtienen las siguientes conclusiones: La interseccin del conjunto E y el conjunto nulo es el vaco La unin del conjunto E y el conjunto vaco es el conjunto E La interseccin entre el conjunto E y su complemento es el conjunto vaco La interseccin entre el conjunto E y el conjunto universal es el E La unin entre el conjunto E y el universal es el conjunto universal El complemento del complemento de un conjunto E es E La unin entre dos conjunto E idnticos es E La interseccin entre dos conjunto E idnticos es E lgebra y Geometra I E E E E E E E = =E = =E = ( )=E E=E E=E

13 Ejercicios 1.- En los diagramas de Venn que siguen rayar, A B, A B, A B y la diferencia simtrica.

2.- Sea A = {1, 2, 3, 4}, B = {2, 4, 6, 8} y C = {3, 4, 5, 6}. Halle (a) A (a) A B C (b) A (B C), (c) A B, (d) A (h) A ( B C). (i) A - B, (j) C - A, (k) B - C. C, (e) B

B, (b) A

C, (c) B B

C. C,

C, (f) B

B, (g) A

3.- En un diagrama de Venn no comparable de tres conjuntos, rayar: (a) A (b) A (B C ), (c) (A B) ( A C), (d) (A B ) ( A C )

(B

C),

15.- Leyes de operaciones con conjuntos

El lgebra booleana provee una forma de evaluar los conjuntos. Las reglas son bastante simples. El conjunto de axiomas de la siguiente tabla provee todas las relaciones de mayor inters en el lgebra booleana incluidas las expresiones discutidas anteriormente 1) Identidad 2) Involucin 3) Asociatividad 4) Conmutatividad A=A ( A) = A (A B) C = A (A B) C = A A B=B A A B=B A

(B (B

C) C)

5) Distributividad. 5.1) de la unin con respecto a la interseccin A 5.2) de la interseccin con respecto a la unin. A 6) De Morgan.
A B A B

(B (B

C) = (A C) = (A

B) B)

(A (A

C) C)

A
7) Idempotencia.
A A

B
A A

A
A A

8) Elemento neutro de la interseccin 9) Elemento neutro de la unin ( ) 10) Absorbente de la unin 11 Absorbente de la interseccin

(U) A U=U A=A A = A=A A U=U A =

lgebra y Geometra I

14 Es posible verificar que estas leyes lo son efectivamente mediante la utilizacin de diagramas, realizando diagramas para ambos miembros de la igualdad y luego verificando si coinciden los conjuntos que han quedado representados y por tanto se ha verificado la ley. Ejercicios: Demuestre las propiedades

16.- Inclusin y pertenencia

La relacin de inclusin debe distinguirse cuidadosamente de la relacin de pertenencia con la que aparentemente tiene cierta similitud. En efecto la pertenencia se predica de un individuo con respecto a una clase o conjunto (Diego es hombre"). La inclusin en cambio slo puede darse entre conjuntos ("Los cuadrados son cuadrilteros"). Es cierto que siempre que un conjunto A est incluida en otro conjunto B, cada uno, de los individuos de A pertenece a B ; pero es errneo considerar que cada elemento de A est incluido en B. Ejemplos: 1) Todos lo volcanes son peligrosos El Etna es un volcn El Etna es peligroso

2) Todo rosarino es santafesino Todo santafesino es argentino Todo rosarino es argentino

En 1) el Etna es una entidad que pertenece a los volcanes. En 2) Son conjuntos definidos por su relacin de inclusin y todo individuo que pertenece al conjunto de los rosarinos pertenece tambin a los otros conjuntos Atento a lo visto con respecto a la inclusin y a la pertenencia debemos destacar que en ciertos casos se presenta la circunstancia de que la relacin de pertenencia se verifique entre conjuntos. Sea por ejemplo Los hombres son numerosos, no predica inclusin entre clases (no dice que cada hombre es numeroso), sino pertenencia (el conjunto de los hombres es elemento del conjunto de las cosas numerosas). Esta definicin de conjuntos de conjuntos nos puede llevar a contradicciones, llamadas paradojas.

17.- Conjuntos contradictorios.

Suponer la pertenencia entre conjuntos nos puede llevar a que un conjunto se pertenezca a si mismo, por ejemplo Un catlogo que contenga a todos los catlogos que existen, como es un catlogo se debe contener a si mismo, en otras palabras es un miembro de s mismo. Este tipo de paradojas fue planteado por B. Russell en 1902. Otra paradoja dice que "Existe en un pueblo un peluquero que afeita todos los que no se afeitan a s mismo", la paradoja sera considerar si el peluquero se tiene que afeitar a s mismo. La solucin a todas estas contradicciones fue dada por el propio Russell en la llamada "Teora de los tipos lgicos" donde establece una clasificacin entre los conjuntos; los elementos pertenecen al tipo lgico ms bajo 0. Los conjuntos al 1 y los conjuntos de conjuntos al 2, y la relacin de pertenencia puede darse siendo la primera entidad de tipo n y la segunda del tipo n+1. Es decir una entidad de tipo 0 puede pertenecer a una de tipo 1. Ejemplo. La clase de todos los objetos x tales que cumplen la propiedad "x no pertenece a x", no es un conjunto. lgebra y Geometra I

15 Prueba. Supongamos que dicha clase s fuera un conjunto y llammosle R. Entonces: Si R Si R R, R cumple la propiedad que caracteriza a la clase y tenemos que R R. R, entonces R no cumple la propiedad que caracteriza a la clase y tenemos que R R.

As pues, hemos mostrado que: si R no pertenece a R, entonces R pertenece a R; y si R pertenece a R, entonces R no pertenece a R. Pero como R pertenece a R o R no pertenece a R, entonces necesariamente se cumple que R pertenece a R y que R no pertenece a R, lo cual es absurdo. En conclusin, no es posible que dicha clase sea un conjunto. Si una clase no es un conjunto le llamaremos clase no conjunto o clase propia, y no es un objeto de estudio de la Teora de Conjuntos. Por lo anterior, la clase de todos los objetos x tales que x no pertenece a x, es una clase propia. Y se le conoce a dicha proposicin como la Paradoja de Russell. Otro caso interesante es el siguiente: Los hombres son numerosos Nicols es un hombre Nicols es numeroso

A B a a A B

Este razonamiento que a partir de premisas verdaderas llega a una conclusin falsa (absurda), no es correcto en trminos de la lgica debido a que la primera premisa no precisa inclusin sino pertenencia de una clase en otra. Este razonamiento es invlido en razn de que la pertenencia es una relacin intransitiva. Estos ejemplos sirven para demostrar que la relacin de inclusin y pertenencia distan mucho de ser equivalentes entre s ya que difieren en sus propiedades formales y por lo tanto dan origen a estructuras lgicas distintas.

18.- Silogismos.
Un tipo de razonamiento que la lgica moderna analiza en la simbologa de la lgica de clases es el silogismo categrico de la lgica tradicional. Un silogismo es un razonamiento compuesto por tres proposiciones; dos premisas y una conclusin. Estas proposiciones contienen los trminos de la lgica tradicional, que son los predicados de la lgica cuantificacional , y las clases (conjuntos) de la lgica de clases. Tomemos un ejemplo Todos los cuyanos son argentinos Todos los mendocinos son cuyanos Todos los mendocinos son argentinos Los trminos de este silogismo son "cuyanos", "argentinos" y "mendocinos". Cada trmino figura dos veces. Al trmino que figura en las dos premisas se lo denomina trmino medio" y se lo simboliza M. Al trmino que figura como predicado de la conclusin se lgebra y Geometra I

16 lo denomina "trmino mayor" y se lo simboliza P. El trmino que es sujeto de la conclusin es el "trmino menor" y se lo simboliza S. En el ejemplo anterior tenemos: Todo M es P Todo S es M Todo S es P Si bien el orden de premisas no altera el razonamiento, se conviene en ordenarlas colocando en primer trmino la premisa mayor y en segundo la premisa menor. Las tres proposiciones del silogismo pueden ser de las siguientes formas categricas: Tipo A, o universal afirmativa. Todo A es B Tipo E, o universal negativa Ningn A es B Tipo I, o particular afirmativa Algn A es B Tipo O, o particular negativa Algn A no es B Para representar un silogismo es necesario dibujar tres conjuntos no comparables.

Ejemplo 17.1.Todos los felinos son cuadrpedos Todos los gatos son felinos Todos los gatos son cuadrpedos

A Felinos

B Cuadrup.

Los tres conjuntos representan las clases C correspondientes a los trminos. Se representan primero las premisas universales y luego las particulaGatos res. Se verifica si la conclusin ha quedado representada. Zona sombreada representa clase vaca. Zona con x tienen por lo menos un individuo En el diagrama observamos que no existe gato que no sea cuadrpedo. (Zona que qued sin rayar en el conjunto C.) Ejemplo 17.2.Ningn campesino est acostumbrado al ruido Todos los habitantes de la ciudad estn acostumbrados al ruido Ningn campesino es habitante de la ciudad La zona C A ha quedado sombreada el razonamiento, es vlido. Ejemplo 17.3.Algunos espaoles son msicos Todos los espaoles son europeos Algunos europeos son msicos lgebra y Geometra I

A B

17 Se debe representar primero la segunda premisa. La x de la primer premisa se pone en el lugar en blanco posible (espaoles msicos) La conclusin qued representada, el razonamiento es vlido. (algunos x europeos son msicos) Ejemplo 17.4.A

Algunos mdicos son investigadores Alguno investigadores no practican la medicina Algunos mdicos no practican la medicina Cuando debemos colocar una x y no esta clara la zona se coloca en la lnea divisoria, y se interpreta que por lo menos una de las zona no es vaca. No hay seguridad, la conclusin no ha quedado representada Por lo tanto el razonamiento es invlido.

B Med.

X
X
No Pract. C

Invest

PRACTICO 1
Ejercicio 1. Escribir las afirmaciones siguientes en notacin conjuntista. 1.1. x no pertenece a A 1.2. R es subconjunto de S. 1.3. d es elemento de E 1.4. F no es subconjunto de G 1.5. H no incluye a D Ejercicio 2.- Si A= {x/x N 2x=6} y b = 3, es b = A ?

Ejercicio 3.- Sea M = {r, s, t}. Diga cules de las siguientes afirmaciones son correctas o incorrectas. 3.1. r M 3.2. r M 3.3. {r} M 3.4. {r} M Ejercicio 4.- Enunciar con palabras y luego escribir por extensin. 4.1. A = {x/x2 = 4} 4.2. B = {x/x - 2 = 5} 4.3. C = {x/x es positivo vo} 4.4. D = {x/x es una letra de la palabra correcto}

x es negati-

Ejercicio 5.- Escribir estos conjuntos por comprensin. 5.1. A consiste de las letras a, b, c, d y e 5.2. B = {2, 4, 6, 8, .....} 5.3. El conjunto C de todos los pases de las Naciones Unidas 5.4. D = {3} 5.5. Sea E los presidentes Alfonsn, Menem, De la Rua, Puerta, Rodrguez S, Duhalde. Ejercicio 6.- Cules conjuntos son finitos ? 6.1. Los meses del ao 6.2. A= {1, 2, 3, ...,99, 100} 6.3. Las personas que viven en la Tierra. 6.4. B= {x/x es par} 6.5. C = {1, 2, 3, ....} Ejercicio 7.- Entre los conjuntos que siguen cules son diferentes? , {0}, { }

Ejercicio 8.- Dado A = {x, y, z}, cuntos subconjuntos hay en a y cules son. lgebra y Geometra I

18

Ejercicio 9.- Demostrar que A = {2, 3, 4, 6} no es subconjunto de B = {x/x es par} Ejercicio 10.-Sea A ={r, s, t, u, v, w,}, B = {u, v, w, x, y, z}, C = {s, u, y, z}, D = {u,v}, E = {s. u}, F ={s}. Sea X un conjunto desconocido. Determine cules de los conjuntos A, B, C, D, E, F pueden ser iguales a X si se dan las informaciones siguientes: (1) X A y X B (2) X B y X C (3) X A y X C (4) X B y X C Ejercicio 11.- Sea A B y B C. Suponiendo a Cules afirmaciones sern ciertas: 11.1. a C 11.2. b A 11.4. d B 11.5. e A A, b B, c C y adems, d 11.3. c 11.6. f A A A, e B, f C.

Ejercicio 12.- Considere las cinco afirmaciones siguientes: (1) A B, (2) A = B, (3) A y B son disjuntos, (4) A y B no son comparables. Realice un diagrama de Venn para cada afirmacin. Ejercicio 13.- Escribir por extensin: 13.1. P = {x/x2 - x - 2 = 0} 13.2. Q = {x/x es una letra de la palabra "calcular"} 2 13.3. R = {x/x = 9 x - 3 =5} 13.4. S = {x/x es una vocal} 13.5. T = [x/x es una cifra de 2324} Ejercicio 14.- Halle el conjunto potencia 2s del conjunto S = {1, 3, 4} Ejercicio 15.- .- Halle el conjunto potencia 2s del conjunto S = {3, {1, 4}} Ejercicio 16.- Sea A = {1, 2, 3, 4}, B = {2, 4, 6, 8}, C = {3, 4, 5, 6}. Hallar : 16.1 A B 16.2. (A B) C 16.3 A C 16.4. (A B) C 16.5. A B 16.6 B A 16.7 (A B) C 16.8. (A C) B 16.9. (B C) Ejercicio 17.- Demostrar que (A B) Ejercicio 18.- Demostrar (A B) A

B=

Ejercicio 19.- Demostrar la propiedad asociativa para la interseccin. Ejercicio 20.- Demostrar la propiedad de De Morgan ( A B) = A B

Ejercicio 21.- Demostrar la conmutatividad para la diferencia. Ejercicio 22.-Determinar si los siguientes razonamientos son vlidos, utilizando la tcnica de los diagramas de Venn. 1.1. Todo caballo es veloz Pegaso es un caballo Pegaso es veloz 1.2. Todo nio es activo Pedrito es un nio Pedrito es activo

1.3.

Ningn hombre rico es un vagabundo Todos los abogados son hombres ricos Por lo tanto, ningn abogado es un vagabundo lgebra y Geometra I

19

1.4.

Todos los mamferos son animales de sangre caliente Ningn lagarto es un animal de sangre caliente Por lo tanto, ningn lagartos es mamferos Todos los ciudadanos son residentes Todos los votantes son ciudadanos Por lo tanto, todos los votantes son residentes Todos los ciudadanos son residentes Todos los votantes son ciudadanos Por lo tanto, todos los votantes son residentes

1.5.

1.6.

1.7. Los violinistas tienen sensibilidad artstica Todos los msicos tienen sensibilidad artstica Todos los violinistas son msicos 1.8. Todos los campesinos cultivan la tierra Algunos campesinos no obtienen buenas cosechas Algunos de los que cultivan la tierra no obtienen buenas cosechas 1.9. Todos los gatos saltan Ninguna tortuga salta Ninguna tortuga es un gato 1.10 Los maestros son docentes Los docentes son profesionales Los profesionales son maestros 1.11. Ningn elefante es gil Algunos perros son giles Algunos perros no son elefantes

1.12. Los tucanes viven en zonas tropicales Ningn carnvoro que vive en zonas tropicales es un tucn Ningn tucn es un carnvoro 1.13. Las rosa verdes son perfumadas Las rosa verdes no son perfumadas No hay rosas verdes 1.14. Las flores rojas son perfumadas Las flores perfumadas son rojas Todas las flores son rojas 1.15. Los galgos son perros Los perros son vertebrados Ningn vertebrado vuela Ningn galgo vuela

Ejercicio 23.- Resuelva los siguientes problemas de conteo aplicando diagramas de Venn 23.a.- Tenemos un grupo de 40 personas de las cuales: algunas estudian o trabajan, algunas no estudian ni trabajan. Nos dicen que: Hay 15 personas que no estudian ni trabajan. 10 personas que estudian. lgebra y Geometra I

20 3 personas que estudian y trabajan. Cuntas trabajan? Cuntas solo trabajan? Cuntas solo estudian? 23.b.- En la edicin de un libro han resultado 120 ejemplares con fallas: fallas en el papel, fallas de impresin o fallas de encuadernacin. Si se sabe que: 68 libros tienen la primera falla por lo menos (pueden tener otras). 32 libros tienen la segunda falla por lo menos, 40 libros tienen la primera falla solamente, 5 libros tienen la primera y segunda falla, pero no la tercera, 17 1ibros tienen las fallas seguridad y tercera pero no la primera 4 libros tienen las tres fallas. , Cuantos libros tienen solo la tercera falla? Cuantos tienen la tercera falla, por lo menos? En este caso todos los libros del conjunto inicial tienen alguna falla. 23..c.- 100 personas respondieron a un cuestionario formado por 3 preguntas. Cada pregunta deba contestarse por s o por no y una sola de estas respuestas era correcta. Si sabemos que: 8 personas contestaron bien las tres preguntas, 9 personas contestaron bien solo la primera y la segunda, 11 personas contestaron bien solo 1a primera y 1a tercera, 6 personas contestaron bien solo la segunda y la tercera, 55 personas contestaron bien 1a primera pregunta, por lo menos, 32 personas contestaron bien la segunda pregunta, por lo menos, 49 personas contestaron bien 1a tercera pregunta, por lo menos, Cuantas personas no contestaron ninguna pregunta? 23.d.- En una academia de idiomas se imparten clases ingls, francs y alemn. En el curso actual 70 alumnos estudian al menos ingls, 57 francs y 50 alemn, 22 ingls y francs, 15 ingls y alemn, 12 francs y alemn y cuatro estudian los tres idiomas. Cuntos alumnos estudian nicamente ingles? Cuntos alumnos estudian un nico idioma? 23.e- En una escuela 150 alumnos han rendido 3 exmenes. De ellos, 60 aprobaron el primero, 70 el segundo y 50 alumnos el tercer examen; 30 aprobaron los dos primeros, 25 el primero y el tercero, 15 el segundo y el tercero, adems, 10 alumnos aprobaron los 3 exmenes. Cuntos alumnos: a) no aprobaron ningn examen? b) Aprobaron slo el primer examen? c) Aprobaron slo dos exmenes? d) Aprobaron slo un examen? 23.f.- Se encuest a 100 personas sobre sus preferencias televisivas en relacin a los canales A y B. Los resultados fueron: 65 no ven el canal A, 45 no ven el canal B y 50 de ellos ven el canal A o B pero no ambos. Determine la cantidad de encuestados que ven ambos canales. lgebra y Geometra I

21 23.g.- Entre 100 personas se reparte un cierto nmero de fichas azules, blancas y rojas, 45 personas reciben fichas rojas, otras 45 personas fichas blancas, 60 personas reciben fichas azules, 15 reciben blancas y rojas, 25 reciben blancas y azules, 20 reciben rojas y azules y reciben los tres colores. Cuntas personas no reciben fichas? Ejercicio 24.- En un universo de 45 elementos se consideran tres conjuntos A, B, C tales que: A n((A C= B , B C= , n(A B) = 4, n(B C) = 12. c) n(B - A) d) n((B A) C) n(C b) = 10,

C)c) = 16, b) n(B)

Calcule: a) n(A)

Ejercicio 25.- Una encuesta acerca de las preferencias de 180 personas sobre tres marcas A, B, C arroj los siguientes resultados n((B C)-A) = 25, n(A B)=15, n((A C)-B)=20 n(((A B)-C)c)=175 n((A B C)c)=40 n(A-B) =50

n(C-(A B))=35

Determine el nmero de personas que : a) compran solo B b) compran slo dos marcas c) no compran de las marcas consultadas

Bibliografa consultada Introduccin a la teora de conjuntos La Oubia - EUDEBA Teora de Conjuntos Fernando Hernndez Hernndez Sociedad Matemtica Mexicana Teora de Conjuntos y Temas Afines Seymour Lipschutz McGraw - Hill Algebra I Armando O. Rojo El Ateneo

lgebra y Geometra I