MATEMTICAS Y CULTURA

BOLETN
23.01.2014

No. 295

COORDINACIN DE MATEMTICAS
MATEMTICAS
MATEMTICAS

ALGO SOBRE ESTRUCTURAS ALGEBRAICAS

A continuacin se presenta un ejercicio correspondiente al ltimo tema de lgebra del primer
semestre. El objetivo de mostrarlo en estas pginas es que sirva como un repaso y una
preparacin para el apasionante y til curso de lgebra Lineal. Este ejercicio fue inspirado por
otro que se propone en el libro Apuntes de lgebra Lineal de Eduardo Solar Gonzlez y Leda
Speziale de Guzmn, el cual recomiendo ampliamente para aquellos estudiantes que cursarn
esta asignatura o, simplemente, que deseen recordar o aprender esta rama del conocimiento.
Ejercicio: Sea el conjunto

; es decir se trata del

conjunto de funciones reales de variable real que tienen como caracterstica particular que la
imagen de los valores menos dos y cinco son iguales; esto es que los puntos correspondientes
de su grfica con abscisa menos dos y cinco, tienen la misma ordenada. Adems se definen
las operaciones
:

Es decir, las operaciones usuales de adicin de funciones y multiplicacin de un escalar por

una funcin que se aprendieron en Clculo Diferencial.
Se desea saber si la estructura algebraica
continuacin:
y el elemento suma es nico,

cumple con las propiedades enlistadas a

MB
2

y es nico.

RESOLUCIN:
y el elemento suma es nico.
Para investigar si esta propiedad se cumple debemos tener en cuenta que su enunciado nos
seala que la suma de dos funciones que pertenecen al conjunto
debe pertenecer a ese
mismo conjunto y debe ser nica. Es un error que se comete muy frecuentemente entre los
estudiantes que se inician en esta rama del saber, el mencionar que la propiedad se cumple
porque la suma de dos funciones reales de variable real tambin es una funcin de este tipo,
cuando debe asegurarse que la funcin resultado tambin posea la caracterstica con la que
se defini al conjunto; es decir, la imagen de la suma para el valor menos dos debe ser igual a
la imagen de dicha suma para cinco; adems de que si esto se cumple, el resultado debe ser
nico.
Sean
; es decir
adicin de funciones se tiene:
, entonces:

Ahora bien, por la definicin de

MB
Pero
, por lo que las expresiones (1) y (2) son equivalentes. Por
ltimo para esta propiedad, tanto
como
son funciones y la propiedad bsica de una
funcin
3
es que cada elemento de su dominio tiene una sola imagen en el codominio, adems del
mismo concepto de funcin se tiene que la suma de dos funciones es tambin una funcin, de
manera que la imagen obtenida sea en la primera expresin o sea en la segunda, que es la
misma, nos lleva a concluir que es nica.
La propiedad que acabamos de comprobar se conoce como cerradura, ello se debe a que al
operar con dos elementos de un conjunto, el resultado es del mismo conjunto, por lo que est
cerrado, no es posible llegar a elementos de otros conjuntos.

Esta propiedad la podemos identificar como la asociatividad. Para asegurar su validez slo
basta recordar que todas las funciones reales de variable real la cumplen y no importa si
pertenecen o no al conjunto en estudio.

Esta propiedad nos indica que el conjunto

debe contener el llamado elemento idntico,
tambin conocido como el cero. Por supuesto que de Clculo Diferencial conocemos que el
idntico de las funciones reales de variable real es la funcin constante igual a cero; con regla
de correspondencia
. Lo que nos toca investigar es si esta funcin es un
elemento del conjunto

. La respuesta es s ya que

; es decir

La comprobacin de esta propiedad tambin es casi inmediata pues es vlida para el conjunto
entero de las funciones reales de variable real y como
contiene a la funcin cero, de
inmediato concluimos que cualquier funcin de dicho conjunto tiene su elemento inverso en l.

Esta propiedad, que es la conmutatividad, tambin se cumple para este conjunto pues
sabemos que se cumple para cualquier par de funciones del conjunto grande.
y es nico.

MB

Sea
es decir
, y sea
. De acuerdo con la definicin de multiplicacin
de un escalar por una funcin se tiene:
pero
, entonces
4
Por otra parte
De (3) y (4) podemos concluir que la propiedad se cumple; adems, como en la primera de las
propiedades, por tratarse de funciones llegamos a la conclusin que el producto de un escalar
por una funcin es nico.

Aqu tenemos que se trata de la distributividad con respecto a la adicin de funciones, la cual
de Clculo Diferencial sabemos de su cumplimiento, no importando a cual conjunto de
funciones pertenezcan los sumandos.

Ahora tenemos la distributividad con respecto a la adicin de nmeros reales. Sucede algo
enteramente similar a la propiedad anterior. Del mismo Clculo Diferencial conocemos de su
cumplimiento.

Esta propiedad nos dice que al multiplicar a una funcin por un escalar y, de nuevo, multiplicar
al producto anterior por otro escalar, debe llevarnos al mismo resultado de multiplicar primero
a los dos escalares y a este resultado por la funcin. Nuevamente, de Clculo Diferencial
tenemos que la propiedad se cumple para cualquier funcin, pertenezca o no al conjunto

Esta propiedad es la que probablemente su cumplimiento sea ms evidente. Creo que no

habr dificultad en asegurar que cualquier funcin, sea o no del conjunto
al multiplicarse por
el nmero uno d como resultado la misma funcin.
Con esto concluye el ejercicio y hemos comprobado que la estructura
satisface las
diez propiedades enunciadas; sin embargo, vale la pena extenderse un poco ms en algunos
comentarios.
-

La estructura algebraica del ejercicio anterior se llama Espacio Vectorial. Es decir,

MB

tenemos un conjunto y dos operaciones que cumplen con diez propiedades, aunque
estrictamente hablando se tienen en realidad dos conjuntos. En el ejemplo, el conjunto
de funciones, que en general sern los vectores y el conjunto de los nmeros reales,
que sern los escalares y que ellos mismos deben constituir otra estructura algebraica
estudiada en lgebra, el campo. En ocasiones y para algunos autores, quizs por
5
simplicidad, al propio conjunto de vectores se le llama el espacio vectorial. Para el
ejemplo del ejercicio se podra decir el espacio vectorial
sobre el campo de los
reales.

Una definicin del lgebra Lineal es la parte de las matemticas que se dedica al
estudio de los espacios vectoriales. Si nos fijamos, ya en cursos anteriores se ha
trabajado con vectores. Posiblemente algunos desde el bachillerato, otros aqu mismo
en la Facultad en la asignatura Geometra Analtica. Los vectores de los que se ha
hablado son un caso particular de los espacios vectoriales. Para unos profesores los
vectores los han definido como ternas ordenadas de nmeros reales y los escalares
estos nmeros reales. Algunos otros los definen como segmentos dirigidos. En
realidad esta ltima definicin puede considerarse como la interpretacin geomtrica de
los vectores mencionados como ternas ordenadas de nmeros reales. Ya el estudiante
de lgebra Lineal podr percatarse que muchos otros elementos con los que ha
trabajado tambin pueden considerarse como vectores, atendiendo a las propiedades
de la estructura algebraica que se analiz en el ejercicio precedente; solamente que en
muchos casos no es posible representarlos grficamente como en el ejemplo referido
de los segmentos dirigidos.

En lgebra tambin se estudia a los nmeros complejos en todo un captulo y, hacia el

final del curso, se puede concluir que el conjunto de los nmeros complejos con sus
operaciones de adicin y multiplicacin, tambin forman la estructura llamada Campo.
De hecho, desde estudios previos y en forma casi generalizada, se refiere uno al
Campo de los Nmeros Complejos a lo mejor sin prestar atencin a esto, como si
fuera solamente un nombre asignado a este conjunto. En la definicin general de los
espacios vectoriales se tiene que el conjunto de los escalares debe ser un campo,
aunque para las aplicaciones especficas del lgebra Lineal en la ingeniera, que es lo
que en esta Facultad nos ocupa, los escalares son en su gran mayora o nmeros
reales o nmeros complejos.

El ejercicio que present puede resolverse de manera mucho ms sencilla aplicando un

teorema. Es ms, como inici la presentacin fue mencionando que tom la idea de un
ejercicio propuesto en el libro de la Maestra Leda y en l se induce por su enunciado a
la aplicacin de dicho teorema pues se quiere saber si el conjunto es un subespacio.
Ya el estudiante de lgebra Lineal conocer el concepto de subespacio y el teorema al
que me refiero. Con ello se podr dar cuenta de todo lo que se simplifica la resolucin

MB

del ejercicio. Solamente les dir que para determinar si el conjunto

es un subespacio;
es decir, un espacio vectorial contenido en otro, bastar con aplicar dos de los axiomas.
Con ello podemos afirmar que se nos hace una rebaja del ochenta porciento, lo
cual no es despreciable.

6
El lgebra Lineal es una asignatura de imparticin relativamente reciente. Como tal, en
la Facultad, debe haber iniciado su enseanza a finales de la dcada de los setentas o
a principios de los ochentas; sin embargo, puedo asegurar que cuando era estudiante
en varias de las asignaturas me ensearon diversos conceptos de dicha materia,
cuando era necesaria su aplicacin. Esto ha tenido repercusin en varios aspectos.
Algunos ingenieros de la vieja guardia afirman categricamente que el lgebra Lineal
no sirve
para nada, que ellos son excelentes ingenieros y nunca la cursaron. Es ms,
aconsejan a los estudiantes que hay que pasarla y despus olvidarse de ella. Yo
difiero completamente de estas opiniones. Como mencion, nunca estuve en un curso
de dicha asignatura en la Facultad pero s me ensearon temas de ella cuando se
requiri. Adems, con el transcurso del tiempo, con la experiencia de ingeniero y como
profesor, puedo afirmar, sin lugar a dudas, que el lgebra Lineal tiene ms aplicaciones
en ingeniera que el Clculo. De hecho, hay diversos temas del Clculo que o requieren
de la aplicacin del lgebra Lineal o se facilita su comprensin o determinacin con su
utilizacin. Como ejemplo, el tema de Series de Taylor, como un caso particular de
Series de Potencias, puede estudiarse de manera muy interesante como una
combinacin lineal de los vectores de una base con un nmero infinito de elementos;
sin dejar a un lado el hecho que el conjunto de funciones reales de variable real, con
sus operaciones de adicin y multiplicacin de un nmero real por una funcin, forman
un espacio vectorial, como vimos en el ejercicio.

Lo que s es un hecho es que resulta muy difcil mencionar a los estudiantes las
aplicaciones de esta asignatura durante su imparticin. Por ejemplo, de poco servira
que durante el curso les exprese a los alumnos que el conjunto solucin de una
ecuacin diferencial lineal homognea de orden es un espacio vectorial de dimensin
Con ello quizs lograra que pensaran los estudiantes cmo sabe aunque no
entend nada. Claro que como profesor debo buscar la manera que esto se resuelva
satisfactoriamente y s pueda mencionar algunas aplicaciones y lograr que el estudio de
esta materia les sea agradable.

Por ltimo quiero exhortar a los que inician en el estudio del lgebra Lineal que lo
hagan con todo su entusiasmo considerando que la aplicarn en su momento y que, en
s, sus conceptos son apasionantes.

RIK CASTAEDA DE ISLA PUGA

PROFESOR DE LA FACULTAD DE INGENIERA, UNAM