Un curso de álgebra
()
Información de este libro electrónico
Relacionado con Un curso de álgebra
Títulos en esta serie (62)
Instrumentos ópticos y optométricos: Teoría y prácticas Calificación: 0 de 5 estrellas0 calificacionesFundamentos de optometría, 2a ed.: Refracción ocular Calificación: 0 de 5 estrellas0 calificacionesManual de Física Estadística Calificación: 0 de 5 estrellas0 calificacionesHistòria contemporània d'Amèrica (2a ed.) Calificación: 0 de 5 estrellas0 calificacionesIntroducció a l'enginyeria dels reactors químics Calificación: 0 de 5 estrellas0 calificacionesDidáctica de la geometría: el modelo Van Hiele Calificación: 0 de 5 estrellas0 calificacionesPsicología y economía Calificación: 0 de 5 estrellas0 calificacionesManual d'ús de l'estàndard oral, (11a ed.) Calificación: 0 de 5 estrellas0 calificacionesPolítica y prácticas de la educación de personas adultas Calificación: 0 de 5 estrellas0 calificacionesHistoria contemporánea de América Calificación: 0 de 5 estrellas0 calificacionesUn curso de álgebra Calificación: 0 de 5 estrellas0 calificacionesTratando sobre el contrato de seguro: Del seguro analógico a un producto digital y sostenible Calificación: 0 de 5 estrellas0 calificacionesEstructuras de álgebra multilineal Calificación: 3 de 5 estrellas3/5Vocabulario de información y documentación automatizada Calificación: 0 de 5 estrellas0 calificacionesUna introducció a l'economia pública Calificación: 0 de 5 estrellas0 calificacionesHistòria de l'art medieval Calificación: 0 de 5 estrellas0 calificacionesFísica nuclear y de partículas (3ª Edición corregida y ampliada) Calificación: 0 de 5 estrellas0 calificacionesHistòria de l'art del segle XIX Calificación: 0 de 5 estrellas0 calificacionesTécnicas de análisis de imagen, (2a ed.): Aplicaciones en Biología Calificación: 0 de 5 estrellas0 calificacionesInsuficiencia cardiaca Calificación: 0 de 5 estrellas0 calificacionesIntroducció a la metafísica Calificación: 0 de 5 estrellas0 calificacionesTecnología del color Calificación: 0 de 5 estrellas0 calificacionesPatologia quirúrgica osteoarticular: Membre superior i raquis Calificación: 0 de 5 estrellas0 calificacionesToxicología clínica Calificación: 0 de 5 estrellas0 calificacionesTeoría del conocimiento Calificación: 4 de 5 estrellas4/5Teoria d'autòmats i llenguatges formals Calificación: 0 de 5 estrellas0 calificacionesFalacias, dilemas y paradojas, 2a ed.: La economía de España: 1980-2010 Calificación: 0 de 5 estrellas0 calificacionesFundamentos de visión binocular Calificación: 5 de 5 estrellas5/5Ecocardiografía-Doppler Calificación: 0 de 5 estrellas0 calificacionesFundamentos de bioquímica Calificación: 0 de 5 estrellas0 calificaciones
Libros electrónicos relacionados
Álgebra y geometría lineal Calificación: 0 de 5 estrellas0 calificacionesProblemas de álgebra moderna Calificación: 0 de 5 estrellas0 calificacionesVariable compleja y ecuaciones diferenciales Calificación: 0 de 5 estrellas0 calificacionesTeoría de cuerpos y teoría de Galois Calificación: 5 de 5 estrellas5/5Curvas algebraicas Calificación: 0 de 5 estrellas0 calificacionesIntroducción a la topología algebraica Calificación: 5 de 5 estrellas5/5Introducción a la mecánica cuántica Calificación: 0 de 5 estrellas0 calificacionesAnálisis matemático Calificación: 0 de 5 estrellas0 calificacionesMatemáticas básicas con trigonometría 2 Edición Calificación: 4 de 5 estrellas4/5Mecánica teórica Calificación: 5 de 5 estrellas5/5Álgebra Tomo Ii: Hake Mate Calificación: 5 de 5 estrellas5/5Análisis numérico. Primeros pasos: Primeros pasos Calificación: 0 de 5 estrellas0 calificacionesMatemáticas básicas 3a. Ed Calificación: 5 de 5 estrellas5/5Razonamiento cuantitativo, 2ª edición: Notas de clase Calificación: 5 de 5 estrellas5/5Álgebra en todas partes Calificación: 4 de 5 estrellas4/5Demostraciones visuales en matemáticas: Ver para pensar Calificación: 0 de 5 estrellas0 calificacionesTópicos previos a la matemática superior Calificación: 5 de 5 estrellas5/5Curso básico de teoría de números Calificación: 5 de 5 estrellas5/5Álgebra e introducción al cálculo Calificación: 1 de 5 estrellas1/5Un curso de números Calificación: 1 de 5 estrellas1/5Curso de variedades diferenciables, grupos de Lie y técnicas simplécticas Calificación: 0 de 5 estrellas0 calificacionesManual de álgebra lineal Calificación: 0 de 5 estrellas0 calificacionesMatemáticas Para Todos: Fractales: Matemáticas para Todos, #2 Calificación: 0 de 5 estrellas0 calificacionesIntroducción a la relatividad general: Un curso para estudiantes de física Calificación: 4 de 5 estrellas4/5Álgebra: Un enfoque moderno Calificación: 0 de 5 estrellas0 calificacionesFísica mecánica: Nivelación para estudiantes universitarios Calificación: 4 de 5 estrellas4/5Matemática discreta: Manual teórico-práctico Calificación: 0 de 5 estrellas0 calificacionesMatemáticas básicas 4ed Calificación: 5 de 5 estrellas5/5Iniciación al estudio didáctico del Álgebra: Orígenes y perspectivas Calificación: 0 de 5 estrellas0 calificacionesIntroducción a las ecuaciones y las inecuaciones Calificación: 0 de 5 estrellas0 calificaciones
Matemática para usted
Matemáticas básicas 4ed Calificación: 5 de 5 estrellas5/5Dignos de ser humanos: Una nueva perspectiva histórica de la humanidad Calificación: 4 de 5 estrellas4/5El hombre que calculaba Calificación: 5 de 5 estrellas5/5El Maravilloso mundo del Trading: Finanzas & Libertad Fnanciera, #2 Calificación: 0 de 5 estrellas0 calificacionesLa experiencia de leer Calificación: 5 de 5 estrellas5/5Matemáticas básicas 2ed. Calificación: 4 de 5 estrellas4/5La pasión del poder Calificación: 5 de 5 estrellas5/5Excel de la A a la Z: El Manual Práctico Paso a Paso de Microsoft Excel para Aprender Funciones Básicas y Avanzadas, Fórmulas y Gráficos con Ejemplos Fáciles y Claros Calificación: 0 de 5 estrellas0 calificacionesCálculo integral: Técnicas de integración Calificación: 4 de 5 estrellas4/5La belleza de las matemáticas Calificación: 4 de 5 estrellas4/5Razonamiento Lógico Matemático para la toma de decisiones Calificación: 4 de 5 estrellas4/5Matemáticas financieras para las NIIF Calificación: 5 de 5 estrellas5/5Inteligencia matemática Calificación: 4 de 5 estrellas4/5El método Seis Sigma: Mejore los resultados de su negocio Calificación: 4 de 5 estrellas4/5Estadística descriptiva, regresión y probabilidad con aplicaciones Calificación: 5 de 5 estrellas5/5La teoría de juegos: El arte del pensamiento estratégico Calificación: 5 de 5 estrellas5/5Operaciones Con Fracciones Calificación: 0 de 5 estrellas0 calificacionesPitágoras y su teorema Calificación: 4 de 5 estrellas4/5Introducción a las matemáticas Calificación: 3 de 5 estrellas3/5Curar la piel: Ensayo en torno al tatuaje Calificación: 5 de 5 estrellas5/5El arte de ganar la lotería Calificación: 4 de 5 estrellas4/5Probabilidad y estadística: un enfoque teórico-práctico Calificación: 4 de 5 estrellas4/5El libro del porqué: La nueva ciencia de la causa y el efecto Calificación: 2 de 5 estrellas2/5La enfermedad de escribir Calificación: 4 de 5 estrellas4/5¿Soy yo normal?: Filias y parafilias sexuales Calificación: 5 de 5 estrellas5/5El gran teatro del mundo Calificación: 5 de 5 estrellas5/5Ecuaciones diferenciales Calificación: 4 de 5 estrellas4/5Estadística básica: Introducción a la estadística con R Calificación: 5 de 5 estrellas5/5Cómo hablar de dinero: Lo que dice la gente de las finanzas... y lo que de verdad quiere decir Calificación: 0 de 5 estrellas0 calificacionesProbabilidad Calificación: 5 de 5 estrellas5/5
Categorías relacionadas
Comentarios para Un curso de álgebra
0 clasificaciones0 comentarios
Vista previa del libro
Un curso de álgebra - Gabriel Navarro Ortega
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 x ∈ A. En caso contrario, decimos que x no pertenece a A, y escribimos x ∉ A.
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 a ∈ A se tiene que a ∈ B. En este caso, escribimos A ⊆ B, y decimos que A es un subconjunto de B. En caso contrario, decimos que A no está contenido en B, y lo escribimos A ⊈ B. Los conjuntos A y B son iguales si A ⊆ B y B ⊆ A, y lo escribimos A = B. En caso contrario, escribimos A ≠ B. 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 A ∉ A}, y preguntarse si el propio X ∈ X o si X ∉ X. Por ejemplo, ℕ ∈ X pues ℕ ∉ ℕ. Sin embargo, si X ∈ X, esto significaría por definición que X ∉ X, 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
A ∪ B = {x | x ∈ A ó x ∈ B}.
La intersección es el conjunto
A ∩ B = {x | x ∈ A y x ∈ B}.
La diferencia de A y B es
A − B = {x | x ∈ A y x ∉ B}.
El producto cartesiano de A y B es el conjunto de pares
A × B = {(a, b) | a ∈ A, b ∈ B},
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 A ∪ B = {1, 2, 3, 4}, A ∩ B = {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 i ∈ I tenemos definido un conjunto Ai, que depende de i, entonces definimos
Por ejemplo, si para n ∈ ℕ, definimos An = {m ∈ ℕ | m ≥ n}, 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 i ∈ I 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 x ∈ X − (⋃i∈I Ai). Esto significa que x ∈ X y que x ∉ ⋃i∈I Ai. Por la definición de unión de una colección de conjuntos, tenemos que x ∉ Ai para todo i ∈ I. Así, x ∈ X − Ai para todo i ∈ I, 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 x ∈ X y x ∉ Ai para todo i. Entonces x ∈ X y x ∉ ⋃i∈I Ai, y por tanto x ∈ X − (⋃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 a ∈ A 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) | a ∈ A}
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 a ∈ A 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 : A → B como un subconjunto X ⊆ A × B tal que X ∩ ({a} × B) tiene exactamente un elemento para todo a ∈ A; 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 A → B. 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 : A → B, g : C → D son iguales si A = C, B = D y f(a) = g(a) para todo a ∈ A. 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 : A → A con 1A(a) = a para todo a ∈ A.
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 : A → B es inyectiva si f(a1) = f(a2) solo si a1 = a2, para a1, a2 ∈ A. 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 : A → B es injectiva, probar que n ≤ m.
Una aplicación f : A → B es suprayectiva si f(A) = B. En otras palabras, si para todo b ∈ B existe a ∈ A tal que f(a) = b. Si queremos comprobar si una función f es suprayectiva, elegimos un elemento b ∈ B 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 : A → B es suprayectiva, probar que n ≥ m.
Teorema 1.2 Supongamos que A y B tienen n elementos, y sea f : A → B. 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 i ≠ j. 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 : A → B 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 : A → B y g : B → C, podemos crear una nueva función
g ∘ f : A → C
definida por
(g ∘ f)(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 (g ∘ f)(x) = sen(x2 + 1) y (f ∘ g)(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 : A → B, g : B → C y h : C → D son aplicaciones, probar que
(h ∘ g) ∘ f = h ∘ (g ∘ f).
(ii) Si f : A → B es un aplicación , probar que f ∘ 1 A = f y 1 B ∘ f = f .
Lema 1.3 Sean f : A → B y g : B → C aplicaciones.
(a) Si f y g son inyectivas , entonces g ∘ f es inyectiva .
(b) Si f y g son suprayectivas , entonces g ∘ f es suprayectiva .
(c) Si g ∘ f es inyectiva , entonces f es inyectiva .
(d) Si g ∘ f 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 c ∈ C, entonces existe b ∈ B tal que g(b) = c, por ser g suprayectiva. Por ser f suprayectiva, existe a ∈ A tal que f(a) = b. Entonces g(f(a)) = c.
(c) Si f(a1) = f(a2), entonces g(f(a1)) = g(f(a2)). Como g ∘ f es inyectiva, deducimos que a1 = a2.
(d) Si c ∈ C, por hipótesis existe a ∈ A tal que g(f(a)) = c. Si b = f(a), deducimos que g(b) = c
Decimos que una función f: A → B es invertible si existe g: B → A tal que f ∘ g = 1B y g ∘ f = 1A. Observamos que la función g, si existe, es única. Efectivamente, si h: B → A también satisface h ∘ f = 1A, entonces
h = h ∘ 1B = h ∘ (f ∘ g) = (h ∘ f) ∘ g = 1A ∘ g = g.
La función g se llama la función inversa de f y se escribe g = f−1. Observamos que en este caso f−1 es también invertible y que (f−1)−1 = f.
Teorema 1.4 Sea f : A → B. Entonces f es invertible si y solo si f es biyectiva.
Demostración. Supongamos que f es biyectiva. Construimos g : B → A de la siguiente manera. Dado b, sabemos que existe a ∈ A 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 f ∘ g = 1B y g ∘ f = 1A. Recíprocamente, supongamos que f es invertible y sea f−1 : B → A su inversa. Como f ∘ f −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
R ⊆ A × 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