algunos lectores pueden encontrar la idea de una lista infinita bastante vago, as que seamos an ms preciso.

la existencia de una lista de tales infinito es equivalente a la existencia de una biyeccin entre N y X, por si f es una biyeccin a continuacin, f1, f2 .... es una lista sin repeticiones que contienen todos los miembros de X, y si x1, x2, ...... es tal lista a continuacin g dada por g es una biyeccin. por lo tanto, hacemos la siguiente definicin. Un conjunto A es numerable si cualquiera es finito, o es infinito y N - A N en s es numerable todos los subconjuntos de N son contables. al ver esto, sea A un subconjunto de N. Si A es finito entonces es ciertamente contable. si A es infinito, podemos hacer una lista de los elementos de lista N (en orden), borrando a medida que avancemos todos los miembros de N / A. se obtiene una lista de los elementos de A. cualquier subconjunto de un conjunto numerable es numerable. Una prueba de ello es similar a la de (b), y se deja como un ejercicio el conjunto de todas las races complejas de la unidad, y que podemos hacer una lista de todas las races escribiendo 1, luego -1, entonces las dos races cbicas, excepto el 1, luego las dos races de cuarto de 1 y -1, y etc, omitiendo todas las repeticiones a medida que avanzamos. Si A es un conjunto numerable y A - B, entonces B es contable

una nocin como ponsabilidad no tendra sentido si se tratara de una propiedad de todos los conjuntos, y desde luego no est claro todava si todos los conjuntos son, en efecto contable. Despus de algunos teoremas que hemos de ser capaces de ver existen conjuntos thet que no son contables y derivar algunas resuitados de ellos, pero primero vamos a examinar conjuntos numerables y sus propiedades. la definicin de ponsabilidad es algo engorroso de aplicar. los siguientes dos resultados dan criterios ms convenientes para decidir ponsabilidad de conjuntos.

teorema Un conjunto A es numerable si y slo si hay una inyeccin A -> N (ES Decir A <N) prueba primero supongamos que A es numerable. si A es finito, por ejemplo A = (a1, a2, ..... a), entonces la funcin que se asigna a ak k (1 <k <n) es una inyeccin A -> N. Si A es infinito a continuacin por la definicin de Ther dicin de cuentas es una biyeccin N ----> a, cuya inversa es una inyeccin A -> N. Supongamos ahora que hay una inyeccin h entonces h (a) es un subconjunto de N, por lo que h (a) es contable (vase el ejemplo 2.6 (b)). pero h es una biyeccin desde h es una inyeccin. o bien h (a) es finito, en cuyo caso A tambin debe ser finita (y por lo tanto contable) o h (a) se equinumerous con N. En este ltimo caso tenemos A - h (a) y h (a) - N , por lo que A - N por el teorema 2.1 (111), y A es numerable. corolario A conjunto no vaco A es numerable si y slo si hay un surjection N -> A prueba Sea A un conjunto no vaco contable. por el teorema hay una f inyeccin. entonces f es una biyeccin entre A y f (A), por lo que no es una biyeccin inversa f-1 de f (a) a A. elegir un elemento de correo a0 - A DEFINE G: N -> A por

ya que f es una biyeccin entre A y f (a), q es un surjection en A. Ahora supongamos que Thet hay una surjection g: N ---> A. define f: A ---> N por f (a) = N E N ms pequeo tal que g entonces f es una inyeccin segn se requiera. este teorema y corolario sern de gran utilidad, ya que, en cada uno de ellos, los casos distintos contenidos en la definicin de numerabilidad se subsumen en una sola confition necesaria y suficiente. Usaremos repetidamente en la derivacin de las propiedades de conjuntos numerables y en nuestras pruebas de que ciertos grupos familiares son contables. teorema 2.9 la unin de dos conjuntos numerables es numerable.

prueba Sean A y B conjuntos numerables y dejar fyg surjections. h por definir h es claramente un surjection, por lo que A U B es numerable corolario 2.10 la unin de cualquier coleccin finita de conjuntos numerables es numerable prueba la prueba es por induccin sobre el nmero n de conjuntos de la coleccin. dejar que los conjuntos se denotan por A1, A2, ..... Una, donde n> 2. paso bajo: n = 2. esto es slo el teorema 2.9 paso de induccin: let n> 2. suponer que la unin de una coleccin de n-1 conjuntos numerables es numerable, de modo que (A1U. ..... An-1) es numerable. entonces A1UA2U ...... An = (A1U. .. An-1) UAn, una unin de dos conjuntos numerables, que es contable por el teorema 2.9 corolario 2.11 el conjunto Z de los enteros es numerable. prueba Z + es numerable (por ser un subconjunto de N). el conjunto Z de los nmeros enteros negativos es contable, ya que es equinumerous con Z + (la funcin que mapea n --->-n es una biyeccin Z + -> Z-). Tambin, el conjunto {0} es contable, ya que es finito.

as que Z es una unin de tres conjuntos numerables y, por tanto, por el corolario 2.10, es contable. observacin es sin duda alguna posible demostrar que Z es contar mediante la construccin directa de una biyeccin entre Z y N. Se recomienda al lector para verificar que la funcin se define de la siguiente es una biyeccin de la Z a N. demostrar numerabilidad de ve un conjunto S puede, por el teorema 2.7, encontrar una biyeccin de S a N. un dispositivo muy conveniente para hacer esto es el uso de productos de primos o potencias de nmeros primos. el hecho de que cualquier nmero entero positivo se puede expresar nicamente (aparte de la orden de los factores) como un producto de

nmeros primos es lo que se asegura de que nuestras funciones son las inyecciones. (Este hecho es conocido como el teorema fundamental de la aritmtica, y una prueba de ello puede encontrarse en cualquier libro de texto sobre la teora elemental de nmeros.) la prueba de la siguiente teorema ilustrar este procedimiento. teorema 2.12 el producto cartesiano de dos conjuntos numerables es un conjunto numerable. prueba Sean A y B conjuntos numerables, y supongamos que f: A ---> N y g son las inyecciones. entonces h ia una inyeccin, donde para ver este dej (a, b) y (a, b) ser elementos de AxB con h por la unicidad de la descomposicin de energa primaria, entonces, debemos tener f = f y g = g. ya que f y g son inyecciones, a = a y b = b, y as (a, b) = (a, b). por lo tanto, h es una inyeccin, segn se requiera, y A x B es numerable. este mtodo puede ser ampliado de la siguiente manera teorema 2.13 el producto cartesiano de cualquier nmero finito de conjuntos numerables es numerable.