Curso de Teoría del Autómata

Slides:



Advertisements
Presentaciones similares
Teoría de Conjuntos Dr. Rogelio Dávila Pérez
Advertisements

Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
INSTITUTO TECNOLÓGICO DE MINATITLÁN
Teoría de Lenguajes Dr. Rogelio Dávila Pérez Profesor - Investigador
Relaciones y Funciones
Matemáticas Computacionales
Teoría de Conjuntos Dr. Rogelio Dávila Pérez ITESM, Campus Guadalajara
equivalencia material; y b) equivalencia lógica
Repaso de Conjuntos Conjuntos y subconjuntos
DEPARTAMENTO DE MATEMÁTICAS
TEORÍA DE CONJUNTOS.
TEÓRIA DE CONJUNTOS.
LÓGICA PROPOSICIONAL.
Sesión 5.- Unidad I. Lógica Mtra. Carolina Galaviz Inzunza Matemática Discreta.
Curso de Matemática Propedeútica
Unidad II: Teoría de Conjuntos.
TEÓRIA DE CONJUNTOS Profesor: Rubén Alva Cabrera.
PRODUCTO CARTESIANO RELACIONES BINARIAS
Relaciones de equivalencia
Universidad Cesar Vallejo
Taller matemático (Cálculo)
José Alfredo Cervantes Guzmán UMSNH Coautor: Jesús Rivera
¿Qué es un conjunto? Un conjunto es una colección de objetos considerada como un todo. Los objetos de un conjunto son llamados elementos o miembros del.
UNIDAD 2 CONJUNTOS.
Teoría de conjuntos Un conjunto es una colección o clase de objetos bien definidos y diferenciables entre sí. Los conjuntos pueden ser finitos o infinitos.
ÍNDICE Conjuntos Partes de un conjunto. Operaciones.
   Conjuntos.
Matemáticas Discretas
FUNDAMENTOS DE LA TEORÍA DE CONJUNTOS
INSTITUCION EDUCATIVA LAS FLORES
Teoría de Conjuntos Prof. Carlos Coronel R..
Aporte de la Lógica a la Matemática
CONTENIDO CONJUNTOS RELACIONES FUNCIONES CONJUNTOS.
Los números reales..
M.I.C. Héctor E. Medellín Anaya
LÓGICA DOCENTE: PATRICIA ISABEL AGUILAR INCIO. CICLO 2012– I.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Lógica Proposicional Profesor: Amador Alejandro Gonzáles Piscoya
Lenguajes regulares Teoría del Autómata.
Lógica de predicados. La lógica de predicados no es mas que la logica de enunciados pero con variables y cuantificadores. Eje: “Beto es un niño”
Lógica de enunciado La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico y descansa exclusivamente en las conectivas.
TEÓRIA DE CONJUNTOS.
Programa de Asignatura.
Negación: ¬. (También: -, ~ ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Al construir la negación.
TEÓRIA DE CONJUNTOS.
TEÓRIA DE CONJUNTOS Docente: Jesús Huaynalaya García.
MATEMÁTICA II Gonzales Caicedo Walter Orlando
TEMA 4: LÍMITES Y CONTINUIDAD
CÁLCULO PROPOSICIONAL
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
Universidad César Vallejo
TEÓRIA DE CONJUNTOS Profesor: Ing. Oscar Guaypatin Pico.
Una proposición es un enunciado u oración declarativa
Lógica Proposicional.
RELACION Y OPERACIÓN ENTRE CONJUNTOS
Capítulo 3: Conjuntos Autor: José Alfredo Jiménez Murillo.
LIC. JOSEPH RUITON RICRA
Matemáticas Discretas
Teoría de Conjuntos.
ASIGNATURA: Matemática 2014
Ecuaciones y Sistemas de Ecuaciones Lineales
TEÓRIA DE CONJUNTOS.
Mini-video 2 de 5 Materia: Límites de funciones Continuidad de funciones Prácticas con Introducción a Funciones de una variable.
Teoría de Conjuntos Dr. Rogelio Dávila Pérez
TEÓRIA DE CONJUNTOS.
Enunciados Simples Enunciados Compuestos Sistemas Tautológicos
El Principio de Inducción D EFINICIÓN Un conjunto A se llama inductivo sii satisface las siguientes dos propiedades i)0  A ii)  n  A se tiene n+1 
Ingeniería Industrial Ingeniería en Sistemas de Información
Transcripción de la presentación:

Curso de Teoría del Autómata 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 P Q P  Q F V La conjunción, denotada por P  Q

Operadores lógicos La disyunción, denotada por P  Q F V La disyunción, denotada por P  Q P Q P  Q F V La implicación, denotada por P  Q La contrapuesta se define como Q  P Es equivalente a la implicación.

Leyes de De Morgan Se cumple que para dos proposiciones P y Q (PQ)  P  Q Y (PQ)  P  Q Lo anterior puede generalizarse a cualquier número de proposiciones.

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.

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.

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.

Operadores lógicos Demostració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)

Conjuntos y subconjuntos Un 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: Note que si A  B y B  A , entonces A = B.

Ejemplos de conjuntos Definició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 cumple A  C C  A

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}.

Familia indexada de conjuntos Si I es un conjunto y para todo a  I tenemos que Aa es un conjunto, entonces { Aa | 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, …

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.

Operaciones con conjuntos Teorema 1.4. Dados conjuntos A, B y C se tiene que: 1.   A = A 2.   A =  3. Si A  B, A  B = A 4. Si A  B, A  B = B 5. 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)

Operaciones con conjuntos Definimos 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

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.

Ejemplo Demostrar que A – B = A  B’ x  A – B  x  A y x  B Por lo que A – B  A  B’ y también A  B’  A – B, por lo tanto son iguales.

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.

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

Relaciones de equivalencia Se 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

Ejemplo 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 +

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.

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].

Clases de equivalencia Por 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.

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.

Funciones Teorema 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.

f(X) = {y Î B | y = f(x) para algún x Î X} 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}

Funciones Teorema 1.8. Sea una función f: A ® B . Entonces 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).

Biyección Una 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)}

Ejemplos Si 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

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

Ejemplo La 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.

Pasos para la Inducción Los siguientes pasos se siguen para hacer demostraciones inductivas. Probar que la proposición se cumple para 0. Suponer que la proposición se cumple para n y probar que esto implica que se cumpla para n + 1. Deducir que la proposición se cumple para todos los elementos de N.

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

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: (etapa base) Probar que se P(k) cumple. (etapa de inducción) Probar que si P(n) es verdadera entonces P(n + 1) es verdadera para todo n ³ k. (conclusión) Por las etapas 1 y 2 y el PIM, P(n) es verdadera para todo n ³ k.

Cardinalidad Dos conjuntos A y B son equivalentes si existe una biyección entre ellos. La equivalencia se denota por A @ B.

Ejemplo Sea 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.

Continuación Sea A  2N. Definimos la función g:N {0, 1} como 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.

Cardinalidad Teorema 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.

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.

Cardinalidad Para 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: A = Æ, en cuyo caso A tiene cardinalidad 0. 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

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

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 f-1(b).

Caso 1: Supongamos que | f-1(b)|  2 Caso 1: Supongamos que | f-1(b)|  2. En este caso habrá dos elementos a1y a2 de A, de forma que a1y a2 están en f-1(b) o, lo que es lo mismo, f(a1) = f(a2) = b. En este caso f no es inyectiva. Caso 2: Supongamos que | f-1(b)|  1. Obsérvese que |A - f-1(b)|  |A| - 1 > n = |B – {b}|. Se define la función g: A - f-1(b)® B – {b} como g(x)= f(x). Obsérvese que, como |B - f-1(b)| = n y |A - f-1(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- f-1(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.

Un conjunto A es enumerable si |A|  N. En este caso 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.

Cardinalidad Teorema.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.