Teora de Conjuntos

Fernando Flores Bazn

fores@ubiobio.cl

Universidad del Bo Bo-Facultad de Ciencias Departamento de Matemtica Carrera de Ingeniera Comercial

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

1 / 17

Contenido

Introduccin Conjuntos Tipos de conjuntos Operaciones con Conjuntos Propiedades de operaciones con conjuntos Conjunto potencia y producto cartesiano

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

2 / 17

Introduccin

Breve Historia George Cantor es a quin se le atribuye el padre en desarrollar la teora de conjuntos, dicha teora logra aclarar con precisin tantas materias matemticas como la teora de probabilidades, la topologa, teora de grupos.

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

3 / 17

Conjuntos

Denicin
1

Conjunto es una coleccin de objetos bien denidas, se representa por las letras maysculas A, B, etc., a los elementos del conjunto se representan por las letras minsculas a, b, etc. Los conjuntos se pueden representar de dos formas: Por extensin que determina al conjunto nombrndolo a todos sus elementos. Por comprensin que determina al conjunto identicndolo por una propiedad comn a ellos. Conjunto nito es aquel que tiene un nmero nito de elementos. Conjunto innito es aquel que tiene un nmero innito de elementos.
right-logo

left-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

4 / 17

Conjuntos

Tipos de conjuntos

Denicin
1

El nmero de elementos de un conjunto A se llama cardinalidad de dicho conjunto A, se denota por Card (A) o |A| Dos conjuntos A y B son equipotentes si tienen el mismo nmero de elementos. Un conjunto A que no tiene elementos se llama conjunto vaco , se denota por {}, o . Se llama conjunto unitario aquel que tiene un elemento. Conjunto universal es aquel que est formado por todos los elementos del universo.

4 5

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

5 / 17

Conjuntos

Tipos de conjuntos

Denicin
1

Se dice que A es subconjunto de B si todo elemento de A es tambin elemento de B, se denota por A B Si B A y si A B entonces A y B no son comparables Si A B pero A = B se dice que A es subconjunto propio de B. Si los conjuntos A y B no tienen elementos en comn se se dice que A y B son disjuntos

2 3 4

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

6 / 17

Operaciones con Conjuntos

Complemento de un conjunto Se dene Complemento del conjunto A como AC = {x U : x / A} U AC A

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

7 / 17

Operaciones con Conjuntos

Unin de conjuntos Se dene unin de dos conjuntos A y B como A B = {x U : x A x B}

A
left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

8 / 17

Operaciones con Conjuntos

Interseccin de Conjuntos Se dene interseccin de dos conjuntos A y B como A B = {x U : x A x B} U

AB A
left-logo

B
right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

9 / 17

Operaciones con Conjuntos

Diferencia de Conjuntos Se dene Diferencia de dos conjuntos A y B como A \ B = A B = {x : x A x / B}

A
left-logo

B
right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

10 / 17

Operaciones con Conjuntos

Diferencia Simtrica de Conjuntos Se dene Diferencia Simtrica de dos conjuntos A y B como AB = {x : x A B} = (A B) (A B) = (A B) (B A)

A
left-logo

B
right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

11 / 17

Operaciones con Conjuntos

Propiedades de operaciones con conjuntos

Leyes Leyes idempotentes (i) A A = A Leyes asociativas (i) (A B) C = A (B C) (ii) (A B) C = A (B C) Leyes conmutativas (i) A B = B A Leyes distributivas (i) A (B C) = (A B) (A C) (ii) A (B C) = (A B) (A C)
left-logo right-logo

(ii) A A = A

(ii) A B = B A

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

12 / 17

Operaciones con Conjuntos

Propiedades de operaciones con conjuntos

Leyes Leyes de identidad y de absorcin (i) A 0 / =A (iii) A U = U Ley involutiva (i) (Ac )c = A Leyes del complementario (i) A Ac = U (iii) U c = 0 / Leyes De Morgan (i) (A B)c = Ac Bc
left-logo

(ii) A U = A (iv) A 0 / =0 /

(ii) A Ac = 0 / (iv) 0 /c = U (ii) (A B)c = Ac Bc

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

13 / 17

Conjunto potencia y producto cartesiano

Denicin
1

Para un conjunto A la cardinalidad de A se dene como el nmero de elementos de A y se denota por card (A) |A|. Una familia de conjuntos es un conjunto cuyos elementos son conjuntos. Sea A cualquier conjunto se dene conjunto potencia A a la familia de conjuntos formado por todos los subconjuntos de A se denota por P (A) P (A) = {X : X A} La cardinalidad del conjunto P (A) de un conjunto nito es 2n donde n es la cardinalidad de A.
right-logo

left-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

14 / 17

Conjunto potencia y producto cartesiano

Cardinalidad de conjunto

Propiedades
1 2 3

Si A B card (A) card (B) card (A B) = card (A) + card (B) card (A B)

card (A B C) = card (A) + card (B) + card (C) card (A B) card (A C) card (B C) + card (A B C)

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

15 / 17

Conjunto potencia y producto cartesiano

Denicin
1

Un par ordenado es de la forma (a, b) donde a es la primera component y b es la segunda componente, formalmente se dene como (a, b) = {{a}, {a, b}} Dados los conjuntos A, B se dene producto cartesiano A B al conjunto A B = {(a, b) : a A b B}

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

16 / 17

Conjunto potencia y producto cartesiano

Teorema
1 2 3 4 5 6 7 8

Si A B P (A) P (B) Si B A B P (A) Si A = B P (A) = P (B) P (A B) = P (A) P (B) P (A) P (B) P (A B) M A N B = M N A B A (B C) = (A B) (A C) A (B C) = (A B) (A C)

left-logo

right-logo

Fernando Flores Bazn (fores@ubiobio.cl)

Teora de Conjuntos

18-29 Marzo

17 / 17