Читать книгу: «Un curso de álgebra»

Шрифт:

UN CURSO DE ÁLGEBRA

Educació. Materials 56

Gabriel Navarro

UN CURSO DE ÁLGEBRA

UNIVERSITAT DE VALÈNCIA

Colección: Educació. Materials


Esta publicación no puede ser reproducida, ni total ni parcialmente, ni registrada en, o transmitida por, un sistema de recuperación de información, en ninguna forma ni por ningún medio, ya sea fotomecánico, fotoquímico, electrónico, por fotocopia o por cualquier otro, sin el permiso previo de la editorial.

1.ª edición: abril 2002

2.ª edición, corregida y aumentada: mayo 2016

© Del texto: el autor, 2016

© De esta edición: Universitat de València, 2016

Coordinación editorial: Maite Simón

Maquetación: el autor

Corrección: Communico-Letras y Píxeles S.L.

Cubierta: Celso Hernández de la Figuera

ISBN: 978-84-9134-029-4

Para Isabel, Javier, Gabo y Nacho

Índice general

INTRODUCCIÓ

NOTA A LA SEGUNDA EDICIÓN

Capítulo 1. Conjuntos, aplicaciones, números

Capítulo 2. Grupos

Capítulo 3. Homomorfismos

Capítulo 4. Acciones de grupos

Capítulo 5. Grupos de permutaciones

Capítulo 6. Teoremas de Sylow

Capítulo 7. Anillos, polinomios y cuerpos

Capítol 8. Espacios vectoriales

Capítulo 9. Extensiones de cuerpos

Capítulo 10. Teoría de Galois

APÉNDICE: SOLUCIONES A ALGUNOS PROBLEMAS

BIBLIOGRAFÍA

ÍNDICE ANALÍTICO

Introducción

Este libro ofrece un primer curso de álgebra no lineal. En él, elegimos el objetivo de probar el gran teorema de Galois sobre la resolubilidad de ecuaciones polinómicas por radicales. Al mismo tiempo que aprendemos a «hacer» álgebra con el alumno, este tiene la sensación de que estamos resolviendo un problema natural con raíces históricas.

En la primera parte del libro introducimos los grupos.

Aunque tratamos de no apartarnos de nuestro objetivo, algunas veces no podemos resistir probar algunos teoremas que no son estrictamente necesarios para llegar a este. Por ejemplo, en el capítulo 5 damos una nueva demostración del teorema fundamental de los grupos abelianos finitos. Tampoco la teoría de Sylow sería esencial, aunque difícilmente un especialista en teoría de grupos finitos podrá dejar de presentarla.

La segunda parte del libro empieza en el capítulo 6 con los resultados más básicos sobre anillos y polinomios que nos permiten desarrollar la teoría de Galois. Seguramente, un especialista en teoría de anillos preferirá aumentar los contenidos de esta sección a costa de la parte de grupos.

En el capítulo 7, estudiamos las extensiones de cuerpos (donde por vez primera necesitaremos resultados elementales de álgebra lineal). Finalmente, en el capítulo 8, estamos ya preparados para estudiar la teoría de Galois. Por simplicidad, sus teoremas principales los probaremos sobre cuerpos de característica cero. (Una vez entendido este caso, el alumno interesado no tendrá dificultad en entender la teoría de Galois sobre cuerpos de cualquier característica).

Dependiendo del tiempo que quedara de curso, se podrían introducir algunos de los tópicos que no incluimos como construcciones con regla y compás o extensiones ciclotómicas.

A lo largo de los distintos capítulos, proponemos diversos ejercicios que solemos utilizar en las demostraciones. La resolución de estos siempre es rutinaria y permite al alumno practicar las definiciones y entender mejor los teoremas. Al final de cada capítulo, proponemos una serie de problemas (algunas de cuyas soluciones las encontrará el lector al final del libro).

En la bibliografía, damos la referencia de algunos de los textos con los que el alumno podrá continuar estudiando álgebra.

Finalmente, este libro no hubiera sido el mismo sin la colaboración de una profesora extraordinaria de álgebra: María Jesús Iranzo. También quiero dar las gracias a Alexander Moretó y a Francisco Pérez Monasor.

Valencia, febrero de 2002

Nota a la segunda edición

Han pasado catorce años desde que apareció la primera edición de este libro y el álgebra que aquí se explica no ha cambiado en este tiempo. Pero el autor sí, y quizá también el tipo de alumnos que llega a las facultades de matemáticas. Pienso por ejemplo en mi hijo Nacho, actualmente uno de esos estudiantes. Al recomendarle mi libro, estaba convencido de que iba a apreciar, entre otras cosas, la brevedad de alguna de mis demostraciones, pero no ha sido exactamente así (aunque tampoco, creo, al contrario).

De la experiencia de explicar el contenido de este libro a mis alumnos he aprendido mucho: cuándo y cómo explicar mejor un argumento, dónde introducir exactamente determinada definición, qué conceptos es necesario que se repasen de clase en clase, etc. Desafortunadamente, el estilo del aula no se puede trasladar literalmente a un libro. Aunque algo sí.

Aparte de corregir algún error, de mejorar demostraciones, añadir nuevos teoremas, reordenar ciertas secciones, o de escribir más ejemplos y problemas, he creído conveniente escribir dos capítulos nuevos. En el primero introduzco informalmente números, conjuntos y aplicaciones, tal y como lo hago en clase. Esta introducción no pretende ser exhaustiva. También, antes de empezar la teoría de Galois, he escrito un capítulo sobre espacios vectoriales, solo con los resultados básicos que luego necesitaré. (Por tanto, la numeración de los capítulos es distinta respecto de la pasada edición). Dependiendo de los objetivos específicos que se tengan en el curso o del nivel de los estudiantes, tanto estos nuevos capítulos como otros pueden ser omitidos.

Después de estos catorce años, no estoy seguro de ser mejor matemático; pero creo que he mejorado como profesor, y he procurado que esto quede reflejado en lo que he escrito.

Es posible que no haya una tercera edición del libro, por lo que he intentado que esta sea la definitiva. Quiero dar las gracias a Noelia Rizo, Lucía Sanus, Joan Tent y Carolina Vallejo por toda la ayuda prestada.

Valencia, abril de 2016

1. Conjuntos, aplicaciones, números

1

En este libro, un conjunto A es una colección de objetos a los que llamamos elementos de A. Dado un objeto x y un conjunto A, decimos que x pertenece a A si x es un elemento de A. En este caso escribimos xA. En caso contrario, decimos que x no pertenece a A, y escribimos xA.

Denotamos los conjuntos con letras mayúsculas, y los definimos especificando o describiendo con exactitud los elementos que pertenecen a ellos. Por ejemplo, A = {1, 2, 3, 4} es el conjunto cuyos elementos son 1, 2, 3 y 4. Así, escribimos 3 ∈ A y 5 ∉ A. El conjunto B = {1, {1, 2}, {1, 2, 3}} tiene tres elementos: 1, el conjunto {1, 2}, y el conjunto {1, 2, 3}. Por tanto, escribimos {1, 2, 3} ∈ B. El conjunto vacío ∅ es el conjunto que no tiene elementos. Un conjunto A es finito si tiene un número finito de elementos. En este caso escribimos |A| para denotar el número de elementos del conjunto A. Por ejemplo, |{1, 2, 3, 4}| = 4, |{1, {1, 2}, {1, 2, 3}}| = 3 y |∅| = 0.

No siempre es posible o conveniente listar todos y cada uno de los elementos de un conjunto: nos basta con que describamos con precisión los que pertenecen a él. Por ejemplo, el conjunto

C = {x ∈ ℕ | x = 2n + 1 para algún n ∈ ℕ}

es el conjunto de los números naturales impares. En este libro, los números naturales son los elementos del conjunto ℕ = {0, 1, 2, 3, …}. Algunos autores no consideran 0 como número natural, pero esta es una polémica inútil. La línea vertical “|” en la definición del conjunto C se lee “tal que”; así, decimos que C es el conjunto de los números naturales x tales que pueden escribirse de la forma x = 2n + 1 para algún n ∈ ℕ. Algunos autores utilizan “:” en lugar de la línea vertical. Los lectores deben ser conscientes de que diferentes autores pueden utilizar notaciones distintas y de que esto no es necesariamente negativo. Volviendo a C, podríamos haber escrito

C = {2n + 1 | n ∈ ℕ}

que es una notación más ágil.

Considaremos ahora el conjunto D = {n ∈ ℕ | 0 < n > 5} y lo comparamos con el conjunto A = {1, 2, 3, 4} definido en el segundo párrafo. Desde luego, observamos que D y A son iguales, pero necesitamos formular esto de forma precisa. Si A y B son conjuntos, decimos que A está contenido en B si para todo aA se tiene que aB. En este caso, escribimos AB, y decimos que A es un subconjunto de B. En caso contrario, decimos que A no está contenido en B, y lo escribimos AB. Los conjuntos A y B son iguales si AB y BA, y lo escribimos A = B. En caso contrario, escribimos AB. Observamos que ∅ ⊆ A para todo conjunto A.

En este punto, debemos sincerarnos con el lector para advertirle que esta aproximación náıf a la teoría de conjuntos tiene algunas consecuencias no deseadas, como la famosa paradoja de Russell. Es evidente que el conjunto de los números naturales no es un número natural, por lo que la expresión ℕ ∉ ℕ, aunque chocante, es cierta. Uno podría construir el conjunto X = {A | A es conjunto y AA}, y preguntarse si el propio XX o si XX. Por ejemplo, ℕ ∈ X pues ℕ ∉ ℕ. Sin embargo, si XX, esto significaría por definición que XX, y al contrario. Hemos llegado a una contradicción, pues no puede pasar algo y lo opuesto al mismo tiempo. En definitiva, parece claro que tenemos un problema con nuestra definición de conjunto.

La teoría de conjuntos puede ser desarrollada de una forma axiomática que evita este tipo de contradicciones, pero este libro no es el lugar adecuado para hacerlo. La lógica es la disciplina que se ocupa de este y de otros temas.

Por otra parte, no debemos preocuparnos en exceso, al menos en lo que aqúı se refiere. Es un hecho que la mayor parte de los matemáticos puede desarrollar una carrera exitosa utilizando nuestra definición de conjuntos sin contratiempo alguno en su vida (matemática). Digamos de una forma informal que mientras tratemos con conjuntos pequeños (el conjunto de todos los conjuntos definitivamente no es un conjunto pequeño), no nos vamos a encontrar con grandes problemas.

Dados dos conjuntos A y B, podemos construir nuevos conjuntos. Por ejemplo, la unión de A y B es el conjunto

AB = {x | xA ó xB}.

La intersección es el conjunto

AB = {x | xA y xB}.

La diferencia de A y B es

A − B = {x | xA y xB}.

El producto cartesiano de A y B es el conjunto de pares

A × B = {(a, b) | aA, bB},

donde entendemos que (a, b) = (a′, b′) si y solo si a = a′ y b = b′.

Si A = {1, 2, 3} y B = {3, 4}, entonces AB = {1, 2, 3, 4}, AB = {3}, A − B = {1, 2} y A × B = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)}.

Desde luego, podemos unir o intersectar una colección arbitraria de conjuntos. Si I es un conjunto, y para cada iI tenemos definido un conjunto Ai, que depende de i, entonces definimos


Por ejemplo, si para n ∈ ℕ, definimos An = {m ∈ ℕ | mn}, entonces tenemos que


Si A1, …, An son conjuntos, definimos


Si el lector está leyendo este primer capítulo, cabe la posibilidad de que no esté demasiado habituado a probar teoremas, habilidad que solo se adquiere con práctica, y leyendo muchas demostraciones. Probamos nuestro primer teorema.

Teorema 1.1 (Leyes de Morgan) Supongamos que X, I y Ai para iI son conjuntos. Entonces


Demostración. Probamos (a), por ejemplo. Queremos probar que dos conjuntos son iguales. Por tanto, debemos probar que X − (⋃i∈I Ai) está contenido en ⋂i∈I (X − Ai), y la inclusión contraria. Sea xX − (⋃i∈I Ai). Esto significa que xX y que x ∉ ⋃i∈I Ai. Por la definición de unión de una colección de conjuntos, tenemos que xAi para todo iI. Así, xX − Ai para todo iI, y por la definición de intersección de una colección de conjuntos, concluimos que x ∈ ⋂i∈I (X − Ai). Recíprocamente, si x ∈ ⋂i∈I (X − Ai), tenemos que xX y xAi para todo i. Entonces xX y x ∉ ⋃i∈I Ai, y por tanto xX − (⋃i∈I Ai).

2

Los conjuntos se relacionan mediante aplicaciones. Si A y B son conjuntos, una aplicación o función de A en B, que escribimos


es una correspondencia (regla o criterio) que asigna a cada elemento aA un único elemento f(a) de B. A f(a) se le llama la imagen de a mediante f. El conjunto A se llama el dominio o conjunto inicial de f. El conjunto B se llama el codominio o conjunto final de f. El conjunto imagen

f(A) = {f(a) | aA}

es el subconjunto de B formado por todas las imágenes mediante f de los elementos de A.

Podemos imaginar una función como una máquina cuyos inputs son los elementos de A. Damos aA a la máquina y esta produce un output perfectamente determinado que es f(a) ∈ B. Para el lector riguroso que no esté satisfecho ni con la definición ni con la idea de la máquina, podemos definir una función f : AB como un subconjunto XA × B tal que X ∩ ({a} × B) tiene exactamente un elemento para todo aA; pero esto es innecesariamente complicado. Si pensamos un momento sobre esta última definición, observamos que X es el grafo de la función f.

El lector está seguramente acostumbrado a tratar con funciones entre números reales como las aplicaciones f : ℝ → ℝ dada por f(x) = x2 + 1, o g : ℝ → ℝ dada por g(x) = sen(x). O incluso con funciones h : ℝ × ℝ → ℝ definidas por . (En estos ejemplos tendríamos que f(ℝ) = {a ∈ ℝ | a ≥ 1}, g(ℝ) = [−1, 1] y h(ℝ × ℝ) = {a ∈ ℝ | a ≥ 0}). Pero quizá el lector está menos acostumbrado a tratar con funciones sobre otros conjuntos, especialmente finitos. Por ejemplo, si A = {1, 2} y B = {2, 3} hay exactamente cuatro aplicaciones de A en B. Recordemos que todo elemento de A debe tener una y solo una imagen en B, por lo que las posibilidades están claras: f(1) = 2, f(2) = 2, g(1) = 3, g(2) = 3, h(1) = 2, h(2) = 3, y l(1) = 3, l(2) = 2 son todas las posibles funciones AB. Tendríamos que f(A) = {2}, g(A) = {3}, h(A) = B y l(A) = B.

Ejercicio 1.1 Sean A y B conjuntos. Sea BA el conjunto de las aplicaciones de A en B. Si A tiene n elementos y B tiene m elementos, probar que BA tiene mn elementos.

Dos funciones f : AB, g : CD son iguales si A = C, B = D y f(a) = g(a) para todo aA. Por ejemplo, las funciones f : ℤ → ℤ y g : ℤ → ℕ dadas por f(z) = g(z) = z2 no son iguales porque sus conjuntos finales son distintos.

Para todo conjunto A, tenemos definida la función identidad 1A : AA con 1A(a) = a para todo aA.

Con frecuencia, lo primero que nos preguntamos sobre una aplicación f es si es inyectiva o suprayectiva; estos dos adjetivos se asocian de forma natural a las funciones. Una aplicación f : AB es inyectiva si f(a1) = f(a2) solo si a1 = a2, para a1, a2A. En otras palabras, f es inyectiva si elementos distintos de A tienen imágenes distintas en B. Si queremos comprobar que una función f es inyectiva, escribimos la igualdad f(a1) = f(a2) y tratamos de averiguar si a1 es necesariamente igual a a2 o no. Informalmente, si f es una aplicación inyectiva, pensamos que B contiene un subconjunto (f(A)) que tiene las mismas propiedades que A.

Ejercicio 1.2 Si A tiene n elementos, B tiene m elementos, y f : AB es injectiva, probar que nm.

Una aplicación f : AB es suprayectiva si f(A) = B. En otras palabras, si para todo bB existe aA tal que f(a) = b. Si queremos comprobar si una función f es suprayectiva, elegimos un elemento bB arbitrario y lo intentamos expresar como f(a) para algún a de A.

Ejercicio 1.3 Si A tiene n elementos, B tiene m elementos, y f : AB es suprayectiva, probar que nm.

Teorema 1.2 Supongamos que A y B tienen n elementos, y sea f : AB. Entonces f es inyectiva si y solo si f es suprayectiva.

Demostración. Esta es la primera vez en este libro que probamos un teorema si y solo si, por lo que hacemos una pausa para explicar lo que significa. Cuando tengamos que probar que un enunciado P es verdadero si y solo si un enunciado Q es verdadero, tenemos que probar que P implica Q (esto es, suponiendo P demostramos Q) y que Q implica P (suponiendo Q demostramos P).

Escribamos A = {a1, …, an}. Así, f(A) = {f(a1), …, f(an)} ⊆ B.

Supongamos que f es inyectiva. Entonces f(A) tiene n elementos, pues f(ai) ≠ f(aj) si ij. Como B tiene n elementos, necesariamente f(A) = B, y por tanto f es suprayectiva. Recíprocamente, si f es suprayectiva entonces f(A) = B tiene n elementos, y por tanto no puede ocurrir que f(ai) = f(aj) para distintos i y j.

Finalmente, una aplicación f : AB es biyectiva si f es inyectiva y suprayectiva. Las aplicaciones biyectivas (o biyecciones) son las mejores aplicaciones que podemos encontrar entre dos conjuntos.

Ejemplo 1.1 La función f : ℕ → ℕ dada por f(n) = 2n + 1 es inyectiva, pues si f(n) = f(m), entonces 2n + 1 = 2m + 1, y concluimos que n = m. Sin embargo, f no es suprayectiva, pues no podemos hallar ningún n ∈ ℕ tal que f(n) = 2. La función g : {1, 2, 3} → {a, b} dada por g(1) = a, g(2) = b y g(3) = a no es inyectiva, pues g(1) = g(3). Sin embargo, g es suprayectiva.

Sean ahora f : ℝ → ℝ y g : ℝ → ℝ definidas por f(x) = sen(x) y g(x) = x2. Observamos primero que g no es inyectiva pues g(−1) = g(1). Sin embargo, si definimos h : ℝ+ → ℝ con h(x) = x2, donde ℝ+ = {x ∈ ℝ | x ≥ 0}, entonces h es ahora inyectiva (pero no suprayectiva pues −1 no está en la imagen de h). Finalmente, si definimos t : ℝ+ → ℝ+ con t(x) = x2, entonces t es biyectiva. Algo semejante ocurre con f(x) = sen(x). La función s : [−π/2, π/2] → [−1, 1] dada por s(x) = sen(x) puede comprobarse que es una biyección.

¿Por qué es tan importante tener aplicaciones biyectivas? Esencialmente por dos razones. La primera es que una función biyectiva posee una función inversa. En el ejemplo anterior, la inversa de s es la función arcsen : [−1, 1] → [−π/2, π/2], mientras que la inversa de t es la función ráız cuadrada. La segunda razón es que si existe una función biyectiva entre A y B cualquier propiedad que satisfaga A desde el punto de vista de la teoría de conjuntos la va a satisfacer B, y recíprocamente. Es decir, que desde la perspectiva de conjuntos, A y B son equivalentes. Esto nos permitirá después, por ejemplo, comparar conjuntos y sus tamaños.

Si f : AB y g : BC, podemos crear una nueva función

gf : AC

definida por

(gf)(a) = g(f(a))

que se llama la composición de g y f.

Por ejemplo, si f : ℝ → ℝ es la función f(x) = x2 + 1 y g(x) = sen(x), entonces (gf)(x) = sen(x2 + 1) y (fg)(x) = sen(x)2 + 1.

La primera parte del siguiente ejercicio nos dice que la composición de aplicaciones es asociativa.

Ejercicio 1.4 (i) Si f : AB, g : BC y h : CD son aplicaciones, probar que

(hg) ∘ f = h ∘ (gf).

(ii) Si f : AB es un aplicación, probar que f ∘ 1A = f y 1Bf = f.

Lema 1.3 Sean f : AB y g : BC aplicaciones.

(a) Si f y g son inyectivas, entonces gf es inyectiva.

(b) Si f y g son suprayectivas, entonces gf es suprayectiva.

(c) Si gf es inyectiva, entonces f es inyectiva.

(d) Si gf es suprayectiva, entonces g es suprayectiva.

Demostración. (a) Si g(f(a1)) = g(f(a2)), deducimos que f(a1) = f(a2) por ser g inyectiva. Por ser f inyectiva, tenemos que a1 = a2.

(b) Si cC, entonces existe bB tal que g(b) = c, por ser g suprayectiva. Por ser f suprayectiva, existe aA tal que f(a) = b. Entonces g(f(a)) = c.

(c) Si f(a1) = f(a2), entonces g(f(a1)) = g(f(a2)). Como gf es inyectiva, deducimos que a1 = a2.

(d) Si cC, por hipótesis existe aA tal que g(f(a)) = c. Si b = f(a), deducimos que g(b) = c

Decimos que una función f: AB es invertible si existe g: BA tal que fg = 1B y gf = 1A. Observamos que la función g, si existe, es única. Efectivamente, si h: BA también satisface hf = 1A, entonces

h = h ∘ 1B = h ∘ (fg) = (hf) ∘ g = 1Ag = g.

La función g se llama la función inversa de f y se escribe g = f1. Observamos que en este caso f1 es también invertible y que (f1)−1 = f.

Teorema 1.4 Sea f : AB. Entonces f es invertible si y solo si f es biyectiva.

Demostración. Supongamos que f es biyectiva. Construimos g : BA de la siguiente manera. Dado b, sabemos que existe aA tal que f(a) = b, pues f es suprayectiva. Como f es inyectiva, a es único, y por tanto b unívocamente determina a. Definimos g(b) = a. Es inmediato que fg = 1B y gf = 1A. Recíprocamente, supongamos que f es invertible y sea f1 : BA su inversa. Como ff 1 = 1B y f 1 ∘ f = 1A son biyectivas, el teorema se sigue por el lema 1.3 partes (c) y (d).

3

Si A es un conjunto, una relación en A es un subconjunto

RA × A.

Decimos que a está relacionado con b si (a, b) ∈ R. Podemos pensar que una relación es sencillamente una función f : A × A → {sí, no}, donde R = {(a, b) ∈ A × A | f(a, b) = sí}.

Por ejemplo, en el conjunto A = {1, 2, 3}, definimos la relación

R = {(1, 1), (1, 2), (3, 2)}.

En este caso, 1 está relacionado con 1 y con 2, 2 no está relacionado con ningún elemento, y 3 está relacionado con 2. Muchas veces, en lugar de especificar R, es más sencillo describir cuándo dos elementos están relacionados. Por ejemplo, en el conjunto A de los habitantes de una ciudad, podemos decir que dos elementos de A están relacionados si viven en el mismo edificio. En este caso, observamos que cualquier aA está relacionado consigo mismo, entre otras propiedades que analizamos a continuación. Necesitamos cierto lenguaje para hablar de relaciones.

Definición 1.5 Sea A un conjunto y RA × A una relación en A.

(a) Decimos que R es reflexiva si (a, a) ∈ R para todo aA.

(b) Decimos que R es simétrica si siempre que (a, b) ∈ R, entonces (b, a) ∈ R.

(c) Decimos que R es antisimétrica si siempre que (a, b) ∈ R y (b, a) ∈ R, entonces a = b.

(d) Decimos que R es transitiva si siempre que (a, b), (b, c) ∈ R, entonces (a, c) ∈ R.

Muy pocas relaciones en un conjunto A son interesantes. De hecho, las relaciones interesantes son esencialmente de dos tipos. Una relación R es de equivalencia si R es reflexiva, simétrica y transitiva. Una relación R es una relación de orden si R es reflexiva, antisimétrica y transitiva.

Ejemplo 1.2

(a) En el conjunto ℝ de los números reales, definimos la relación (a, b) ∈ R si y solo si ab. Esta es una relación de orden.

(b) En el conjunto de habitantes de una ciudad, vivir en el mismo edificio establece una relación de equivalencia.

(c) En el plano ℝ2, decimos que (x1, y1) está relacionado con (x2, y2) si se tiene que Esto define en el plano una relación de equivalencia.

(d) Si f : AB es una aplicación, definimos R = {(a1, a2) | f(a1) = f(a2)}. Entonces R es una relación de equivalencia.

(e) Si A es un conjunto, definimos una relación en el conjunto P (A) de todos los subconjuntos de A. Decimos que X e Y están relacionados si XY. Esto define una relación de orden en P (A).

Siempre que tengamos una relación de equivalencia R sobre un conjunto A, dicho conjunto queda partido en trozos disjuntos. (Dos conjuntos A y B son disjuntos si AB = ∅). Este es un hecho relevante. En el ejemplo 1.2 (b), los habitantes quedan distribuidos en edificios; en el ejemplo 1.2 (c), los elementos del plano quedan distribuidos en círculos de radio r para r ≥ 0. En general, cada elemento aA vive en su clase de equivalencia.

Una partición de un conjunto A es un conjunto P de subconjuntos no vacíos de A tales que


y BC = ∅ para todos B, CP distintos.

Si A es un conjunto con una relación de equivalencia R, para cada aA se define [a] = {bA | (a, b) ∈ R}, que se llama la clase de equivalencia de a. Observamos que a ∈ [a] ⊆ A.

Teorema 1.6 Sea A un conjunto con R una relación de equivalencia, y sea P = {[a] | aA} el conjunto de clases de equivalencia de A. Entonces P es una partición de A.

Demostración. Como a ∈ [a], está claro que [a] ≠ ∅ y que


Si c ∈ [a], probamos a continuación que [c] = [a]. Sea x ∈ [c]. Entonces (x, c) ∈ R. Como (c, a) ∈ R, tenemos que (x, a) ∈ R y x ∈ [a]. Recíprocamente, si x ∈ [a], entonces (x, a) ∈ R. Como (a, c) ∈ R, tenemos que (x, c) ∈ R y x ∈ [c], como queríamos. Finalmente, supongamos que [a] ∩ [b] ≠ ∅, y sea c ∈ [a] ∩ [b]. Por lo anterior, tenemos que [a] = [c] = [b].

4

¿Todos los conjuntos infinitos tienen el mismo número de elementos? ¿Hay algún conjunto infinito con menos elementos que ℕ? ¿Cómo comparamos infinitos?

Al principio, puede que la intuición no nos sea del todo útil. Es famoso el Hotel de Hilbert que tiene un número infinito de habitaciones numeradas {1, 2, 3, …}, todas ellas ocupadas.

Al llegar un huésped nuevo, el conserje del hotel, lejos de rechazarlo, traslada al ocupante de la habitación n a la n+1, y deja así la primera habitación libre para el huésped nuevo. Este conserje ni se inmuta cuando momentos después ve aparecer llegando a su hotel un autobús con infinitos turistas {1, 2, 3, …}: traslada al ocupante de la habitación n a la habitación 2n y al turista m a la habitación 2m − 1. Tampoco se preocupa el conserje cuando esta vez aparece un número infinito de autobuses {a1, a2, …, ak, …} cada uno de ellos cargado de infinitos turistas {ak1, ak2, …}… pero vamos a dejarlo aquí.

Para comparar infinitos, las funciones biyectivas son fundamentales. Si existe f : AB biyectiva, decimos que A y B tienen el mismo cardinal (o son equipotentes), y lo escribimos |A| = |B|. En caso contrario, escribimos |A| ≠ |B|.

Teorema 1.7 Sean A, B y C conjuntos.

(a) |A| = |A|.

(b) Si |A| = |B|, entonces |B| = |A|.

(c) Si |A| = |B| y |B| = |C|, entonces |A| = |C|.

Demostración. Para probar (a), utilizamos la función identidad 1A. Si existe una función biyectiva f : AB, entonces f1 es biyectiva, y (b) queda probado. Para probar (c), usamos que la composición de funciones biyectivas es biyectiva por el lema 1.3.

El lector debe ser consciente de que en el teorema anterior, no hemos escrito que tener el mismo cardinal establece una relación de equivalencia pues a continuación estaríamos obligados a añadir “en el conjunto de todos los conjuntos”, y como ya hemos dicho antes, no debemos tratar con conjuntos demasiado grandes. Al principio de este capítulo, habíamos definido |A| para un conjunto finito A, como el número de elementos de A. Los ejercicios 1.2 y 1.3 nos aseguran que la notación |A| = |B| es consistente.

Asociado a un conjunto A hay otro conjunto especial que hemos utilizado en el ejemplo 1.2 (e):

P (A) = {B | BA}

que se llama el conjunto potencia de A (o partes de A). Lo más importante de P (A) es que tiene más elementos que A.

Teorema 1.8 Sea A un conjunto.

(a) La aplicación f : AP (A) dada por f(a) = {a} es inyectiva.

(b) No existe ninguna aplicación g : AP (A) suprayectiva.

Demostración. La primera parte es trivial. Sea ahora g : AP (A) suprayectiva. Sea B = {aA | ag(a)} ⊆ A. Como g es suprayectiva, entonces existe aA tal que g(a) = B. Si aB, entonces ag(a) = B, lo cual no es posible. Si aB, entonces ag(a), y por tanto aB, lo cual tampoco es posible.

Según el teorema 1.8, P (ℕ) tiene más elementos que ℕ, y de hecho se puede probar que |P (ℕ)| = |ℝ|. No nos podemos resistir a mencionar la llamada hipótesis del continuo, establecida por George Cantor en 1878. Si A y B son conjuntos, escribimos |A| ≤ |B| si existe f : AB inyectiva, y |A| < |B| si |A| ≤ |B| y |A| ≠ |B|. Por ejemplo, acabamos de probar que |A| < |P (A)| para todo conjunto A. La hipótesis del continuo, que constituye el primer problema de la famosa lista de problemas propuestos por Hilbert, afirma que no existe ningún conjunto A tal que |ℕ| < |A| < |ℝ|. En 1963 Paul Cohen probó que este enunciado es indemostrable. Este es otro concepto que no cabe en el presente libro. El autor sinceramente espera no haber interesado demasiado al lector en lógica para que renuncie al álgebra.

La siguiente propiedad de ℕ es fundamental: nos dice que en ℕ existe un buen orden.

Teorema 1.9 (teorema del buen orden en) Si A es un subconjunto no vacío deentonces existe aA tal que ab para todo bA. Este elemento a es único.

Demostración. Primero probamos la existencia de a. Como A no es vacío, sea a1A. Si a1b para todo bA, ya tendríamos el elemento que buscamos. En caso contrario, existe a2A tal que a2 < a1. Si a2b para todo bA, de nuevo lo tendríamos. Como entre 0 y a1 hay solo un número finito de elementos, este proceso no se puede repetir un número infinito de veces. Así, podemos llegar a encontrar aA tal que ab para todo bA.

A continuación probamos la unicidad de a. En efecto, si existiera otro elemento cA con la misma propiedad, tendríamos que ac y ca, con lo que a = c.

Al elemento a en el teorema 1.9 se le llama el menor elemento de A, y lo denotamos por min(A).

Decimos que un conjunto A es numerable si |ℕ×| = |A|, donde ℕ× = {1, 2, 3, …}. Algunos autores incluyen los conjuntos finitos entre los conjuntos numerables. Vemos que si A es numerable, entonces existe una aplicación biyectiva f : ℕ×A, y así podemos escribir

A = {f(1), f(2), f(3), …}.

En definitiva, si A es numerable, entonces los elementos de A se pueden enumerar.

Teorema 1.10 Supongamos que A es un subconjunto infinito de ℕ. Entonces A es numerable.

Demostración. Como A no es vacío, sea a1 = min(A). Como A − {a1} no es vacío, sea a2 = min(A − {a1}). En general, si tenemos definidos a1, …, ak, como A − {a1, …, ak} no es un conjunto vacío (pues A es infinito), podemos definir

399 ₽
625,25 ₽

Жанры и теги

Возрастное ограничение:
0+
Объем:
428 стр. 397 иллюстраций
ISBN:
9788491340294
Правообладатель:
Bookwire
Формат скачивания:

С этой книгой читают