You are on page 1of 20

Tema 3:

Conjuntos y Funciones

Dpto. Ciencias de la Computaci


on e Inteligencia Artificial
Universidad de Sevilla

Logica y Computabilidad
Curso 200607

LC, 200607 Conjuntos y Funciones 3.1


Conjuntos

I Escribimos x C para expresar que x es un elemento de C .


I Ademas, x 6 C expresa que x NO es un elemento de C .
I Dada una propiedad , denotamos por {t : (t)} al conjunto
formado por aquellos elementos que verifican la propiedad .
I El conjunto vaco de denota por .
Igualdad entre conjuntos
I Dos conjuntos A y B son iguales si tienen los mismos
elementos, es decir, si
Para todo x, x A x B
I Por tanto, dada una propiedad, , si A = {x : (x)}
entonces, para todo x,
x A (x)

LC, 200607 Conjuntos y Funciones 3.2


Subconjuntos

I A es un subconjunto de B, y lo expresamos, A B, si todo


elemento de A es elemento de B, es decir,

Para todo x, x A = x B

I En consecuencia,

A=B AB yBA

As, podemos probar que dos conjuntos A y B son iguales


por doble inclusion, es decir, probando que A B y B A.

LC, 200607 Conjuntos y Funciones 3.3


Operaciones con conjuntos

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}

I Conjunto Potencia: Dado un conjunto A, el conjunto


potencia de A (o conjunto de las partes de A) es

P(A) = {C : C A}

LC, 200607 Conjuntos y Funciones 3.4


Producto cartesiano

I Producto cartesiano: A B = {(u, v ) : u A y v B},


donde (u, v ) denota al par ordenado formado por u y v .
I La propiedad caracterstica de los pares ordenados es

(a, b) = (c, d) a=c yb=d

I En general, para cada n 3, podemos considerar n-tuplas,


(a1 , a2 , ..., an ), cuya propiedad caracterstica es:

(a1 , . . . , an ) = (b1 , . . . , bn ) a1 = b1 , a2 = b2 , . . . , an = bn

I A1 ... An = {(x1 , ..., xn ) : x1 A1 ... xn An }.


(n
I Si A1 = ... = An = A, escribiremos An = A A ... A.
Ademas, la ntupla (x1 , . . . , xn ) se denotara por ~x .

LC, 200607 Conjuntos y Funciones 3.5


Funciones

I Una funci
on f es un conjunto de pares ordenados, tal que

(a, b) f y (a, c) f = b=c

I El dominio de una funcion f es el conjunto:

dom(f ) = {x : y ((x, y ) f )}

I El rango de f es el conjunto:

rang (f ) = {y : x ((x, y ) f )}

I Si f es una funcion, para cada a dom(f ) existe un u nico


b rang (f ) tal que (a, b) f . Por ello usaremos la notacion
habitual, f (a) = b para expresar que (a, b) f .
I Ejemplo: Sea A un conjunto. La funcion identidad de A es la
funcion IdA : A A, dada por IdA (x) = x.
LC, 200607 Conjuntos y Funciones 3.6
Igualdad entre funciones

Notacion: Escribiremos f (x) para expresar que x dom(f ) y


utilizaremos la notacion f (x) para expresar que x
/ dom(f ).
(En este ultimo caso se dice que f no esta definida en x).
I Si f y g son funciones, entonces f = g si y solo si tienen los
mismos elementos (pares ordenados). Por tanto,

dom(f ) = dom(g )
f =g y
para todo x dom(f ), f (x) = g (x)


f (x) g (x)
Para todo x, y
f (x) = g (x)

LC, 200607 Conjuntos y Funciones 3.7


Tipos de funciones

Sean A y B dos conjuntos y f una funcion.


I f es una aplicacion de A en B (o funci
on total de A en B) y
escribiremos f : A B, si
dom(f ) = A y rang (f ) B
I on parcial de A en B, f : A B, si
f es una funci
dom(f ) A y rang (f ) B
I Una funcion f : A B es:
I inyectiva si para todo x1 , x2 dom(f ),
f (x1 ) = f (x2 ) = x1 = x2
I sobreyectiva (o suprayectiva o exhaustiva) si rang (f ) = B, es
decir,
y Bx A(f (x) = y )
I biyectiva si es total, inyectiva y sobreyectiva.
LC, 200607 Conjuntos y Funciones 3.8
Composici
on de funciones

Sean f : A B y g : B C . Se define la composici


on de f
y g como la funcion (parcial) h : A C dada por

h = {(x, y ) A C : Existe z B tal que f (x) = z y g (z) = y }

Graficamente,
f g
A B C
x 7 f (x) 7 g (f (x)) (= h(x))

Notacion: h = g f .

LC, 200607 Conjuntos y Funciones 3.9


Funci
on inversa

I Dada una funcion f decimos que una funcion g es la inversa


de f si, para todo x y todo y se tiene,

f (x) = y g (y ) = x

I nica y se denota por f 1 .


Si existe, la inversa de f es u
I Sea f una funcion. Entonces,

f tiene inversa f es inyectiva.

on: Sea f : A B una aplicacion. Entonces,


Proposici
1. f 1 es aplicacion de B en A f es biyectiva
(en cuyo caso, f 1 tambien sera biyectiva)
2. Si f es biyectiva, f f 1 = IdB y f 1 f = IdA .
Si, ademas, A = B entonces, f f 1 = f 1 f

LC, 200607 Conjuntos y Funciones 3.10


Conjuntos numerables

Definicion: Un conjunto A es numerable si existe una aplicacion


biyectiva de N en A.
I Si un conjunto, A, es numerable, entonces los elementos de A
pueden ordenarse en una lista infinita sin repeticiones:

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.

LC, 200607 Conjuntos y Funciones 3.11


Conjuntos no numerables

No todo conjunto infinito es numerable.


I Ejemplos:
I El conjunto de los numeros reales, R.
I El intervalo [0, 1) R.
I P(N).
Estos resultados fueron probados por G. Cantor utilizando la
misma idea basica: El metodo diagonal de Cantor.

LC, 200607 Conjuntos y Funciones 3.12


Predicados y conjuntos

on: (n 1) Un predicado nario sobre A es una aplicacion


Definici
: An {0, 1}.
I Dado (x1 , . . . , xn ) An , si (x1 , ..., xn ) = 1 diremos que el
predicado se verifica (o que es cierto) para (x1 , ..., xn ).
Escribiremos (~x ) en vez de (~x ) = 1.
I Si (x1 , ..., xn ) = 0 diremos que el predicado no se verifica (o
que es falso) para (x1 , ..., xn ).
I Podemos identificar un predicado nario sobre A,
: An {0, 1}, con un subconjunto de An :

S = {~x An : (~x ) = 1}

I Los predicados nos permiten identificar con funciones los


subconjuntos de A y, en general, las relaciones entre
elementos de A.

LC, 200607 Conjuntos y Funciones 3.13


Funci
on caracterstica
on: Sea B An . Llamaremos funci
Definici on caracterstica del
subconjunto B, al predicado CB definido sobre An como sigue:

1 si ~x B
CB (~x ) =
0 si ~x
/B

I La funcion caracterstica de B An , nos permite identificar el


conjunto B con un predicado (precisamente, CB ).
I Si es un predicado nario sobre A y B = S entonces
CB = .

LC, 200607 Conjuntos y Funciones 3.14


Operaciones con predicados

on: Dados los predicados y 0 , definimos los predicados


Definici
, 0 , 0 , 0 y 0 , as:
I ()(~x ) (~x ) = 1 (~x ).
I ( 0 )(~x ) (~x ) 0 (~x ) = max((~x ), 0 (~x ))
I ( 0 )(~x ) (~x ) 0 (~x ) = min((~x ), 0 (~x )).
I 0 = () 0 .
I 0 = ( 0 ) (0 ).

Estas operaciones reflejan las operaciones entre conjuntos del


siguiente modo. Sean 1 y 2 predicados narios sobre An .
Entonces
I S1 2 = S1 S2 .
I S1 2 = S1 S2 .
I S1 = An S1 .
LC, 200607 Conjuntos y Funciones 3.15
Cuantificaci
on acotada
Sea (x1 , ..., xn , y ) un predicado (n + 1)ario sobre N.
El predicado obtenido a partir de por cuantificaci on existencial
acotada es el predicado (n + 1)ario sobre N que denotaremos por
(z)y y se define mediante:

1 si existe z0 y tal que (~x , z0 ).
(z)y (~x , z) =
0 en caso contrario

El predicado obtenido a partir de por cuantificaci


on universal
acotada es el predicado (n + 1)ario sobre N que denotaremos por
(z)y y se define mediante:

1 si para todo z0 y se tiene (~x , z0 ).
(z)y (~x , z) =
0 en caso contrario
I (z)y (~x , z) = (~x , 0) (~x , 1) ... (~x , y )
I (z)y (~x , z) = (~x , 0) (~x , 1) ... (~x , y )
LC, 200607 Conjuntos y Funciones 3.16
Cuantificaci
on no acotada
Sea (x1 , ..., xn , y ) un predicado (n + 1)ario sobre N.
El predicado obtenido a partir de por cuantificaci on existencial
es el predicado nario sobre N que denotaremos por (z) y se
define mediante:

1 si existe z0 tal que (~x , z0 ).
(z) (~x , z) =
0 en caso contrario.

El predicado obtenido a partir de por cuantificaci on universal


es el predicado nario sobre N que denotaremos por (z) y se
define mediante:

1 si para todo z0 se tiene (~x , z0 ).
(z) (~x , z) =
0 en caso contrario.

LC, 200607 Conjuntos y Funciones 3.17


El principio de minimizaci
on

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))

I on conjuntista. Sea A N. Si A 6= entonces


Expresi
m (m A y < m(y / A))
I Notacion: indicaremos que m es el mnimo escribiendo:
m = min(A)

Ejercicio: Probar utilizando este principio que:


I Todo n umero natural n 2 es divisible por un n
umero
primo.
LC, 200607 Conjuntos y Funciones 3.18
El principio de Inducci
on

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

LC, 200607 Conjuntos y Funciones 3.19


El Principio de Inducci
on (II)

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.

LC, 200607 Conjuntos y Funciones 3.20

You might also like