Vous êtes sur la page 1sur 27

IN1001C - Algebra

Carrera: Ingeniera Civil Elctrica

Ricardo Monge (UCSC)

Algebra

March 19, 2012

1 / 27

IN1001C

Conjuntos
La teora de conjuntos gira en torno a la funcin proposicional x A. Los valores que hacen verdadera la funcin proposicional x A son aquellos elementos que forman el conjunto A. La funcin proposicional x A se lee x pertenece a A. Su negacin, que se denota por x / A se lee x no pertenece a A. Ejemplo Si queremos que el conjunto A sea el de los nmeros primos menores que 10 entonces tendramos que denirlo formalmente as: (x )[(x A) (x = 2 x = 3 x = 5 x = 7)] Los conjuntos nitos son fciles de denir. De hecho, acabamos de mostrar cmo se dene el conjunto que se denota por extensin por A = {2, 3, 5, 7}
Ricardo Monge (UCSC) Algebra March 19, 2012 2 / 27

IN1001C

Algunos ejemplos
En matemtica se construyen nuevos conjuntos a partir de conjuntos ya conocidos. Supongamos que ya conocemos el conjunto A. Podemos denir, B = {x A : p (x )}. Lo que en el fondo estamos deniendo es la funcin proposicional x B , luego (x )(x B ) (x A p (x ))

Ejemplos
1 2 3 4 5

Los reales R Los enteros Z


p Los racionales Q = x R : x = q , con p Z, q Z, q = 0

Los irracionales Qc = {x R : x / Q}. Los naturales N = {1, 2, 3, . . .}


Ricardo Monge (UCSC) Algebra March 19, 2012 3 / 27

IN1001C

Conjuntos
Notacin
1 2

Los conjuntos se denotarn con letras maysculas: A, B , . . . Los elementos se denotarn con letras minsculas: a, b , . . .

Deniremos el conjunto vaco, el cual denotamos , del siguiente modo: Conjunto vaco = {x N : x = x } Notamos que no tiene elementos. Es decir, (x )(x / ). Asumiremos la existencia de un conjunto universo U en el que viven todos los elementos con los que se va a trabajar. Es decir, U es tal que la proposicin x U es siempre verdadera.
Ricardo Monge (UCSC) Algebra March 19, 2012 4 / 27

IN1001C

Conjuntos
Observacin Dado un x U y un conjunto A: x A x / A? Si esta pregunta puede responderse siempre, entonces se dice que A est bien denido. Maneras de denir un conjunto Por extensin, vale decir mostrando los elementos de A. Ejemplo A = N = {1, 2, 3, . . .} Por comprensin, esto es dando una propiedad (o funcin proposicional) que caracterice a los elementos del conjunto. Ejemplo Q =
Ricardo Monge (UCSC)

x R:x =

p , con p Z, q Z, q = 0 q
March 19, 2012 5 / 27

Algebra

IN1001C

Igualdad e inclusin
Sean A y B conjuntos. Denimos la igualdad y la inclusin como sigue: Igualdad e inclusin A = B (x U )(x A x B ) A B (x U )(x A = x B ) Propiedad Sean A y B conjuntos. Se tiene que: A = B A B B A

Ricardo Monge (UCSC)

Algebra

March 19, 2012

6 / 27

IN1001C

Igualdad e inclusin

Propiedades Sean A, B , C conjuntos arbitrarios. Se tiene:


1 2 3 4 5 6 7

A=A A = B B = A (A = B B = C ) = A = C AA (A B B A) = A = B (A B B C ) = A C A

Ricardo Monge (UCSC)

Algebra

March 19, 2012

7 / 27

IN1001C

Conjuntos

Conjuntos de las partes de un conjunto dado Dado un conjunto A, se dene el conjunto de las partes de A, y se denota P (A), como el conjunto de todos los subconjuntos de A, esto es: P (A) := {X : X A} Notar que i) los elementos de P (A) son conjuntos. ii) P (A) = ya que , A P (A).

Ricardo Monge (UCSC)

Algebra

March 19, 2012

8 / 27

IN1001C

Unin de conjuntos
La unin de A con B que se denota A B , es el conjunto que rene a los elementos que estn en A con los elementos que estn en B. Formalmente: Unin (x U )[(x A B ) (x A x B )] AB

Ricardo Monge (UCSC)

Algebra

March 19, 2012

9 / 27

IN1001C

Diagramas de Venn
Un diagrama de Venn, como el presentado en la lmina anterior, es una ilustracin que muestra la relacin matemtica o lgica entre conjuntos.

Figure: Diagrama de Venn para tres conjuntos.


Ricardo Monge (UCSC) Algebra March 19, 2012 10 / 27

IN1001C

Diagramas de Venn

Los diagrama de Venn fueron introducido por el lsofo y matemtico Jhon Venn (1834-1923) el ao 1881. Los diagramas de Venn cumplen el rol de ayudarnos a desarrollar una intuicin frente al concepto de conjunto y a las relaciones entres estos. Sin embargo no podemos usarlos para demostrar propiedades, ni para sacar conclusiones generales (que se apliquen a todo conjunto).

Ricardo Monge (UCSC)

Algebra

March 19, 2012

11 / 27

IN1001C

Interseccin de conjuntos
La interseccin de A con B , que se denota A B , es el cojunto formado por los elementos que estn en A como en B . Formalmente: Interseccin (x U )[(x A B ) (x A x B )] AB

Ricardo Monge (UCSC)

Algebra

March 19, 2012

12 / 27

IN1001C

Unin e intreseccin I

Propiedad Sean A, B conjuntos tales que A B . Entonces A B = B y A B = A.

Ricardo Monge (UCSC)

Algebra

March 19, 2012

13 / 27

IN1001C

Unin e intreseccin II
Propiedades Sean A, B , C , conjuntos, se tiene:s 1 Conmutatividades
1 2 2

A B = B A. A B = B A. A (B C ) = (A B ) C A (B C ) = (A B ) C A (B C ) = (A B ) (A C ) A (B C ) = (A B ) (A C ) AB A AB AB B AB

Asociatividades
1 2

Distributividades
1 2

1 2

Ricardo Monge (UCSC)

Algebra

March 19, 2012

14 / 27

IN1001C

Conjunto Universo I

Recordemos que hemos asumido la existencia de un universo U . Corolario Sean A, B conjuntos y sea U el conjunto universo.
1 2 3 4 5 6

AA = A AA = A A = A A = AU = U AU = A

Ricardo Monge (UCSC)

Algebra

March 19, 2012

15 / 27

IN1001C

Conjunto Universo II

Importante El conjunto universo es un conjunto de referencia, es decir habr veces que tomaremos U = R, u otras U = Z, etc.

Ricardo Monge (UCSC)

Algebra

March 19, 2012

16 / 27

IN1001C

Diferencia y complemento
Supongamos que tenemos un conjunto de referencia U . Denimos el complemento de un conjunto A, que notaremos Ac , como aquel formado por todos los elementos que no estn en A. Formalmente, Conjunto complemento (x U )(x Ac x U x / A) Es decir, (x )(x Ac x / A) Ejemplo Si U = Z, entonces si consideramos A = {x Z : x es par}, obviamente Ac = {x Z : x es impar}

Ricardo Monge (UCSC)

Algebra

March 19, 2012

17 / 27

IN1001C

Diferencia y complemento
Denimos la diferencia entre A y B , que denotamos A B (o tambin A \ B ), como el conjunto formado por los elementos que estn en A y que no estn en B . Formalmente, Diferencia A B = A Bc AB

Ricardo Monge (UCSC)

Algebra

March 19, 2012

18 / 27

IN1001C

Diferencia y complemento

Propiedades Sean A y B conjuntos 1 Leyes de De Morgan


1 2 2 3 4 5

(A B )c = Ac B c (A B )c = Ac B c

(A B ) (B c Ac ) (Ac )c = A A Ac = U A Ac =

Ricardo Monge (UCSC)

Algebra

March 19, 2012

19 / 27

IN1001C

Diferencia simtrica
Un elemento x se dice que pertenece a la diferencia simtrica entre A y B , que se denota AB , si y solamente si x est en A, pero no en B , o bien en B , pero no en A. Formalmente Diferencia simtrica AB = (A B ) (B A) A B

Ricardo Monge (UCSC)

Algebra

March 19, 2012

20 / 27

IN1001C

Diferencia Simtrica

Propiedades Sean A, B , C conjuntos


1 2 3 4 5 6

AB = (A B ) (A B ) A B = B A (AB )C = A(B C ) A A = A = A (A (B C )) = (A B )(A C )

Ricardo Monge (UCSC)

Algebra

March 19, 2012

21 / 27

IN1001C

Pares ordenados

Notemos que los conjuntos {a, b } y {b , a} son iguales. Queremos introducir un objeto que distinga el orden de los elementos. La solucin es la siguiente: Basta con denir los pares ordenados as: (a, b ) = {{a}, {a, b }}. La propiedad fundamental de los pares ordenados es la siguiente: Propiedad Para todo a, b , x , y se tiene (a, b ) = (x , y ) a = x b = y

Ricardo Monge (UCSC)

Algebra

March 19, 2012

22 / 27

IN1001C

Producto Cartesiano

Sean A, B conjuntos. Se dene el producto cartesiano de A con B , que se denota A B , del siguiente modo: Producto cartesiano (x , y )[(x , y ) A B x A x B ] Propiedades Sean A, A , B , B , C , D conjuntos.
1 2

A A B B = A B A B (A B ) (C D ) = (A C ) (B D )

Ricardo Monge (UCSC)

Algebra

March 19, 2012

23 / 27

IN1001C

Producto Cartesiano
Dados n conjutos no vacos A1 , A2 , . . . , An , se dene el Producto Cartesiano entre ellos, el cual se denota por A1 A2 An , como el conjunto de todas las n-uplas ordenadas (a1 , a2 , . . . , an ) tales que ai Ai para cada i {1, . . . , n}, es decir, A1 A2 An = {(a1 , a2 , . . . , an ) : ai Ai , i {1, . . . , n}}

Ejemplo R R R = {(x1 , x2 , x3 ) : x1 R x2 R x3 R} es el producto cartesiano entre A1 , A2 y A3 , con Ai = R, y se denota por R3 .


Ricardo Monge (UCSC) Algebra March 19, 2012 24 / 27

IN1001C

Particin de un conjunto

Particin de un conjunto Sean A1 , A2 , . . . , An subconjuntos de un conjunto B . Diremos que {A1 , A2 , . . . , An } es una particin de B si estos conjuntos son no vacos, disjuntos dos a dos y su unin es el cojunto B , es decir: Ai = para cada i {1, . . . , n}. Ai Aj = para cada i = j .
n

Ai = B .
i =1

Ricardo Monge (UCSC)

Algebra

March 19, 2012

25 / 27

IN1001C

Cardinalidad de conjuntos nitos

Cardinalidad El nmero de elementos de un conjunto nito A se llama cardinalidad de A y se denota por |A| o por Card(A) o por (A). En particular, si Card(A) = n, entonces Card(P (A)) = 2n .

Ricardo Monge (UCSC)

Algebra

March 19, 2012

26 / 27

IN1001C

Cardinalidad de cojuntos nitos

Propiedades
1 2

Si A y B son conjuntos disjuntos, entonces |A B | = |A| + |B |. Si A y B son conjuntos arbitrarios, entonces |A B | = |A| + |B | |A B |. Si A, B y C son conjuntos arbitrarios, entonces

|A B C | = |A| + |B | + |C | |A B | |A C | |B C | + |A B C |

Ricardo Monge (UCSC)

Algebra

March 19, 2012

27 / 27