Vous êtes sur la page 1sur 102

Introducci

on

Axiomas

Introducci
on al C
alculo
Teora de Conjuntos Intuitiva
CNM-107
Departamento de Matem
aticas
Facultad de Ciencias Exactas y Naturales
Universidad de Antioquia

2009. Reproducci
on permitida bajo los
Copyleft
t
erminos de la licencia de documentaci
on libre GNU.

Operaciones

Introducci
on

Contenido

Introducci
on

Axiomas

Operaciones

Axiomas

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)
Cantor publica su famoso artculo que fundamenta la Teora de
Conjuntos (1874)

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)
Cantor publica su famoso artculo que fundamenta la Teora de
Conjuntos (1874)

En 1900 se descubren contradicciones (paradojas) en la teora de


Cantor

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)
Cantor publica su famoso artculo que fundamenta la Teora de
Conjuntos (1874)

En 1900 se descubren contradicciones (paradojas) en la teora de


Cantor
Russell y Zermelo descubren independientemente dichas
paradojas (paradoja de Russel)

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)
Cantor publica su famoso artculo que fundamenta la Teora de
Conjuntos (1874)

En 1900 se descubren contradicciones (paradojas) en la teora de


Cantor
Russell y Zermelo descubren independientemente dichas
paradojas (paradoja de Russel)

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)
Cantor publica su famoso artculo que fundamenta la Teora de
Conjuntos (1874)

En 1900 se descubren contradicciones (paradojas) en la teora de


Cantor
Russell y Zermelo descubren independientemente dichas
paradojas (paradoja de Russel)
Los trabajos de Zermelo (1908) y Fraenkel (1922) conducen a la
Teora Axiom
atica de Conjuntos (ZFC)
La ZFC se cree libre de paradojas y es considerada de gran
utilidad como fundamento de la matem
atica moderna

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)
Cantor publica su famoso artculo que fundamenta la Teora de
Conjuntos (1874)

En 1900 se descubren contradicciones (paradojas) en la teora de


Cantor
Russell y Zermelo descubren independientemente dichas
paradojas (paradoja de Russel)
Los trabajos de Zermelo (1908) y Fraenkel (1922) conducen a la
Teora Axiom
atica de Conjuntos (ZFC)
La ZFC se cree libre de paradojas y es considerada de gran
utilidad como fundamento de la matem
atica moderna

Operaciones

Introducci
on

Axiomas

Antecedentes hist
oricos de la Teora de Conjuntos
Sus orgenes se remontan a las dificultades suscitadas por Zen
on
(450 a. C.) con el concepto de infinito
La idea moderna de infinito se empieza a gestar con Cantor
(1867-71)
Cantor publica su famoso artculo que fundamenta la Teora de
Conjuntos (1874)

En 1900 se descubren contradicciones (paradojas) en la teora de


Cantor
Russell y Zermelo descubren independientemente dichas
paradojas (paradoja de Russel)
Los trabajos de Zermelo (1908) y Fraenkel (1922) conducen a la
Teora Axiom
atica de Conjuntos (ZFC)
La ZFC se cree libre de paradojas y es considerada de gran
utilidad como fundamento de la matem
atica moderna

Operaciones

Introducci
on

Axiomas

Operaciones

Nociones b
asicas
Definici
on 1.1 (Noci
on intuitiva de conjunto)
Un conjunto es una colecci
on de objetos. Por objeto no debe entenderse
s
olo entidades fsicas, sino todo objeto en el sentido m
as amplio de la palabra.
Ejemplos:
El conjunto de los planetas del sistema solar

Introducci
on

Axiomas

Operaciones

Nociones b
asicas
Definici
on 1.1 (Noci
on intuitiva de conjunto)
Un conjunto es una colecci
on de objetos. Por objeto no debe entenderse
s
olo entidades fsicas, sino todo objeto en el sentido m
as amplio de la palabra.
Ejemplos:
El conjunto de los planetas del sistema solar
El conjunto de personas que pertenecen a un partido poltico

Introducci
on

Axiomas

Operaciones

Nociones b
asicas
Definici
on 1.1 (Noci
on intuitiva de conjunto)
Un conjunto es una colecci
on de objetos. Por objeto no debe entenderse
s
olo entidades fsicas, sino todo objeto en el sentido m
as amplio de la palabra.
Ejemplos:
El conjunto de los planetas del sistema solar
El conjunto de personas que pertenecen a un partido poltico
El conjunto de prejuicios de una sociedad

Introducci
on

Axiomas

Operaciones

Nociones b
asicas
Definici
on 1.1 (Noci
on intuitiva de conjunto)
Un conjunto es una colecci
on de objetos. Por objeto no debe entenderse
s
olo entidades fsicas, sino todo objeto en el sentido m
as amplio de la palabra.
Ejemplos:
El conjunto de los planetas del sistema solar
El conjunto de personas que pertenecen a un partido poltico
El conjunto de prejuicios de una sociedad
El conjunto de los n
umeros reales (R)

Introducci
on

Axiomas

Operaciones

Nociones b
asicas
Definici
on 1.1 (Noci
on intuitiva de conjunto)
Un conjunto es una colecci
on de objetos. Por objeto no debe entenderse
s
olo entidades fsicas, sino todo objeto en el sentido m
as amplio de la palabra.
Ejemplos:
El conjunto de los planetas del sistema solar
El conjunto de personas que pertenecen a un partido poltico
El conjunto de prejuicios de una sociedad
El conjunto de los n
umeros reales (R)
Definici
on 1.2 (Noci
on intuitiva de pertenencia )
A los objetos que pertenecen a un conjunto se les denomina elementos o
miembros del conjunto. Si x es un elemento del conjunto y,
x y se lee como x es elemento de y
x
/ y es lo mismo que (x y)

Introducci
on

Axiomas

Operaciones

Nociones b
asicas
Definici
on 1.1 (Noci
on intuitiva de conjunto)
Un conjunto es una colecci
on de objetos. Por objeto no debe entenderse
s
olo entidades fsicas, sino todo objeto en el sentido m
as amplio de la palabra.
Ejemplos:
El conjunto de los planetas del sistema solar
El conjunto de personas que pertenecen a un partido poltico
El conjunto de prejuicios de una sociedad
El conjunto de los n
umeros reales (R)
Definici
on 1.2 (Noci
on intuitiva de pertenencia )

Introducci
on

Introducci
on

Axiomas

Operaciones

Axiomas de la teora de conjuntos


Axioma 2.1 (Axioma de Extensionalidad)
Dos conjuntos son iguales si tienen los mismos elementos:
`

A B x (x A x B) A = B .
x (x A x B) significa que A y B tienen los mismos elementos.
Axioma 2.2 (Axioma de Comprensi
on)
Dado un conjunto A y una afirmaci
on P (x) se puede construir el conjunto cuyos
elementos son los objetos en A que cumplen P (x)

Introducci
on

Axiomas

Operaciones

Axiomas de la teora de conjuntos


Axioma 2.1 (Axioma de Extensionalidad)
Dos conjuntos son iguales si tienen los mismos elementos:
`

A B x (x A x B) A = B .
x (x A x B) significa que A y B tienen los mismos elementos.
Axioma 2.2 (Axioma de Comprensi
on)
Dado un conjunto A y una afirmaci
on P (x) se puede construir el conjunto cuyos
elementos son los objetos en A que cumplen P (x)
Notaci
on por extensi
on:
A = {1, 2, 3}

B = {a, b}

1 A, 4
/ A, a B, c
/ B, 1
/B

Introducci
on

Axiomas

Operaciones

Axiomas de la teora de conjuntos


Axioma 2.1 (Axioma de Extensionalidad)
Dos conjuntos son iguales si tienen los mismos elementos:
`

A B x (x A x B) A = B .
x (x A x B) significa que A y B tienen los mismos elementos.
Axioma 2.2 (Axioma de Comprensi
on)
Dado un conjunto A y una afirmaci
on P (x) se puede construir el conjunto cuyos
elementos son los objetos en A que cumplen P (x)
Notaci
on por extensi
on:
A = {1, 2, 3}

B = {a, b}

Notaci
on por Compresi
on:

1 A, 4
/ A, a B, c
/ B, 1
/B

Introducci
on

Axiomas

Operaciones

Axiomas de la teora de conjuntos


Axioma 2.1 (Axioma de Extensionalidad)
Dos conjuntos son iguales si tienen los mismos elementos:
`

A B x (x A x B) A = B .
x (x A x B) significa que A y B tienen los mismos elementos.
Axioma 2.2 (Axioma de Comprensi
on)
Dado un conjunto A y una afirmaci
on P (x) se puede construir el conjunto cuyos
elementos son los objetos en A que cumplen P (x)
Notaci
on por extensi
on:
A = {1, 2, 3}

B = {a, b}

1 A, 4
/ A, a B, c
/ B, 1
/B

Notaci
on por Compresi
on:
{x A / P (x)} representa el conjunto cuyos elementos son los objetos
de A que cumplen P (x)

Introducci
on

Axiomas

Operaciones

Axiomas de la teora de conjuntos


Axioma 2.1 (Axioma de Extensionalidad)
Dos conjuntos son iguales si tienen los mismos elementos:
`

A B x (x A x B) A = B .
x (x A x B) significa que A y B tienen los mismos elementos.
Axioma 2.2 (Axioma de Comprensi
on)
Dado un conjunto A y una afirmaci
on P (x) se puede construir el conjunto cuyos
elementos son los objetos en A que cumplen P (x)
Notaci
on por extensi
on:
A = {1, 2, 3}

B = {a, b}

1 A, 4
/ A, a B, c
/ B, 1
/B

Notaci
on por Compresi
on:
{x A / P (x)} representa el conjunto cuyos elementos son los objetos
de A que cumplen P (x)
{n Z / kZ (n = 2k)} representa el conjunto formado por los n
umeros pares

Introducci
on

Axiomas

Operaciones

Axiomas de la teora de conjuntos


Axioma 2.1 (Axioma de Extensionalidad)
Dos conjuntos son iguales si tienen los mismos elementos:
`

A B x (x A x B) A = B .
x (x A x B) significa que A y B tienen los mismos elementos.
Axioma 2.2 (Axioma de Comprensi
on)
Dado un conjunto A y una afirmaci
on P (x) se puede construir el conjunto cuyos
elementos son los objetos en A que cumplen P (x)
Notaci
on por extensi
on:
A = {1, 2, 3}

B = {a, b}

1 A, 4
/ A, a B, c
/ B, 1
/B

Introducci
on

Axiomas

Operaciones

Axiomas de la teora de conjuntos


Axioma 2.1 (Axioma de Extensionalidad)
Dos conjuntos son iguales si tienen los mismos elementos:
`

A B x (x A x B) A = B .
x (x A x B) significa que A y B tienen los mismos elementos.
Axioma 2.2 (Axioma de Comprensi
on)
Dado un conjunto A y una afirmaci
on P (x) se puede construir el conjunto cuyos
elementos son los objetos en A que cumplen P (x)
Notaci
on por extensi
on:
A = {1, 2, 3}

B = {a, b}

1 A, 4
/ A, a B, c
/ B, 1
/B

Notaci
on por Compresi
on:
{x A / P (x)} representa el conjunto cuyos elementos son los objetos
de A que cumplen P (x)
{n Z / kZ (n = 2k)} representa el conjunto formado por los n
umeros pares
{x R / 1 < x < 3} representa el conjunto de los n
umeros reales entre 1 y 3

Introducci
on

Axiomas

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

Operaciones

Introducci
on

Axiomas

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}
{a, b, b} = {a, b}

Operaciones

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}
{a, b, b} = {a, b}
{1, 2, 3, 4, 5} = {n Z / 1 n 5}

{n N / n primo y par} = {2}

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

{n N / n primo y par} = {2}

{a, b, b} = {a, b}

{n Z / n par} 6= {2, 4, 6}

{1, 2, 3, 4, 5} = {n Z / 1 n 5}

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

{n N / n primo y par} = {2}

{a, b, b} = {a, b}

{n Z / n par} 6= {2, 4, 6}

{1, 2, 3, 4, 5} = {n Z / 1 n 5}

Definici
on 2.1 (Conjunto vaco)
Denotamos por al u
nico conjunto que no tiene elementos.

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

{n N / n primo y par} = {2}

{a, b, b} = {a, b}

{n Z / n par} 6= {2, 4, 6}

{1, 2, 3, 4, 5} = {n Z / 1 n 5}

Definici
on 2.1 (Conjunto vaco)
Denotamos por al u
nico conjunto que no tiene elementos.
Los siguientes conjuntos no poseen elementos:
{n Z / n 6= n} = , {x R / x = x + 1} = , {x R / 0 = 1} =

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

{n N / n primo y par} = {2}

{a, b, b} = {a, b}

{n Z / n par} 6= {2, 4, 6}

{1, 2, 3, 4, 5} = {n Z / 1 n 5}

Definici
on 2.1 (Conjunto vaco)
Denotamos por al u
nico conjunto que no tiene elementos.
Los siguientes conjuntos no poseen elementos:
{n Z / n 6= n} = , {x R / x = x + 1} = , {x R / 0 = 1} =
Diagrama de Venn para A = {1, 2, 3}:

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

{n N / n primo y par} = {2}

{a, b, b} = {a, b}

{n Z / n par} 6= {2, 4, 6}

{1, 2, 3, 4, 5} = {n Z / 1 n 5}

Definici
on 2.1 (Conjunto vaco)
Denotamos por al u
nico conjunto que no tiene elementos.
Los siguientes conjuntos no poseen elementos:
{n Z / n 6= n} = , {x R / x = x + 1} = , {x R / 0 = 1} =
Diagrama de Venn para A = {1, 2, 3}:

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

{n N / n primo y par} = {2}

{a, b, b} = {a, b}

{n Z / n par} 6= {2, 4, 6}

{1, 2, 3, 4, 5} = {n Z / 1 n 5}

Definici
on 2.1 (Conjunto vaco)
Denotamos por al u
nico conjunto que no tiene elementos.
Los siguientes conjuntos no poseen elementos:
{n Z / n 6= n} = , {x R / x = x + 1} = , {x R / 0 = 1} =
Diagrama de Venn para A = {1, 2, 3}:
A

1
b

Introducci
on

Axiomas

Operaciones

Consecuencias de los axiomas de extensi


on y comprension
Consecuencias del Axioma de Extensionalidad (2.1):
{1, 2, 3} = {3, 1, 2}

{n N / n primo y par} = {2}

{a, b, b} = {a, b}

{n Z / n par} 6= {2, 4, 6}

{1, 2, 3, 4, 5} = {n Z / 1 n 5}

Definici
on 2.1 (Conjunto vaco)
Denotamos por al u
nico conjunto que no tiene elementos.
Los siguientes conjuntos no poseen elementos:
{n Z / n 6= n} = , {x R / x = x + 1} = , {x R / 0 = 1} =
Diagrama de Venn para A = {1, 2, 3}:
A

1
b

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)
B
A

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)
B
A

AB
xA
x B.

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)
B
A

AB
xA
x B.

A*B

(A B)

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)
B
A

AB
xA
x B.

A*B

(A B)
x (x A x B)
x (x A x B)
x (x A x
/ B)

negaci
on de
negaci
on de

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)
B
A

AB
xA
x B.

A*B

(A B)
x (x A x B)
x (x A x B)
x (x A x
/ B)

negaci
on de
negaci
on de

A no est
a contenido en B si, y s
olo si, existe
un elemento en A que no pertenece a B

Introducci
on

Axiomas

Operaciones

Subconjuntos
Definici
on 2.2 (Contenci
on)
Diremos que A est
a contenido en B si todos los elementos de A son
elementos de B. En el lenguaje de la l
ogica:
x (x A x B)
A B tambien se lee como A es subconjunto de B, B contiene a A
o B es
superconjunto de A. Finalmente,
A * B representa (A B)
B
A

AB
xA
x B.

A*B

(A B)
x (x A x B)
x (x A x B)
x (x A x
/ B)

negaci
on de
negaci
on de

A no est
a contenido en B si, y s
olo si, existe
un elemento en A que no pertenece a B

Introducci
on

Axiomas

Operaciones

Proposici
on 2.1
Para probar A B, basta tomar x A como hip
otesis y concluir x B
Justificaci
on. Ver tablero.
Teorema 2.1
Sean A, B y C conjuntos. Entonces:
(a) A

Introducci
on

Axiomas

Operaciones

Proposici
on 2.1
Para probar A B, basta tomar x A como hip
otesis y concluir x B
Justificaci
on. Ver tablero.
Teorema 2.1
Sean A, B y C conjuntos. Entonces:
(a) A
(b) A A

Introducci
on

Axiomas

Operaciones

Proposici
on 2.1
Para probar A B, basta tomar x A como hip
otesis y concluir x B
Justificaci
on. Ver tablero.
Teorema 2.1
Sean A, B y C conjuntos. Entonces:
(a) A
(b) A A
(c) (A B

B C) A C

Introducci
on

Axiomas

Operaciones

Proposici
on 2.1
Para probar A B, basta tomar x A como hip
otesis y concluir x B
Justificaci
on. Ver tablero.
Teorema 2.1
Sean A, B y C conjuntos. Entonces:
(a) A
(b) A A
(c) (A B

B C) A C

(d) (A B B A) A = B

Introducci
on

Axiomas

Operaciones

Proposici
on 2.1
Para probar A B, basta tomar x A como hip
otesis y concluir x B
Justificaci
on. Ver tablero.
Teorema 2.1
Sean A, B y C conjuntos. Entonces:
(a) A

B
A

(b) A A
(c) (A B

B C) A C

(d) (A B B A) A = B
Demostraci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Proposici
on 2.1
Para probar A B, basta tomar x A como hip
otesis y concluir x B
Justificaci
on. Ver tablero.
Teorema 2.1
Sean A, B y C conjuntos. Entonces:
(a) A

B
A

(b) A A
(c) (A B

B C) A C

(d) (A B B A) A = B
Demostraci
on. Ver tablero.
Proposici
on 2.2 (Doble Contenci
on)
Basta probar que A B y B A para garantizar que A = B.
Demostraci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Proposici
on 2.1
Para probar A B, basta tomar x A como hip
otesis y concluir x B
Justificaci
on. Ver tablero.
Teorema 2.1
Sean A, B y C conjuntos. Entonces:
(a) A

B
A

(b) A A
(c) (A B

B C) A C

(d) (A B B A) A = B
Demostraci
on. Ver tablero.
Proposici
on 2.2 (Doble Contenci
on)
Basta probar que A B y B A para garantizar que A = B.
Demostraci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Subconjuntos
Ejemplo 2.1
{a Z / a par} =

a Z / a2 par

Justificaci
on. Ver tablero.
Definici
on 2.3 (Contenci
on estricta)
Definimos
A ( B como A B

A 6= B.

A ( B significa que A es un subconjunto de B que es diferente a B, lo cual


se lee como A est
a estrictamente contenido en B o A es subconjunto
propio de B.

Introducci
on

Axiomas

Operaciones

Subconjuntos
Ejemplo 2.1
{a Z / a par} =

a Z / a2 par

Justificaci
on. Ver tablero.
Definici
on 2.3 (Contenci
on estricta)
Definimos
A ( B como A B

A 6= B.

A ( B significa que A es un subconjunto de B que es diferente a B, lo cual


se lee como A est
a estrictamente contenido en B o A es subconjunto
propio de B.

Ejemplo 2.2
{n Z / 4 | n} ( {n Z / 2 | n}
Justificaci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Subconjuntos
Ejemplo 2.1
{a Z / a par} =

a Z / a2 par

Justificaci
on. Ver tablero.
Definici
on 2.3 (Contenci
on estricta)
Definimos
A ( B como A B

A 6= B.

A ( B significa que A es un subconjunto de B que es diferente a B, lo cual


se lee como A est
a estrictamente contenido en B o A es subconjunto
propio de B.

Ejemplo 2.2
{n Z / 4 | n} ( {n Z / 2 | n}
Justificaci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Definici
on 3.1 (Operaciones entre conjuntos)
Dados dos conjuntos A y B definimos los siguientes conjuntos.
A B = {x / x A x B}
A B = {x / x A x B}
A B = {x / x A x
/ B}

Uni
on de A con B.
Intersecci
on de A con B.
Complemento de B respecto a A.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Definici
on 3.1 (Operaciones entre conjuntos)
Dados dos conjuntos A y B definimos los siguientes conjuntos.
A B = {x / x A x B}
A B = {x / x A x B}
A B = {x / x A x
/ B}

AB
A

Uni
on de A con B.
Intersecci
on de A con B.
Complemento de B respecto a A.

AB

AB
B

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Definici
on 3.1 (Operaciones entre conjuntos)
Dados dos conjuntos A y B definimos los siguientes conjuntos.
A B = {x / x A x B}
A B = {x / x A x B}
A B = {x / x A x
/ B}

AB
A

Uni
on de A con B.
Intersecci
on de A con B.
Complemento de B respecto a A.

AB

AB
B

Cuando A B = decimos que A y B son disjuntos, pues esto significa que no


tienen elementos en com
un.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Definici
on 3.1 (Operaciones entre conjuntos)
Dados dos conjuntos A y B definimos los siguientes conjuntos.
A B = {x / x A x B}
A B = {x / x A x B}
A B = {x / x A x
/ B}

AB
A

Uni
on de A con B.
Intersecci
on de A con B.
Complemento de B respecto a A.

AB

AB
B

Cuando A B = decimos que A y B son disjuntos, pues esto significa que no


tienen elementos en com
un.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


AB
A

AB

AB
B

xAB xA xB
xAB xA xB
xAB xA x
/B

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


AB
A

AB

AB
B

xAB xA xB
xAB xA xB
xAB xA x
/B

x
/ AB x
/Ax
/B
x
/ AB x
/Ax
/B
x
/ AB x
/ A x B.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


AB
A

AB

AB
B

xAB xA xB
xAB xA xB
xAB xA x
/B

x
/ AB x
/Ax
/B
x
/ AB x
/Ax
/B
x
/ AB x
/ A x B.

Ejemplo 3.1
Sean P = {n Z / n par} y I = {n Z / n impar}. Entonces:
P I = Z, P I =
ZP = I
ZI = P
Justificaci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


AB
A

AB

AB
B

xAB xA xB
xAB xA xB
xAB xA x
/B

x
/ AB x
/Ax
/B
x
/ AB x
/Ax
/B
x
/ AB x
/ A x B.

Ejemplo 3.1
Sean P = {n Z / n par} y I = {n Z / n impar}. Entonces:
P I = Z, P I =
ZP = I
ZI = P
Justificaci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A,

B
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.

B
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.
(b) A A = ,

B
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.
(b) A A = , A = A,

B
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.
(b) A A = , A = A, A = ,

B
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.
(b) A A = , A = A, A = , A = A,

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.
(b) A A = , A = A, A = , A = A, A = .
(c) A B = B A,

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.
(b) A A = , A = A, A = , A = A, A = .
(c) A B = B A, A B = B A (Leyes conmutativas).
Demostraci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Lema 3.1
Si A B entonces A B = B y A B = B.
AB = B

AB = A

B
A

B
A

Demostraci
on. Ver tablero.

Teorema 3.1
(a) A A = A, A A = A.
(b) A A = , A = A, A = , A = A, A = .
(c) A B = B A, A B = B A (Leyes conmutativas).
Demostraci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones entre conjuntos

Teorema 3.2 (Leyes asociativas)


1

A (B C) = (A B) C

A (B C) = (A B) C

Operaciones

Introducci
on

Axiomas

Operaciones entre conjuntos

Teorema 3.2 (Leyes asociativas)


1

A (B C) = (A B) C

A (B C) = (A B) C

Operaciones

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos

Teorema 3.2 (Leyes asociativas)


1

A (B C) = (A B) C

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

Demostraci
on. Ver tablero.

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

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos

Teorema 3.2 (Leyes asociativas)


1

A (B C) = (A B) C

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

Demostraci
on. Ver tablero.

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

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.3 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.3 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.3 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

(A B) (A C)

AC
B

AB
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.3 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

(A B) (A C)

AC
B

AB
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.4 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.4 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.4 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

(A B) (A C)

AC
B

AB
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.4 (Leyes distributivas)
A (B C) = (A B) (A C)
A

A (B C)

BC

(A B) (A C)

AC
B

AB
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.5 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.5 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.5 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

(C A) (C B)

CB
B

CA
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.5 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

(C A) (C B)

CB
B

CA
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.6 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.6 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.6 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

(C A) (C B)

CB
B

CA
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.6 (Leyes DMorgan)
C (A B) = (C A) (C B)
C

C (A B)

AB

(C A) (C B)

CB
B

CA
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Teorema 3.7
A B = A (A B)
A
A

A (A B) = A B

AB
B

Demostraci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Definici
on 3.2 (Complemento relativo)
Sea U 6= . Si A U , definimos el complemento de A (respecto a U ) al
conjunto denotado por A y dado por A = U A.
U
A

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Ejemplo:
P = {n Z / n par}
I = {n Z / n impar}
C = {n N / n compuesto}
A = {x R / 0 < x < 1}
Respecto a Z:
P = I,

I = P

C = {n Z / n 1} {n N / n primo}

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Ejemplo:
P = {n Z / n par}
I = {n Z / n impar}
C = {n N / n compuesto}
A = {x R / 0 < x < 1}
Respecto a Z:
P = I,

I = P

C = {n Z / n 1} {n N / n primo}

Respecto a N:
C = {1} {n N / n primo}

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Ejemplo:
P = {n Z / n par}
I = {n Z / n impar}
C = {n N / n compuesto}
A = {x R / 0 < x < 1}
Respecto a Z:
P = I,

I = P

C = {n Z / n 1} {n N / n primo}

Respecto a N:
C = {1} {n N / n primo}
Respecto a R:
A = {x R / x 1} {x R / x 0}

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos


Ejemplo:
P = {n Z / n par}
I = {n Z / n impar}
C = {n N / n compuesto}
A = {x R / 0 < x < 1}
Respecto a Z:
P = I,

I = P

C = {n Z / n 1} {n N / n primo}

Respecto a N:
C = {1} {n N / n primo}
Respecto a R:
A = {x R / x 1} {x R / x 0}

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos

Teorema 3.8
Sean A y B subconjuntos de U . Tomando los complementos respecto a U se
tienen las siguientes propiedades.
(a) A B, A B, A B y A son subconjuntos de U .
(b) = U , U = .

Introducci
on

Operaciones entre conjuntos

Teorema 3.8

Axiomas

Operaciones

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos

Teorema 3.8
Sean A y B subconjuntos de U . Tomando los complementos respecto a U se
tienen las siguientes propiedades.
(a) A B, A B, A B y A son subconjuntos de U .
(b) = U , U = .
(c) (A ) = A.
(d) (A B) = A B .
(e) (A B) = A B .
Justificaci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos

Teorema 3.8
Sean A y B subconjuntos de U . Tomando los complementos respecto a U se
tienen las siguientes propiedades.
(a) A B, A B, A B y A son subconjuntos de U .
(b) = U , U = .
(c) (A ) = A.
(d) (A B) = A B .
(e) (A B) = A B .
Justificaci
on. Ver tablero.

Introducci
on

Axiomas

Operaciones

Operaciones entre conjuntos

Definici
on 3.3 (Conjunto de Partes)
Dado un conjunto A definimos P(A) = {X / X A}, el cual llamamos

partes de A. Este
es el conjunto formado por todos los subconjuntos de A.
Esta definici
on genera la siguiente equivalencia
X P(A) X A.