Professional Documents
Culture Documents
Conjuntos y Funciones
Logica y Computabilidad
Curso 200607
Para todo x, x A = x B
I En consecuencia,
A=B AB yBA
I on: A B = {x : x A o x B}
Uni
I on: A B = {x : x A y x B}
Intersecci
I Diferencia: A B = {x : x A y x
/ B}
I Complementario: Fijado un conjunto C , para cada A C el
complementario de A (en C ) se define como
A = C A = {x C : x
/ A}
P(A) = {C : C A}
(a1 , . . . , an ) = (b1 , . . . , bn ) a1 = b1 , a2 = b2 , . . . , an = bn
I Una funci
on f es un conjunto de pares ordenados, tal que
dom(f ) = {x : y ((x, y ) f )}
I El rango de f es el conjunto:
rang (f ) = {y : x ((x, y ) f )}
f (x) g (x)
Para todo x, y
f (x) = g (x)
Graficamente,
f g
A B C
x 7 f (x) 7 g (f (x)) (= h(x))
Notacion: h = g f .
f (x) = y g (y ) = x
a0 , a1 , . . . , an , . . .
I N2 es numerable.
Para probarlo, basta demostrar que la siguiente funcion
J : N2 N es biyectiva:
(x + y )(x + y + 1)
J(x, y ) = +x
2
I En general, para cada k 2, el conjunto Nk es numerable.
I El conjunto de los n
umeros racionales Q es numerable.
S = {~x An : (~x ) = 1}
I Expresi
on sobre predicados. Sea un predicado 1ario
sobre N. Si x (x) entonces m ((m) y < m (y ))
I Notacion: indicaremos que m es mnimo escribiendo:
m = x((x))
Inducci
on d
ebil.
Teorema: Si es un predicado sobre N tal que:
1. Caso base: (0), y
2. Paso inductivo: n((n) (n + 1))
Entonces, n (n).
Ejercicio: Probar utilizando este principio que:
n
X n(n + 1)
I i=
2
i=0
n
X
I (2i + 1) = (n + 1)2
i=0
Inducci
on fuerte
Teorema: Si es un predicado sobre N tal que:
1. Caso base: (0), y
2. Paso inductivo: n([p n (p)] (n + 1)).
Entonces, n (n).
Ejercicio: Probar utilizando este principio que:
I Todo numero natural n 2 puede descomponerse en un
producto de n
umeros primos.