7,49 €
Este manual contiene información básica para un primer curso de álgebra lineal dirigido a estudiantes de primer semestre de ingenierías, economía, administración de empresas o programas en los que esta asignatura sea electiva. Está basado en el texto Introducción al Álgebra lineal, publicado por el sello Editorial Universidad del Norte, y su propósito es que se constituya en una herramienta de apoyo imprescindible para los estudiantes, y para ello se incluyen ejemplos, ejercicios y tareas.
Das E-Book können Sie in Legimi-Apps oder einer beliebigen App lesen, die das folgende Format unterstützen:
Veröffentlichungsjahr: 2017
Castañeda Hernández, Sebastián.
Manual de Álgebra líneal / Sebastián Castañeda Hernández, Agustín Barrios Sarmiento, Ismael Gutiérrez García. – Barranquilla, Colombia : Editorial Universidad del Norte, 2017.
viii, 218 p. : il. ; 24 cm.
Incluye referencias bibliográficas
ISBN 978-958-741-847-7 (impreso)
ISBN 978-958-741-848-4 (pdf)
ISBN 978-958-741-848-4 (ePub)
1. Álgebras lineales. I. Barrios Sarmiento, Agustín. II. Gutiérrez García, Ismael. I.tít.
(512.5 C346 ed. 23) (CO-BrUNB)
Vigilada Mineducación
www.uninorte.edu.co
Km 5, vía a Puerto Colombia, A.A. 1569
Área metropolitana de Barranquilla (Colombia)
© Universidad del Norte, 2017
Sebastián Castañeda Hernández, Agustín Barrios Sarmiento,
Ismael Gutiérrez García
Coordinación editorial
Zoila Sotomayor O.
Diagramación
Sebastián Castañeda Hernández
Diseño de portada
Joaquín Camargo Valle
Corrección de textos
Nury Ruiz Bárcenas
© Reservados todos los derechos. Queda prohibida la reproducción total o parcial de esta obra por cualquier medio reprográfico, fónico o informático, así como su transmisión por cualquier medio mecánico o electrónico, fotocopias, microfilm, offset, mimeográfico u otros sin autorización previa y escrita de los titulares del copyright. La violación de dichos derechos constituye un delito contra la propiedad intelectual.
LOS AUTORES
SEBASTIÁN CASTAÑEDA HERNÁNDEZ
Licenciado en Matemáticas de la Universidad
del Atlántico (Colombia). Magíster en Ciencias
matemáticas de la Universidad del Valle en
convenio con la Universidad del Norte
(Colombia). Docente de tiempo completo del
departamento de Matemáticas y Estadística de
la Universidad del Norte desde 1988. Ha
publicado con la Editorial Universidad del
Norte varios textos de álgebra lineal, así como
de fundamentos de matemáticas y teoría de
números.
AGUSTÍN BARRIOS SARMIENTO
PhD de la Facultad de Matemáticas de la
Universidad de Valencia (España). Profesor
asociado de la Universidad del Norte
(Colombia), adscrito al Departamento de
Matemáticas y Estadística. Su principal línea de
investigación es la Optimización que le permite
construir modelos que recrean situaciones
reales, entre las que se encuentran: procesos de
fabricación por lotes, construcción de
infraestructuras, mantenimiento de sistemas
complejos y desarrollo e introducción en el
mercado de nuevos productos, entre otros.
ISMAEL GUTIÉRREZ GARCÍA
PhD en Ciencias Naturales de la Universidad
Johannes Gutenberg de Mainz (Alemania).
Magíster en Matemáticas de la Universidad del
Valle (Colombia) y licenciado en Matemáticas y
Física de la Universidad del Atlántico
(Colombia). Profesor-investigador de la
Universidad del Norte (Colombia). Posee una
amplia experiencia como docente universitario
y además ha liderado proyectos de investigación
en el área de matemáticas discretas y sus
aplicaciones, concretamente en teoría clásica de
códigos y en códigos de subespacios.
El presente texto puede considerarse como una simplificación del libro “Introducción al Álgebra Lineal” [3], de dos de los autores de este manual. Aquí se presenta un material mínimo para desarrollar en un semestre con tres horas semanales presenciales. La idea básica es que el texto sea utilizado como material de lectura obligatoria para los estudiantes, incluyendo lecturas en algunas sesiones presenciales en las cuales como control se entreguen tareas individuales o en parejas, a criterio del profesor. En ese sentido el manual incluye tareas de entrega obligatoria por parte del estudiante.
El contenido cubierto por el manual, como se puede apreciar, es el básico en un primer curso de álgebra lineal dirigido a estudiantes de primer semestre de Ingeniería, Economía, Administración de empresas, o programas donde la asignatura sea electiva. Para estudiantes de Ciencias (Física o Matemáticas, especialmente) el profesor podrá recomendar la profundización de los temas en el texto citado [3] o en otros textos adecuados. El capítulo uno introduce la definición de operación binaria y, en particular, la de ley de composición interna, a partir de ejemplos familiares que permitan una fácil comprensión a través de la lectura individual para el estudiante. Se introducen también las definiciones de las estructuras algebraicas básicas sobre las cuales se construye la estructura principal: la de espacio vectorial.
El capítulo dos aborda el estudio de los sistemas lineales y de las matrices sobre el campo real. Se introduce inicialmente la estructura de espacio vectorial de ℝn así como el producto escalar y el producto matricial como herramientas teóricas importantes en el estudio de ecuaciones y sistemas lineales. En este mismo capítulo, en su apéndice, se muestra el caso de las ecuaciones lineales diofantinas y se sugiere el uso de software libre específico para cálculos en álgebra lineal. Se incluye también un primer acercamiento al concepto de determinante, para el caso de sistemas 2 × 2. Tal concepto será extendido en el capítulo tres a matrices n × n. Por razones de brevedad en la exposición, el desarrollo del material relativo a determinantes se limita en buena parte a presentar los resultados más importantes, citando el texto base de este manual.
El capítulo cuatro se dedica a los sistemas homogéneos y a los subespacios de ℝn, aprovechando el contexto para introducir con rigurosidad los conceptos de base y dimensión de subespacios de ℝn. Se cierra el capítulo con los conceptos de norma y vectores unitarios, introduciendo las definiciones de ángulo entre vectores, paralelismo y dirección desde un punto de vista algebraico. Estos conceptos serán interpretados geométricamente en el capítulo cinco, dedicado a los vectores en ℝ2 y ℝ3 y a las aplicaciones geométricas de los resultados antes obtenidos.
Se incluyen, además del correspondiente al capítulo dos, tres apéndices al final. En el apéndice A, se hace una breve presentación del símbolo sumatorio y sus principales propiedades y en el B se presenta el alfabeto griego. En el apéndice C se presenta una breve introducción a la Teoría de códigos, de suma importancia en la teoría de la información. Básicamente, el objetivo de la teor ía de códigos es codificar información que se transmite a través de canales “ruidosos”; es decir, susceptibles de distorsionar la información ya sea por razones internas o externas (por acción de terceros). Es entonces necesario que el mensaje sea codificado adecuadamente de manera que se pueda verificar su autenticidad y detectar posibles errores o distorsiones y corregirlos, de ser posible. En tal sentido, los códigos lineales (subespacios de n, siendo un campo finito) juegan un papel importante.
Finalmente, agradecemos cualquier comentario, sugerencia o corrección que consideren necesarios para mejorar la presente edición. Los autores.
El Álgebra, hablando en términos rudimentarios pero modernos, es la disciplina matemática dedicada al estudio de las denominadas estructuras algebraicas. Una estructura así está formada básicamente por un conjunto no vacío y una o más operaciones definidas sobre ese conjunto. El Álgebra Lineal, también en términos generales, tiene como objeto de estudio principal cierto tipo de estructura conocida como espacio lineal o espacio vectorial. En esta primera sección presentamos las definiciones de operación (especialmente las denominadas binarias) y de las estructuras algebraicas básicas: semigrupos, monoides, grupos, anillos y campos. En el capítulo dos, en particular, se hace una primera presentación de la estructura de espacio vectorial en un ejemplo específico. Tal definición se hará desde la perspectiva matemática o algebraica y en un capítulo posterior se relacionará con la noción física o geométrica de vector con la cual seguramente los lectores, aún los principiantes, tendrán alguna familiaridad. Iniciamos justamente con el concepto de estructura algebraica.
Existe cierta familiaridad con la noción de operación, específicamente con la de operación binaria. Así, por ejemplo, la adición, la multiplicación y sus operaciones “inversas” (sustracción y división) en conjuntos numéricos constituyen ejemplos de operaciones binarias. Para ir abriendo paso a una generalización1 de tales operaciones “familiares”, consideremos inicialmente la adición de números enteros.
cuyo dominio es el producto cartesiano del conjunto de los enteros, ℤ, consigo mismo y las imágenes –o resultados de la acción de la función– pertenecen al mismo conjunto ℤ. Un análisis similar puede hacerse para la multiplicación de enteros, la cual es una función
Estos son dos ejemplos particulares de lo que denominaremos una ley de composición interna definida sobre un conjunto. El hecho de que los elementos operados (sumados o multiplicados) se consideren formando pares ordenados parecería no ser importante en estos ejemplos ya que el resultado obtenido –la suma o el producto, respectivamente– es el mismo independientemente de si el par considerado es (x, y) o (y, x). Esto es debido, en este caso, a que las dos operaciones consideradas gozan de la denominada propiedad conmutativa según la cual “el orden de los sumandos (o factores) no altera la suma (el producto)”. Sin embargo, basta con pensar en la sustracción de enteros para convencerse de que si queremos generalizar nuestras particulares observaciones a conjuntos (y operaciones) arbitrarios el “orden” de las componentes es importante. Así, la sustracción en el conjunto de los enteros es una función
Algunas preguntas son pertinentes en este momento. ¿Podemos operar solo elementos del mismo conjunto? o ¿estarán siempre los “resultados” de las operaciones en el mismo conjunto al cual pertenecen los elementos operados? Si pensamos, por ejemplo, en la división de enteros, es claro que solo podemos dividir un entero cualquiera entre un entero diferente de cero y que los resultados no necesariamente son enteros. Así, la división a la que estamos haciendo referencia es entonces una función
Aquí el dominio de nuestra función es el producto cartesiano de dos conjuntos distintos y las imágenes (cocientes) pertenecen al conjunto de los números racionales ℚ, del cual los conjuntos cuyo producto cartesiano es el dominio son subconjuntos propios.
Generalizando lo anterior, dados conjuntos no vacíos A, B y C, una función
Propiedades, seguramente familiares para el lector, como la conmutatividad, la asociatividad, entre otras, de la adición y la multiplicación en los enteros, pueden ser definidas también para leyes de composición interna. Estas se presentan a continuación.
Definición 1.2.1Sean A y B conjuntos no vacíos con B ⊆ A. Si * y ⊆ son leyes de composición interna definidas en A. Entonces:
1. B escerradobajo * si y solo si para todo x,y ∈ B se cumple que x * y ∈ B.
Trivialmente, el conjunto A es, por ser * una ley de composición interna en A, cerrado para *.
2. * es:
(a)Conmutativasi y solo si para todo x,y ∈ A se satisface:
(b)Asociativasi y solo si para todo x,y, z ∈ A se cumple:
(c)Modulativasi y solo si existe e ∈ A tal que para todo x ∈ A se tiene:
El elemento e, el cual puede probarse que es único, se denominaelemento neutropara * en A. En ese sentido, la propiedad modulativa también se denomina de existencia de elemento neutro.
(d)Invertivasi y solo si es modulativa, con neutro e, y para todo elemento x ∈ A existe un elemento y G A tal que:
Para una operación invertiva y asociativa, para cada x ∈ A el elemento y de la ecuacion (1.4) es único (ejercicio). Tal elemento es denominado elinverso,bajo *, de x. En una estructura (A, *) asociativa y modulativa puede suceder que la condición de existencia de inverso no se cumpla para todos los elementos de A; si se cumple para algún elemento particular x, diremos que x esinvertible(oregularono singular)bajo * y, consecuentemente, que y es el inverso de x.
(e)Distributiva con relación a ⋄ si y solo si para todo x,y,z ∈ A se tienen:
La propiedad dada por (1.5) se denomina usualmentedistributiva (de*con relación a ⋄) por la derecha,mientras que la dada por (1.6) lo será por laizquierda.
Si * es una ley de composición interna en el conjunto A y B es un subconjunto de A, cerrado bajo *, entonces la restricción de * a B, usualmente notada *| B,
es también una ley de composición interna en B. Algunas de las propiedades ya definidas (conmutativa, asociativa, distributivas) claramente son válidas también para la restricción de * a B, en caso de que se cumplan en A, diremos en tal caso que son hereditarias.2 Las propiedades (1.3) y (1.4), por su parte, se satisfacen –si se cumplen en A– para todo x ∈ B, pero no se garantiza la pertenencia del neutro e, o el inverso de x al conjunto B.
Grupos abelianos, como el caso de (ℤ, +), son también (ℚ, +), (ℝ, +), (ℤ −{0}, ·) y (ℝ −{0}, ·).
En la primera fila y la primera columna de cualquiera de las tablas se muestranel símbolo de la operación y los elementos del conjunto A. El resultado de operar un elemento de una columna con uno de una fila es el elemento en la intersección de dichas fila y columna. Así, por ejemplo:
Dado un conjunto no vacío G, y una ley de composición interna * en G, la estructura (G, *) es denominada un grupoide. Si la operación es asociativa se denominará un semigrupo. Un semigrupo tal que la operación sea además modulativa se denomina un monoide. Un monoide con la propiedad invertiva es un grupo. Si, además, la operación es conmutativa la estructura se denomina grupo conmutativo o grupo abeliano. En general, para grupoides, usaremos notación multiplicativa escribiendo xy en lugar de x * y, así como 1G para referirnos al neutro de *, en caso de existir, y también x–1 para referirnos al inverso de x en caso de existir. Por supuesto, en estructuras particulares aditivas escribiremos 0G y –x, respectivamente, para el neutro y el inverso de x ∈ G. Así, tenemos
Como se advirtió antes, la estructura principal a considerar en el curso de Álgebra Lineal es la de espacio lineal o espacio vectorial. Tales estructuras son construidas sobre una estructura aditivo multiplicativa básica conocida como campo o cuerpo. Comenzamos con un conjunto no vacío, con dos leyes de composición interna + : × y · : × (adición y multiplicación). La estructura (, +, ·) es un campo o cuerpo si y solo si
• (, +) es un grupo abeliano (con neutro 0)
• La multiplicación es conmutativa, asociativa, modulativa, con neutro 1 ≠ 0, y distributiva respecto de la adición.
• Cada elemento x ∈, x ≠ 0, es invertible (multiplicativamente).
Se sigue así que si (, +, ·) es un campo, entonces (, +) y ( – {0}, ·) son grupos abelianos. La denominación de anillo se refiere a una estructura aditiva multiplicativa (R, +, ·) tal que ( R, +) es un grupo abeliano y la multiplicación es asociativa y distributiva con relación a la adición. Las denominaciones de anillo conmutativo y anillo con elemento identidad se refieren, respectivamente, a un anillo tal que la multiplicación es conmutativa y a un anillo con elemento neutro para la multiplicación.
Tenemos entonces que todo campo es una anillo conmutativo con identidad en el cual todo elemento no nulo es invertible multiplicativamente. También se acostumbra decir que es un anillo conmutativo con división. La estructura (ℤ, +, ·) (enteros con la adición y la multiplicación) es un anillo conmutativo con elemento identidad, pero claramente no es un campo (¿por qué?). De igual manera, para un natural n ≥ 2, la estructura (ℤn, +, ·) es un anillo conmutativo con identidad y es un campo si y solo si n es un número primo.
En particular, nos interesa la estructura de campo del conjunto de los números reales. Suponemos por parte del lector un conocimiento, así sea intuitivo, de tal conjunto. Tal conjunto, notado por ℝ, es la unión del conjunto de los números racionales, notado ℚ, con el de los irracionales. El primero es el conjunto de los números que pueden expresarse como cociente de dos enteros. Una característica notable de los racionales es también que su expresión decimal es periódica, a diferencia de los irracionales en los cuales la expresión decimal es infinita y no periódica. Ejemplos notables de irracionales son las raíces cuadradas de números naturales que no son cuadrados perfectos ( etc.), el número π (constante universal que representa el cociente de la longitud de una circunferencia cualquiera sobre su diámetro), el número de Euler, e, base de los logaritmos naturales. Asumimos como verdadero que la estructura (ℝ, +, ·) es un campo, lo cual de acuerdo con la definición dada antes significa:
• (ℝ, +) es un grupo abeliano. El neutro aditivo por supuesto es 0 y cada real x tiene un inverso aditivo, notado –x.
• La multiplicación es conmutativa, asociativa y distributiva con relación a la suma. Igualmente es modulativa, con neutro 1 ≠ 0.
• Cada real x ≠ 0 tiene un inverso multiplicativo, notado x–1.
Las propiedades de campo, conjuntamente con las de la igualdad, permiten fácilmente resolver ecuaciones de grado uno en una o más incógnitas. En particular, si es un campo, y a, b, c ∈ con a ≠ 0 la ecuación
tiene solución única y puede resolverse fácilmente como en el álgebra elemental. Así, tenemos
1. En (ℤ11, +, ·) que es un campo, se tiene
En el capítulo siguiente se resuelve el problema de resolver una ecuación lineal sobre el campo real. Los resultados teóricos que se presentan pueden extenderse sin problemas a ecuaciones sobre un campo cualquiera. Una ecuación lineal en las n incógnitas (o variables) x1, x2, . . . , xn sobre un campo es una ecuación de la forma
No es difícil entender que tal ecuación tiene infinitas soluciones y que una solución se puede obtener asignándole valores arbitrarios a una de las incógnitas y reduciendo el problema a una ecuación en una sola variable. Así, por ejemplo, si t es un número real cualquiera y asignamos tal valor a x, entonces debe tenerse
Resolviendo esta ecuación en y se tiene
Así, toda solución, como par ordenado de reales, es de la forma
siendo t un real cualquiera. El conjunto solución (conjunto de todas las soluciones) es entonces
De modo que todas las soluciones son de la forma (t, 2+4t) y, así, la ecuación tiene siete soluciones: (0, 2), (1, 6), (2, 3), (3, 0), (4, 4), (5, 1), (6, 5).
2. Considere en ℝ la ley de composición interna definida por:
(a) Calcule
(b) Demuestre que (ℝ, *) es una estructura asociativa, modulativa y conmutativa, pero no es invertiva, pues existe un (único) elemento z no invertible.
(c) Calcule los inversos, bajo *, de 1, 0 y
(a) ¿Existe un neutro a izquierda para *?
(b) Calcule, si existen, (a * c) * e y a * (c * e).
