lógica y conjuntos curso de teoría del autómata. contenido lógica conjuntos relaciones y...

47
Lógica y conjuntos Curso de Teoría del Autómata

Upload: maria-victoria-sandoval-escobar

Post on 23-Jan-2016

222 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Lógica y conjuntos

Curso de

Teoría del Autómata

Page 2: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Contenido

• Lógica

• Conjuntos

• Relaciones y funciones

• Inducción

• Cardinalidad

Page 3: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operadores lógicos

La negación de una proposición es falsa si ésta es verdadera y verdadera si es falsa.

P ¬ P

V F

F V

La conjunción, denotada por P QP Q P QF F F

F V F

V F F

V V V

Page 4: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operadores lógicos

La disyunción, denotada por P QP Q P QF F F

F V V

V F V

V V V

La implicación, denotada por P Q

La contrapuesta se define como

Q P

Es equivalente a la implicación.

P Q P Q

F F V

F V V

V F F

V V V

Page 5: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Leyes de De MorganSe cumple que para dos proposiciones P y Q

(PQ) P Q

Y

(PQ) P Q

Lo anterior puede generalizarse a cualquier número de proposiciones.

Page 6: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operadores lógicos

La bicondicional se define como P Q, la cual se lee “P si y solo si Q”.

La bicondicional es verdadera cuando P y Q son verdaderas o falsas simultáneamente.

Dos proposiciones son equivalentes si tienen los mismos valores de verdad.

Teorema 1.1. Sean P y Q proposiciones para las cuales P Q es siempre verdadera. Entonces P y Q son equivalentes. Y viceversa.

Page 7: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operadores lógicos

Una tautología es una proposición que siempre es verdadera y la contradicción es aquella que siempre es falsa.

Las proposiciones que contienen variables se les llama proposiciones abiertas.

Una frase abierta o función proposicional es una proposición que contiene una variable.

Se denota por P(x).

La colección de objetos que pueden ser sustituidos por una variable en una frase abierta se llama conjunto de significados de esa variable.

Page 8: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operadores lógicos

Se definen también los cuantificadores universal y existencial: “para todo x, P(x)” se denota por x P(x) y “existe x tal que P(x)” como x P(x).

Teorema 1.2. ( x P(x)) es equivalente a x P(x).

Si P(x) es una frase abierta, entonces un contra ejemplo para x P(x) es un elemento, t, del conjunto de significados de forma que P(t) sea falsa.

Page 9: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operadores lógicosDemostración de Teorema 1.2.

Considere un conjunto finito de individuos a1, a2,... an, x P(x) es verdadero si P(a1), P(a2),... P(an), son verdaderos, o sea

x P(x) P(a1) P(a2) ... P(an)

Por otro lado

x P(x) P(a1) P(a2) ... P(an)

Entonces

¬ x P(x) ¬ (P(a1) P(a2) ... P(an))

¬ P(a1) ¬ P(a2) ... ¬ P(an) por la ley de De Morgan

x ¬ P(x)

Page 10: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Conjuntos y subconjuntosUn conjunto es una colección bien definida de objetos llamados elementos o miembros del conjunto.

Dos conjuntos A y B son iguales si tienen los mismos elementos. Denotamos la igualdad de dos conjuntos A y B por A = B.

Si un elemento a pertenece a un conjunto A lo denotamos por a A. Si no pertenece lo denotamos por a A.

A es un subconjunto de B si todo elemento de A es también elemento de B, lo representamos por A B o sea que:

A B x A x B

Note que si A B y B A , entonces A = B.

Page 11: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Ejemplos de conjuntosDefinición por enumeración:

A = {1, 2, 3}B = {a, b, c}C = {1, 2, 3, …}D = {-2, -4, -6, …}

Definición mediante una proposición abierta

E = {x N | x < 4}F = {x {a, b, c, …, z} | x es vocal}G = {x | x es par y x es primo}

Se cumpleA CC A

Page 12: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Conjunto vacío y potencia

Un conjunto importante es el conjunto vacío o nulo, el cual no contiene ningún elemento, éste es subconjunto de todo conjunto.

Teorema 1.3. Si A B y B C , entonces A C.

El conjunto de todos los subconjuntos de A se le llama el conjunto potencia de A, se denota por 2A = {B | B A}.

Page 13: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Familia indexada de conjuntos

Si I es un conjunto y para todo I tenemos que A es un

conjunto, entonces { A | I} es la familia indexada de

conjuntos.

Ejemplo:

Si para todo n > 0 An = [-1/n, 1/n], entonces {An | n Z+} es una familia indexada de los intervalos cerrados desde -1/n a 1/n para n = 1, 2, 3, …

Page 14: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operaciones con conjuntos

Definimos la unión de dos conjuntos A y B como el conjunto formado por los elementos que pertenecen a A o a B y se indica por A B.

A B = {x | x A o x B }

Definimos la intersección de dos conjuntos A y B como el conjunto formado por los elementos que pertenecen a A y a B y se indica por A B.

A B = {x | x A y x B }

Dos conjuntos son disjuntos si su intersección es el conjunto vacío.

Page 15: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operaciones con conjuntosTeorema 1.4. Dados conjuntos A, B y C se tiene que:

1. A = A2. A = 3. Si A B, A B = A4. Si A B, A B = B5. A B = B A 6. A B = B A 7. A (C B) = (A C) B 8. A (C B) = (A C) B 9. A (C B) = (A C) (A B)10. A (C B) = (A C) (A B)

Page 16: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Operaciones con conjuntosDefinimos la diferencia de A y B como el conjunto de los elementos que pertenecen a A pero que no pertenecen a B. La designamos por A B.

A B = {x | x A y x B }

El complemento de un conjunto es el conjunto de elementos que pertenecen a un universo en el que esta definido el conjunto y que no pertenecen al conjunto. Se representa por.

A'= {x | x A }

La diferencia simétrica de A y B es el conjunto formados por los elementos que pertenecen a A o B pero no a ambos. Se representa por.

A B = {x | (x A y x B ) o (x B y x A )}

Es fácil ver que.

A B = (A B ) (B A )

El producto cartesiano de dos conjuntos A y B se define como

A B a b a A y b B ,

Page 17: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Ejemplo

Demostrar que A (B C) = (A B) (A C)

x A (B C) x A o x (B C) x A o (x B y x C) (x A o x B) y (x A o x C) x (A B) y x (A C) x ((A B) (A C))

Por lo que A (B C) ((A B) (A C)) y también ((A B) (A C)) A (B C), por lo tanto son iguales.

Page 18: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Ejemplo

Demostrar que A – B = A B’

x A – B x A y x B x A y x B’ x (A B’)

Por lo que A – B A B’ y también A B’ A – B, por lo tanto son iguales.

Page 19: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Relaciones y funciones Se define una relación del conjunto A con el conjunto B como un subconjunto de A B. Si R A B y (a, b) R se dice que a está relacionado con b bajo la relación R.

Si A y B son el mismo conjunto, entonces se dice que la relación es sobre A.

Se definen los subconjuntos Dominio e Imagen de la relación R como sigue:

Dom(R)={a | a A y (a, x) R para algún x B}

Im(R)={b | b B y (y, b) R para algún y A}

Si R A B es una relación de A en B, entonces la relación R–1 = {(b, a)| (a, b) R } es la inversa de la relación R.

Page 20: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Ejemplo

Si A = {1, 2, 4, 5} y B = {2, 5, 7}

A B = {(1, 2), (1, 5), (1, 7), (2, 2), (2, 5), (2, 7), (4, 2), (4, 5), (4, 7), (5, 2), (5, 5), (5, 7)}

R = {(1, 2), (2, 5), (2, 7), (5, 5), (5, 7)} es una relación dado que R A B

Dom(R) = {1, 2, 5}

Im(R) = {2, 5, 7}

R–1 = {(2, 1), (5, 2), (7, 2), (5, 5), (7, 5)}

Page 21: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Relaciones de equivalenciaSe define una partición de A como una colección A de subconjuntos de A, tales que

1.    Si B y C son subconjuntos de A, entonces o bien B = C o B C = . 

2.

Ejemplo:

Sea A = {x N| x 10} y sea

A = {{0, 2, 4}, {1, 3, 5}, {6, 8, 10}, {7, 9}, }

Es una partición de A.

B = {{0, 2, 4, 6}, {1, 2, 3, 5, 7}, {9, 10}, }

No es una partición

A BB A

Page 22: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Ejemplo

ryx

ZNyxQr |,

Sea Q el conjunto de los racionales.

Para cada r elemento de Q sea:

Q3/8 contiene a (3, 8), (6, 16), (9, 24), …

F = {Qr | r Q} es una partición de N Z +.

Sean Qr y Qs dos elementos de F, si (x, y) Qr Qs, r = x/y = s por lo que Qr = Qs.

Como Qr N Z +, r Q Qr N Z +.

Si (x, y) N Z +, x/y Q, por tanto (x, y) Q.

Así que (x, y) r Q Qr , se concluye que r Q Qr = N Z +

Page 23: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Relaciones reflexivas, simétricas y transitivas

Una relación R sobre un conjunto X es reflexiva si (a, a) R.

Una relación R es simétrica si (a, b) R , entonces (b, a) R .

Una relación R es transitiva si (a, b) R y (b, c) R , entonces (a, c) R .

Las relaciones que cumplen con estas propiedades se denominan relaciones de equivalencia y definen una partición del conjunto X.

Para cada elemento x de X se define un conjunto [x]={y X | (x, y) R} como la clase de equivalencia de x.

Page 24: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Clases de equivalencia

Teorema 1.5. Las clases de equivalencia de una relación de equivalencia R sobre un conjunto X forman una partición de X.

Demostración: Sea z [x][y], entonces (x, z) R y (z, y) R. Como R es transitiva, entonces (x, y) R. Por lo tanto x [y] y y [x], y en consecuencia (y, x) R.

Si t [x], entonces (t, x) R y por transitividad (t, y) R. Por tanto t [y]. O sea [x] [y].

Si t [y], entonces (t, y) R y por transitividad (t, x) R. Por tanto t [x]. O sea [y] [x].

Por lo cual [x] [y].

Page 25: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Clases de equivalenciaPor otro lado, todo x debe pertenecer R, ya que (x, x) R. Esto implica que todos los elementos pertenecen a alguna partición.

Teorema 1.6. Cualquier partición A de un conjunto no vacío X define una relación de equivalencia sobre X.

Page 26: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Funciones

Una relación de A en B es una función si Dom(f) = A y para todos los pares (x, y) y (x , z) pertenecientes a f implica que y = z, y se escribe f: A B.

Se usa la notación f(x) = y, donde (x, y) f.

Page 27: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

FuncionesTeorema 1.7. Sean las funciones f: A B y g: A B, entonces f = g si y solo si f(x) = g(x) para toda x A.

Demostración: Si f = g, entonces sea x A. Entonces si y = f(x), se tiene que (x, y) f y por tanto (x, y) g. En consecuencia y = g(x).

A la inversa, si f(x) = g(x). Entonces, si (x, y) f . Entonces y = f(x) = g(x) con lo que (x, y) g, y por tanto f g. Por otro lado, si (x, y) g . Entonces y = g(x) = f(x) con lo que (x, y) f, y por tanto g f.

Page 28: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Función parcial

Definimos una función parcial como una función en la que Dom(f) A.

Sea una función f: A B . Si X A, diremos que la imagen de X bajo f es

f(X) = {y B | y = f(x) para algún x X}

Si Y B, la imagen inversa de Y bajo f es el conjunto

f -1(Y) = {x A | f(x) = y para algún y Y}

Page 29: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Funciones

Teorema 1.8. Sea una función f: A B . Entonces

1.   f() = .

2.   f({x}) = {f(x)} para todo x A.

3.   Si X Y A, entonces f(X) f(Y).

4.   Si X Y B, entonces f -1(X) f -1(Y).

5.   Si X y Y son subconjuntos de B, entonces

f 1(X Y) = f 1(X) f 1(Y).

Page 30: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

BiyecciónUna función es de uno a uno o inyectiva si, para cualquier (x, y) f y (z, y) f , entonces x = z. 

Una función es sobreyectiva si, para cualquier y B existe una x A, para la que f(x) = y.

Una que es inyectiva y sobreyectiva es una biyección o correspondencia uno a uno.

Sean R A B y S B C. Definimos la composición de R y S como

S R = {(a, c) A C | para algún b B, (a, b) R y (a, c) S}

Para el caso de funciones tendremos:

g f = {(a, b) | para algún y, f(a) = y y b = g(y)}

Page 31: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

EjemplosSi R = {(0, 1), (0, 2), (1, 1)} y S = {(1, a), (2, b)}, entonces

S R = {(0, a), (0, b) , (1, a)}

S R =

Sea f: R R, definida como f (x) = x + 1 y g: R R, definida como g (x) = x2, Entonces

g f (x) = g (f (x)) = g (x + 1) = (x + 1)2

f g (x) = f (g (x)) = f (x2) = x2 + 1

Page 32: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Inducción

Un conjunto es inductivo si, para cada a A, entonces a + 1 también pertenece a A.

El conjunto {6, 7, 8, …} es inductivo

El conjunto {0, 2, 4, 6, …} no es inductivo

El hecho de que haya una única colección de números naturales que contengan el 0 y sea inductiva se conoce como el principio de inducción matemática (PIM). 

Page 33: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

EjemploLa proposición n + 3 < 5(n + 1) se cumple para todo n.

Sea A = {n N | n + 3 < 5(n + 1) }, se debe probar que A = N.

Para n = 0, 0 + 3 < 5(0 + 1) o 3<5, se cumple para n = 0.

Supongamos que n A, debemos probar que n + 1 A.

5((n + 1) + 1) = 5n + 10

= 5(n + 1) + 5

> (n + 3) + 5 dado que n+3 < 5(n+1)

> (n + 3) + 1

= (n + 1) + 3

Por tanto A = N.

Page 34: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Pasos para la Inducción

1. Probar que la proposición se cumple para 0.

2. Suponer que la proposición se cumple para n y probar que esto implica que se cumpla para n + 1.

3. Deducir que la proposición se cumple para todos los elementos de N.

Los siguientes pasos se siguen para hacer demostraciones inductivas.

Page 35: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

EjercicioProbar que 1 + 2 + 3 + …+ (2n – 1) = n2

Page 36: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Inducción; caso n>=k

Si se expresa la propiedad como P(n) para todo n k, la demostración se realiza de la manera siguiente:

1. (etapa base) Probar que se P(k) cumple.

2. (etapa de inducción) Probar que si P(n) es verdadera entonces P(n + 1) es verdadera para todo n k.

3. (conclusión) Por las etapas 1 y 2 y el PIM, P(n) es verdadera para todo n k.

Page 37: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Cardinalidad

Dos conjuntos A y B son equivalentes si existe una biyección entre ellos.

La equivalencia se denota por A B.

Page 38: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

EjemploSea F = {f | f : N {0, 1}}el conjunto de todas las funciones de N en {0, 1}; entonces F 2N.

Para probarlo se necesita una biyección H F 2N.

Para g F, definimos H(g) = {x | g(x) = 1}

Probaremos que H es inyectiva y sobreyectiva.

Sean g1 F, y g2 F, Supongamos H(g1) = H(g2).

Sea x N, si x H(g1), dado que H(g1) = H(g2), g1(x) = g1(x) = 1.

Sea x N, si x H(g1), dado que H(g1) = H(g2), g1(x) = g1(x) = 0.

Por tanto g1 = g2. Por lo tanto es inyectiva.

Page 39: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

ContinuaciónSea A 2N.

Definimos la función g:N {0, 1} como

Axsi

Axsixg

,1

,0

Observe que g F y que H(g) = A. Por tanto se puede encontrar una función en F que representa a A. De modo que H es sobreyectiva.

Page 40: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

CardinalidadTeorema 1.9. Sean f: A B y g: C D dos funciones sobreyectivas con A C = y B D = . Entonces f g es sobreyectiva. También, si f y g son inyectivas, entonces lo es f g.

Demostración: Si f y g son sobreyectivas, entonces sea y B, x A, tal que y = f(x) y sea w C, z D, tal que w = g(z).

Sea t B D), entonces si t B, s A, tal que t = f(s) o si t D, s C, tal que t = g(s). Por lo tanto s A C). Por lo tanto f g es sobreyectiva.

Sea (x, y) f g . Si (x, y) f, entonces y B, y y D, y por tanto (x, y) g. o de otra manera, si (x, y) g, entonces y D, y y B, y por tanto (x, y) f.

Esto quiere decir que solo existe una x que se mapea a y por tanto f g es inyectiva.

Page 41: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Cardinalidad

Teorema 1.10. Supongamos que A C y B D con A B = y C D = . Entonces A B = C D.

Demostración. Puesto que A C y B D, existen unas biyecciones g: A C y h: B D. Definamos f: A B C D como

 

 

Por el teorema 9 f es una biyección puesto que g y h lo son. Por consiguiente, Entonces A B = C D.

f x

g x x A

h x x B

,

,

si

si

Page 42: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

CardinalidadPara cada número natural k 1, se define Nk = {1, 2, 3, … ,

k} como “estándar de tamaño” para comparar conjuntos.

Un conjunto A es finito si:

1. A =, en cuyo caso A tiene cardinalidad 0.

2. A Nk, en cuyo caso A tiene cardinalidad k.

Un conjunto es infinito si no es finito.

Ejemplo: A = {a, b, c, d} es finito con cardinalidad 4

Page 43: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Cardinalidad

Teorema 1.11. Si A y B son conjuntos disjuntos finitos, entonces A B es también finito y | A B | = | A | + | B |.

Demostración. Si A = , entonces A B = B, con lo que

| A B | = 0 + | B | = | B |

Si A ,y B , entonces sean f: A Nm y g: B Nn las

biyecciones a partir de las cuales se obtiene que | A | = m y | B | = n. Se define h: Nn H = { m+1, m+2,…, m+n} como h(x)

= m + x. Es obvio que h es una biyección y por tanto Nn H.

Obsérvese que Nm H. = {1, 2, …, m+n} = Nm+n y la función

definida como es sobreyectiva e inyectiva. Por consiguiente, A B es finito y | A B | = m + n = |A| + |B|.

Page 44: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Cardinalidad

Teorema 1.12. (Principio del palomar). Sean A y B conjuntos finitos con |A| > |B| > 0 y f: A B una función. Entonces f no es inyectiva.

Demostración. La demostración se realiza por inducción sobre |B|.

Si |B| = 1 y |A| > |B|. Entonces A contiene al menos dos elementos distintos a1 y a2. Pero entonces f(a1) = f(a2) por lo que f no es

inyectiva. Por tanto el resultado se cumple para |B| = 1.

Supongamos que el resultado se cumple para 0 |B| n. Entonces sea B un conjunto de forma que |B| = n + 1. Fijado un elemento b B, obsérvese que |B – {b}| = n. Supongamos que A es un conjunto tal que |A| > |B|.y f: A B. Consideremos los dos casos siguientes para f1(b).

Page 45: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Caso 1: Supongamos que | f1(b)| 2. En este caso habrá dos elementos a1y a2 de A, de forma que a1y a2 están en f1(b) o, lo que

es lo mismo, f(a1) = f(a2) = b. En este caso f no es inyectiva.

Caso 2: Supongamos que | f1(b)| 1. Obsérvese que |A - f1(b)| |A| - 1 > n = |B – {b}|. Se define la función g: A - f1(b) B – {b} como g(x)= f(x). Obsérvese que, como |B - f1(b)| = n y |A - f1(b)| |B – {b}|, se satisface la hipótesis de inducción. Por lo tanto g no es inyectiva con lo que existirán a1y a2 en A- f1(b) para los cuales a1

a2 y g(a1) = g(a2). Por consiguiente, f(a1) = f(a2),de lo que se deduce

que f tampoco es inyectiva.

En ambos casos, si el resultado se cumple para cualquier conjunto B con n elementos, también se cumple para cualquier conjunto B con n + 1 elementos. Por tanto, y por el PIM, la proposición se cumple para todo conjunto finito B con |B| > 0.

Corolario 1.1. Si A es un conjunto finito y B es un subconjunto propio de A, entonces A B.

/

Page 46: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

Un conjunto A es enumerable si |A| N. En este caso . Un conjunto es numerable si es finito o enumerable.

Teorema.1.13. Sea A un conjunto enumerable. si B A es un conjunto infinito, entonces B es enumerable.

Demostración. Puesto que A es enumerable, existe una biyección f:N A. Supongamos que tenemos que f(n) = an por lo que A

puede ser enumerado como A = {a0, a1, ...}. Sea n0 el menor

subíndice para el cual . Sea n1el menor subíndice para el

cual . Sea nkel menor subíndice para el cual

Generalizando nk el menor subíndice para el cual

Puesto que B es infinito, para todo k, con lo que hemos construido una correspondencia uno a uno entre N y B. Por lo tanto, B es enumerable.

0A

Ban 0

110

,...,,

kk nnnn aaaBa

110

,...,,knnn aaaB

01 nn aBa

Page 47: Lógica y conjuntos Curso de Teoría del Autómata. Contenido Lógica Conjuntos Relaciones y funciones Inducción Cardinalidad

CardinalidadTeorema.1.14. El conjunto 2N no es numerable.

Demostración. Supongamos que 2N es numerable.

Dado que es un conjunto infinito, debe suponerse que 2N es enumerable y que por lo tanto, puede ser enumerado de la forma 2N = { A0, A1, ...}.

Sea D = {n N, n A n}. Obsérvese que D N y, por tanto, D = Ak

para algún k.

Consideremos dicho k. Si k A k,puesto que Ak = D, k no puede estar

en Ak.

Por otro lado, Si k Ak, entonces k D y por tanto k debe estar en A k.

Ambas posibilidades nos llevan a una contradicción.

Por consiguiente, la suposición de que 2N es enumerable es incorrecta.