Professional Documents
Culture Documents
INTRODUCCIN
Parte I
EMD/ABB
1/698
Contenido II
2/698
Contenido III
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
Induccin y recursin
Relaciones
Relaciones de equivalencia
Relaciones de orden
Funciones
Principio del palomar
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
EMD/ABB
INTRODUCCIN A LA PROBABILIDAD
Elementos de probabilidad
Probabilidad condicional e independencia
Variables aleatorias
3/698
EMD/ABB
4/698
Introduccin I
Introduccin II
EMD/ABB
EMD/ABB
5/698
Introduccin III
Contenido
EMD/ABB
6/698
7/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
8/698
Introduccin I
Introduccin II
EMD/ABB
9/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
10/698
Clculo proposicional I
11/698
EMD/ABB
12/698
Clculo proposicional II
2. 9 es un nmero primo.
EMD/ABB
13/698
Clculo proposicional IV
EMD/ABB
14/698
Clculo proposicional V
p: 2 es un nmero primo
q: 2 es un nmero par
EMD/ABB
15/698
EMD/ABB
16/698
Clculo proposicional VI
V
F
Negacin
EMD/ABB
17/698
F
V
EMD/ABB
18/698
Clculo proposicional IX
Conjuncin
Disyuncin inclusiva
EMD/ABB
V
V
F
F
V
F
V
F
pq
V
F
F
F
19/698
EMD/ABB
V
V
F
F
V
F
V
F
pq
V
V
V
F
20/698
Clculo proposicional X
Clculo proposicional XI
Disyuncin exclusiva
Condicional
pYq
V
V
F
F
V
F
V
F
F
V
V
F
EMD/ABB
21/698
EMD/ABB
V
V
F
F
V
F
V
F
pq
V
F
V
V
EMD/ABB
22/698
23/698
EMD/ABB
V
V
F
F
V
F
V
F
pq
V
F
F
V
24/698
Clculo proposicional XV
V
F
V
V
La tabla de verdad de (p q) q es
La tabla de verdad de p p es
25/698
F
V
p p
Ejemplo 2
Ejemplo 1
EMD/ABB
V
V
F
F
V
F
V
F
pq
V
F
F
F
(p q) q
V
V
V
V
EMD/ABB
26/698
Ejemplo 3
Ejemplo 5
La tabla de verdad de (p q) (p q) es
p
V
V
F
F
V
F
V
F
pq
F
V
F
V
V
F
V
V
(p q)
F
V
F
F
(p q)
F
V
F
F
La tabla de verdad de (p q) (r Y q) es
(p q) (p q)
V
V
V
V
Ejemplo 4
La tabla de verdad de (p q) (p q) es
p
(p q)
(p q)
(p q)
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
V
F
V
V
F
V
F
F
EMD/ABB
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
r
F
V
F
V
F
V
F
V
(p q)
V
V
F
F
V
V
V
V
(r Y q)
V
F
F
V
V
F
F
V
(p q) (r Y q)
V
F
F
F
V
F
F
V
(p q)
(p q)
F
F
F
F
27/698
EMD/ABB
28/698
EMD/ABB
29/698
Clculo proposicional XX
Ejemplos
Consideremos las siguentes proposiciones. Construyamos
algunas proposiciones compuestas.
p: El frio lleg.
q: El viento no sopla.
EMD/ABB
30/698
EMD/ABB
31/698
32/698
Ejemplos
Proposiciones simblicas escritas en lenguaje natural,
utilizando p, q y r anteriores :
p (q r)
p r
(p r)
(p q) r
EMD/ABB
33/698
r p
(p q) (q p)
EMD/ABB
34/698
Ejercicios 1
1. Suponga que p es una proposicin falsa, q una proposicin
verdadera y r, una proposicin falsa. De termine el valor
de verdad de las siguientes proposiciones:
EMD/ABB
(p r) q
35/698
p q
(p q)
{(p q) (p q)}
{(p q) r}
(p q r) (p q r)
b.
d.
f.
h.
j.
(p)
p (q)
(p q) r
p (q r)
(p q) p
36/698
(p q) q
{p (p q)} p
(p q) (q p)
{(p q) r} p
(p q) (p q)
{(p (p q)} p
(p q) (p q)
b.
d.
f.
h.
j.
l.
n.
1.
2.
(p q) p
p (p q) p
(q p) (q p)
p {(p q) r}
(p q) (q q)
{p (p q)} q
(p q) q
3.
4.
5.
6.
7.
8.
9.
EMD/ABB
37/698
12. (p q) p q
EMD/ABB
(p q) (p q)
De DMorgan (DDM)
(p q) (q p)
Conmutatividad (CONM)
p p
(p q) [(p q) (q p)]
[(p q) p] q
(p q) (p q)
De DMorgan (DDM)
(p q) (q p)
Conmutatividad (CONM)
(p q) (p q)
(p q) [(p q) (p q)]
10. [(p q) q] p
EMD/ABB
38/698
Transitividad (T)
20. (p q) (q p)
15. (p q) p
Simplificacin (SIMP)
24. (p q) (p q)
16. p (p q)
Adicin (AD)
17. p (p p)
Tautologa (TAU)
Asociatividad (ASOC)
27. (p F ) p
28. (p T ) p
39/698
EMD/ABB
Asociatividad (ASOC)
Transposicin (TRANSP)
Exportacin (EXP)
Distribucin (DIST)
Distribucin (DIST)
Conjuncin (CONJ)
Idempotencia (IDEM)
Idempotencia (IDEM)
Identidad (IDEN)
Identidad (IDEN)
40/698
30. (p F ) F
31. [p (p q)] p
32. [p (p q)] p
33. (p p) T
34. (p p) F
Dominacin (DOM)
e. (r s) (q r)
Dominacin (DOM)
f. (r s) (p q)
Absorcin (ABS)
g. [(p q) (r s)] p q
Absorcin (ABS)
h. (p q) (r s) t (q r)
Inversa (INV)
Inversa (INV)
a. p (q s)
b. r (p q)
c. s (t p)
EMD/ABB
41/698
42/698
Formas argumentales
En muchos casos se puede determinar, si un razomamiento es
correcto o no en base a experiencias vividas. Sin embargo, en
otros casos, decidir si un razonamiento es correcto o no, puede
resultar muy complejo. Por tanto, se requiere de una mayor
precisin para determinar cuando el razonamiento es correcto.
p1 , p2 , p3 , . . . , pn ` q,
donde p1 , p2 , p3 ,. . . ,pn y q son proposiciones.
Es decir, una forma argumental es la representacin simblica
de una razonamiento.
A las proposiciones
p1 , p2 , p3 , . . . , pn
se les llama premisas o hiptesis de la forma argumental y a
la proposicin q, se le llama conclusin.
Una forma argumental es vlida si y slo si, se obtiene la
conclusin, a partir de las premisas dadas previamente.
Es decir, si es una tautologa. En caso contrario, es una falacia.
EMD/ABB
43/698
EMD/ABB
44/698
Deduccin proposicional I
EMD/ABB
45/698
Deduccin proposicional II
EMD/ABB
46/698
EMD/ABB
47/698
EMD/ABB
48/698
Deduccin proposicional IV
Deduccin proposicional V
2. t s, q s, t ` q
Prueba:
Ejemplos
1)
2)
3)
4)
5)
6)
p
p q
r q
q
r
r
P
P
P
de 1) y 2) x SD
de 3) y 4) x MT
de 5) x DN
EMD/ABB
Prueba:
Deduccin proposicional VI
pq
q r
r
p r
p
P
P
P
de 1) y 2) x T
de 3) y 4) x MT
EMD/ABB
50/698
Prueba (cont.)
7)
8)
9)
Prueba:
(p q) (r s)
st
t
s
s r
r s
EMD/ABB
4. (p q) (r s), s t, t ` p
1)
2)
3)
4)
5)
6)
P
P
P
de 1) y 3) x MP
de 2) y 4) x MT
de 5) x DN
3. p q, q r, r ` p
49/698
1)
2)
3)
4)
5)
ts
q s
t
s
q
q
10)
P
P
P
de 2) y 3) x MT
de 4) x AD
de 5) x CONM
(r s)
(p q)
p q
p
de 6) x DDM
de 1) y 7) x MT
de 8) x DDM
de 9) x SIMP
51/698
EMD/ABB
52/698
Deduccin proposicional IX
53/698
Deduccin proposicional X
p q, q r, r s ` p s
Prueba:
p q
qr
rs
qs
pq
ps
P
P
P
de 2) y 3) x T
de 1) x DEF
de 4) y 5) x T
EMD/ABB
54/698
Deduccin proposicional XI
1)
2)
3)
4)
5)
6)
(p q)
rp
r
p
p q
q
P
P
P
de 2) y 3) x MP
de 1) x DDM
de 4) y 5) x SD
EMD/ABB
1)
2)
3)
4)
5)
6)
EMD/ABB
55/698
EMD/ABB
56/698
Solucin
1)
2)
3)
4)
5)
6)
(p q) r
r s
s
r
(p q)
p q
P
P
P
de 2) y 3) x SD
de 1) y 4) x MT
de 5) x DDM
EMD/ABB
57/698
Ejercicios I
58/698
Ejercicios II
10. p q, q r, s r ` p s
11. (p q) r, (q r) s, p ` s
1. p q, q r, p ` r
12. p, q r, q p, t r ` t
2. (t s) r, r, t ` s
13. s p, p t, t r ` s r
3. r s, p, q r, p q ` s
14. p, p q, p (q r) ` r
4. (p q), q t, p t, s t ` s
15. p (q r), p, r ` q
5. q t, t r, r ` q
16. p q, q ` p
6. (p q) (r s), (q s) t, t ` (p r)
17. (p q) r, r, p ` q
7. (p q) r, r p ` q
8. (p q) (r s), p r, (p s) (r q) ` (q s)
9. p q, r q, r s, p t, t r, p p ` s
EMD/ABB
EMD/ABB
59/698
18. p (q r), p, r ` q
19. p q, p q ` p q
EMD/ABB
60/698
Ejercicios III
Ejercicios IV
EMD/ABB
61/698
Ejercicios V
EMD/ABB
62/698
Ejercicios VI
EMD/ABB
63/698
EMD/ABB
64/698
Ejercicios VII
Ejercicios VIII
EMD/ABB
65/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
66/698
Formas normales I
El procedimiento de la deduccin proposicional tiene la
limitacin de que slo nos permite probar la validez de un
razonamiento, pero no la invalidez. Esto sin embargo, no
significa que un procedimiento que no hayamos podido probar
su validez sea invlido, sencillamente no lo hemos podido
lograr.
Para vencer la limitacin de la deduccin proposicional surgen
las llamadas formas normales.
Literal: Es una variable proposicional, negada o no negada.
Forma normal: es una frmula proposicional formada slo por
conjunciones, disyunciones, y negaciones que afecten a una
sola variable proposicional.
Las formas normales pueden ser:
67/698
EMD/ABB
68/698
Formas normales II
(p q) (r p q) (r p q)
mi
n
_
^
Lij ,
i=1
j=1
mi
n
^
_
Lij ,
i=1
EMD/ABB
69/698
Formas normales IV
j=1
EMD/ABB
70/698
Formas normales V
(p q r) (p q r) (r t r),
(p q) (p q) y (p q) (p q) (p q).
EMD/ABB
71/698
EMD/ABB
72/698
Formas normales VI
Definicin
El Dual de una proposicin p que contiene solamente , y ,
representado por pd , se obtiene al sustituir cada ocurrencia de
() de p por () y cada ocurrencia de T (F ) por F (T ).
Por ejemplo, las leyes de DMorgan , as como tambin las
leyes inversas son duales.
Principio de dualidad
Sean p y q proposiciones que slo contienen , y . Si p y q
son lgicamente equivalentes, entonces pd y q d son
lgicamente equivalentes.
Es decir, si p q entonces pd q d .
EMD/ABB
EMD/ABB
74/698
Formas normales
Ejemplo
Solucin:
[p (q r)] [(q p) r] [p (q r)] [(q p) r]
[p (q r)] [(q p) r]
[p (q r)] [(q p) r]
[p (q r)] [q p r]
(p q r) q p r
Solucin:
[(p (q r)) (s t)] [(p r) (q p)]
75/698
EMD/ABB
76/698
Formas normales
Ejercicios I
[(p q) (p r) (s t)]
[((p q) (r q)) ((p p) (r p))]
1. (p q) (p q)
2. [(p r) (r q)] (p q)
3. (p q) (p q)
(p q) (p r) (s t)
(p q) (r q) (p p) (r p)
4. [(p q) (q s)] (p q)
(p q) (p r) (s t) (r q) (p p) (r p) FND
Como no hay contradiccin en al menos uno de los sumandos,
se tiene que el razonamiento es consistente.
5. (q r) [(q p) (r p)]
EMD/ABB
77/698
Formas normales I
EMD/ABB
78/698
Formas normales II
Solucin:
(p q) [(q r) p] (p q) [(q r) p]
(p q) [(q r) p]
(p q) [(q r) p]
(p q) [(q r) p]
Ejemplo
(p q) p (q r)
[(p q p)] (q r)
(p q p q) (p q p r)
(p q) (p q r)
(p q) [(q r) p]
EMD/ABB
79/698
EMD/ABB
80/698
Formas normales IV
Ejemplo
Determinar mediante la FNC si el siguiente razonamiento es
vlido o invlido.
(p q) [(q r) p]
Solucin:
(p q) [(q r) p] (p q) [(q r) p]
(p q) [(q r) p]
(p q) p (q r)
(p q p) (q r)
(p q p q) (p q p r)
EMD/ABB
81/698
Ejercicios I
EMD/ABB
82/698
Ejercicios II
2. [(p r) (r q)] (p q)
3. [(p q) (p s)] (q p)
4. [(p q) p] q
5. (p q) [(p q) q]
6. [p (q r)] [(p q) r]
7. (p q) (p q)
8. (p q) (q p)
9. (p q) (r s)
EMD/ABB
83/698
EMD/ABB
84/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
85/698
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Clculo
de predicado II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA,
RELACIONES
Y FUNCIONES
Un
smbolo que puede
ser sustituido
por cualquier objeto de
unaCongruencia
coleccin dada de tales objetos se le llama variable.
Ecuaciones diofnticas lineales
Congruencias lineales
SeaRelaciones
P (x) una oracin que contiene la variable x, cuyos valores
Relaciones
deconjunto
equivalencia
pertenecen a un
D. P recibe el nombre de funcin
Relaciones de
orden
proposicional
o predicado
sobre D, si para cada x D, P (x)
Funciones
es una proposicin. Es decir, si al sustituir x por un objeto
Principiodedel
cualquiera
D,palomar
P se convierte en una proposicin. Al
INTRODUCCIN
A LA dominio
PROBABILIDAD
conjunto
D se le llama
de discurso o dominio de
Elementos
de
probabilidad
referencia o dominio de definicin.
PorProbabilidad
ejemplo, seacondicional e independencia
Variables aleatorias
P (x) : x es un entero primo,
+
donde D = Z .
EMD/ABB
87/698
Clculo de predicado I
Cuantificadores
Las herramientas lgicas que hemos visto hasta ahora no son
suficientes como para expresar en lenguaje lgico todas las
situaciones que se presentan en el lenguaje comn. Los
cuantificadores vienen a llenar este vaco porque permiten
construir proposiciones particularizadas o generalizadas a
partir de funciones proposicionales.
EMD/ABB
86/698
EMD/ABB
88/698
Clculo de predicado IV
Clculo de predicado V
EMD/ABB
89/698
Clculo de predicado VI
La afirmacin
7
para el cual
2
D=R
EMD/ABB
90/698
La afirmacin
x P (x)
x2
EMD/ABB
D=R
x (2x + 3 = 10),
91/698
x
3
=
+1
10
EMD/ABB
92/698
Clculo de predicado IX
y la segunda se escribe
x (P (x) Q(x)).
Observe que
x (P (x) Q(x)) x (P (x) Q(x)).
De la misma manera se observa que
x (P (x) Q(x)) (x (P (x) Q(x))).
x (P (x) Q(x))
Ejercicios
EMD/ABB
93/698
Clculo de predicado X
EMD/ABB
Clculo de predicado XI
d. 3x 5 = 2
EMD/ABB
P (4)
b.
n P (n)
P (5)
94/698
c.
P (8)
d.
P (11)
x P (x)
x P (x)
x P (x)
(x P (x))
95/698
EMD/ABB
96/698
b. x (P (x) Q(x))
c. x (Q(x) P (x))
d. x (P (x) Q(x))
a. x (x2 > x)
P (x): x es un abogado
b. x (x2 > x)
c. x (x > 1 x2 > x)
d. x (x > 1 x2 > x)
EMD/ABB
97/698
98/698
Clculo de predicado XV
EMD/ABB
EMD/ABB
99/698
EMD/ABB
100/698
EMD/ABB
x : P (x).
101/698
x : x es matemtico x es cientfico.
Teorema
Si P (x) es una funcin proposicional y a un objeto del dominio
de definicin de x, entonces
x P (x) P (a)
Demostracin
Si suponemos que la condicional es falsa es porque x P (x)
es verdadera y P (a) es falsa. Ahora bien, si P (a) es falsa,
entonces x P (x) es falsa y esto es contradictorio con el hecho
de que x P (x) es verdadera.
EMD/ABB
102/698
es una tautologa.
EMD/ABB
103/698
EMD/ABB
104/698
Clculo de predicado XX
105/698
EMD/ABB
106/698
Prueba
Como las premisas son ambas verdaderas, se puede aplicar la
regla de inferencia del Modus Ponens del clculo proposicional
y se obtiene la conclusin.
Ejercicios
Determine si los argumentos siguientes son vlidos o no.
1. Todos los Fsicos son analistas. Todos los analistas son
inteligentes. Luego, todos los Fsicos son inteligentes.
2. Toda persona cariosa es amada. Todos los que son
amados son dichosos. Juan es carioso. luego, Juan es
dichoso.
EMD/ABB
Consideremos el argumento:
p q, q r ` p r
EMD/ABB
107/698
EMD/ABB
108/698
Consideremos el argumento:
Algunos hombres son inteligentes. Todas las personas
inteligentes son sabias. Luego, Algunos hombres son sabios.
Sean
P (x) : x es un hombre.
Q(x) : x es inteligente.
R(x) : x es sabio.
109/698
EMD/ABB
p q, q r ` p r,
Prueba
Como suponemos que las premisas son verdaderas, existe por
lo menos un objeto x0 en el dominio de definicin de x para el
cual la proposicin es P (x0 ) Q(x0 ) y por tanto, ambas son
verdaderas. Como la segunda premisa es verdadera, se tiene
que Q(x0 ) R(x0 ) es verdadera. Ahora bien, como Q(x0 ) es
verdadera, se tiene que R(x0 ). Luego, tenemos que
P (x0 ) R(x0 ) es verdadera y x : P (x) R(x) es una
proposicin verdadera. Luego, el argumento es vlido.
EMD/ABB
110/698
111/698
EMD/ABB
112/698
EMD/ABB
113/698
Cuantificadores anidados
Los cuantificadores anidados se utilizan cuando necesitamos
dos o ms variables en una funcin proposicional. Por ejemplo,
cuando escribimos
xy(x2 + y 2 0),
D = R,
D = R,
EMD/ABB
114/698
Cuando se escribe
xy (x > y),
Considere la afirmacin
D = Z+ ,
queremos decir que para toda x, existe una y tal que x > y.
Esta afirmacin es falsa porque existe al menos una x,
digamos x = 1 para la cual x > y es falsa para todo entero
positivo y.
xy (x y),
Esta afirmacin es falsa.
D = Z+ .
Consideremos la afirmacin
xy((x < 0) (y < 0) (xy = 15)),
EMD/ABB
D = Z .
115/698
EMD/ABB
116/698
b. xy (x2 < y + 1)
Ejercicios
c. xy (x2 + y 2 = 9)
d. xy (x2 + y 2 0)
e. xy (x2 + y 2 = 9)
a. xy P (x, y)
b. xy P (x, y)
c. xy P (x, y)
j. yx (x2 < y + 1)
k. xy (x2 + y 2 0)
EMD/ABB
117/698
EMD/ABB
118/698
Contenido I
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
l. xy (x2 + y 2 0)
EMD/ABB
119/698
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
EMD/ABB
120/698
Contenido II
Contenido III
Elementos de probabilidad
Probabilidad condicional e independencia
Variables aleatorias
121/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
122/698
Conceptos y definiciones I
Conjuntos
Un conjunto es cualquier coleccin de objetos bien definidos
en el sentido de que se pueda determinar con precisin y sin
ambiguedad cuando un objeto pertenece o no al conjunto. A
los objetos que componenen un conjunto se les llama
elementos o miembros del conjunto. Por ejemplo, el conjunto
de las letras del alfabeto castellano; el conjunto de los numeros
reales entre cero y uno, etc.. Los conjuntos representan la
base sobre la cual se construye toda la matemtica. De aqu su
importancia en todo estudio cientfico.
Los conjuntos se representan generalmente por letras
maysculas como A, B, C, S, T, . . . y sus elementos, por letras
minsculas como x, y, z, s, t, a, . . . .
123/698
EMD/ABB
124/698
Conceptos y definiciones II
{a, b, c, d},
EMD/ABB
{x | P (x)},
125/698
Conceptos y definiciones IV
EMD/ABB
126/698
Conceptos y definiciones V
{b, i, t, s}
o por
{2, 4, 6, 8}.
En el primer caso, tenemos un conjunto definido por
comprensin y luego, el mismo conjunto, pero definido por
extensin.
Por ejemplo,
Ejemplo
EMD/ABB
127/698
Subconjunto
EMD/ABB
128/698
Conceptos y definiciones VI
x : [x A x B].
Se escribe
A B.
A*B y B*A
AB
U
A
A*B y B*A
EMD/ABB
129/698
130/698
Conceptos y definiciones IX
Es claro que X T y {X} T . Luego, podemos decir que
Se observa que A B, A 6 D, B 6 D.
Las relaciones entre conjuntos pueden ser representadas
mediante los llamados diagramas de Venn en honor al lgico
John Venn. As, Si A es un conjunto cualquiera, entonces
A A. Es decir, cualquier conjunto es subconjunto de si
mismo.
Es fcil probar que A para cualquier conjunto A.
{X} T y {{X}} T.
Por otro lado, es evidente que X 6 T .
Notacin
Para algunos conjuntos de uso comn en este curso, usaremos
la siguiente notacin
a. N = {0, 1, 2, 3, . . . }
Ejemplo
b. Z = {. . . , 4, 3, 2, 1, 0, 1, 2, 3, . . . }
c. Z+ = {1, 2, 3, . . . }
T = {X, {X}}.
EMD/ABB
EMD/ABB
d. Z = {. . . , 3, 2, 1}
131/698
EMD/ABB
132/698
Conceptos y definiciones X
Conceptos y definiciones XI
Notacin (cont.)
o
na
| a Z, b Z, b 6= 0
e. Q =
n b
o
a
f. I = x | x no se puede expresar como , a Z, b Z
b
g. R = Q I
Igualdad
A = B, si y slo si, A B y B A.
Por ejemplo:
A = B.
EMD/ABB
EMD/ABB
134/698
Probemos que A = B.
Prueba:
Debemos probar que A B y B A.
Primero. Probemos que A B.
EMD/ABB
135/698
A = {1, 2, 3, 4, 5} y B = {x R|x2 1 = 0}
son finitos y tienen como cardinales |A| = 5 y |B| = 2.
Los conjuntos N y Z no son finitos.
EMD/ABB
136/698
Conceptos y definiciones XV
Complemento de un conjunto
El complemento de un conjunto A se define como el conjunto
de todos los elementos del conjunto universal que no
pertenecen a A. Se representa por Ac . Por ejemplo, si
U = {1, 2, 3, 4, 5, 6, 7, 8, 9} y A = {1, 3, 6, 7, 9}, el complemento
de A es
Ac = {2, 4, 5, 8}.
Conjunto potencia
Sea A un conjunto. Al conjunto de todos los subconjuntos de A
se le llama conjunto potencia de A y se representa por P (A)
o 2A .
137/698
138/698
Contenido
EMD/ABB
EMD/ABB
139/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
140/698
A
Sean A y B dos conjuntos cualesquiera de U .
La unin de A y B se define como el conjunto de todos los
elementos que pertenecen a A o a B o a ambos. Se
representa por A B. Simblicamnete, se escribe
A B = {x U |x A o x B}.
El diagrama de Venn para la unin es
AB
Ejemplo
Sean los conjuntos A = {a, 5, q} y B = {3, a, 7}. Entonces
A B = {a, 5, q, 3, 7}.
EMD/ABB
141/698
EMD/ABB
142/698
A
La interseccin de A y B se define como el conjunto de todos
los elementos comunes a A y a B. Se representa por A B.
Simblicamnete, se escribe
AB
Ejemplo
A B = {x U |x A y x B}.
A B = {b, 7}.
Conjuntos disjuntos
EMD/ABB
143/698
EMD/ABB
144/698
Ai = {x|x Ai , i I}.
iI
Si I = Z+ , entonces
Ejemplo
Sean A = {2, 3, 4, 7} y B = {x R|x2 1 = 0}. Es claro que
A B = .
Ai = A1 A2 A3 = Ai
i=1
iI
Ai = A1 A2 A3 = Ai
i=1
iI
Ejemplo
Sean U = R, I = R+ . Suponga que para todo n I se tiene
que An = [n, n]. Entonces
iI
Ai = R y
iI
EMD/ABB
145/698
Ai = {0}
iI
EMD/ABB
146/698
AB
EMD/ABB
Ejemplo
Sean los conjuntos A = {4, 5, a, b, 7, d} y B = {3, 5, d, e, 7}.
Entonces
A B = {4, a, b}.
147/698
EMD/ABB
148/698
A
La diferencia simtrica de A y B se define como el conjunto
de todos los elementos que estn en A B y que no estn en
A B. Se representa por A4B. Simblicamnete, se escribe
A4B = {x U |x (AB) y x 6 (AB)} = (AB)(AB).
149/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Ejemplo
Sean los conjuntos A = {3, 4, a, b, 7, d} y B = {2, 4, b, e, 5}.
Entonces
A4B = {2, 3, a, 7, d, e, 5}.
EMD/ABB
AB
EMD/ABB
150/698
Conmutativas
AB =BA
AB =BA
Distributivas
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
Complemento
(Ac )c = A
A Ac =
Uc =
151/698
EMD/ABB
Asociativas
A (B C) = (A B) C
A (B C) = (A B) C
Idempotencia
AA=A
AA=A
Complemento
A Ac = U
c = U
c = U
152/698
Ley de De Morgan
(A B)c = Ac B c
(A B)c = Ac B c
Conjunto universal
Conjunto universal
(A U ) = U
(A U ) = A
Conjunto vaco
Conjunto vaco
(A ) = A
(A ) =
EMD/ABB
153/698
( Ai )c = Aci
EMD/ABB
EMD/ABB
154/698
iI
Teorema
Sean A y B dos conjuntos finitos. Entonces
|A B| = |A| + |B| |A B|.
iI
155/698
EMD/ABB
156/698
Ejercicios I
1. Sean los conjuntos:
A = {x|x N, x par, 0 < x < 8}
B = {x|x Q, x(x2 6) = 0}
C = {x|x N, x2 + x + 20 > 0}
EMD/ABB
157/698
Ejercicios II
a. Determine los conjuntos por extensin.
b. Encuentre
A C, A C, (A C) (C A), B A,
Ejercicios III
6. Determine los conjuntos que son vacos
{x|x2 = 9, 2x = 4}
{x|x 6= x}
{x|x + 3 = 3}
2
{x|x
< 0}
x + 3
e. x
= 1/5 , x N
10
a.
b.
c.
d.
BAC
158/698
159/698
EMD/ABB
160/698
Ejercicios IV
Ejercicios V
B=
a. Ac , A C, B C
b. (A C)c , A B
Sufren de la vista
Sufren slo de la vista
Sufren de diabetes pero no del corazn
Sufren de la vista pero no de diabetes
EMD/ABB
161/698
Ejercicios VI
b.
c.
d.
e.
f.
g.
h.
EMD/ABB
Ejercicios VII
|A B C| = 3
|A B| = 3
|B C| = 5
|A C| = 4
|A| = 20
|A C| = 35
|A B| = 40
a. A C
EMD/ABB
A B, C B,
A B, C 6 B,
A C, A 6= C,
A (B C), B
162/698
AC =
A C 6=
BC =
C, C 6= B,
e. C c A
c c
h. (A A )
b. B A
f. (A C)c
c. C B
g. (A B c )c
d. B c C
A 6= C
163/698
EMD/ABB
164/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Conjunto
de los nmeros naturales (N) II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA,
RELACIONES
Y FUNCIONES
Operaciones
internas
en N: suma
(+) y multiplicacin (*)
Congruencia
Principio
del buen
orden lineales
Ecuaciones
diofnticas
Congruencias
Todo
subconjunto lineales
no vaco de nmeros naturales tiene un
Relaciones
primer
elemento o elemento mnimo. Es decir, si
equivalencia
A Relaciones
N, A 6= , de
entonces
existe m A 3 m n, n A.
Relaciones de orden
Teorema
Funciones
No Principio
hay nmero
del natural
palomarentre 0 y 1.
INTRODUCCIN A LA PROBABILIDAD
Demostracin
Elementos de probabilidad
Supongamos
que
existe un nmero
natural a, tal que
Probabilidad
condicional
e independencia
0 <Variables
a < 1. Entonces
hay
un
conjunto
A 6= de nmeros
aleatorias
naturales menores que 1.
EMD/ABB
165/698
EMD/ABB
166/698
167/698
EMD/ABB
168/698
Contenido
Definicin
El conjunto de los nmeros enteros se define como
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, 4, . . . }.
El conjunto Z es infinito.
Operaciones internas en Z: suma (+), resta (-) y
multiplicacin (*).
NZ
EMD/ABB
169/698
Divisibilidad I
Definicin
Sean a, b Z. Se dice que a divide a b, escrito a | b, si existe
k Z tal que b = ka. Si a | b se dice que a es un divisor de b o
que b es un mltiplo de a
Ejemplo
2 | 6,
5 | 40,
11 | 55
Si a no divide a b, se escribe a6 | b.
Propiedades de la divisibilidad
Sean a, b, c, d Z.
a. 1 | a,
a | a,
a | 0.
b. Si a | b y b | a, entonces a = b.
EMD/ABB
171/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
170/698
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Divisibilidad
II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA,
RELACIONES
Y FUNCIONES
c. Si a | b, entonces
a | bc y ac | bc.
Congruencia
d. Si a | b y a | c, entonces a | b + c.
Ecuaciones diofnticas lineales
e.Congruencias
Si a | b y a | c, entonces
lineales a | bx + cy, x, y Z.
f.Relaciones
Si a | b y b | c, entonces a | c.
Relaciones
equivalencia
g. Si a | b y c | de
d, entonces
ac | bd.
Relaciones de orden
Divisin
segn Euclides
Funciones
Principio
palomar
Sean
a, b Zdel
con
b 6= 0. Entonces existen enteros nicos q y r,
INTRODUCCIN
tales que a = bq +Ar,LA0 PROBABILIDAD
r < |b|.
Elementos de probabilidad
a es llamado dividendo.
Probabilidad condicional
e independencia
b es llamado
divisor.
Variables aleatorias
q es llamado cociente.
r es llamado resto.
EMD/ABB
172/698
Divisibilidad III
Nmeros primos I
Definicin
Un nmero p N, p > 1 es primo si sus nicos divisores en N
son 1 y p. Si un nmero n N, n > 1 no es primo, decimos
que es compuesto
Definicin
Un factor o divisor es cada uno de los operandos de un
producto.
Ejemplos
Ejemplos
2,
3,
5,
7,
11,
13,
17,
19,
23,
29,
31, . . .
15,
42,
70 son compuestos.
Propiedad
EMD/ABB
173/698
Nmeros primos II
EMD/ABB
174/698
18 = 2 3 3 = 2 32 ,
70 = 2 5 7,
56 = 2 2 2 7 = 23 7
mr
1 m2
n = pm
1 p2 . . . pr .
EMD/ABB
175/698
EMD/ABB
176/698
Definicin
Ejemplo
Definicin
EMD/ABB
177/698
EMD/ABB
178/698
a. M CD(a, b) 0
c. M CD(0, a) = |a|
Sean a, b N, a, b > 1.
b. M CD(a, b) = M CD(b, a)
d. M CD(ka, a) = |a|, k N
y
b = pl11 pl22 pl33 . . . plrr ,
g. El M CD(a, b) es nico.
h. M CD(ka, kb) = |k| M CD(a, b), k 6= 0
EMD/ABB
donde ki , li 0.
179/698
EMD/ABB
180/698
Entonces
mn{k1 ,l1 } mn{k2 ,l2 } mn{k3 ,l3 }
n{kr ,lr }
p2
p3
. . . pm
r
M CD(a, b) = p1
Ejemplo
Ejemplo
2520 = 23 . 32 . 5 . 7
4950 = 2 . 32 . 52 . 11
Definicin
Luego, el
181/698
182/698
Contenido
Ejemplo
El 8 y el 35 son primos relativos.
Teorema
Sean a, b Z con al menos uno de ellos distinto de cero.
Entonces a y b son primos entre si, si y slo si, existen
x0 , y0 Z, tales que
ax0 + by0 = 1.
EMD/ABB
EMD/ABB
183/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
184/698
Algoritmo de Euclides I
Algoritmo de Euclides II
Algoritmo de Euclides
Ejemplo
Ejemplo
Calcular M CD(25134, 19185).
185/698
EMD/ABB
186/698
Algoritmo de Euclides IV
Solucin
En este caso r0 = 25134, r1 = 19185
r0 = r1 q1 + r2 = 19185 1 + 5949
Luego,
r1 = r2 q2 + r3 = 5949 3 + 1338
r2 = r3 q3 + r4 = 1338 4 + 597
r3 = r4 q4 + r5 = 597 2 + 144
r4 = r5 q5 + r6 = 144 4 + 21
r5 = r6 q6 + r7 = 21 6 + 18
r6 = r7 q7 + r8 = 18 1 + 3
r7 = r8 q8 + r9 = 3 6 + 0.
EMD/ABB
187/698
EMD/ABB
188/698
Ejercicios I
Ejercicios II
3. Si a, b Z y b es el predecesor de a, y el sucesor de a es
9 , entonces cul de las siguientes afirmaciones es
verdadera para a + b?
a. 15 b. 17 c. 21 d. 20 e. 19
4. Si a es un entero par y b es un entero impar, entonces
cul de las siguientes afirmaciones es (son) siempre
verdadera(s)?
a.
b.
c.
d.
e.
f.
a. 0 b. 1 c. 3a + 2 d. 1 e. a b
EMD/ABB
189/698
Ejercicios III
EMD/ABB
190/698
Ejercicios IV
M CD(72, 16)
M CD(80, 32)
M CD(848, 656)
M CD(93164, 5826)
M CD(279492, 17478)
M CD(3907853, 3802499)
191/698
EMD/ABB
192/698
Definicin
Sean a, b Z {0}. El Mnimo comn mltiplo de a y b,
representado por M CM (a, b), es el nico entero positivo c que
satisface las condiciones siguientes:
1. a | c y b | c ( esto dice que c es mltiplo comn).
EMD/ABB
193/698
M CM (a, b) =
|ab|
.
M CD(a, b)
EMD/ABB
194/698
Suponga que
a = pk11 pk22 pk33 . . . pkr r
16 = 24
Luego,
b = pl11 pl22 pl33 . . . plrr ,
donde ki , li 0.
Entonces
m
ax{k1 ,l1 } m
ax{k2 ,l2 } m
ax{k3 ,l3 }
ax{kr ,lr }
p2
p3
. . . pm
r
M CM (a, b) = p1
Ejemplo
Calcular M CM (2520, 4950).
Ejemplo
Calcular el M CM (72, 16).
2520 = 23 . 32 . 5 . 7
Solucin
EMD/ABB
4950 = 2 . 32 . 52 . 11
195/698
EMD/ABB
196/698
Ejercicios I
Luego, el
3
a. 15 y 18
b. 721 y 448
c. 424 y 328
EMD/ABB
197/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
198/698
Funcin caracterstica I
Definicin
Por el momento, asumamos que una funcin es una regla que
asigna un nico valor a cada elemento de un conjunto.
Sea A un subconjunto del conjunto universal U . La funcin
caracterstica fA del conjunto A se define como:
(
1, si x A
fA (x) =
0, si x 6 A
Como la funcin caracterstica es numrica, puede ser operada
aritmticamente.
Propiedades de las funciones caractersticas
Teorema
199/698
EMD/ABB
200/698
Funcin caracterstica II
Demostracin
Parte 1.
Si x 6 A y x 6 B.
Parte 3.
EMD/ABB
EMD/ABB
201/698
Funcin caracterstica IV
Contenido
EMD/ABB
202/698
203/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
204/698
Sucesiones I
Sucesiones II
donde n Z+ , es una sucesin infinita.
Sucesin
Una sucesin es una lista de objetos, colocados uno despus
del otro y numerados segn el orden de Z+ . Si la sucesin se
detiene despus de un nmero finito de trminos, se dice que
es finita. En caso contrario, se dice que es infinita. Los
trminos de una sucesin son siempre elementos de un
conjunto.
Por ejemplo, la lista
1, 3, 5, 7, . . . , (2n 1), . . . ,
EMD/ABB
205/698
Sucesiones III
EMD/ABB
206/698
Sucesiones IV
{0, 1}.
En general, las sucesiones se escriben como x1 , x2 , x3 , . . . o
como (xi )
i=1 . Observe que los xi no tienen que ser nmeros.
Cuando la sucesin es finita se puede escribir como (xi )ni=1 ,
donde n es el nmero de trminos.
Por ejemplo, la palabra bcbbccbbbccc puede ser interpretada
como una sucesin finita o como la lista b, c, b, b, c, c,
b, b, b, c, c, c, cuyo conjunto es {b, c}.
Si se escribe la palabra abcabcabc... o a, b, c, a, b,
c, a, b, c,... decimos que se tiene una sucesin infinita.
Su conjunto correspondiente es {a, b, c}
EMD/ABB
207/698
EMD/ABB
208/698
Sucesiones V
Sucesiones VI
EMD/ABB
209/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
210/698
211/698
EMD/ABB
212/698
Ejemplo
Sean U = {a, b, c, d, e, f }, A = {a, b}, B = {b, d, f }. Entonces
fA (x) est representada por la sucesin 1, 1, 0, 0, 0, 0. De la
misma manera, la sucesin 0, 1, 0, 1, 0, 1 representa a fB (x).
De manera que todo conjunto universal U , de cardinal finito n ,
puede representarse en una computadora como un arreglo X,
de tamao n.
Cualquier subconjunto de U se puede representar en la
computadora asignando a cada posicin de memoria X(n) un
uno o un cero, dependiendo de que el elemento pertenezca o
no al subconjunto.
1 1 1 1 1 1
O sea que
(
1,
A(i) =
0,
0 1 1 0 1 1
para i = 2, 3, 5, 6
para i = 1, 4
Ejemplo
EMD/ABB
213/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
214/698
lgebras booleanas I
lgebras booleanas
La unidad de informacin ms pequea dentro de un
computador digital es el bit ( 0 1). De aqu que exista una
relacin directa entre la lgica, que utiliza como caracterstica
fundamental el valor de verdad de las proposiciones (
verdadera (V ) o Falsa (F )) y una lgebra booleana que
tiene como elementos bsicos dos valores, generalmente
representados por 0 o 1.
215/698
EMD/ABB
216/698
lgebras booleanas II
p
1
0
p
0
1
1
1
0
0
1
0
1
0
pq
1
0
0
0
1
1
0
0
1
0
1
0
a. Propiedades asociativas
(x + y) + z = x + (y + z)
pq
1
1
1
0
b. Propiedades conmutativas
x + y = y + x,
Definicin
Un lgebra booleana B, es un conjunto S, junto con dos
operaciones binarias y una operacin unaria, generalmente
representadas por + , y 0 , y que satisface las siguientes
propiedades: Para todo x, y, z S
EMD/ABB
(x y) z = x (y z)
217/698
lgebras booleanas IV
xy =yx
c. Propiedades distributivas
x (y + z) = (x y) + (x z)
x + (y z) = (x + y) (x + z)
EMD/ABB
218/698
lgebras booleanas V
x1=x
e. Propiedades de complementos
x + x0 = 1
x x0 = 0
Se escribe B = (S, +, , 0 )
Ejemplo
Sea S = {0, 1}. Se puede comprobar que B = (S, +, , 0 ) es
una lgebra booleana, donde las operaciones se definen como
+ 0 1
0 0 1
1 1 1
EMD/ABB
0 1
0 0 0
1 0 1
x x0
0 1
1 0
219/698
Ejemplo
Sea S el conjunto de proposiciones representadas por las
variables proposicionales {p, q, r, . . . }, junto con las conectivas
lgicas Disyuncin, Conjuncin y Negacin del clculo
EMD/ABB
220/698
lgebras booleanas VI
EMD/ABB
221/698
Demostracin
Si la frmula F se deriva aplicando una sucesin de los
axiomas del lgebra de boole, la frmula dual de F se obtiene
mediante la aplicacin de una sucesin de los duales de los
axiomas del lgebra de boole.
Con fines de simplificar la notacin, la disyuncin debe
interpretarse como una suma booleana y la conjuncin como
un producto booleano. De la misma manera cuando haya
posibilidad de confusin en la notacin, utilizar el smbolo
EMD/ABB
222/698
Contenido
EMD/ABB
223/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
224/698
Definicin
Un objeto matemtico de la forma (a, b) se le llama Par o
Pareja ordenada. a recibe el nombre de Primera
componente del par ordenado y b recibe el nombre de
Segunda componente del par ordenado.
Ejemplo
Sean A = {3, 4, 5} y B = {a, b}
A B = {(3, a), (3, b), (4, a), (4, b), (5, a), (5, b)}
EMD/ABB
225/698
EMD/ABB
226/698
Conjunto de verdad I
B A = {(a, 3), (a, 4), (a, 5), (b, 3), (b, 4), (b, 5)}
De forma similar, si alguno de los conjuntos A o B es infinito y
el otro no es vaco, el producto cartesiano A B es infinito.
Generalizando a n conjuntos A1 , A2 , A3 , . . . , An , se tiene que
Definicin
El Conjunto de verdad de una proposicin p es el conjunto de
n-uplas de los valores de verdad de las proposiciones simples
que la forman que la hacen verdadera. Se representa por T (p).
Por ejemplo, consideremos la proposicin
(p q) (r Y q).
Ejemplo
Su tabla de verdad es
EMD/ABB
227/698
EMD/ABB
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
r
F
V
F
V
F
V
F
V
(p q)
V
V
F
F
V
V
V
V
(r Y q)
V
F
F
V
V
F
F
V
(p q) (r Y q)
V
F
F
F
V
F
F
V
228/698
Conjunto de verdad II
En este ejemplo
U
b. T (p q) = T (p) T (q)
y el conjunto de verdad es
c. T (p) = (T (p))c
229/698
Ejercicios I
230/698
Ejercicios II
a.
b.
c.
d.
EMD/ABB
231/698
232/698
Ejercicios III
Contenido
EMD/ABB
233/698
Induccin I
Induccin matemtica
Sea P (n) una funcin proposicional cuyo dominio de referencia
es N. Sea n0 N fijo. Se desea demostrar que P (n) es
verdadera para toda n n0 . Suponga que:
a. P (n0 ) es verdadera.
b. n n0 : [P (n) P (n + 1)]
(paso inductivo).
EMD/ABB
i=
n(n + 1)
, n 1.
2
235/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
234/698
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Induccin
II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA, RELACIONES Y FUNCIONES
Congruencia
Demostracin
Ecuaciones diofnticas lineales
Aqu
P (n) es la funcin
proposicional
Congruencias
lineales
Relaciones
n
X
n(n + 1)
Relaciones de equivalencia
i=
y n0 = 1.
2
Relaciones de orden
i=1
Funciones
Principio del palomar
a. paso bsico: comprobar que P (n) es verdadera para
INTRODUCCIN A LA PROBABILIDAD
n = 1.
Elementos de probabilidad 1(1 + 1)
Probabilidad condicional1e=independencia
2
Variables aleatorias
EMD/ABB
236/698
Induccin III
Induccin IV
Ejemplo
n(n + 1)
2
i=
i=1
i=1
Consideremos la expresin
Demostracin
n+1
X
i=1
i = 1 + 2 + 3 + + n + (n + 1) =
=
n(n + 1)
+ (n + 1)
2
n(n + 1) + 2(n + 1)
(n + 1)(n + 2)
=
.
2
2
EMD/ABB
237/698
Induccin V
238/698
Induccin VI
i=1
=
Aci
i=1
n+1
Acn+1 = Aci .
Definicin
Sea n Z, n 0. Entonces n factorial se define como
(
1,
n=0
n! =
n(n 1)(n 2) 3 2 1, n > 0
Ejemplos
3! = 321 = 6,
5! = 54321 = 120,
1! = 1,
2! = 21 = 2
i=1
Ejemplo
Luego, P (n + 1) es verdadera. Por tanto, P (n) es
verdadera para toda n 1.
EMD/ABB
239/698
EMD/ABB
240/698
Induccin VII
Induccin VIII
b. Paso inductivo: suponer que P (n) es verdadera, para
probar que P (n + 1) es verdadera. Es decir suponer que
n! 2n1
n! 2n1 , n 1.
Demostracin
(n + 1)! 2n .
1! 20 .
241/698
Induccin IX
EMD/ABB
242/698
Induccin X
b. Paso inductivo: Suponer que P (n) es verdadera, para
probar que P (n + 1) es verdadera. Es decir, debemos
asumir que
Ejemplo
Demostrar por induccin matemtica que
7n 1
7n 1, es divisible entre 6.
Demostracin
7n+1 1 = 7 . 7n 1 = 6 . 7n + 1 . 7n 1.
71 1 = 6
es divisible entre 6.
EMD/ABB
243/698
EMD/ABB
244/698
Induccin XI
Ejercicios I
1. Pruebe por induccin matemtica.
a. 2n + 1 < 2n ,
b.
n
X
c.
n
X
i=1
d.
n
X
n
X
i=1
Ejercicios II
f.
n
X
i=1
(3i 1) =
n(3n + 1)
2
2i = n(n + 1)
(2i 1)2 =
n(2n + 1)(2n 1)
3
246/698
a.
n2
X
n
X
i=1
b.
n
X
i=1
c.
n
X
i=1
Fi = Fn 1, n 3.
d.
b. Fn < (5/3)n n 1.
i2 = 12 + 22 + 32 + + n2 =
n(n + 1)(2n + 1)
6
(2i 1) = 1 + 3 + 5 + + (2n 1) = n2
(1)i+1 i2 = 12 22 + 32 + (1)n+1 n2 =
(1)n+1 n(n + 1)
2
n
X
1
=
(2i 1)(2i + 1)
1
1
1
n
+
+ +
=
1.3 3.5
(2n 1)(2n + 1)
2n + 1
i=1
EMD/ABB
i=1
Ejercicios III
n(n + 1)(n + 2)
g.
i(i + 1) =
3
i=1
i=1
!2
EMD/ABB
n
X
a.
i3 =
n
X
i=1
e.
245/698
i=1
a. P (n0 ) es verdadera.
EMD/ABB
n3
247/698
EMD/ABB
248/698
Ejercicios IV
Recursin I
Recursin
e. n2 2n ,
n4
EMD/ABB
249/698
Recursin II
EMD/ABB
250/698
Recursin III
En el caso del n! el paso base es 0! = 1 y el paso recursivo es
n(n 1)!. En la sucesin de Fibonacci, el paso base est
formado por
F (1) = 1,
F (2) = 1
EMD/ABB
251/698
EMD/ABB
252/698
Recursin IV
Recursin
EMD/ABB
253/698
Recursin
EMD/ABB
254/698
Recursin
factorial_rec(n)
Una expresin matemtica para el cdigo anterior es la
Si n = 0
siguiente
(
entonces
1,
n=0
factorial_rec = 1;
\\paso base
f (n) =
.
n f (n 1), n > 0
si no
factorial_rec = n * factorial_rec (n - 1);\\p. recursivo
Fin del Si
EMD/ABB
255/698
EMD/ABB
256/698
Recursin
Recursin
Ejemplo
f (4) = 4 f (3) = 4 6 = 24
f (3) = 3 f (2) = 3 2 = 6
f (2) = 2 f (1) = 2 1 = 2
f (1) = 1 f (0) = 1 1 = 1
Luego,
f (5) = 120.
EMD/ABB
257/698
Recursin
EMD/ABB
258/698
Recursin
f (1) = 2f (0) + 13 + 1 = 2
Luego,
f (4) = 173.
EMD/ABB
259/698
EMD/ABB
260/698
Recursin
Ms sobre recursin I
factorial_ite(n)
nfact = 1;
Mientras (n > 0 )
nfact = n * nfact;
n = n - 1;
Fin del Mientras
Escribir nfact;
EMD/ABB
261/698
Ejercicios I
1.
2.
3.
4.
5.
262/698
Ejercicios II
(
1,
n1
si f (n) =
. Encuentre f (5).
2 f (n 1) + 1, n > 1
(
1,
n1
si f (n) =
. Encuentre f (15).
f (n/2) + 1, n > 1
(
1,
n=0
si f (n) =
. Encuentre f (6).
n + f (n 1) + 1, n > 0
(
1,
n=1
si f (n) =
. Encuentre f (8).
2 f (n 1) + n, n > 1
(
5,
n=1
Si f (n) =
. Encuentre f (4).
5 f (n 1), n > 1
EMD/ABB
EMD/ABB
6.
7.
8.
9.
10.
263/698
(
1,
n=1
Si f (n) =
. Encuentre f (5).
n + f (n 1), n > 1
(
7,
n=0
Si f (n) =
. Encuentre f (6).
f (n 1) + 1, n > 0
(
n,
n<2
Si f (n) =
. Encuentre f (5).
f (n 1) + f (n 2), n 2
(
m,
n=0
Si f (m, n) =
. Encuentre f (45, 18).
f (n, m %n), n > 0
(
m,
n=1
Si f (m, n) =
. Encuentre f (7, 4).
m f (m, n 1), n > 1
EMD/ABB
264/698
Ejercicios III
(
m,
11. Si f (m, n) =
f (m, n 1) + 1,
(
m,
12. Si f (m, n) =
f (m, n 1) + m,
f (6, 7).
(
m,
13. Si f (m, n) =
f (m, n 1) + n,
f (8, 10).
Ejercicios IV
n=0
. Encuentre f (5, 6).
n>0
n=0
. Encuentre
n>0
n=0
. Encuentre
n>0
EMD/ABB
265/698
Ejercicios V
EMD/ABB
266/698
Ejercicios VI
20. Escriba en seudocdigo una funcin recursiva que sume
los elementos de un arreglo.
EMD/ABB
m=0
n + 1,
14. Si A(m, n) = A(m 1, 1),
m > 0, n = 0 .
267/698
EMD/ABB
268/698
Ejercicios VII
Ejercicios VIII
EMD/ABB
269/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
270/698
Elementos de conteo I
Principio o regla de la suma
Supongamos que se desea realizar un trabajo que requiere de
ejecutar una de varias tareas: una primera tarea que puede
llevarse a cabo de n1 maneras o una segunda tarea que se
puede realizar de n2 maneras o una tercera tarea que se
puede ejecutar de n3 maneras; y as sucesivamente, hasta una
r-sima tarea que se puede realizar de nr maneras, con la
condicin de que dos tareas no se pueden llevar a cabo al
mismo tiempo, entonces el trabajo se puede realizar de
n1 + n2 + n3 + + nr maneras.
Ejemplo
Suponga que un Dealer de vehculos tiene en venta 15
vehculos Honda, 18 vehculos Toyota y 25 vehculos Ford. Un
271/698
EMD/ABB
272/698
Elementos de conteo II
Ejemplo
Ejemplo
Suponga que a un festival bailable en pareja (HombreMujer)
se presentan 8 hombres y 12 mujeres. Entonces hay
8 12 = 96 maneras de seleccionar las parejas.
Ejemplo
EMD/ABB
EMD/ABB
273/698
Elementos de conteo IV
Contenido
EMD/ABB
274/698
275/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
276/698
Permutaciones I
Permutaciones II
Definicin
Dado un conjunto de n elementos. Cualquier arreglo o
disposicin de los n elementos se le llama Permutacin de los
n elementos del conjunto. Por ejemplo, si se tiene el conjunto
A = {1, 2, 3}, entonces hay 6 diferentes maneras
(permutaciones) de arreglar los elementos de A que son:
123,
132,
213,
231,
312,
321.
21,
13,
31,
23,
32.
EMD/ABB
277/698
Permutaciones III
EMD/ABB
278/698
Permutaciones IV
Nota.
n!
n!
=
= 1.
(n 0)!
n!
As que
P (n, r) =
n!
, 0 r n.
(n r)!
Ejemplo
n!
n!
=
= n!.
(n n)!
0!
279/698
EMD/ABB
280/698
Permutaciones V
Permutaciones VI
26 25 24 3 2 1
26!
=
= 15600.
23 22 21 3 2 1
(26 3)!
Ejemplo
El nmero de permutaciones de tamao 5 que pueden tenerse
con las letras de la palabra BYTES es
P (5, 5) =
Ejemplo
La cantidad de palabras de 3 letras (variaciones ) que se
pueden construir, asumiendo que no se permiten repeticin de
letras viene dada por el nmero
EMD/ABB
281/698
Permutaciones VII
5!
5!
=
= 60.
(5 3)!
2!
EMD/ABB
282/698
Permutaciones VIII
57 .
Esto as porque las permutaciones tienen la forma xxxxxxx y
cada posicin x tiene 5 posibilidades. Luego, se aplica la regla
del producto para obtener el resultado anterior.
Ejemplo
Una compaa constructora de semforos, tiene 5 tonalidades
para el color rojo, 8 tonalidades para el color verde y 4
tonalidades para el color amarillo. Cuntos semforos
EMD/ABB
5!
5!
=
= 5!.
(5 5)!
0!
283/698
EMD/ABB
284/698
Permutaciones IX
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
Permutaciones X
A1
A1
A1
A1
A1
A1
A2
A2
A2
A2
A2
A2
A2 C S
A2 S C
C A2 S
C S A2
S A2 C
S C A2
A1 C S
A1 S C
C A1 S
C S A1
S C A1
S A1 C
1
2
3
4
5
6
1
2
3
4
6
5
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
C A 1 A2 S
C A1 S A2
C A 2 A1 S
C A2 S A1
C S A2 A1
C S A1 A2
S C A1 A2
S C A2 A1
S A2 C A1
S A 2 A1 C
S A 1 A2 C
S A1 C A2
7
8
7
8
9
9
10
n!
.
n1 !n2 !n3 ! nr !
10
11
12
12
Ejemplo
11
285/698
Ejercicios
EMD/ABB
Ejercicios I
EMD/ABB
286/698
287/698
EMD/ABB
288/698
Ejercicios II
Ejercicios III
EMD/ABB
289/698
Ejercicios IV
EMD/ABB
Ejercicios V
EMD/ABB
290/698
291/698
EMD/ABB
292/698
Ejercicios VI
Ejercicios VII
EMD/ABB
293/698
Ejercicios VIII
EMD/ABB
294/698
Ejercicios IX
EMD/ABB
EMD/ABB
295/698
296/698
Ejercicios X
Ejercicios XI
EMD/ABB
297/698
Ejercicios XII
EMD/ABB
298/698
Contenido
EMD/ABB
299/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
300/698
Combinaciones
Dado un conjunto de n objetos y 0 r n. El numero de
selecciones o combinaciones de tamao r (se toman r a la
vez) de los n objetos dados, donde el orden carece de
importancia, se define por
n
n!
C(n, r) =
=
.
r
r!(n r)!
Ejemplo
Sea A = {1, 2, 3}. El nmero de combinaciones tomadas de 2
en 2 (r = 2) de los 3 objetos del conjunto A, viene dado por
3
3!
3!
C(3, 2) =
=
=
= 3.
2
2!(3 2)!
2!1!
EMD/ABB
301/698
12,
23.
Ejemplo
Sea A = {a, b, c, d}.
a. Cuntas combinaciones sin repeticin de un (1) elemento
(r = 1) se pueden construir?. Se pueden construir
4
4!
=4
C(4, 1) =
=
1!(4 1)!
1
combinaciones. Estas son
a, b, c, d
EMD/ABB
302/698
EMD/ABB
13,
303/698
EMD/ABB
304/698
combinacin. Esta es
abcd
Observemos que se trata de combinaciones sin repeticin, por
lo que no se puede seguir construyendo combinaciones de 5 o
ms elementos.
Ejemplo
Ejemplo
Un estudiante toma un examen de sociologa que contiene 10
preguntas de las cuales debe responder 7. De cuntas
maneras puede responder el estudiante el examen?.
Solucin
EMD/ABB
EMD/ABB
305/698
306/698
307/698
EMD/ABB
308/698
maneras.
El cuarto equipo se puede seleccionar de
8
8!
C(8, 8) =
=
=1
8
8!0!
maneras.
El segundo equipo se puede seleccionar de
24
24!
C(24, 8) =
=
= 735471
8
8!16!
maneras.
Ahora aplicando la regla del producto, se tiene que los cuatro
equipos de pueden formar de
32 24 16 8
C(32, 8)C(24, 8)C(16, 8)C(8, 8) =
8
8
8
8
= 10518300 735471 12870 1
maneras.
El tercer equipo se puede seleccionar de
16
16!
C(16, 8) =
=
= 12870
8
8!8!
EMD/ABB
= 9.9561092450391 1016
309/698
310/698
maneras.
Solucin
El coeficiente es :
5
5
5!
3
2
(2) (1) =
(2)3 (1)2 =
(2)3 (1)2 = 80.
3
2
3!2!
Otra forma
Sabemos que el trmino general de a3 b4 es
5
5 5k 5k 2k
5k 2 k
(2a) (b ) =
2 a b .
k
k
n
X
n
=
ank bk
nk
k=0
EMD/ABB
EMD/ABB
311/698
EMD/ABB
312/698
De donde
a5k b2k = a3 b4 .
n
n1 , n2 , n3 , , nr
Luego, k = 2 y el coeficiente es
5
5!
(8) = 80.
(2)3 =
2!3!
2
n!
,
n1 !n2 !n3 ! nr !
0 ni n, i = 1, 2, , r y n1 + n2 + n3 + + nr = n.
La suma de los coeficientes multinomiales viene dada por la
frmula
X
n
= rn .
n
,
n
,
n
,
,
n
1
2
3
r
n +n ++n =n
313/698
EMD/ABB
314/698
Ejercicios I
EMD/ABB
EMD/ABB
315/698
EMD/ABB
316/698
Ejercicios II
Ejercicios III
a.
c.
b.
d.
6. Demuestre que
e.
n
n
=
k
nk
7. Demuestre que:
EMD/ABB
317/698
Ejercicios IV
a.
b.
c.
d.
e.
EMD/ABB
318/698
Ejercicios V
11. Cuntas permutaciones de las letras de la palabra
MISSISSIPPI no tienen S consecutivas?.
no hay restricciones.
debe haber 6 hombres y 6 mujeres
debe haber un nmero par de mujeres
debe haber ms mujeres que hombres
debe haber ocho hombres como mnimo
EMD/ABB
n
n
n
n
+
+
+ +
= 2n
0
1
2
n
n
n
n
n
+
+ (1)n
=0
0
1
2
n
2n
2n
1 2n + 2
, n Z+
+
=
2 n+1
n
n1
n
n
n+1
+
=
k1
k
k
n
n
n
=
=
n1 , n2
n1
n2
319/698
EMD/ABB
(x + y)3
(w + x + y + z)5
b.
b.
(x + y)10
(x y)10
c.
c.
(x + y + z)10
(2x 3y + z)10
320/698
Ejercicios VI
Ejercicios VII
EMD/ABB
321/698
Ejercicios VIII
EMD/ABB
322/698
Contenido
EMD/ABB
323/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
324/698
EMD/ABB
325/698
EMD/ABB
326/698
Ejemplo
Suponga que una librera especializada en Ciencia y
Tecnologa tiene disponible 27 tipos diferentes de libros. En la
librera hay al menos 15 libros de cada tipo. Un Poltico que
desea entregar a estudiantes de su comunidad algunos libros,
llega a la librera. El poltico puede seleccionar 15 libros de
C(27 + 15 1, 15) = C(41, 15) =
41
41!
41!
=
=
= 63432274896
15
15!(41 15)!
15!26!
maneras.
Ejemplo
EMD/ABB
327/698
EMD/ABB
328/698
Solucin
329/698
EMD/ABB
330/698
Ejercicios I
x1 + x2 + x3 + x4 + x5 = 12, xi Z, xi 0, i = 1, 2, 3, 4, 5.
EMD/ABB
331/698
EMD/ABB
332/698
Ejercicios II
Ejercicios III
xi 0, 1 i 4.
x1 , x2 5, x3 , x4 7.
xi 2, 1 i 4.
b.
d.
f.
xi > 0, 1 i 4.
xi 8, 1 i 4.
x1 , x2 , x3 > 0, 0 < x4 25.
a. xi 0, 1 i 5.
b. xi 3, 1 i 5.
6. De cuntas maneras se pueden distribuir 8 pelatas
blancas idnticas en 4 recipientes distintos, de modo que:
a. ningn recipiente quede vaco?.
b. que el cuarto recipiente contenga un impar de pelotas?.
EMD/ABB
333/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
334/698
Congruencia I
Congruencia
Sea m Z+ y sean a y b dos enteros cualesquiera. Se dice
que a es Congruente con b mdulo m, denotado por a b (
mod m), si m|(a b). Es decir, si a b = km para algn k Z.
En otras palabras, si el resto de dividir a y b entre m es el
mismo.
Ejemplos
9 4 ( mod 5),
28 1 ( mod 9),
17 7 ( mod 8)
335/698
EMD/ABB
336/698
Congruencia II
Congruencia III
x 2 ( mod 24).
Luego, la hora x buscada es las 2 : 00a.m..
Si a y b no son congruentes mdulo m, se dice que son
Incongruentes y se escribe a 6 b ( mod m).
Propiedades de las congruencias
Suponer que m es un entero positivo fijo.
Solucin
EMD/ABB
337/698
Congruencia IV
EMD/ABB
338/698
Congruencia V
1. Si a b ( m
od m) y c Z, entonces:
a. a + c b + c ( mod m)
Ejemplo
Demostracin
Si 10 1 ( m
od 9), entonces 200 20 ( mod 9).
a + c b + c ( m
od m).
b. ac bc ( mod m)
Demostracin
Como a b ( mod m), se tiene que m | a b y por tanto,
m | (a b)c. Luego, m | ac bc y
ac bc ( mod m).
EMD/ABB
339/698
EMD/ABB
340/698
Congruencia VI
Congruencia VII
a. a + c b + d ( mod m)
b. ac bd ( mod m)
Demostracin
Demostracin
(a b) + (c d) = (a + c) (b + d) = (k + h)m,
ac bd = (ck + bh)m,
donde (k + h) Z. Luego,
a + c b + d ( mod m).
EMD/ABB
ac bd ( mod m).
341/698
Congruencia VIII
EMD/ABB
342/698
Congruencia IX
3. Congruencia de Polinomios.
Si
ci ai ci bi ( mod m).
Sumando todas las ecuaciones obtenemos
si a b ( m
od m), se tiene que
f (a) f (b) ( m
od m).
Luego,
Demostracin
Como a b ( m
od m) y aplicando los resultados del item 2,
se obtiene
ai bi ( m
od m), 1 i n.
EMD/ABB
343/698
EMD/ABB
344/698
Congruencia X
Congruencia XI
Por tanto,
Teorema
Sean a, b Z . Sea k un entero positivo y d = M CD(k, m).
Entonces si
ka kb ( mod m), se tiene que a b ( m
od
ab
m
od
m
.
d
Ejemplo
m
d)
Demostracin
Como ka kb ( m
od m), tenemos que m | k(a b). Luego,
m k(a b)
.
d
d
Corolario
Sea m primo y k un entero positivo, tal que M CD(k, m) = 1.
Entonces si
k
Como M CD( m
d , d ) = 1, se tiene necesariamente que
m
a b.
d
EMD/ABB
Ejercicios I
EMD/ABB
346/698
Ejercicios II
a. dentro de 22 das?
b. dentro de 150 das?
EMD/ABB
18 1( mod 5)
86 1( mod 5)
100 10( mod 9)
62 6 2( mod 8)
103 1( mod 9)
2a 6( mod 2)
s2 + s + 1 2( mod 2)
a(a + 1)(a + 2) 0( mod 3)
a. 2a 3 ( mod 7)
a. 5a 4 ( mod 7)
347/698
EMD/ABB
348/698
Congruencia I
Congruencia II
Si se continua el proceso, observamos que
Definicin
Sea A = Z y a A. Se llama Clase de congruencia de a
mdulo m, representada por [a], al conjunto
[a] = {x A | x a ( m
od m)} = {x A | k Z, x a = mk}.
Ejemplo
EMD/ABB
349/698
Congruencia III
EMD/ABB
350/698
Congruencia IV
s = 7m + t para algn m Z y 0 t 6.
El conjunto
1. a + b = a + b ( mod m)
2. a . b = a b ( mod m)
Zm = {0, 1, 2, 3, . . . , m 1}.
1. [a] + [b] = [a + b]
2. [a] . [b] = [a b]
EMD/ABB
351/698
EMD/ABB
352/698
Congruencia V
Congruencia VI
e. Distributiva: a (b + c) = a b + a c.
Ejemplo
5 + 4 = 5 + 4 ( m
od 7) = 2
5 4 = 5 4 ( mod 7) = 6.
Propiedades
Sean a, b, c Zm ,
m 2.
Sea m = 7. Entonces
Ejemplo
a. Conmutativa: a + b = b + a, a b = b a.
Sea m = 5. Entonces
d. Opuesto e Inverso: a + a0 = a0 + a = e, a a0 = a0 a = e.
EMD/ABB
353/698
Congruencia VII
EMD/ABB
354/698
Congruencia VIII
Sea [a] Zm . Entonces el opuesto de [a] es [a0 ] = [a].
a + a0 0 (mod m)
a0 a (mod m)
a + e a (m
od m) e + a a (mod m)
[a0 ] = [a]
e a a (mod m)
e 0 (mod m)
EMD/ABB
355/698
EMD/ABB
356/698
Congruencia IX
Congruencia X
[a0 ]
a0 a 1 (mod m)
Ejemplo
a0 a = 1 + mq, q Z
Hallar el inverso de 3 en Z7 .
aa0 mq = 1
Solucin
357/698
Congruencia XI
EMD/ABB
358/698
Congruencia XII
M CD(3, 7) = 1.
Ejemplo
1 = 723
Solucin
De aqu que
= (2) 3 + (1)(7).
(7)
k, k Z
1
= 2 7k = 5 7k.
x = 2 +
EMD/ABB
359/698
EMD/ABB
360/698
Congruencia XIII
Congruencia XIV
16 = 2 7 + 2
7x 1 (mod 16) en Z
7 = 32+1
16 | 7x 1 en Z
y Z : 7x 16y = 1 en Z
2 = 21+0
Ahora
Tenemos que
= 7 7 3 16
M CD(7, 16) = 1.
= 7 7 + 3(16)
Algoritmo de Euclides
EMD/ABB
361/698
Congruencia XV
EMD/ABB
Congruencia XVI
En Zm , la ley de cancelacin no siempre se cumple. Por
ejemplo,
3 5 = 3 3 en Z6 .
De aqu que
(16)
k, k Z
1
= 16q + 7, q = k, q Z
Sin embargo,
x = 7+
5 6= 3.
Divisores de cero
Ley de cancelacin en Z
Sean a, b, c Z. Si ca = cb, con c 6= 0, entonces a = b
a b = 0, siendo a 6= 0 b 6= 0.
Ley de cancelacin en Zm
EMD/ABB
362/698
363/698
EMD/ABB
364/698
Congruencia XVII
Congruencia XVIII
Ejemplo
4y = 2 4 2y = 2 2 y = 4.
Resolver el sistema en Z7 .
(1)
(2)
3x + 2y = 3
x + 4y = 5
Solucin
EMD/ABB
365/698
Congruencia XIX
EMD/ABB
366/698
Congruencia XX
x =
Ejemplo
Resolver la ecuacin x2 + 5x + 1 = 0 en Z5 .
Solucin
b b2 4ac
x=
.
2a
EMD/ABB
367/698
52 4(1)(1)
5 25 4
5 21
=
=
2(1)
2
2
5 20 + 1
5 0 + 1
5 1
=
=
2
2
2
5
5 1
2
Luego,
EMD/ABB
x1 =
5 + 1
4
1
31
=
= =
= 3 x1 = 3
2
2
2
32
x2 =
5 1
6
4
322
=
= =
= 2 x2 = 2
2
2
2
32
368/698
Congruencia XXI
Congruencia I
Funcin de Euler
Definicin
Sea m Z+ . La funcin de (m) de Euler se define como
(m) = {k Z+ | k m, M CD(k, m) = 1} .
Nota: El 3 es el inverso de 2 en Z5 .
(2) = 1,
(3) = 2,
(4) = 2,
(8) = 4.
Algunas propiedades
EMD/ABB
369/698
Congruencia II
EMD/ABB
370/698
Congruencia III
donde los pi son nmeros primos distintos. Entonces
combinando las propiedades 2 y 3, se tiene
1. (m) = m 1, si m es primo.
pk11 pk22
pkr r ,
EMD/ABB
371/698
EMD/ABB
372/698
Congruencia IV
Congruencia V
Calcular (700).
Solucin
Ejemplo
1
(700) = 700 1
2
= 240
1
1
1
4
6
1
1
= 700
5
7
2
5
7
Teorema de Euler
EMD/ABB
373/698
Congruencia VI
EMD/ABB
374/698
Congruencia VII
Demostracin
Entonces
232587 = r en Z7 .
236 = 1 en Z7 .
Ejemplo
Por otro lado, tenemos que
2587 = 6 431 + 1.
Solucin
Segn la divisin de Euclides, existen q, r Z, nicos, tales
que
232587 = 7q + r, 0 r < 7
EMD/ABB
375/698
Entonces
232587 = 236431+1 = 236431 23 = (236 )431 23.
EMD/ABB
376/698
Congruencia VIII
Congruencia IX
Entonces
(23 )
= 1 en Z7 .
Luego,
(236 )431 23 = 1 2 = 2 en Z7 .
Por tanto, el resto buscado es 2 en Z7 .
2736 = 1 en Z37 .
Ejemplo
536 = 1 en Z37 .
Por tanto,
Solucin
377/698
Ejercicios I
EMD/ABB
378/698
Ejercicios II
3. Resuelva el siguiente sistema de ecuaciones en Z7 .
Ejercicios
x + 2y = 4
4x + 3y = 4
5 en Z11 .
7 en Z17 .
3 en Z12 .
7 en Z18 .
2 en Z13 .
6 en Z15 .
EMD/ABB
379/698
EMD/ABB
380/698
Ejercicios III
9. Encuentre (48),
Contenido
(104) y (137).
EMD/ABB
381/698
Definicin
Sean a, b, c Z. Una Ecuacin diofntica lineal es toda
ecuacin de la forma
ax + by = c,
donde x, y Z son incgnitas.
Ejemplo
1. 4x + 9y = 7
2. 8x 12y = 20
EMD/ABB
383/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
382/698
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Ecuaciones
diofnticas lineales II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA, RELACIONES Y FUNCIONES
Congruencia
Teorema
Ecuaciones diofnticas lineales
Congruencias
Sean
a, b, c Z. Lalineales
ecuacin ax + by = c tiene soluciones
Relaciones
enteras,
si y slo si, M CD(a, b) | c.
Relaciones de equivalencia
Ejemplo
Relaciones de orden
1.Funciones
La ecuacin 12x 16y = 6 no tiene solucin, puesto que
Principio
del16)
palomar
M CD(12,
= 4 6 | 6.
INTRODUCCIN A LA PROBABILIDAD
2.Elementos
La ecuacin
+ 15y = 12 tiene solucin, puesto que
de 9x
probabilidad
M
CD(9,
15)
=
3
| 12. e independencia
Probabilidad condicional
Variables aleatorias
EMD/ABB
384/698
Teorema (Bzout)
Sean a, b Z, donde al menos uno de ellos es distinto de cero.
Entonces existen x0 , y0 Z tales que
ax0 + by0 = M CD(a, b).
(1)
2. Verificar que d | c.
385/698
EMD/ABB
386/698
c = krn .
Luego,
c = krn = a(ku0 ) + b(kv0 ).
De donde,
y0
EMD/ABB
387/698
c
u0
rn
c
= kv0 = v0
rn
x0 = ku0 =
EMD/ABB
388/698
b
t
M CD(a, b)
y = y0
a
t,
M CD(a, b)
Ejemplo
EMD/ABB
389/698
EMD/ABB
390/698
12378u + 3054v = d = 6.
162 = 1 138 + 24
138 = 5 24 + 18
12378u0 + 3054v0 = 6.
24 = 1 18 + 6
18 = 3 6 + 0
EMD/ABB
391/698
EMD/ABB
392/698
6 = 24 1 18
La solucin particular es :
EMD/ABB
393/698
Ejercicios I
394/698
Ejercicios II
Ejercicios
1. Encuentre la solucin general de la ecuacin diofntica
6x + 10y = 72.
2. Encuentre la solucin general de la ecuacin diofntica
31x + 8y = 180.
3. Encuentre la solucin general de la ecuacin diofntica
87x 64y = 3.
4. Encuentre la solucin general de la ecuacin diofntica
3x + 6y = 18.
EMD/ABB
EMD/ABB
395/698
EMD/ABB
396/698
Ejercicios III
Ejercicios IV
EMD/ABB
397/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
398/698
(1)
399/698
EMD/ABB
400/698
(2)
Demostracin
La ecuacin (3) se puede expresar en la forma
a . x m . y = b.
Teorema
La ecuacin lineal de congruencia
a . x b ( m
od m),
EMD/ABB
(3)
401/698
EMD/ABB
402/698
Solucin
Verifiquemos que la ecuacin tiene solucin, calculando
d = M CD(30, 21) = 3. como 3 divide a 15, la ecuacin tiene
solucin. Hay exactamente d = 3 soluciones en Z21 .
Esta ecuacin puede ser escrita como
Ejemplo
Resolver la ecuacin lineal de congruencia
30x 15 ( m
od 21)
EMD/ABB
(5)
403/698
EMD/ABB
404/698
Algoritmo de Euclides
v0 = 3.
15 = (10)(30) (15)(21).
21 = 2 9 + 3
9 = 33+0
De aqu que
x0 = 10 = 11 ( mod 21).
Teorema de Bzout
3 = 21 2 9
(21)
t = 10 + (7)(1) = 3 = 18 (mod 21)
3
(21)
= x0 +
t = 10 + (7)(2) = 4 (mod 21)
3
= 21 2(30 1 21)
x1 = x0 +
= 2 30 + 3 21
x2
= 3 21 2 30
= 2 30 (3)(21)
EMD/ABB
EMD/ABB
Otra forma
x = x0 +
3 10x 3 5 ( m
od 21).
m
t, t = 0, 1, 2, , d 1,
d
3x 5 ( mod 7)
slo tiene una solucin. Sin embargo, necesitamos las
soluciones de la ecuacin original, que son tres (3).
As que las soluciones son: 4, 4 + 7, 4 + 14.
x 25 ( m
od 7), de donde x 4 ( mod 7).
EMD/ABB
406/698
Ejemplo
407/698
EMD/ABB
408/698
Resolver la ecuacin
51x 27 ( m
od 123).
Solucin
Algoritmo de Euclides
123 = 2 51 + 21
51 = 2 21 + 9
Tomemos la ecuacin
21 = 2 9 + 3
9 = 33+0
409/698
EMD/ABB
410/698
Teorema de Bzout
27 = (108)51 (45)123.
3 = 21 2 9 = 21 2(51 2 21)
= 5 21 2 51
= 5(123 2 251) 2 51
= 5 123 12 51
= 12 51 (5) 123
Entonces la solucin particular buscada es
u0 = 12, v0 = 5. Ahora multiplicamos por 9.
x2
9 3 = (12 9) 51 (5 9) 123.
EMD/ABB
123
t = 108 + 41(1) = 67 = 56 (mod 123)
3
123
t = 108 + 41(2) = 26 = 97 (mod 123)
= x0 +
3
x1 = x0 +
411/698
EMD/ABB
412/698
a1 en Zm1
a2 en Zm2
a3 en Zm3
k
X
ai bi yi ,
i=1
ak en Zmk
Ejemplo
Demostracin
EMD/ABB
413/698
EMD/ABB
414/698
Solucin
Sea x el nmero que se busca. El sistema de ecuaciones que
genera el problema es:
x = 2 en Z3
x = 3 en Z5
x = 2 en Z7
Los nmeros 3, 5 y 7 son primos entre si, dos a dos. Aplicando
el teorema chino del resto, se tiene que la solucin en
Z357 = Z105 viene dada por
x = 2 5 7 y1 + 3 3 7 y2 + 2 3 5 y3
= 2 35y1 + 3 21y2 + 2 15y3 ,
EMD/ABB
415/698
EMD/ABB
416/698
Luego,
x = 23 en Z105 .
x es el menor entero positivo que satisface las condiciones del
problema.
Solucin
ax b ( m
od m),
39 = 20 + 21 + 22 + 25 .
EMD/ABB
417/698
EMD/ABB
418/698
Luego,
171 = 17 (m
od 41)
172 = 289 = 2 (m
od 41)
174 = (172 )2 = 22 = 4 (m
od 41)
Luego,
x = 9 29 15 ( mod 41).
Entonces
1739 = 1732 174 172 171 = 18 4 2 17 29 ( mod 41).
EMD/ABB
419/698
EMD/ABB
420/698
Ejercicios I
Ejercicios II
b.
d.
f.
h.
3. Resuelva el sistema
8x 12 (mod 28)
3x + 4 5 (mod 6)
66x 42 (mod 168)
4x 3 (mod 7)
x = 32 en Z71
x = 84 en Z101
4. Resuelva el sistema
x = 1 en Z3
x = 2 en Z5
3) a16 1 (
5) a560 1 (m
od 11),
x = 3 en Z7
3) a560 1 (
EMD/ABB
421/698
Ejercicios III
EMD/ABB
Ejercicios IV
7. Resuelva el sistema
5. Resuelva el sistema
x = 2 en Z5
x = 5 en Z11
2x = 1 en Z7
x = 14 en Z29
3x = 4 en Z11
x = 15 en Z31
8. Resuelva el sistema
EMD/ABB
422/698
x = 2 en Z4
5x = 8 en Z6
15x = 6 en Z21
3x = 27 en Z6
3x = 8 en Z6
12x = 45 en Z3
x = 1 en Z6
3x = 4 en Z11
9. Resuelva la ecuacin x2 = 1, en Z7
423/698
EMD/ABB
424/698
Ejercicios V
Contenido
5x = 8 en Z6
15x = 6 en Z23
3x = 27 en Z6
3x = 8 en Z7
12x = 45 en Z5
EMD/ABB
425/698
Relaciones I
Sean A y B dos conjuntos cualesquiera. Una Relacin R, de
A en B, es cualquier subconjunto del producto cartesiano
A B. Se escribe R : A B. Al conjunto A se le llama
Conjunto de partida y al conjunto B se le llama conjunto de
llegada.
Cuando decimos que a A est relacionado con b B,
mediante la relacin R, escribimos (a, b) R o a R b. Cuando
decimos que a no
est relacionado con b mediante la relacin
R, escribimos a R b.
Una relacin R, en A, es una relacin de A en A.
Ejemplo
Sean A = {a, b, c} y B = {3, 4, 5} dos conjuntos.
Una relacin R : A B es R = {(a, 4), (b, 3), (c, 4)}.
EMD/ABB
427/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Relaciones
II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
En
este caso, decimos
que
CONGRUENCIA,
RELACIONES
Y FUNCIONES
Congruencia
a R 4, b R 3, c R 4
Ecuaciones diofnticas lineales
Congruencias lineales
o que
Relaciones(a, 4) R, (b, 3) R, (c, 4) R.
Relaciones de equivalencia
De Relaciones
la misma forma
decimos que
de orden
Funciones
Principio del palomar a R 3, a R 5.
426/698
INTRODUCCIN A LA PROBABILIDAD
Se Elementos
llama Dominio
de una relacin R : A B, al subconjunto
de probabilidad
de A,
cuyos
elementos
se relacionan
con algn elemento de B.
Probabilidad condicional
e independencia
Se Variables
representaaleatorias
por DR . Se llama Codominio o Rango de una
relacin R : A B al subconjunto de B, cuyos elementos
estn relacionados con algn elemento de A. Se escribe CR .
EMD/ABB
428/698
Relaciones III
Relaciones IV
La relacin Idntica o diagonal en A se define como una
relacin : A A tal que
= {(a, a)|a A}
Ejemplo
CR = {c, b, a}.
2mn ,
Definicin
EMD/ABB
429/698
Relaciones V
EMD/ABB
430/698
Relaciones VI
Definicin
Un enunciado formal es una cualidad o caracterstica comn
que satisfacen las componentes de los pares ordenados que
definen una relacin. Por ejemplo, sea A = {2, 3, 4, 6} y sea
R : A A, cuyo enunciado formal es x divide a y. Entonces
la relacin viene definida por
R = {(2, 2), (2, 4), (2, 6), (3, 3), (3, 6), (4, 4), (6, 6)}.
Ejemplo
431/698
EMD/ABB
432/698
Definicin
Ejemplo
r1,1
MR =
rm,1
donde
ri,j
(
1,
=
0,
ri,j
1 1 0 1
MR = 0 1 1 0
0 0 0 1
r1,n
,
rm,n
Definicin
si (ai , bj ) R
si (ai , bj ) 6 R
EMD/ABB
433/698
EMD/ABB
434/698
f. R = S (MR MS ) (MS MR ) MR = MS .
d. MRS = MR MS .
EMD/ABB
435/698
EMD/ABB
436/698
Relaciones inversas I
Relaciones inversas II
Consideremos la relacin R : A B, definida por
R = {(3, c), (5, a), (5, b)}. Entonces la relacin inversa
R1 : B A viene dada por
Definicin
Sean A y B dos conjuntos cualesquiera.
La relacin Inversa de una relacin R : A B, es la relacin
R1 : B A, cuyos pares ordenados se obtienen
intercambiando las componentes de los pares ordenados de la
relacin R. Es decir,
R1 = {(b, a) B A|(a, b) R}.
Ejemplo
MR1 = MRt .
EMD/ABB
Ejemplo
437/698
EMD/ABB
438/698
Relaciones: composicin I
Definicin
0 0 1
0 0 1
MR = 0 0 0 , MR1 = MRt = 0 0 1
1 1 0
1 0 0
k
X
l=1
ail blj = ai1 b1j ai2 b2j ai3 b3j aik bkj .
Definicin
Sean A, B y C conjuntos no vacos. Sean R A B y
S B C dos relaciones. La Composicin de R y S,
representada por R S es la relacin T A C, definida por
T = R S = {(a, c) A C | b B (a, b) R (b, c) S}
EMD/ABB
439/698
EMD/ABB
440/698
Relaciones: composicin II
MR S
0 1 1
1 1
1 0
= MR MS = 0 0 0 1 0 = 0 0
1 0 0
0 0
1 1
0 1 1
1 1
MR = 0 0 0 , MS = 1 0
1 0 0
0 0
EMD/ABB
441/698
EMD/ABB
442/698
Definicin
Ejemplo
a. R1 = R
R = {(a, b), (a, d), (c, a), (d, d), (b, c)}.
b. Rn+1 = R Rn
Entonces
a. MR1 = MR
R2 = R R = {(a, c), (a, d), (c, b), (c, d), (d, d), (b, a)}
R3 = R R2 = {(a, a), (a, d), (c, c), (c, d), (d, d), (b, b), (b, d)}
EMD/ABB
443/698
EMD/ABB
444/698
Definicin
Una relacin R sobre un conjunto A es Reflexiva si para todo
a A, se tiene que (a, a) R.
Ejemplo
Sea A = {1, 2, 3} y R : A A, cuyo enunciado formal es x
divide a y. Es evidente que
(1, 1) R, (2, 2) R, (3, 3) R.
R es reflexiva R M MR . Es decir, si y slo si,
tiene unos (1s ) en todos los elementos de la diagonal principal.
M es la representacin matricial de la relacin diagonal.
Ejemplo
EMD/ABB
445/698
EMD/ABB
446/698
Es evidente que
447/698
Ejemplo
Sea A = {x | x es una persona que vive en Santo Domingo} y
R : A A, cuyo enunciado formal es x tiene el mismo nombre
que y. Es evidente que si a tiene el mismo nombre que b; b
EMD/ABB
448/698
Definicin
Sea A = {1, 2, 3} y R : A A, tal que R = {(1, 2), (1, 3), (2, 3)}.
Es claro que R es asimtrica.
Ejemplo
Ejemplo
Sea A = {1, 2, 3} y R : A A, tal que
R = {(1, 1), (1, 2), (2, 3), (3, 3)}. Es claro que R es antisimtrica.
R es antisimtrica (R R1 ) (MR MRt M ),
donde M es la representacin matricial de la relacin .
Definicin
EMD/ABB
449/698
450/698
Ejemplo
CR(R) = R
Ejemplo
MCR(R) = MR M .
Ejemplo
Sea A = {1, 2, 3, 4} y R una relacin sobre A, tal que
R = {(1, 2), (3, 4), (1, 1)}. El cierre reflexivo de R viene dado por
Cierres o clausuras
EMD/ABB
CR(R) = {(1, 2), (3, 4), (1, 1), (2, 2), (3, 3), (4, 4)}.
451/698
EMD/ABB
452/698
CS(R) = R R1
o
MCS(R) = MR MRt .
CT (R) = R R2 R3 Rk
Ejemplo
EMD/ABB
453/698
EMD/ABB
454/698
Ejercicios I
o
MCT (R) = MR MR2 MR3 MRk .
Ejemplo
R4 = RR3 = .
CT (R) = R R2 R3
= {(a, b), (b, c), (c, d), (a, c), (b, d), (a, d)}.
455/698
EMD/ABB
456/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
457/698
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Relaciones
de equivalencia II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
Sea
A = R y R : ARELACIONES
A, cuyo enunciado
formal es x = y. Es
CONGRUENCIA,
Y FUNCIONES
evidente
que
esta
relacin
es
reflexiva,
simtrica
y transitiva,
Congruencia
por Ecuaciones
tanto, es de diofnticas
equivalencia.
lineales
Congruencias lineales
Ejemplo
Relaciones
SeaRelaciones
A = {a, b, c,ded}equivalencia
y R : A A, tal que
R =Relaciones
{(a, a), (a, b),
a), (b, b), (c, d), (d, c), (c, c), (d, d)}.
de (b,
orden
Funciones
Es fcil
verificar que esta relacin es reflexiva, simtrica y
Principio
palomar
transitiva, pordel
tanto,
es de equivalencia.
INTRODUCCIN A LA PROBABILIDAD
Ejemplo
Elementos de probabilidad
SeaProbabilidad
A=yR:A
A, tal que
R = .
condicional
e independencia
Variables
aleatorias
Es fcil
verificar
que esta relacin es reflexiva, simtrica y
transitiva, por tanto, es de equivalencia. Sin embargo, esta
EMD/ABB
459/698
Relaciones de equivalencia I
Definicin
Una relacin R sobre un conjunto A es una Relacin de
equivalencia sobre A si satisface las propiedades siguientes:
a. Reflexiva
b. Simtrica
c. Transitiva
Ejemplo
Sea A = {x | x es una persona que vive en Santo Domingo} y
R : A A, cuyo enunciado formal es x tiene el mismo nombre
que y. Es claro que esta relacin es reflexiva, simtrica y
transitiva, por tanto, es de equivalencia.
Ejemplo
EMD/ABB
458/698
puesto que a a = 0 . n.
Simtrica
EMD/ABB
460/698
Relaciones de equivalencia IV
Clases de equivalencia I
Definicin
EMD/ABB
461/698
Clases de equivalencia II
462/698
Ejemplo
Sea A = Z y R : A A, una relacin de equivalencia definida
por R = {(x, y) | x = y}. Entonces para a A se tiene que
[a] = {x A | x = a} = {a}
Ejemplo
Sea A = Z y R : A A, una relacin de equivalencia definida
por R = {(x, y) | x = y x = y}. Entonces para a A se
tiene que
[a] = {x A | x = a x = a} = {a, a}
Ejemplo
EMD/ABB
EMD/ABB
463/698
EMD/ABB
464/698
Clases de equivalencia IV
Clases de equivalencia V
Ejemplo
Sea A = {1, 2, 3, 4, 5} y la relacin de equivalencia
R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 3), (3, 1), (2, 4)(4, 2)}.
Entonces
[1] = {1, 3}, [2] = {2, 4}, [3] = {1, 3}
[4] = {2, 4}, [5] = {5}
As que
A/R = {[1], [2], [3], [4], [5]} = {[1], [2], [5]} = {{1, 3}, {2, 4}, {5}}
Ejemplo
EMD/ABB
465/698
Ejercicios I
466/698
Ejercicios II
1. Sea A = {1, 2, 3, 4}
R = {(1, 5), (4, 5), (1, 4), (4, 6), (3, 7), (7, 6)}.
EMD/ABB
Determine DR , CR y R1 .
467/698
EMD/ABB
468/698
Ejercicios III
Ejercicios IV
8. Sea A = {1, 2, 3, 4, 5} y R A A, cuya representacin
matricial es
0
1
0
0
1
1
0
1
0
0
1
0
0
0
0
0
1
1
0
0
1
0
0
1
0
0
0
0
0
0
0
1
0
1
0
0
1
0
0
Determine DR , CR y R1 .
EMD/ABB
469/698
Ejercicios V
470/698
Ejercicios VI
EMD/ABB
EMD/ABB
471/698
EMD/ABB
472/698
Ejercicios VII
Ejercicios VIII
EMD/ABB
473/698
Particiones I
c. Ak = {k}, k = 1, 2, . . . , 7
b. A1 = {3, 4, 7},
A2 = {2, 7},
A2 = {1, 2, 5},
A2 = {x | x = 2k + 1, k Z}
= {3k, 3k + 1, 3k + 2}, k N
= {3k, 3k + 1, 3k + 2}, k Z+
Teorema
Ejemplo
b.
iI
EMD/ABB
474/698
Particiones II
Definicin
Ejemplo
EMD/ABB
A3 = {5, 6}
a. x [x]
A3 = {6}
475/698
EMD/ABB
476/698
Particiones III
Particiones IV
Caso 1. Sea (x, y) R. Debemos probar que [x] [y] y
[y] [x].
EMD/ABB
Caso 2. Sea [x] = [y]. Como x [x], se tiene que x [y] y por
tanto, (x, y) R.
477/698
Particiones V
EMD/ABB
478/698
Particiones VI
Debemos probar que
A/R = {[x] | x A}
es una particin de A. Es decir, probar que este conjunto
satisface las dos condiciones de una particin.
Por definicin, se tiene que [x] 6= y [x] A.
Teorema
demostrar que
1. A [x]
xA
Demostracin
2. [x] A
xA
EMD/ABB
479/698
EMD/ABB
480/698
Particiones VII
Particiones VIII
Toda particin del conjunto A, define una relacin de
equivalencia sobre A.
Prueba de 1.
Sea x A. Entonces x [x] y por tanto, x [x]. Luego,
Demostracin
xA
A [x]
xA
Prueba de 2.
Sea x [x]. Entonces y A 3 x [y]. Como [y] A, se
xA
[x] A
xA
- Simtrica
481/698
Particiones IX
EMD/ABB
482/698
Ejercicios I
EMD/ABB
- Reflexiva
(x, x) R.
Teorema
EMD/ABB
483/698
EMD/ABB
484/698
Ejercicios II
Ejercicios III
9. Sea A el conjunto de todas las lneas de un plano y
R : A A, cuyo enunciado es x || y. Determine si es una
relacin de equivalencia.
EMD/ABB
485/698
Ejercicios IV
EMD/ABB
486/698
Ejercicios V
(a, b)
= (c, d), si y slo si ad = bc.
Demuestre que R es una relacin de equivalencia.
13. Sea A = {1, 2, 3, 4, 5, 6, 7}. Cules de las siguientes
familias son particiones de A.
a. A1 = {1, 3, 5}, A2 = {2}, A3 = {4, 7}
b. B1 = {1, 5, 7}, B2 = {3, 4}, B3 = {2, 5, 6}
c. C1 = {1, 2, 5, 7}, C2 = {3}, C3 = {4, 6}
d. D1 = {1, 2, 3, 4, 5, 6, 7}
EMD/ABB
487/698
EMD/ABB
488/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
489/698
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Relaciones
de orden II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA, RELACIONES Y FUNCIONES
Un Congruencia
conjunto sobre el cual se haya definido una relacin de
orden
R, se llama
ordenado
respecto a dicha relacin y se
Ecuaciones
diofnticas
lineales
representa
por
(A,
R)
o
de
modo
ms general, (A, ).
Congruencias lineales
Relaciones
Ejemplo
Relaciones de equivalencia
SeaRelaciones
A = {1, 2, 3}.
la relacin de inclusin sobre
de Consideremos
orden
el conjunto
potencia de A, P (A). Es claro que esta relacin, es
Funciones
unaPrincipio
relacin del
de orden
por que satisface las propiedades
palomar
reflexiva,
antisimtrica
transitiva.
INTRODUCCIN
A LAyPROBABILIDAD
Elementos
de probabilidad
Podemos
ordenar
el conjunto P (A) como
Probabilidad condicional e independencia
{} {1} {1, 2} {1, 2, 3}
Variables aleatorias
EMD/ABB
491/698
Relaciones de orden I
Definicin
Sea A un conjunto y R una relacin binaria sobre A. Decimos
que R es una relacin de orden , si satisface las siguientes
propiedades:
a. Reflexiva
b. Antisimtrica
c. Transitiva
EMD/ABB
490/698
o de la siguiente forma
{} {3} {1, 3} {1, 2, 3}
Si hay elementos en el conjunto entre los cuales no se puede
establecer la relacin, decimos que el conjunto est
parcialmente ordenado, por ejemplo
{2} 6 {3} ni {3} 6 {2}.
Es evidente que la relacin < no es de orden en Z+ , puesto
que no es reflexiva.
EMD/ABB
492/698
Definicin
Sea A un conjunto y una relacin de orden sobre A. Los
elementos x y y en A son comparables mediante la relacin
, si x y o y x. En caso contario, se dice que no son
comparables.
Definicin
EMD/ABB
493/698
EMD/ABB
494/698
Definicin
Sea A un conjunto y una relacin de orden sobre A.
Decimos que es una relacin de orden total si todos los
elementos de A son comparables. Es decir, si
x, y A : x y y x.
En este caso, se dice que A est totalmente ordenado. Por
ejemplo, las relaciones y son relaciones de orden total en
los conjuntos N, Z y R.
EMD/ABB
495/698
x z, x 6= z y z y, z 6= y.
EMD/ABB
496/698
a b b a 0 b a N k N 3 b a = k
Reflexiva
Antisimtrica
Sean a, b Z. Entonces
Ejemplo
a b k1 N 3 b a = k1
Prueba
b a k2 N 3 a b = k2 .
EMD/ABB
497/698
EMD/ABB
498/698
Entonces
b a + c b = c a = k1 + k2 = k N.
a=b
y la relacin es antisimtrica.
Definiciones
Transitividad
Sean a, b, c Z. Entonces
a b k1 N 3 b a = k1
y
b c k2 N 3 c b = k2 .
EMD/ABB
499/698
EMD/ABB
500/698
EMD/ABB
501/698
EMD/ABB
502/698
Sea a A.
Si a no es minimal, entonces
m n 3 am A am a.
Teorema (Unicidad)
Si am no es minimal, entonces
am1 A 3 am1 am a.
Demostracin
a1 a2 am an a.
EMD/ABB
503/698
EMD/ABB
504/698
Y el mnimo es nico.
Para el mximo se procede de manera similar.
Diagramas de Hasse de un conjunto finito ordenado (X, )
Es una representacin grfica del mismo en la que cada
elemento se representa por un punto del plano, con las
siguientes caractersticas:
Ejemplo
EMD/ABB
505/698
EMD/ABB
506/698
Ejemplo
5
2
1
R = {(3, 3), (3, 6), (3, 9), (4, 4), (4, 8), (5, 5), (5, 10), (6, 6), (7, 7),
3. No tiene mximo.
EMD/ABB
507/698
EMD/ABB
508/698
a. {x}xA .
2. El diagrama de Hasse es :
Ejemplo
Sean A = {a, b, c, d} y
R = {(a, a), (a, b), (b, b), (b, d), (a, c), (c, c), (c, d), (a, d), (d, d)}.
Entonces
EMD/ABB
509/698
EMD/ABB
510/698
Ejemplo
Sea S = {1, 2} y A = P (S). El diagrama de Hasse del conjunto
parcialmente ordenado (A, ) es
{1,2}
{2}
0/
Definicin
Decimos que un conjunto ordenado X est Bien ordenado, si
todo subconjunto no vaco de X tiene un elemento mnimo.
Teorema
EMD/ABB
511/698
EMD/ABB
512/698
Definicin
Una relacin R sobre un conjunto A se dice que es de Orden
estricto, si satisface las propiedades siguientes:
Sean a, b Z. Entonces
a < b b a > 0 k Z+ 3 b a = k.
a. Asimtrica
Entonces
b. Transitiva
a b = k, a b 6 Z+ , a b 6= k, k Z+ , b 6< a
Ejemplo
Probar que la relacin < en Z es de orden estricto.
y la relacin es asimtrica.
Prueba
Transitividad
k Z 3 b a = k
+
EMD/ABB
513/698
Sean a, b, c Z. Entonces
a < b k1 Z+ 3 b a = k1
EMD/ABB
514/698
Teorema
b < c k2 Z+ 3 c b = k2 .
Entonces
b a + c b = c a = k1 + k2 = k Z+ .
(a1 , b1 ) (a2 , b2 ) a1 1 a2 b1 2 b2 .
Demostracin
Reflexiva
EMD/ABB
515/698
EMD/ABB
516/698
(a1 , b1 ) (a2 , b2 )
(a2 , b2 ) (a1 , b1 )
aAbB
a 1 a b 2 b
(a, b) (a, b)
Luego,
(a, b) : [(a, b) A B (a, b) (a, b)].
a1 1 a2 b1 2 b2
a2 1 a1 b2 2 b1
a1 1 a2 a2 1 a1
b1 2 b2 b2 2 b1
en A
en B
a1 = a2 b1 = b2 antisimetra de 1 y 2
(a1 , b1 ) = (a2 , b2 )
Antisimtrica
517/698
EMD/ABB
518/698
Transitiva
a1 1 a2 a2 1 a3
b1 2 b2 b2 2 b3
a1 1 a3 b1 2 b3 por transitividad de 1 y 2
(a1 , b1 ) (a2 , b2 )
(a2 , b2 ) (a3 , b3 )
en A
en B
(a1 , b1 ) (a3 , b3 )
a1 1 a2 b1 2 b2
a2 1 a3 b2 2 b3
Luego,
(a1 , b1 ), (a2 , b2 ), (a3 , b3 ) A B :
[(a1 , b1 ) (a2 , b2 ) (a2 , b2 ) (a3 , b3 ) (a1 , b1 ) (a3 , b3 )].
Ejemplo
EMD/ABB
519/698
EMD/ABB
520/698
(a, b) (a0 , b0 ) a | a0 b b0 ,
donde | es la operacin de divisibilidad y es el orden
comn. Probar que la relacin es de orden.
(a1 , b1 ) (a2 , b2 )
(a2 , b2 ) (a1 , b1 )
Solucin
Reflexiva
Sea (a, b) Z+ Z+ . Entonces
(a, b) (a, b) puesto que a | a por ser | reflexiva y b b por ser
reflexiva. Es decir,
+
EMD/ABB
EMD/ABB
a1 | a2 a2 | a3
b1 b2 b2 b3
(a1 , b1 ), (a2 , b2 ) Z+ Z+ :
[(a1 , b1 ) (a2 , b2 ) (a2 , b2 ) (a1 , b1 ) (a1 , b1 ) = (a2 , b2 )].
Z+
Z+ .
en Z+
en Z+
a1 | a3 b1 b3 por transitividad de | y
Transitiva
EMD/ABB
522/698
Luego,
(a1 , b1 ) (a2 , b2 )
(a2 , b2 ) (a3 , b3 )
en Z+
(a1 , b1 ) = (a2 , b2 )
521/698
en Z+
a1 = a2 b1 = b2 antisimetra de | y
a1 | a2 b1 b2
a2 | a1 b2 b1
a1 | a2 a2 | a1
b1 b2 b2 b1
Entonces
(a1 , b1 ) (a3 , b3 )
Luego,
a1 | a2 b1 b2
a2 | a3 b2 b3
523/698
EMD/ABB
524/698
Orden lexicogrfico I
Orden lexicogrfico II
Reflexiva
Sea (a, b) A B. Entonces
(a, b) (a, b) a 1 a (a = a b 2 b) (a = a b 2 b),
por ser 2 reflexiva. Luego, (a, b) (a, b), y por tanto, reflexiva.
Antisimtrica
Sean (a1 , b1 ), (a2 , b2 ) A B. Entonces
donde a1 1 a2 , si a1 1 a2 a1 6= a2 .
Demostracin
EMD/ABB
525/698
(a1 , b1 ) (a2 , b2 )
(a2 , b2 ) (a1 , b1 )
EMD/ABB
EMD/ABB
526/698
Orden lexicogrfico I
a1 1 a2 (a1 = a2 (b1 2 b2 )
a2 1 a1 (a2 = a1 b2 2 b1 )
a1 1 a2 a2 1 a1 contrad.
a1 1 a2 (a1 = a2 b1 2 b2 ) contrad.
(a1 = a2 b1 2 b2 ) a2 1 a1 contrad.
(a1 = a2 b1 2 b2 ) (a2 = a1 b2 2 b1 )
527/698
(a1 = a2 b1 2 b2 ) (a2 = a1 b2 2 b1 )
a1 = a2 (b1 2 b2 b2 2 b1 )
a1 = a2 b1 = b2 por antisimetra de 2
(a1 , b1 ) = (a2 , b2 )
Transitiva
Sean (a1 , b1 ), (a2 , b2 ), (a3 , b3 ) A B. Entonces
EMD/ABB
528/698
Orden lexicogrfico II
(a1 , b1 ) (a2 , b2 )
(a2 , b2 ) (a3 , b3 )
Orden lexicogrfico I
a1 1 a2 (a1 = a2 b1 2 b2 )
a2 1 a3 (a2 = a3 b2 b3 )
a a a2 1 a3
1 1 2
(a1 1 a2 ) (a2 = a3 b2 2 b3 )
(a1 = a2 b1 2 b2 ) (a2 1 a3 )
(a1 = a2 b1 2 b2 ) (a2 = a3 b2 2 b3 )
EMD/ABB
529/698
Orden lexicogrfico I
(a1
(a1
(a1
(a1 1 a2 a2 1 a3 )
(a1 1 a3 b2 2 b3 )
(a1 1 a3 b1 2 b2 )
(a1 = a2 b1 2 b2 ) (a2 = a3 b2 2 b3 )
EMD/ABB
530/698
Orden lexicogrfico I
a1 1 a3
a1 1 a3
a1 = a3 b1 2 b3
1 a2 a2 1 a3 )
1 a3 ) (b2 2 b3 b1 2 b2 )
= a2 b1 2 b2 ) (a2 = a3 b2 2 b3 )
transitividad de 1
transitividad de 2
a1 1 a3 (a1 = a3 b1 2 b3 )
(a1 , b1 ) (a3 , b3 )
Nota:
EMD/ABB
531/698
EMD/ABB
532/698
Orden lexicogrfico II
R2
= R R. El
EMD/ABB
533/698
Orden lexicogrfico I
EMD/ABB
534/698
Orden lexicogrfico II
Definicin
El orden lexicogrfico extendido al producto cartesiano
A1 A2 An de define como:
a1 b1
a1 = b1 a2 b2
a = b a = b a b
1
1
2
2
3
3
(a1 , a2 , . . . , an ) (b1 , b2 , . . . , bn )
a1 = b1 a2 = b2 a3 = b3
a
n1 = bn1 an bn
EMD/ABB
535/698
EMD/ABB
536/698
Ejercicios I
1. Sea A = {Pedro, Juan, Luis, Jorge} y R A A, definida
por
andrgeno andrmeda,
porque los primeros cinco (5) caracteres son iguales, pero en
el sexto caracter ocurre que g m.
Es posible que las palabras p1 y p2 tengan diferentes
longitudes, es decir, que pertenezcan productos cartesianos
Am y An , respectivamente. En este caso se usa el hecho de
que toda palabra es mayor o igual que cualquiera de sus
prefijos. Por ejemplo,
pasa pasado.
EMD/ABB
537/698
Ejercicios II
EMD/ABB
Ejercicios III
R = {(1, 2), (1, 3), (2, 3), (1, 1), (2, 2), (3, 3), (4, 4), (4, 6),
(5, 6), (4, 5), (5, 5), (6, 6)}.
(1, 8), (2, 2), (2, 5), (2, 6), (2, 8), (3, 3), (3, 5), (3, 7),
(3, 8), (4, 4), (4, 6), (4, 7), (4, 8), (5, 5), (5, 8), (6, 6),
(6, 8), (7, 7), (7, 8), (8, 8)}
EMD/ABB
538/698
539/698
EMD/ABB
540/698
Ejercicios IV
Ejercicios V
EMD/ABB
541/698
Ejercicios VI
(3, 4) (5, 8)
(5, 4) (5, 7)
(2, 10) (2, 8)
(8, 9) (7, 3)
EMD/ABB
542/698
Ejercicios VII
R = {(1, 1), (2, 2), (3, 3), (1, 3), (3, 4), (3, 5), (1, 4),
(4, 4), (1, 5), (2, 3), (2, 4), (2, 5), (5, 5)}.
EMD/ABB
543/698
EMD/ABB
544/698
Ejercicios VIII
Ejercicios IX
1 1 1 1 1
0 1 1 1 1
0 0 1 1 1
0 0 0 1 1
0 0 0 0 1
EMD/ABB
545/698
Ejercicios X
EMD/ABB
546/698
Orden topolgico I
El orden topolgico consiste en encontrar un orden total en
un conjunto parcialmente ordenado (A, ), preservando
siempre el orden parcial. Este concepto es sumamente
importante en ciencias computacionales cuando necesitamos
introducir conjunto de datos a la computadora, los cuales
deben estar ordenados. Es importante hacer notar que la
extensin de un conjunto parcialmente ordenado a un conjunto
totalmente ordenado no es nica. Es decir, de un mismo
conjunto parcialmente ordenado se puede construir uno o ms
conjuntos totalmente ordenados. Por ejemplo, consideremos el
conjunto parcialmente ordenado:
A = {(a, b), (a, c), (a, d), (b, e), (d, e), (e, f ), (c, g), (g, f )}.
EMD/ABB
547/698
EMD/ABB
548/698
Orden topolgico II
El conjunto B = {(a, b), (b, c), (c, d), (d, e), (e, g), (g, f )} es un
conjunto totalmente ordenado. De igual forma, los conjuntos
D = {(a, c), (c, g), (g, b), (b, d), (d, e), (e, f )} y
E = {(a, d), (d, b), (b, e), (e, c), (c, g), (g, f )}.
Ejemplo
a1 a2 an ,
EMD/ABB
549/698
Orden topolgico IV
EMD/ABB
550/698
Ejercicios I
4 5 3 2 1.
y
4 5 3 1 2.
EMD/ABB
551/698
EMD/ABB
552/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
553/698
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Funciones
II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA, RELACIONES Y FUNCIONES
El conjunto de los elementos y B que son imgenes de
Congruencia
elementos x A se le llama Domino de imgenes o imagen
Ecuaciones diofnticas lineales
de la funcin f y es evidente que es subconjunto de B.
Congruencias lineales
Ejemplo
1
Relaciones
Relaciones
Sean
A = {a, b,de
c} equivalencia
y B = {3, 4, 5, 6}.
Relaciones de orden
Entonces
f = {(a, 3), (b, 4), (c, 4)} es una funcin. Ahora bien,
Funciones
la relacin
R1del
= palomar
{(a, 3), (b, 3), (b, 4)} no es una funcin, ya que
Principio
el mismo precedente
b tiene
dos imgenes.
INTRODUCCIN
A LA
PROBABILIDAD
Elementos
de probabilidad
Observe
que podemos
escribir:
condicional
e 4,
independencia
f (a)Probabilidad
= 3, f (b) =
4, f (c) =
f (A) = {3, 4}
Variables aleatorias
Ejemplo 2
EMD/ABB
555/698
Funciones I
Definicin
Sean A y B conjuntos no vacos. Una Funcin f : A B es
una relacin de A a B que asigna a determinados elementos
de A un nico elemento de B. Es decir, si no hay primeras
componentes repetidas en los pares ordenados que forman la
relacin.
Se escribe f (a) = b para indicar que (a, b) f . A b se le llama
imagen de a en f y a a se le llama precedente o antecedente
de b.
El conjunto de los elementos x A que tienen imagen en B se
le llama Dominio de definicin de la funcin f y es claro que
es subconjunto de A. Cuando el dominio de definicin de f es
igual a A, se dice que la funcin es una Aplicacin.
EMD/ABB
554/698
Funciones III
Sea f : R R tal que f (x) = x2 . Esta funcin tiene como
dominio y codominio al conjunto R. f asigna a cada nmero
real su cuadrado. En este caso, la imagen de f ,
f (R) = [0, +).
Sea f : R B, donde B = {1, 1}, tal que
(
1, si x Q
f (x) =
1, si x I
Entonces f (R) = B. En lo adelante a los conjuntos A y B en la
funcin f : A B les llamaremos Dominio de definicin o
simplemente Dominio y Codominio, respectivamente de la
funcin f . Al subconjunto de B formado por los elementos que
aparecen como segunda componente en los pares ordenados
EMD/ABB
556/698
Funciones IV
Funciones V
EMD/ABB
557/698
Funciones VI
funciones f : A B.
Para los conjuntos del ejemplo 1, se tiene que hay
|B||A| = 43 = 64
funciones f : A B.
Ejemplo 3
EMD/ABB
558/698
Funciones VII
Ejemplo 4
Sean A = {2, 4, 6}, B = {1, 2, 3, 4}, f : A B tal que
f = {(2, 1), (4, 2), (6, 3)} y
g : A B tal que g(x) = 2|x. Es claro que f = g, puesto que
tienen el mismo dominio A y asignan el mismo elemento de B
a cada elemento de A.
Definicin
Definicin
Ejemplo 5
b. f (a) = g(a), a A
EMD/ABB
559/698
EMD/ABB
560/698
Funciones VIII
Funciones IX
o
x, y A : f (x) = f (y) x = y.
Ejemplo 6
Sean A = {3, 4, 5} y B = {3, 4, 5, 6, 7}. Entonces la funcin
f : A B tal que
f = {(3, 4), (4, 6), (5, 3)}
es inyectiva. Sin embargo, la funcin g : A B tal que
x, y A : x 6= y f (x) 6= f (y)
EMD/ABB
561/698
Funciones X
562/698
Funciones XI
EMD/ABB
EMD/ABB
563/698
Ejemplo 8
Sea f : R R tal que f (x) = x3 . Esta funcin es inyectiva
porque el cubo de dos nmeros reales diferentes son
diferentes.
Sean A = {a1 , a2 , . . . , am } y B = {b1 , b2 , . . . , bn } con m n.
Entonces |A| = m y |B| = n. Una funcin f : A B
normalmente tiene la forma
{(ai , bj ) | 1 i m, 1 j n}. Entonces a1 se puede
acompaar de cualquiera de las n posibles selecciones de los
bj (segunda componente), a2 se puede acompaar de las n 1
posibles selecciones de los bj que quedan y as sucesivamente
hasta llegar a que am se puede acompaar de
n (m 1) = n m + 1 selecciones posibles de los bj .
EMD/ABB
564/698
Funciones XII
Funciones XIII
n!
= P (n, m) = P (|B|, |A|).
(n m)!
5!
5!
=
= 5 4 3 = 60.
(5 3)!
2!
Definicin
EMD/ABB
565/698
Funciones XIV
EMD/ABB
566/698
Funciones XV
Demostracin
Prueba del apartado a. Las dems se dejan como ejercicios.
Debemos probar que:
1. f (A1 A2 ) f (A1 ) f (A2 )
Prueba de 1.
Definicin
Sea A un conjunto no vaco. Sea A1 A y sea f : A B. Se
llama Restriccin de f a A1 a la funcin f |A1 : A1 B tal que
f |A1 (a) = f (a), a A1 .
Definicin
Prueba de 2.
EMD/ABB
567/698
EMD/ABB
568/698
Funciones XVI
Funciones XVII
Definicin
Sean A y B dos conjuntos no vacos. Una funcin f : A B
es Sobreyectiva si f (A) = B. Es decir, si para cada elemento
b B, a A 3 f (a) = b.
EMD/ABB
569/698
Funciones XVIII
EMD/ABB
570/698
Funciones XIX
(1)
n
(n k)m .
nk
Ejemplo 12
Sea B = {x N | x = 2k, k N} y sea f : N B tal que
f (x) = 2x. Esta funcin es sobreyectiva, ya que todo elemento
de B es imagen. Sin embargo, la funcin f : N N, tal que
EMD/ABB
Ejemplo 10
571/698
EMD/ABB
572/698
Funciones XX
Ejercicios I
1. Sean A y B dos conjuntos finitos, tales que |A| 4 y
|B| 4. Sea f : A B. Escriba un ejemplo de:
EMD/ABB
573/698
Ejercicios II
574/698
n
X
k=0
(1)k
EMD/ABB
f
f
f
f
Ejercicios III
a.
b.
c.
d.
es inyectiva.
n
(n k)m = 0.
nk
575/698
EMD/ABB
576/698
Ejercicios IV
Ejercicios V
1 2
2 x + 1, x [4, 2)
f (x) =
2 + x, x [2, 2] .
1 x2 ,
x (2, 6]
Determine si es inyectiva.
10. Cules de las siguientes funciones son sobreyectivas?
a. f : [0, +) R 3 f (x) =
|x|
x
577/698
Ms sobre funciones I
EMD/ABB
578/698
Ms sobre funciones II
Definicin
Definicin
Ahora que conocemos el concepto de funcin, podemos
redefinir algunos conceptos previos. Sea A un conjunto. Una
funcin f : A A A se le llama Operacin binaria en A.
Por ejemplo, la funcin f : N N N definida por
f (a, b) = a + b es una operacin binaria en N.
Si A es un conjunto y f : A A A, entonces
EMD/ABB
579/698
EMD/ABB
580/698
Ms sobre funciones IV
La relacin R est definida mediante la tabla
Ejemplo
Consideremos la relacin R A1 A2 A3 A4 A5 A6 ,
donde los conjuntos se definen de la manera siguiente:
a. A1 = Conjunto de cdigos de empleado.
b. A2 = Conjunto de cdigos de departamento.
c. A3 = Conjunto de nombres de empleado.
d. A4 = Conjunto de nombres de cargo.
e. A5 = Conjunto de cdigos de nivel.
f. A6 = Conjunto de cdigos de categora.
EMD/ABB
581/698
Ms sobre funciones V
C.Empl
1000
1010
1020
1030
1040
1050
1060
1070
1080
1090
1100
C.Depto
2010
2010
2000
3000
3010
3010
4000
4020
4020
4010
5000
Nombre
J. Valdez
A. Prez
M. Bentoso
R. Montero
S. Puello
M. Soto
E. Bueno
T. Torres
P. Victoria
B. Basora
D. Piedra
Cargo
Supervisor
Asistente
Gerente
Gerente
Ayudante
Asistente
Director
Supervisor
Ing.Asesor
Asistente
Director
EMD/ABB
Nivel
8
10
14
13
9
10
16
7
11
10
18
Cat
F
F
F
F
T
C
F
C
T
T
F
582/698
Ms sobre funciones VI
C.Depto
2010
2010
2000
3000
3010
3010
4000
4020
4020
4010
5000
Cargo
Supervisor
Asistente
Gerente
Gerente
Ayudante
Asistente
Director
Supervisor
Ing.Asesor
Asistente
Director
Nivel
8
10
14
13
9
10
16
7
11
10
18
Definicin
EMD/ABB
583/698
EMD/ABB
584/698
Definicin
Ejemplo
Sean A = {a, b, c, d} y B = {3, 4, 5, 6}. La funcin f : A B
definida por
f = {(a, 3), (b, 4), (c, 5), (d, 6)}
es biyectiva.
Definicin
Sea A un conjunto. Una funcin IA : A A definida por
IA (a) = a, a A se le llama Funcin identidad. Esta
funcin es biyectiva para cualquier conjunto A. Es claro que si
EMD/ABB
585/698
Ms sobre funciones IX
586/698
Ms sobre funciones X
Ejemplo
Demostracin
Teorema
Sean A y B conjuntos y f : A B, g : B C. Entonces
EMD/ABB
Definicin
587/698
EMD/ABB
588/698
Ms sobre funciones XI
a. f 1 = f
b. f n+1 = f f n , para n Z+
Ejemplo
EMD/ABB
Definicin
589/698
EMD/ABB
590/698
f 1 (x) =
Ejemplo
2x 5
es la funcin
4
f 1 (x) =
4x + 5
.
2
Ejemplo
f 1 f = IA y f f 1 = IB .
La inversa de la funcin
Ejemplo
EMD/ABB
x3
.
2
f (x) =
591/698
EMD/ABB
x+3
x2
592/698
Ms sobre funciones XV
es la funcin
f 1 (x) =
Ejemplo
2x + 3
.
x1
Definicin
Sean A y B conjuntos y f : A B. Decimos que f es
invertible, si existe una funcin g : B A tal que g f = IA y
f g = IB .
f 1 (x) = x
Ejemplo
Sean f : R R y g : R R definidas por f (x) = 5x + 3 y
x3
g(x) =
. Entonces
5
y esta no es funcin.
Ejemplo
La inversa de la funcin f (x) =
x + 2 es la funcin
5x + 3 3
=x
5
f 1 (x) = x3 2.
EMD/ABB
593/698
(f g)(x) = f (g(x)) = f
x3
5
=5
x3
5
+ 3 = x.
Teorema
EMD/ABB
594/698
y
EMD/ABB
595/698
EMD/ABB
596/698
Ms sobre funciones XX
EMD/ABB
597/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
598/698
599/698
EMD/ABB
600/698
Ejercicios I
Ejemplo
Un Seor le pasa al limpiabotas una funda con 7 pares de
zapatos, donde cada par es de diferente color. Si se sacan al
azar de la funda, para obtener un par del mismo color, debe
extraer por menos 8 zapatos.
R = {(2, 3), (1, 4), (2, 1), (3, 2), (4, 4)}
R = {(3, 1), (4, 2), (1, 1)}
R = {(2, 1), (3, 4), (1, 4), (2, 1), (4, 4)}
R = {(2, 3), (1, 6), (4, 2), (3, 4)}
EMD/ABB
601/698
Ejercicios II
EMD/ABB
Ejercicios III
a.
b.
c.
d.
603/698
f es inyectiva
f es constante
f es sobreyectiva
Si f tiene una inversa f 1
EMD/ABB
602/698
EMD/ABB
b. f (x) = x+ 2|x|
3 x, x > 0
d. f (x) = x, |x| 2
2, x < 2
604/698
Ejercicios IV
Ejercicios V
EMD/ABB
605/698
Ejercicios VI
EMD/ABB
Ejercicios VII
a. Si g f : A C es sobreyectiva, entonces g es
sobreyectiva
b. Si g f : A C es inyectiva, entonces f es inyectiva
a. f g, g f, g h, h g, f (g h), (f g) h
b. f 2 , f 3 , g 2 , g 3 , h2 , h3 , h500
606/698
607/698
c. (R11 )1 = R1
EMD/ABB
608/698
Ejercicios VIII
Ejercicios IX
a. Halle la inversa f 1
a. B = {0}
b. B = {0, 1}
c. B = [0, 1/2]
EMD/ABB
609/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
EMD/ABB
610/698
Elementos de probabilidad I
Introduccin
En matemtica el concepto de probabilidad es un nmero
asociado a la ocurrencia o no de un evento o suceso. Este
nmero indica qu tan frecuente puede ocurrir el suceso o
evento. La probabilidad ofrece los procedimientos necesarios
para analizar eventos que se producen al azar. En esta
presentacin nos enfocaremos al tratamiento de las
probabilidades discretas, las cuales suelen estar relacionadas
con la teora de conteo. Suponga que una moneda no cargada,
con lados C (cara) y E (escudo), se lanza al aire. La
probabilidad o posibilidad de que el lado C quede hacia arriba
es 1/2. El 1 se debe a que slo hay una posibilidad de C y el 2,
al nmero total de posibilidades al lanzar la moneda. De la
611/698
EMD/ABB
612/698
Elementos de probabilidad II
613/698
Elementos de probabilidad IV
EMD/ABB
614/698
Elementos de probabilidad V
EMD/ABB
615/698
EMD/ABB
616/698
Elementos de probabilidad VI
B = {1, 3, 5},
Definicin
Sea A un suceso de un espacio muestral . La Probabilidad,
P r(A), del suceso A se define como
D = {2, 3, 5}.
P r(A) =
B D = {3, 5},
Dc = {1, 4, 6},
donde
A D es el suceso de salir un nmero par o un nmero primo
B D es el suceso en que sale un primo impar
Dc es el suceso en que no sale un nmero primo
Se observa que A y B son mutuamente excluyentes.
EMD/ABB
617/698
|A|
Casos favorables
=
.
||
Casos posibles
EMD/ABB
618/698
Elementos de probabilidad IX
Ejemplo
Suponga que se lanzan dos dados no cargados. Cul es la
probabilidad de que la suma de los nmeros en los dados sea
11?.
Solucin
El espacio muestral est formado por los pares del producto
cartesiano {1, 2, 3, 4, 5, 6} {1, 2, 3, 4, 5, 6} que tiene un cardinal
de 36. De estos pares ordenados, los que suman 11 son: (5, 6)
y (6, 5). Por tanto, la probabilidad es 2/36 = 1/18.
Ejemplo
En una comunidad mayoritariamente femenina, hay un club de
100 miembros ( 85 mujeres y 15 hombres). Sea desea elegir al
Definicin de probabilidad
EMD/ABB
EMD/ABB
619/698
620/698
Elementos de probabilidad X
Elementos de probabilidad XI
Definicin
Un Espacio de probabilidad es un par (, P r), donde es un
espacio muestral y P r una aplicacin de probabilidad definida
sobre P ().
a. P r(A) 0
Definicin
b. P r() = 1
P r( Ak ) =
k=1
n
X
aA
P r(Ak ).
k=1
EMD/ABB
621/698
1 1 1
1
+ + = .
6 6 6
2
Teorema
Demostracin
EMD/ABB
622/698
EMD/ABB
623/698
P r(Ac ) = 1 P r(A).
b. Sabemos que = c . Entonces
P r() = P r(c ) = 1 P r() = 1 1 = 0. Luego,
P r() = 0.
EMD/ABB
624/698
Elementos de probabilidad XV
d. Sabemos que A B = A (B A) = A (B Ac ) y
B = B (A Ac ) = (B A) (B Ac ). Los conjuntos que
forman estas uniones son disjuntos. Entonces aplicando
probabilidades se tiene
EMD/ABB
625/698
EMD/ABB
626/698
Ejemplo
Sean A y B dos sucesos aleatorios, tales que
Encuentre
a. P r(A B),
b. P r(Ac B c ),
P r(Ac ),
P r(B c ),
P r(A B c ),
b.
P r(Ac B c ) = P r((A B)c ) = 1 P r(A B) = 1 1/4 = 3/4
P r(Ac B c )
P r(B Ac )
EMD/ABB
627/698
EMD/ABB
628/698
629/698
Elementos de probabilidad XX
8
1
2
=1 =
24
3
3
EMD/ABB
630/698
Ejemplo
B = {x | x = J, Q, K}.
P r(A B).
Solucin
cantidad de diamantes
13
1
P r(A) =
=
= .
cantidad de cartas
52
4
cantidad de J, Q, K
12
3
P r(B) =
=
= .
cantidad de cartas
52
13
cantidad de diamantes que son J, Q, K
3
P r(A B) =
= .
cantidad de cartas
52
EMD/ABB
Ejemplo
Determine P r(A),
V R, RB, RV, RN }
EMD/ABB
Ejemplo
631/698
Determine P r(A),
P r(B).
Solucin
El espacio muestral viene dado por =
escoger 3 artculos de 15.
EMD/ABB
15
3
= 455 maneras de
632/698
El suceso A ocurre de 53 = 10 maneras de escoger 3 artculos
defectuosos a partir de los 5 defectuosos.
El suceso B ocurre de 10
3 = 120 maneras de escoger 3
artculos no defectuosos a partir de 10 artculos no
defectuosos.
2
10
= .
P r(A) =
455
91
120
24
P r(B) =
= .
455
91
Ejemplo
En unas elecciones se presentan dos candidatos ( A, B ) y una
encuestadora selecciona una muestra de 200 personas para
EMD/ABB
633/698
EMD/ABB
634/698
6
X
ei = 4}.
i=1
Solucin
EMD/ABB
635/698
EMD/ABB
636/698
Ejercicios I
Ejercicios II
a.
b.
c.
d.
e.
f.
g.
EMD/ABB
637/698
Ejercicios III
d. P r(e1 ) = 1/2,
0.
P r(e3 ) = 1/4,
P r(e4 ) =
P r(e3 ) =
P r(e3 ) = 1/8,
EMD/ABB
P r(e4 ) =
638/698
Ejercicios IV
P r(e2 ) = 1/4,
P r(e3 ) = 1/4,
P r(e4 ) =
639/698
EMD/ABB
640/698
Ejercicios V
Contenido
EMD/ABB
641/698
Probabilidad condicional I
Consideremos un suceso B de un espacio muestral , con
P r(B) > 0. La probabilidad de que ocurra un suceso A dado
que ha ocurrido B o sea la probabilidad condicional de A
dado que ha sucedido B se define como
P r(A | B) =
P r(A B)
.
P r(B)
|A B|
,
||
P r(B) =
|B|
.
||
De modo que
P r(A | B) =
EMD/ABB
P r(A B)
|A B|
=
.
P r(B)
||
643/698
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
Elementos de conteo
Permutaciones: Se toma en cuenta el orden
Probabilidad
condicional II
Combinaciones: No toma en cuenta el orden
Combinaciones con repeticin
CONGRUENCIA, RELACIONES Y FUNCIONES
Ejemplo
Congruencia
Sean
A y B dosdiofnticas
sucesos aleatorios
Ecuaciones
lineales tales que
P r(A)
=
1/4,
P
r(B)
=
P r(A B) = 1/5.
Congruencias lineales 1/3,
Entonces
Relaciones
1/5
P r(A
B)
Relaciones
de equivalencia
P r(A | B) =
=
= 3/5
Relaciones Pder(B)
orden 1/3
FuncionesP r(B A)
1/5
P r(B
| A) = del palomar=
= 4/5
Principio
P r(A)
1/4
INTRODUCCIN A LA PROBABILIDAD
Elementos de probabilidad
Probabilidad
e independencia
P r(A condicional
B) = P r(A)
+ P r(B) P r(A B)
Variables aleatorias
= 1/4 + 1/3 1/5 = 23/60
EMD/ABB
642/698
644/698
Probabilidad condicional IV
P r(B c | A) =
P r(B) P r(A B)
P r(Ac B)
=
P r(B)
P r(B)
1/3 1/5
= 2/5
1/3
P r(B c | Ac ) =
=
=
=
Ejemplo
P r((A B)c )
P r(B c Ac )
=
P r(Ac )
1 P r(A)
1 P r(A B)
1 23/60
=
1 P r(A)
1 1/4
37/60
= 37/45
3/4
EMD/ABB
XXX
645/698
Tipos
tipo A
tipo B
tipo C
Total
17
turno 2
15
Total
12
13
32
XXX
Turnos
turno 1
Probabilidad condicional V
XXX
XX
EMD/ABB
646/698
Probabilidad condicional VI
EMD/ABB
P r(B c A)
P r(A) P r(A B)
=
P r(A)
P r(A)
1/4 1/5
= 1/5
1/4
647/698
Ejemplo
Suponga que una clase de informtica tiene 20 alumnos ( 10
varones y 10 hembras). De estos alumnos, 5 varones y 5
hembras escogieron lenguajes formales como materia optativa.
a. Cul es la probabilidad de que un alumno elegido al azar
sea varon o estudie lenguajes formales?
15
P r(varn o lenguajes formales) =
= 0.75
20
b. Cul es la probabilidad de que un alumno(a) elegido(a) al
azar sea hembra y no estudie lenguajes formales?
5
P r(hembra y no lenguajes formales) =
= 0.25
20
EMD/ABB
648/698
Ejemplo
Suponga que se lanzan dos dados. Si la suma de los dos
dados es 6, hallar la probabilidad de que uno de los nmeros
sea un 2.
Ejemplo
Solucin
Solucin
EMD/ABB
649/698
Probabilidad condicional IX
0.3
0.2
M
0.7
0.4
N
EMD/ABB
Varones
Hembras
Solucin
Observemos el diagrama de rbol siguiente:
Varones
5/9
0.6
Hembras
3/4
1/4
EMD/ABB
650/698
Probabilidad condicional X
0.8
651/698
EMD/ABB
C
4/9
Impar
Par
3/5
Impar
2/5
Par
652/698
Probabilidad condicional XI
Ejemplo
P r(A4 | A1 A2 A3 )
P r(An | A1 A2 An1 )
EMD/ABB
653/698
Solucin
La probabilidad de que la primera bola seleccionada sea azul
es de 9/12. Si la primera bola seleccionada es azul, la
probabilidad de que la segunda sea azul es de 8/11, dado que
slo quedan 8 bolas azules de 11 bolas. De la misma manera,
si las primeras dos bolas seleccionadas son azules, la
probabilidad de que la tercera bola sea azul es de 7/10, dado
que quedan 7 bolas azules de 10 bolas. Luego, segn el
EMD/ABB
654/698
Independencia I
Definicin
9 8 7
21
.
.
= .
12 11 10
55
EMD/ABB
655/698
EMD/ABB
656/698
Independencia II
Independencia III
Ejemplo
El suceso A = {(1, 6), (2, 5), (3, 4), (4, 3), (5, 2), (6, 1)}. Entonces
6
1
P r(A) =
= .
36
6
EL suceso
B = {(x, y) | x = es un nmero del dado azul, y = 2, 4, 6}.
18
1
Entonces P r(B) =
= . ( Observe que por cada nmero
36
2
del dado azul hay 3 nmeros pares del dado rojo).
3
1
A B = {(5, 2), (3, 4), (1, 6)} Entonces P r(A B) =
= .
36
12
EMD/ABB
657/698
Independencia IV
EMD/ABB
658/698
Independencia V
1 1
1
Luego, P r(A B) = P r(A)P r(B) = . =
y por tanto, los
6 2
12
sucesos son independientes.
Ejemplo
5
1 2 1
+ = .
2 3 3
6
Definicin
Solucin
3 4
12
. = .
5 5
25
EMD/ABB
659/698
EMD/ABB
660/698
Ejercicios I
Ejercicios II
4. Suponga que lanzan dos dados. Si los dos nmeros que
aparecen son diferentes, encuentre la probabilidad de que:
a. P r(A | B),
P r(B | A)
b. P r(A B),
P r(Ac | B c )
c
c
c. P r(A B ),
P r(B c | Ac )
EMD/ABB
661/698
Ejercicios III
EMD/ABB
Ejercicios IV
P r(A | E)
P r(D | E)
EMD/ABB
662/698
663/698
EMD/ABB
664/698
Ejercicios V
Ejercicios VI
12. Suponga que una urna contiene tres monedas. una comn
( cara y escudo), otra tiene dos caras y la tercera est
cargada, de modo que la probabilidad de obtener cara es
de 13 . Se saca una moneda y se lanza. Entonces
a. Haga un diagrama de rbol.
b. Cul es la probabilidad de obtener cara?.
a. A es un subconjunto de B
b. A y B son mutuamente excluyentes.
EMD/ABB
665/698
Ejercicios VII
EMD/ABB
Ejercicios VIII
EMD/ABB
666/698
667/698
EMD/ABB
668/698
Ejercicios IX
Ejercicios X
8
14
9
15
10
16
6
15
10
15
6
16
5
14
669/698
Contenido
INTRODUCCIN
NOCIONES DE LGICA FORMAL
Introduccin
Clculo proposicional
Formas normales
Clculo de predicado
TEORA DE CONJUNTOS
Conceptos y definiciones
Operaciones con conjuntos
Propiedades de las operaciones con conjuntos
Conjuntos numricos
Divisibilidad y algoritmos de enteros
Algoritmo de Euclides
Funcin caracterstica
Sucesiones
Representacin de conjuntos en una computadora
lgebras booleanas
Producto cartesiano o conjunto producto
EMD/ABB
Induccin y recursin
TEORA DE NMEROS Y COMBINATORIA
V
H
9
14
V
10
14
5
15
EMD/ABB
6
9 14
14
5
14
V
H
V
EMD/ABB
4
14
670/698
Variables aleatorias I
Las variables aleatorias representan el mecanismo
fundamental para modelar fenmenos aleatorios o
estocsticos. Producen valores reales casi siempre, ligados a
resultados de un experimento aleatorio.
El nmero de caras que se observan al lanzar 10 monedas no
cargadas; la suma de los nmeros que quedan en la cara
superior al lanzar dos dados, son ejemplos de variables
aleatorias.
Las variables aleatorias se clasifican segn el tipo de datos
que producen en : discretas, continuas y mixtas, las cuales a
su vez pueden ser : unidimensionales, bidimensionales,
tridimensionales, etc., dependiendo de la cantidad de
caractersticas que se estudie.
671/698
EMD/ABB
672/698
Variables aleatorias II
Ejemplo
Suponga que se lanza dos monedas. El espacio muestral
asociado a este experimento es
= {CC, CE, EC, EE}.
Suponga que la variable aleatoria X, es el nmero de caras
que se observa en el lanzamiento. Entonces
X(CC) = 2, X(CE) = X(EC) = 1, X(EE) = 0.
Definicin
Sea (, P r) un espacio de probabilidad. Una variable aleatoria
se define como una funcin
Definicin
El conjunto
X : W (generalmente R)
EMD/ABB
WX = {w W | e , X(e) = w}
673/698
Variables aleatorias IV
674/698
Variables aleatorias V
Ejemplo
Sea el espacio muestral asociado al lanzamiento de dos
dados. Sea X : N la variable aleatoria que representa la
suma de los nmeros que se observan en las caras superiores.
As que,
X[(1, 2)] = 3, X[(5, 5)] = 10, X[(4, 3)] = 7, X[(2, 3)] = 5
son algunos ejemplos. Sea A el evento en que la suma sea 9.
Entonces
A = {(3, 6), (4, 5), (5, 4), (6, 3)}.
As que P r(A) = 4/36 = 1/9. De manera que
P r(X = 9) = 1/9. En este caso se interpreta a X = 9 como
1
1
1
P r(X = 1) = , P r(X = 2) = , P r(X = 0) = .
2
4
4
EMD/ABB
EMD/ABB
675/698
EMD/ABB
676/698
Variables aleatorias VI
EMD/ABB
lm FX (x) = 0.
c. lm FX (x) = 1.
x
677/698
EMD/ABB
678/698
Variables aleatorias IX
Ejemplo
0,
si x < 0
1/4, si 0 x < 1
FX (x) = P r(X x) =
3/4, si 1 x < 2
1,
si x 2
EMD/ABB
679/698
Ejemplo
P r(X = xi ) = 1/6, xi = i, i = 1, 2, 3, 4, 5, 6.
EMD/ABB
680/698
Variables aleatorias X
0,
1/6,
2/6,
4/6,
5/6,
1,
Variables aleatorias XI
si
si
si
si
si
si
si
x<1
1x<2
2x<3
3x<4
4x<5
5x<6
x6
Ejemplo
Definicin
F (x) =
1
, < x <
1 + ex
EMD/ABB
681/698
EMD/ABB
682/698
P
P (xi ) = 1
b.
x+1
, x = 0, 1, 2, 3, 4.
15
i=1
4
X
Ejemplo
x=0
P r(X = x) =
1
2
3
4
5
+
+
+
+
= 1.
15 15 15 15 15
EMD/ABB
683/698
EMD/ABB
684/698
Variables aleatorias XV
b. Encuentre P r(X 3)
3
4
5
12
4
P r(X 2) =
+
+
=
= .
15 15 15
15
5
Definicin
Una variable aleatoria X se dice Continua si existe una
funcin f , llamada Funcin de densidad de probabilidad de
X, que satisface las condiciones siguientes:
a. f (x) 0, x
Z
Ejemplo
f (x) dx = 1
b.
c. P r(a X b) =
EMD/ABB
685/698
a. f (x) 0
+
f (x) dx =
b.
2x dx = 1
11
Si queremos calcular P r(X 2 3 X 23 ), podemos aplicar
el concepto de probabilidad condicional y decir que
P r(X
1 1
2
X ) =
2 3
3
=
EMD/ABB
EMD/ABB
686/698
P r( 13 X 21 )
P r( 13 X 32 )
R 1/2
5/36
5
1/3 2x dx
=
=
R 2/3
1/3
12
1/3 2x dx
687/698
EMD/ABB
688/698
De modo que:
Ejemplo
= P r(a X < b)
FX (x) =
EMD/ABB
689/698
Variables aleatorias XX
d
ex
FX (x) =
, < x < .
dx
(1 + ex )2
Ejemplo
EMD/ABB
690/698
Entonces
(
ex ,
FX0 (x) = f (x) =
0,
1
, < x < .
1 + ex
x0
para cualquier otro valor
EMD/ABB
691/698
EMD/ABB
692/698
Ejercicios I
Ejercicios II
EMD/ABB
693/698
Ejercicios III
EMD/ABB
Ejercicios IV
0,
x < 2
0.4,
2 x < 0.5
FX (x) =
0.8,
0.5 x < 3
1,
x3
a. Represente grficamente a FX (x).
b. Calcule la funcin de probabilidad de X.
EMD/ABB
694/698
695/698
EMD/ABB
696/698
Ejercicios V
Ejercicios VI
1
3
,
k = 0, 1, 2, 3, 4
P (X = k) = 2 k!(4 k)!
0,
para otros valores
1 x 0
0.2,
f (x) = 0.2 + ax,
0<x1
0,
para otros valores
a.
b.
c.
d.
a. Calcule P (X = 3)
b. Calcule P (1 X 2.5)
c. Calcule P (X 2.5)
EMD/ABB
697/698
EMD/ABB
Determine el valor de a.
Encuentre la funcin de distribucin FX (x)
Calcule P r(0 X 0.5)
Calcule P r(X > 0.5 | X > 0.1)
698/698