Está en la página 1de 53

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

CONJUNTOS
Sergio Stive Solano Sabie

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Abril de 2012


Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

CONJUNTOS
Sergio Stive Solano Sabie

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Abril de 2012

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,


a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,


a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,


a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,


a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos


son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos


elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos


son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos


elementos son 1, 3, 5, 7, 9.


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos


son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos


elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos


son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos


elementos son 1, 3, 5, 7, 9.


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos


son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos


elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos


son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos


elementos son 1, 3, 5, 7, 9.


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos


son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos


elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos


son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos


elementos son 1, 3, 5, 7, 9.


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:


Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero


entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C


consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:


Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero


entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C


consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:


Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero


entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C


consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:


Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero


entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C


consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:


Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero


entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C


consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion


por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste


en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion


por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste


en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion


por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste


en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion


por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste


en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion


por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste


en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto vaco

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Para un conjunto U dado y una propiedad P puede que no


haya ningun
elemento de U que tenga la propiedad P .
Ejemplo 3.2
El conjunto
S = {x : x es un entero positivo, x2 = 3}
no tiene elementos, ya que ningun
entero positivo tiene la
propiedad requerida.
El conjunto sin elementos se llama conjunto vaco o conjunto nulo y se denota por .

Conjunto vaco

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Para un conjunto U dado y una propiedad P puede que no


haya ningun
elemento de U que tenga la propiedad P .
Ejemplo 3.2
El conjunto
S = {x : x es un entero positivo, x2 = 3}
no tiene elementos, ya que ningun
entero positivo tiene la
propiedad requerida.
El conjunto sin elementos se llama conjunto vaco o conjunto nulo y se denota por .

Conjunto vaco

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Para un conjunto U dado y una propiedad P puede que no


haya ningun
elemento de U que tenga la propiedad P .
Ejemplo 3.2
El conjunto
S = {x : x es un entero positivo, x2 = 3}
no tiene elementos, ya que ningun
entero positivo tiene la
propiedad requerida.
El conjunto sin elementos se llama conjunto vaco o conjunto nulo y se denota por .

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien


to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien


to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien


to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien


to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien


to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien


to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando


A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando


A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando


A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando


A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando


A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando


A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Diagrama de Venn

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Una forma sencilla de visualizar los conjuntos y las rela de esquemas


ciones entre ellos, es mediante la utilizacion

graficos llamados circulos de Euler o diagramas de Venn.


compuestos por una region
cerrada
Estos esquemas estan

del plano (generalmente un rectangulo),


la cual representa
el conjunto universal, y por uno o varios crculos que representan los conjuntos a graficar.


Union

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de dos conjuntos A y B es el conjunto formado por


La union
todos los elementos que pertencen a A o a B. Se denota
A B.
A B = {x : x A x B}.
, se utiliza en el sentido inclusivo, es
Aqu la disyuncion
decir, significa y/o.


Interseccion

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de dos conjuntos A y B es el conjunto forLa interseccion


mado por todos los elementos que pertencen a A y a B. Se
denota por A B.
A B = {x : x A x B}.
Si A y B no tienen elementos en comun,
es decir, A B = ,
entonces diremos que A y B son conjuntos disjuntos.

Diferencia

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

La diferencia entre dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A y no a B.
Se nota por A B.
A B = {x : x A x
/ B}.

Complementario

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

El complementario de un conjunto A es el conjunto formado por todos los elementos del conjunto universal que no
pertenecen a A. Se nota Ac
Ac = {x : x U x
/ A}.
Note que el complemento de A es la diferencia entre U y A,
es decir, Ac = U A.


Diferencia simetrica

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

La diferencia simetrica
entre dos conjutnos A y B es el
conjunto formado por todos los elementos que pertenecen a
(A B) o a (B A) pero no a ambos. Se denota por A 4 B.
A 4 B = (A B) (B A).

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

Las operaciones anteriores definidas entre conjuntos satisfacen varias leyes o identidades.
Sean A, B y C conjuntos, entonces:
Leyes Idempotentes
1

AA=A

AB =BA

AA=A

AB =BA

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Leyes Conmutativas

Leyes Asociativas

Leyes de Identidad

A (B C) = (A B) C

A=A

A (B C) = (A B) C

AU =U

A=

AU =A

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

Las operaciones anteriores definidas entre conjuntos satisfacen varias leyes o identidades.
Sean A, B y C conjuntos, entonces:
Leyes Idempotentes
1

AA=A

AB =BA

AA=A

AB =BA

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Leyes Conmutativas

Leyes Asociativas

Leyes de Identidad

A (B C) = (A B) C

A=A

A (B C) = (A B) C

AU =U

A=

AU =A

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

Las operaciones anteriores definidas entre conjuntos satisfacen varias leyes o identidades.
Sean A, B y C conjuntos, entonces:
Leyes Idempotentes
1

AA=A

AB =BA

AA=A

AB =BA

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Leyes Conmutativas

Leyes Asociativas

Leyes de Identidad

A (B C) = (A B) C

A=A

A (B C) = (A B) C

AU =U

A=

AU =A

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie

Leyes Distributivas

Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ley Involutiva

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

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

Leyes del Complementario

(Ac )c = A

Leyes de De Morgan

A Ac = U

(A B)c = Ac B c

Uc =

(A B)c = Ac B c

A Ac =

c = U

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.


Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto


castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},


es infinito.

n(A) denota el numero


La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.


Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto


castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},


es infinito.

n(A) denota el numero


La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.


Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto


castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},


es infinito.

n(A) denota el numero


La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.


Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto


castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},


es infinito.

n(A) denota el numero


La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 5.1
Si A y B son conjuntos finitos disyuntos, entonces A B es
finito y
n(A B) = n(A) + n(B)
Teorema 5.2
Si A y B son conjuntos finitos, entonces A B y A B son
finitos y
n(A B) = n(A) + n(B) n(A B)
Corolario 5.1
Si A, B y C son conjuntos finitos, entonces A B C
lo es, y
tambien
n(A B C) = n(A) + n(B) + n(C) n(A B) n(A
C) n(B C) + n(A B C)

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 5.2
de 120 estudiantes de
Considere la siguiente informacion

Aleman
y Ruso
matematicas
referente al lenguaje Frances,
45 estudian Aleman,
42
que estudian: 65 estudian Frances,
y Aleman,
25 estudian
estudian Ruso, 20 estudian Frances
y Ruso, 15 estudian Aleman
y Ruso, 8 estudian las
Frances

tres lenguas. Cuantos


alumnos estudian por lo menos uno
de los tres idiomas?
Sean F , G y R los conjuntos de estudiantes que
Solucion.
Aleman
y Ruso, respectivamente. Utiliceestudian Frances,
mos un diagrama de Venn como se muestra en la figura y el
corolario 5.1:
n(F G R) = n(F ) + n(G) +
n(R) n(F G) n(F R)
n(GR)+n(F GR) = 65+
45+42202515+8 = 100.

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 5.2
de 120 estudiantes de
Considere la siguiente informacion

Aleman
y Ruso
matematicas
referente al lenguaje Frances,
45 estudian Aleman,
42
que estudian: 65 estudian Frances,
y Aleman,
25 estudian
estudian Ruso, 20 estudian Frances
y Ruso, 15 estudian Aleman
y Ruso, 8 estudian las
Frances

tres lenguas. Cuantos


alumnos estudian por lo menos uno
de los tres idiomas?
Sean F , G y R los conjuntos de estudiantes que
Solucion.
Aleman
y Ruso, respectivamente. Utiliceestudian Frances,
mos un diagrama de Venn como se muestra en la figura y el
corolario 5.1:
n(F G R) = n(F ) + n(G) +
n(R) n(F G) n(F R)
n(GR)+n(F GR) = 65+
45+42202515+8 = 100.


Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

GRACIAS POR SU

ATENCION