Unidad 2 Teoria de Conjuntos

Teoría de Conjuntos
Unidad II
Universidad de Carabobo – FaCyT – Departamento de Computación

Definición de Conjunto
• Un conjunto es una agrupación o colección bien
definida de objetos con características similares,
Definición
donde cada objeto es un elemento o miembro del
conjunto.
Notaciones
Pertenencia • Un conjunto es una colección desordenada de

objetos con una propiedad en común.
Cardinalidad
Conj. Universal
Conj. Vacío
Pelotas Instrumentos Creyones

16/05/18 Elementos Discretos. 200 2
7-2008
Notaciones
• Conjunto: Lo denotaremos con letras mayúsculas
(A, B, C, …) o enumerando todos los miembros del
Definición
conjunto cuando esto sea posible. Para los
elementos del conjunto deben estar separados por
Notaciones
comas “,” y delimitados por llaves “{ }”.
Pertenencia
• Ejemplo:
Cardinalidad
Conj. Universal El conjunto de las vocales del

alfabeto se puede escribir como:
Conj. Vacío A = {a, e, i, o, u}

7-2008
Notaciones
• Elementos de un Conjunto: Se denotan con letras
minúsculas, a menos que dichos elementos sean a
Definición
su vez conjuntos (Familias de conjuntos).
Notaciones
• Ejemplo:
Pertenencia
Cardinalidad
A = {a, e, i, o, u}
Conj. Universal
Conj. Vacío
‘o’ es un elemento del conjunto A.

7-2008
Pertenencia
• Sea x un elemento cualquiera, A y B dos conjuntos
cualesquiera un conjunto.
Definición Sea A = {1, 2, 3}
Notaciones Si x es un elemento de A,
se dice que x pertenece a A
Pertenencia y se denota como: 1∈A
Cardinalidad x ∈ A.
Conj. Universal Si x no es un elemento de

A, se dice que x no
Conj. Vacío pertenece a A, y se denota pero ¬(4∈A) o 4∉A
como:
¬(x ∈ A) o x ∉ A.

7-2008
Cardinalidad
• Sea A un conjunto. Si hay exactamente n elementos
distintos en A, donde n es un numero entero no
Definición
negativo, decimos que A es un Conjunto Finito y n
es el cardinal de A.
Notaciones
Pertenencia • Se denota como |A|
Cardinalidad Si A es un conjunto finito, entonces: |A| = n con n∈N
Conj. Universal Si A es un conjunto infinito, entonces: |A| = ∞

Conj. Vacío
Ejemplos: A = { 1, 2, 3 } ⇒ |A| = 3
B = { 1, 2, 3, … } = N ⇒ |B| = ∞

7-2008
Conjunto Universal
• Es aquel conjunto del cual se toman los elementos
para describir un conjunto particular de interés.
Definición
Notaciones • El conjunto universal se denota convencionalmente

por la letra U.
Pertenencia
Cardinalidad
• Ejemplo:
Conjunto particular de interes
Conj. Universal A = { a, e, i, o, u}
Conj. Vacío
U es el conjunto de las letras del Abecedario

7-2008
Conjunto Vacío
• Se define como el conjunto que no tiene elementos,
el cual se denota como ∅ .
Definición
Notaciones • De esta definición podemos deducir que

∅ = { } y además, |∅ |= 0.
Pertenencia
Cardinalidad • Así, cada elemento que pertenece al universo no

pertenece al vacío:
Conj. Universal ∀ x [x ∈ U → x ∉ ∅ ]
Conj. Vacío U = {a, b. c, d, e, …,z}
∅={}

7-2008
Descripción de un Conjunto
1) Por Extensión
Consiste en dar explícitamente los elementos que
Descripción pertenecen al conjunto, esto es, enumerar los
elementos del conjunto.
Diag. de Venn
Igualdad 2) Por Comprensión

Consiste en dar una especificación implícita de los
Inclusión elementos del conjunto mediante una función
proposicional y una variable libre.
Propiedades El conjunto así descrito, se define tomando aquellos
elementos del universo del discurso que hacen la
Operaciones función proposicional verdadera.
A = { x / x ∈ U ∧ P(x) }

7-2008
Descripción de un Conjunto
Ejemplos
1) Por Extensión
Descripción
Las vocales A = { a, e, i, o, u}
Diag. de Venn
Los números Naturales B = { 1, 2, 3, 4, …}
Igualdad
2) Por Comprensión
Inclusión
Las vocales U = {a, b, c, d, e, f, g, h, i, ..., z}
Propiedades
A = { x/x ∈ U ∧ x es una vocal } ⇒ A = {a, e, i, o, u}
Operaciones
Los números Naturales
B = { x/x ∈ N }

7-2008
Diagrama de Venn
• Son esquemas que nos permiten hacer la
representación gráfica de los conjuntos.
Descripción
• El conjunto universo U, se representa por un
Diag. de Venn
rectángulo o por un cuadrado.
Igualdad
Inclusión U
Propiedades
Operaciones

7-2008
Diagrama de Venn
• Los conjuntos que se encuentran en el universo, se
representan por líneas curvas cerradas.
Descripción
• De este modo los elementos de un conjunto dado se
Diag. de Venn
pueden colocar dentro del área demarcada por la
línea cerrada que define al conjunto.
Igualdad
Inclusión
l w A q U
j d
g c a
Propiedades b s
e i t
z x r f
Operaciones n o ñ
v h u p y
m k

7-2008
Igualdad de Conjuntos
• Dos conjuntos A y B son iguales si y sólo si tienen
los mismos elementos. Formalmente esto es:
Descripción
Diag. de Venn
A=B ↔ ∀ x [x ∈ A ↔ x ∈ B]
Igualdad
l w A q U
j B d
g c a
Inclusión b s
e i t
z x r f
Propiedades n o ñ
v h u p y
m k
Operaciones
Todo elemento de A es elemento de B y
Todo elemento de B es elemento de A

7-2008
Inclusión de Conjuntos
• El conjunto A se dice que es subconjunto de B si, y
solo si, todo elemento de A es elemento de B y se
Descripción denota como A ⊆ B.
Diag. de Venn
• Formalmente:
Igualdad A ⊆ B ↔ ∀ x [x ∈ A → x ∈ B]
A U
Inclusión j l A B q
c w a
g
t b d
Propiedades e i
z x r f
n o
Operaciones u ñ
h p s y
v
m k

7-2008
Inclusión Propia de Conjuntos
• Sean A y B conjuntos. Se dice que A es subconjunto
propio de B, y se denota A ⊂ B, si sólo si, todo
Descripción elemento de A es elemento de B y existe al menos
un elemento de B que no es elemento de A.
Diag. de Venn • Formalmente:
A ⊂ B ↔ {∀ x [x∈ A → x∈ B] ∧ ∃ x [x∈ B ∧ x∉ A] }
Igualdad
Inclusión q
U
j l A B
c w a
g
t b d
Propiedades e i
z x r f
n o
Operaciones u ñ
h p s y
v
m k

7-2008
Propiedades de los Conjuntos
TEOREMA 1
Sean A, B subconjuntos de U.
Descripción
Entonces A = B si y sólo si A ⊆ B y B ⊆ A.
Diag. de Venn A = B ↔ [(A ⊆ B) ∧ (B ⊆ A)]
Igualdad TEOREMA 2
Para cualquier conjunto A, se cumple que ∅ ⊆ A.
Inclusión
Propiedades TEOREMA 3
Sean A, B y C subconjuntos de U.
Operaciones Si A ⊆ B y B ⊆ C entonces A ⊆ C
[(A ⊆ B) ∧ (B ⊆ C)] → A ⊆ C

7-2008
Operaciones con Conjuntos
Sean dos conjuntos A y B (A ⊆ U y B ⊆ U).
Descripción
U
Diag. de Venn A B
Igualdad
Inclusión
Propiedades
Operaciones Se definen las siguientes operaciones entre los

conjuntos
AyB

7-2008
UNIÓN (A ∪ B)
• La unión de A y B se define como el conjunto de los
Descripción elementos que pertenecen a A o a B o a ambos
conjuntos a la vez.
Diag. de Venn
Igualdad • El operador de la unión se denota como “∪ ”.

U
Inclusión A B
Propiedades
Operaciones
A∪ B

7-2008
La unión de A y B se define formalmente como:
Descripción A∪ B = {x / x∈U ∧ (x∈Α ∨ x∈B)}

Diag. de Venn También se puede decir:
Igualdad ∀x [ x∈(A∪ B) ↔ (x∈A ∨ x∈B) ]
Inclusión
A B U
Propiedades
Operaciones
A∪ B

7-2008
INTERSECCIÓN A ∩ B
• La intersección de A y B se define como el conjunto
Descripción de los elementos que pertenecen a ambos
conjuntos a la vez.
Diag. de Venn
• El operador de la intersección se denota como “∩ ”
Igualdad U
A A B B
Inclusión
Propiedades
Operaciones
A∩ B
Los conjuntos A y B cuya intersección resulte vacía
(A ∩ B = ∅) se llaman conjuntos disjuntos
7-2008
La intersección de A y B se define formalmente como:
Descripción A∩ B = {x / x∈U ∧ ( x∈A ∧ x∈B)}

Igualdad ∀x [ x∈(A∩ B) ↔ (x∈A ∧ x∈B) ]
Inclusión
U
A B
Propiedades
Operaciones
A∩ B
7-2008
COMPLEMENTO (A, Ac)
• Para cualquier conjunto A (A⊆ U), el complemento
Descripción
de A, se define como el conjunto de los elementos
que pertenecen a U y no pertenecen a A.
Diag. de Venn
• El complemento de A se denota como: ∼ A, ¬A,A,
Igualdad
Ac
A U
Inclusión
Propiedades
Operaciones
Ac

7-2008
El complemento de A se define formalmente como:
Descripción A = {x / x∈U ∧ x∉A}

Igualdad ∀x [x ∈ A ↔ x∉A)]
Inclusión
A U
Propiedades
Operaciones
Ac

7-2008
DIFERENCIA (A - B)
• La diferencia de dos conjuntos A y B es el conjunto
Descripción
de todos los elementos de A que no pertenecen a B.
Diag. de Venn • El operador de la diferencia se denota como: “–”
Igualdad U
A B
Inclusión
Propiedades
Operaciones
A- B

7-2008
La diferencia de A y B se define formalmente como:
Descripción A – B = {x / x∈U ∧ ( x∈A ∧ x∉B)}

Igualdad ∀x [ x∈(A – B) ↔ (x∈A ∧ x∉B) ]
Inclusión
U
A B
Propiedades
Operaciones
A- B
7-2008
DIFERENCIA SIMÉTRICA (A ∆ B)
• La diferencia simétrica de dos conjuntos A y B es el
Descripción conjunto de los elementos que pertenecen a A o
pertenecen a B menos los elementos que
Diag. de Venn pertenecen a la intersección de A y B.
• El operador de la diferencia simétrica se denota
Igualdad
como: ∆
Inclusión
U
A B
Propiedades
Operaciones
A∆ B

7-2008
La diferencia simétrica de A y B se define formalmente
como:
Descripción
A ∆ B = {x / x∈U ∧ [x∈(A∪ B) ∧ x∉(A∩ B)]}
Diag. de Venn
También se puede decir:
Igualdad
Inclusión ∀x [x∈(A ∆ B) ↔ ((x∈A ∨ x∈B) ∧ ¬(x∈A ∧ x∈B))]
Propiedades A B U
Operaciones
A∆ B

7-2008
Algunas Relaciones
Descripción Si A y B son subconjuntos de U (A⊆ U y B⊆ U), entonces:

(A∪ B) ⊆ U, (A∩ B) ⊆ U, (A – B) ⊆ U, (A ∆ B) ⊆ U,A ⊆ U
Diag. de Venn
Igualdad (a) |A ∪ B| = |A| + |B| – |A∩ B|

(b) A – B = A ∩ B
Inclusión (c1) A ∆ B = (A ∪ B) – (A ∩ B)
(c2) A ∆ B = (A – B) ∪ (B – A)
Propiedades
(c3) A ∆ B = (A ∪ B) ∩ (A ∩ B)
Operaciones (c4) A ∆ B = (A ∩ B) ∪ (B ∩ A)
(d) A = U – A

7-2008
Leyes de la Teoría de Conjuntos
01 A∪ B=B∪A Ley conmutativa de la ∪.
A∩ B=B∩A Ley conmutativa de la ∩.
Leyes 02 A∪ (B ∪ C) = (A ∪ B) ∪ C Ley asociativa de la ∪.
A∩ (B ∩ C) = (A ∩ B) ∩ C Ley asociativa de la ∩.
Ley distributiva de la ∪ respecto de la ∩ por
Familia de Conj. 03
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) la izquierda.
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Ley distributiva de la ∩ respecto de la ∪ por
la izquierda.
Conj. Indexado 04 A ∪ (A ∩ B) = A Ley de absorción de la ∪.
A ∩ (A ∪ B) = A Ley de absorción de la ∩.
(A ∪ B)c = Ac ∩ Bc Ley de De Morgan de la ∪.
Conj. Potencia 05
(A ∩ B)c = Ac ∪ Bc Ley de De Morgan de la ∩.
06 A∪A=A Ley de idempotencia de la ∪.
A∩A=A Ley de idempotencia de la ∩.
Conj. Partición
A∪ U=U
07 A∪ ∅=A Leyes de identidad de la ∪ y de la ∩.
Prod. Cartesiano A∩ U=A
A∩ ∅=∅
08 A ∪ Ac = U Leyes de complementación de la ∪ y la ∩.
A ∩ Ac = ∅
09 (Ac)c = A Ley de doble complemento.

7-2008
Demostraciones de conjuntos usando las leyes de conjuntos
Demostraciones de conjuntos a nivel de lógica
Contraejemplos en teoría de conjuntos

7-2008
Familia de Conjuntos
• Una Familia de Conjuntos es un conjunto cuyos
elementos son conjuntos.
Leyes
• Ejemplo F= { T, R, C }
Familia de Conj.
F = { { t1, t2, t3 }, { r1, r2 }, { c1, c2, c3 } }
Conj. Indexado
U
T
Conj. Potencia t3
R
t1 r1
F
Conj. Partición t2
r2
Prod. Cartesiano
c3 c2 C
c1

7-2008
Conjunto Indexado
• Si I es un conjunto discreto de índices y para cada
i∈ I se define el conjunto Ai, entonces i es el índice
Leyes de Ai, y
Familia de Conj.
F = { Ai / i∈ I }
Conj. Indexado
es una familia indexada de conjuntos (conjunto
Conj. Potencia indexado), donde I es el conjunto de índices de la
familia. U
Ejemplo A1 A2
Conj. Partición t
F = { A 1, A2, A3 }
1
F t r 2 1
t3 r2
Prod. Cartesiano
F = { Ai / i∈I } c1 c2 A3
c3
I = { 1, 2, 3 }

7-2008
Operaciones en una Familia Indexada de Conjuntos
Con los conjuntos Ai de una familia de conjuntos F, se
pueden realizar dos operaciones:
Leyes
Familia de Conj. Unión Generalizada de Conjuntos: Un elemento x de U

pertenece a la unión de los Ai, si existe al menos un
Conj. Indexado
subconjunto Ai perteneciente a F que contenga a x. Es
decir:
Conj. Potencia  A i = { x / ∃Ai [ Ai ∈ F ∧ x ∈ Ai] }
i∈I
Conj. Partición  A i = { x / ∃i [ i ∈ I ∧ Ai ∈ F ∧ x ∈ Ai] }

i∈I
Prod. Cartesiano
En otras palabras, el hecho de que x pertenezca al
menos a uno de los conjuntos Ai, conlleva n ∞ a que
i∈I ANotaciones:
pertenezca a la unión generalizada. i i =1 A i i=1 A i
7-2008
Operaciones en una Familia Indexada de Conjuntos
Intersección Generalizada de Conjuntos: un elemento x
de U pertenece a la intersección de los A i, si todo
Leyes subconjunto Ai perteneciente a F contiene a x. Es
decir:
Familia de Conj. A = { x / ∀Ai [ Ai ∈ F → x ∈ Ai] }
i
i∈I
Conj. Indexado
A = { x / ∀i [ ( i ∈ I ∧ Ai ∈ F) → x ∈ Ai] }
i∈I
i
Conj. Potencia
Conj. Partición En otras palabras, el hecho de que x pertenezca a

todos los conjuntos Ai, conlleva a que pertenezca a la
Prod. Cartesiano intersección generalizada.
n ∞
A
i∈I
i A
i =1
i A
i =1
i
Notaciones:

7-2008
Conjunto Potencia o Conjunto de las Partes
Para A ⊆ U, el conjunto potencia de A o conjunto de las
partes de A, denotado como P(A), es una familia de
Leyes conjuntos formada por todos los posibles
subconjuntos de A.
Familia de Conj.
Definición:
Conj. Indexado
P(A) = { Ai / Ai ⊆ A, i ∈ I } I = { i / i ∈ N, i ≤ |P(A)| }
Conj. Potencia
Conj. Partición con |P(A)| = 2n, donde |A| = n, n ≥ 0
Prod. Cartesiano

7-2008
Conjunto Partición
Para A ⊆ U, un conjunto partición de A, denotado como
∏ (A), es una familia de conjuntos formada por
Leyes subconjuntos de A, según el siguiente criterio:
Familia de Conj. ∏(A) = { Ai / Ai ⊆ A, i ∈ I }, tal que:
Conj. Indexado 1 .∀i [ i∈I → Ai ≠ ∅ ]

también se puede decir: Ai ≠ ∅ ∀i∈I
Conj. Potencia
2. ∀i∈I ∀j∈I [ i ≠ j → Ai ∩ Aj = ∅ ]
Conj. Partición es decir, Ai ∩ Aj = ∅ ∀i,j∈I, tal que i ≠ j, es decir, Ai y Aj
son subconjuntos disjuntos.
Prod. Cartesiano
3.  A i = A
i∈I

7-2008
Producto Cartesiano o Producto de Conjuntos
Idea intuitiva
Sean A = {a, b, c, d, e, f, g, h} y B = {1, 2, 3, 4, 5, 6, 7, 8}
Leyes
1 2 3 4 5 6 7 8
Familia de Conj. a
b (c, 6)
Conj. Indexado c
d
e
Conj. Potencia
f
g
Conj. Partición h
Prod. Cartesiano Todos estos pares forman el conjunto:

P = { (a, 1), (a, 2), (a, 3), ...,(a, 8), (b, 1), (b, 2), ...,(b, 8), ...,
(h, 1), (h, 2), ..., (h, 8) }
P es el conjunto AxB, el producto de los conjuntos A y B.
7-2008
Leyes
Familia de Conj.
Conj. Indexado
Conj. Potencia
Conj. Partición Posicionamiento en el

globo terráqueo.
Prod. Cartesiano
GPS: Global Positioning
System

7-2008
Definición Preliminar
El conjunto formado por la agrupación de elementos
Leyes pares, donde el primer elemento del par siempre
pertenece a un mismo conjunto A y el segundo, a un
Familia de Conj. mismo conjunto B, y además, que contenga todas las
combinaciones posibles, se llama producto cartesiano
Conj. Indexado AxB. AxB
Conj. Potencia A B
1 a
Conj. Partición 2 b
Prod. Cartesiano 3 c
AxB = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c), (3, a), (3, b), (3, c)}

7-2008
Se puede tener producto cartesiano de un conjunto A
por él mismo: AxA, teniendo pares de la forma (a 1,a2),
Leyes tal que a1, a2 ∈ A.
AxA = A2
Familia de Conj.
A A
Conj. Indexado a1 a1
a2 a2
Conj. Potencia
a3 a3
Conj. Partición
AxA = {(a1, a1),(a1, a2),(a1, a3),(a2, a1),(a2, a2),(a2, a3),(a3, a1),(a3, a2),(a3, a3)}
Prod. Cartesiano
Los elementos de un producto cartesiano se llaman
n-uplas (o n-tuplas)

7-2008
N-Tupla
Se define n-tupla de elementos como cualquier
secuencia de n elementos ordenados, denotada como
Leyes (x1, x2,..., xn).
Familia de Conj. El orden es importante:

(x1, x2,..., xn) ≠ (x2, x1,..., xn)
Conj. Indexado
Conj. Potencia Para ,recibe el nombre de:

n=2 (x1, x2) dupla o par ordenado
Conj. Partición
n=3 (x1, x2, x3) terna
Prod. Cartesiano n=4 (x1, x2, x3, x4) cuádrupla
...

7-2008
Igualdad de N-Tuplas
Leyes
(i) Dos pares cualesquiera (x1, x2) y (y1, y2) son iguales
Familia de Conj. sii (x1 = y1) y (x2 = y2)
Conj. Indexado (ii) Las ternas (x1, x2, x3) y (y1, y2, y3) son iguales
sii ((x1, x2), x3) y ((y1, y2), y3) son iguales
Conj. Potencia sii (x1, x2) y (y1, y2) son iguales y x3 = y3
sii (x1 = y1) y (x2 = y2) y (x3 = y3)
Conj. Partición
Prod. Cartesiano

7-2008
Igualdad de N-Tuplas
(iii) En general, las n-tuplas

Leyes (x1, x2,..., xn) y (y1, y2,..., yn) son iguales
Familia de Conj. sii ((x1, x2, ...,xn-1), xn) y ((y1, y2, ...,yn-1), yn)
son iguales
Conj. Indexado sii (x1, x2, ..., xn-1) y (y1, y2, ..., yn-1) son iguales
y xn = yn
Conj. Potencia
sii ((x1, x2, ...,xn-2), xn-1) y ((y1, y2, ...,yn-2), yn-1)
Conj. Partición son iguales y xn=yn
sii (x1, x2, ..., xn-2) y (y1, y2, ..., yn-2) son iguales
Prod. Cartesiano
y xn-1= yn-1 y xn=yn
...
sii (x1 = y1) y (x2 = y2) y ... y (xn-1 = yn-1) y (xn = yn)
7-2008
Definición Formal de Producto Cartesiano o
Producto de Conjuntos
Dados los conjuntos A1, A2, ..., An
Leyes El conjunto de todas las n-uplas (x1, x2,..., xn), tal que
x1∈ A1 ∧ x2∈ A2 ∧ ... ∧ xn∈ An , se llama
Familia de Conj.
producto cartesiano de A1 hasta An y se denota como:
Conj. Indexado n
A1 x A2 x ... x An = X Ai
i =1
Conj. Potencia
, es decir,
Conj. Partición
Prod. Cartesiano A1 x A2 x ... x An =

{(x1, x2,..., xn) / x1∈ A1 ∧ x2∈ A2 ∧ ... ∧ xn∈ An }

7-2008
Cardinalidad del Producto Cartesiano
Si A1, A2, ..., An son conjuntos finitos, entonces
Leyes
| A1 x A2 x ... x An | = |A1| x |A2| x ... x |An|
Familia de Conj.
Conj. Indexado Caso particular cuando A1 = A2 = ... = An = A
Conj. Potencia A1 x A2 x ... x An = A x A x ... x A = An
Conj. Partición
Si A es finito, entonces
Prod. Cartesiano | An | = | A x A x ... x A | = |A| x | A| x ... x | A| = |A|n

7-2008
Teorema de la Distributividad del Producto Cartesiano
Para cualesquiera conjuntos A, B, C ⊆ U, se cumple
que:
Leyes
(a) A x (B ∩ C) = (A x B) ∩ (A x C)
Familia de Conj.
Conj. Indexado (b) A x (B ∪ C) = (A x B) ∪ (A x C)

Conj. Potencia
(c) (A ∩ B) x C = (A x C) ∩ (B x C)
Conj. Partición
Prod. Cartesiano (d) (A ∪ B) x C = (A x C) ∪ (B x C)

7-2008

Unidad 2 Teoria de Conjuntos

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad 2 Teoria de Conjuntos

Cargado por

Copyright:

Formatos disponibles

Teoría de Conjuntos

Universidad de Carabobo – FaCyT – Departamento de Computación

Pertenencia • Un conjunto es una colección desordenada de

Pelotas Instrumentos Creyones

Conj. Universal El conjunto de las vocales del

16/05/18 Elementos Discretos. 200 3

16/05/18 Elementos Discretos. 200 4

Conj. Universal Si x no es un elemento de

16/05/18 Elementos Discretos. 200 5

Pertenencia • Se denota como |A|

Cardinalidad Si A es un conjunto finito, entonces: |A| = n con n∈N

Conj. Universal Si A es un conjunto infinito, entonces: |A| = ∞

16/05/18 Elementos Discretos. 200 6

Notaciones • El conjunto universal se denota convencionalmente

16/05/18 Elementos Discretos. 200 7

Notaciones • De esta definición podemos deducir que

Cardinalidad • Así, cada elemento que pertenece al universo no

16/05/18 Elementos Discretos. 200 8

Igualdad 2) Por Comprensión

16/05/18 Elementos Discretos. 200 9

16/05/18 Elementos Discretos. 200 10

16/05/18 Elementos Discretos. 200 11

16/05/18 Elementos Discretos. 200 12

16/05/18 Elementos Discretos. 200 13

16/05/18 Elementos Discretos. 200 14

16/05/18 Elementos Discretos. 200 15

16/05/18 Elementos Discretos. 200 16

Operaciones Se definen las siguientes operaciones entre los

16/05/18 Elementos Discretos. 200 17

Igualdad • El operador de la unión se denota como “∪ ”.

16/05/18 Elementos Discretos. 200 18

Descripción A∪ B = {x / x∈U ∧ (x∈Α ∨ x∈B)}

16/05/18 Elementos Discretos. 200 19

Descripción A∩ B = {x / x∈U ∧ ( x∈A ∧ x∈B)}

16/05/18 Elementos Discretos. 200 22

Descripción A = {x / x∈U ∧ x∉A}

Diag. de Venn También se puede decir:

16/05/18 Elementos Discretos. 200 23

16/05/18 Elementos Discretos. 200 24

Descripción A – B = {x / x∈U ∧ ( x∈A ∧ x∉B)}

Diag. de Venn También se puede decir:

16/05/18 Elementos Discretos. 200 26

Inclusión ∀x [x∈(A ∆ B) ↔ ((x∈A ∨ x∈B) ∧ ¬(x∈A ∧ x∈B))]

16/05/18 Elementos Discretos. 200 27

Descripción Si A y B son subconjuntos de U (A⊆ U y B⊆ U), entonces:

Igualdad (a) |A ∪ B| = |A| + |B| – |A∩ B|

16/05/18 Elementos Discretos. 200 28

16/05/18 Elementos Discretos. 200 29

Demostraciones de conjuntos usando las leyes de conjuntos

Demostraciones de conjuntos a nivel de lógica

Contraejemplos en teoría de conjuntos

16/05/18 Elementos Discretos. 200 30

16/05/18 Elementos Discretos. 200 31

16/05/18 Elementos Discretos. 200 32

Familia de Conj. Unión Generalizada de Conjuntos: Un elemento x de U

Conj. Partición  A i = { x / ∃i [ i ∈ I ∧ Ai ∈ F ∧ x ∈ Ai] }

Conj. Partición En otras palabras, el hecho de que x pertenezca a

16/05/18 Elementos Discretos. 200 34

Conj. Partición con |P(A)| = 2n, donde |A| = n, n ≥ 0

16/05/18 Elementos Discretos. 200 35

Familia de Conj. ∏(A) = { Ai / Ai ⊆ A, i ∈ I }, tal que:

Conj. Indexado 1 .∀i [ i∈I → Ai ≠ ∅ ]

16/05/18 Elementos Discretos. 200 36