Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
UNIDAD N 1:
CONCEPTOS
FUNDAMENTALES
TEORIA
2012
1
1. TEORIA DE CONJUNTOS
Los conjuntos fueron estudiados formalmente por
primera vez por George Cantor (1845-1918).
La teora de conjuntos mirada como parte de las
matemticas proporciona el metalenguaje, el
contexto o sustrato de las teoras lgicas. El
concepto de conjunto es de fundamental
importancia en las matemticas modernas
Nuestro inters en los conjuntos se debe tanto al
papel que representan en las matemticas como a
su utilidad en la modelizacin e investigacin de
problemas en la informtica
2
1.1 CONJUNTOS Y SUBCONJUNTOS
Definicin: Un conjunto es la reunin de
objetos bien definidos y diferenciables entre si,
que se llaman elementos del mismo.
Los conjuntos se indican con letras maysculas
A, B, C, y los elementos con minsculas, como
a, b, c, x , y.
La lista de los elementos del conjunto va
encerrada entre llaves.
Si a es un elemento del conjunto A se denota con
la relacin de pertenencia. Se escribe a A.
En caso contrario, si a no es un elemento de A se
3
expresa aA.
FORMAS DE DEFINIR UN CONJUNTO
Observaciones:
a) El orden en el que aparecen los elementos no es importante
b) Los elementos se deben enumerar una sola vez, no deben
repetirse.
7
IGUALDAD DE CONJUNTOS
Se dice que dos conjuntos A y B son iguales si
tienen los mismos elementos y se escribe
A = B.
Ejemplos:
a) Si A ={1, 2, 3} y B = { x Z / 0<x<4 } entonces
A = B.
b) Si C = { 2 , 4 , 6 , } y D = { x N / x es par}
entonces C = D
8
CONJUNTOS DISYUNTOS
9
DIAGRAMAS DE VENN DEL CASO GENERAL
10
SUBCONJUNTO DE UN CONJUNTO
Se dice que A es un subconjunto de B si cada elemento de
A es tambin elemento de B.
Se escribe A B.
Tambin se dice que A est incluido en B o que B contiene
aA
El smbolo se llama Smbolo de inclusin amplia
11
Si A no es un subconjunto de B, se escribe A B
PROPIEDADES DE LA INCLUSIN
1) 1) Si A es un conjunto cualquiera, se cumple que
a) A A b) A c) A U
b) Si A B y B C entonces A C
12
CONJUNTO POTENCIA O CONJUNTO
PARTES DE OTRO CONJUNTO
Ejemplo:
Si A = {a,b} entonces P (A) = {,{a},{b},A}.
14
1.2 OPERACIONES ENTRE CONJUNTOS
15
Se llama INTERSECCIN de dos conjuntos A y B
al conjunto formado por los objetos que son
elementos tanto de A como de B, es decir:
A B = {x / x A y x B}.
Si A B = , entonces A y B son conjuntos
disjuntos.
16
Dados dos conjuntos A y B, se define la
DIFERENCIA A B como el conjunto formado
por los elementos de A que no pertenecen a B
A - B = { x A / x B}.
17
Anlogamente se define
B - A = { x B / x A }.
Se llama DIFERENCIA SIMTRICA entre A y B al
conjunto de todos los elementos que pertenecen a A o
a B, pero no a ambos, y se designa por A B
A B = (A - B) (B - A).
18
COMPLEMENTO DE A
Si AU, a la diferencia U - A se le llama
COMPLEMENTO de A respecto de U y se denota A' o
Ac .
Esto es A' = U A = { x U / x A}
19
EJERCICIO PARA EL ALUMNO
1) Expresar en palabras y simblicamente las
caractersticas de los elementos a , b , c , d, e , f y g
A
d
g b
U
a B
c
e f
C 20
2) Sea U = Z y los conjuntos
A = {n Z+ / n 8 }
B = {n Z+ / n es par y n 10}
C = {n Z / n es par}
Hallar
AB AB
A C
AC AC
ABC B (A B)
Representar grficamente 21
PROPIEDADES DE LAS OPERACIONES
Idempotencia
AA=A AA=A
Conmutativa
AB=BA AB=BA
Asociativa
A(BC)=(AB)C A (B C) = (A B) C
Absorcin
A(AB)=A A(AB)=A
Distributiva
A (B C) = (A B) (A C) A (B C) = (A B) (A C)
Complementariedad
A A' = U A A' =
Teorema 1:
Si A y B son conjuntos finitos, entonces
AB = A + B - A B
Si A y B son conjuntos disjuntos entonces
AB = A + B
24
Teorema 2:
Si A, B y C son conjuntos finitos entonces
AB C = A + B + C - A B - B C -
- A C + A B C
25
EJERCICIO PARA EL ALUMNO
27
EJEMPLOS:
1) La sucesin 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1 es una
sucesin finita con elementos repetidos.
2) La lista 1, 4, 9, 16, 25, es una sucesin infinita, es
la lista de los cuadrados de todos los enteros
positivos.
a1 = 1; a2 = 4, a3 = 9, a4 = 16,. an = n2 ,nN ,
En este caso es fcil describir cualquier trmino
usando slo su nmero de posicin, a las frmulas de
este tipo se las llama frmulas explcitas, porque
indican el valor que tiene cualquier trmino en
particular con solo reemplazar el valor de n.
28
EJEMPLOS
3) La sucesin: 3, 8, 13, 18, 23, es tal que los
trminos sucesivos se forman agregando 5 al
trmino anterior. Si se emplea un subndice para
indicar la posicin de un trmino en esta
sucesin, se podra describirla como:
a1 = 3 , an = an-1 + 5 , 2 n <
A las frmulas de este tipo, que se refieren al
trmino anterior para definir el siguiente
trmino, se la llama frmulas recursivas o
recurrentes. Toda frmula recursiva debe tener
un punto de partida, en este caso el punto de
partida es a1 = 3 29
CONJUNTO CORRESPONDIENTE A UNA
SUCESIN
30
PARA COMPLETAR POR EL ALUMNO
La frmula recursiva c1 = 5, cn = 2cn-1, 2 n 6,
define la sucesin finita:
..
S
CADENAS
33
Ejemplo
Sea el alfabeto A = {a, b} .
Las siguientes son algunas de las palabras
procedentes de A : w1 = a b a , w2 = b , w3 = b a b a b a
Entonces A* = {a b a, b, b a b a b a, }
34
1.4. DIVISIN EN Z+
Algoritmo de la divisin
Si m y n son enteros no negativos, con n 0ym>n,
entonces existen q y r , con 0 r < n tal que
m = qn + r
Caso particular:
Si r = 0, se tiene que m = q . n y se dice que la divisin es
exacta
En este caso se escribe n|m, y se lee de diversas formas:
n divide a m
n es divisor de m
m es mltiplo de n
35
m es divisible entre n
EJERCICIO PARA EL ALUMNO
Aplicar el algoritmo de la divisin en los siguientes
casos:
m=5 , n=8
m = 12 , n = 7
m=0,n=3
m=1 , n=3
m = 27 , n = 9
m = 24 , n = 6
m = 5 , n = 10
36
PROPIEDADES DE LA DIVISIBILIDAD
Teorema
Sean a, b y c nmeros enteros positivos.
a) Si a b y a c, entonces a (b+c)
c) Si a b o a c, entonces a bc
d) Si a b y b c, entonces a c
37
NMEROS PRIMOS
Un nmero p > 1 en Z+ se llama primo si los nicos
enteros positivos que dividen a p son p y 1.
Los primeros elementos de la sucesin de nmeros primos
es:
2, 3, 5, 7, 11, 13, 17, 19, 23, 31,
38
TEOREMA
Ejemplos
Sean a, b , k Z+
Se dice que k es un divisor comn de a y b si y slo si k a
y k b.
Si d es el mayor de estos k, a d se le llama mximo comn
divisor o MCD de a y b y se expresa
d = MCD(a,b)
Ejemplo: MCD(8,12)=4
Ejemplo:
Como MCD(8,12)=4 , entonces existen
valores x = -1 e y = 1 enteros tales que
4=8(-1)+12.1
41
TEOREMA: ALGORITMO DE EUCLIDES
Sean a,bZ+
El MCD (a,b) se obtiene realizando divisiones sucesivas
entre divisores y restos. El valor de MCD (a,b ) es el
valor del ltimo resto no nulo . Simblicamente:
MCD (a,b)=MCD (b,r1)=MCD (r1,r2)=...=MCD (rn-1,rn) = rn
Donde r1 es el resto de la divisin entre a y b, , r2 es el
resto de la divisin entre b y r1 , r3 es el resto de la
divisin entre r1 y r2, , rn es el resto de la divisin
entre rn-2 y rn-1 de tal modo que rn es el ltimo resto no
nulo
42
MNIMO COMN MLTIPLO
Sean a, b y k Z+
Si a k y b k, se dice que k es un mltiplo comn de a y b.
Teorema 6:
Si a y b estn en Z+, entonces MCD (a,b) . MCM(a, b) = a .b
(1) DO to
Procedimiento
48
PROPIEDADES QUE PUEDEN CUMPLIR LAS
OPERACIONES
Ejemplo:
En R la suma y el producto son operaciones
conmutativas. Esto es:
x+y=y+x x.y = y.x
En P(A) las operaciones de unin e interseccin son
operaciones conmutativas
XY= YX XY= YX
50
Ley asociativa
Se dice que * es asociativa si:
(x*y)*z = x*(y*z) para cualesquier x,y,z A
Ejemplos:
La suma y el producto de nmeros reales son
operaciones asociativas ya que
a+(b+c)=(a+b)+c a.(b.c)=(a.b).c
La unin e interseccin de conjuntos son
operaciones asociativas ya que
(AB) C = A (BC)
(AB) C = A (B C)
51
Leyes distributivas
Sean dos operaciones binarias * y # .
Se dice que * es distributiva respecto de # si se cumple
que: x * (y # z) = (x * y) # (x * z)
Se dice que # es distributiva respecto de *si se cumple
que: x # (y *z) = (x # y) * (x #z)
Ejemplo:
1) En R se dice que . es distributivo respecto de + ya
que
a . (b + c) = a . b + a . C
1) En P(A) las operaciones e son distributivas
mutuamente
A (BC) = (AB) (AC)
A (BC) = (A B) (A C) 52
Leyes de De Morgan
Se dice que dos operaciones binarias * y # con una
operacin unaria cumplen las leyes de De Morgan
si se satisfacen las siguientes igualdades
(x * y) = x # y (x # y) = x * y
Ejemplo:
Las operaciones , y cumplen las leyes de De
Morgan pues
(A B) = A B
(A B) = A B
53
Ley de identidad
Se dice que un elemento e es el elemento identidad o
neutro respecto de la operacin * si se cumple que
x *e = e * x = x para cualquier x
El elemento identidad, si existe, es nico
54
EJERCICIO PARA EL ALUMNO
Las operacin * y # estn definidas en A = {a,b} por
la siguientes tablas
* a b # a b
a a b a a a
b b b b a b
55
ENLACES RECOMENDADOS
http://docencia.udea.edu.co/SistemasDiscretos/co
ntenido/alg_division.html
http://es.scribd.com/doc/30911333/PROBLEMAS-
RESUELTOS-DE-TEORIA-DE-CONJUNTOS
http://www.youtube.com/watch?v=DKGsBUxRcV
0&feature=related
http://www.youtube.com/watch?v=zXPqxtbbd_M
56