lgebra

El lgebra (del rabe: al-abr 'reintegracin, recomposicin'1 ) es la rama de la

matemtica que estudia la combinacin de elementos de estructuras abstractas acorde a
ciertas reglas. Originalmente esos elementos podan ser interpretados como nmeros o
cantidades, por lo que el lgebra en cierto modo originalmente fue una generalizacin y
extensin de la aritmtica.2 3 En el lgebra moderna existen reas del lgebra que en modo
alguno pueden considerarse extensiones de la aritmtica (lgebra abstracta, lgebra
homolgica, lgebra exterior, etc.).

Introduccin
A diferencia de la aritmtica elemental, que trata de los nmeros y las operaciones
fundamentales, en lgebra -para lograr la generalizacin- se introducen adems smbolos
(usualmente letras) para representar parmetros (variables o coeficientes), o cantidades
desconocidas (incgnitas); las expresiones as formadas son llamadas frmulas
algebraicas, y expresan una regla o un principio general. 4 El lgebra conforma una de las
grandes reas de las matemticas, junto a la teora de nmeros, la geometra y el anlisis.
Pgina del libro Kitb al-mukhtaar f isb al-abr wa-l-muqbala, de Al-Juarismi.
La palabra lgebra proviene del vocablo rabe al-abar (en rabe dialectal por
asimilacin progresiva se pronunciaba [alb] de donde derivan los trminos de las
lenguas europeas), que se traduce como 'restauracin' o 'reponimiento, reintegracin'.
Deriva del tratado escrito alrededor del ao 820 d.C. por el matemtico y astrnomo persa
Muhammad ibn Musa al-Jwarizmi (conocido como Al Juarismi), titulado Al-kitb almukhtaar f isb al-arabi wal-muqbala (Compendio de clculo por reintegracin y
comparacin), el cual proporcionaba operaciones simblicas para la solucin sistemtica de
ecuaciones lineales y cuadrticas. Muchos de sus mtodos derivan del desarrollo de la
matemtica en el islam medieval, destacando la independencia del lgebra como una
disciplina matemtica independiente de la geometra y de la aritmtica.5 Puede
considerarse al lgebra como el arte de hacer clculos del mismo modo que en aritmtica,
pero con objetos matemticos no-numricos.6
El adjetivo algebraico denota usualmente una relacin con el lgebra, como por ejemplo
en estructura algebraica. Por razones histricas, tambin puede indicar una relacin con las
soluciones de ecuaciones polinomiales, nmeros algebraicos, extensin algebraica o
expresin algebraica. Conviene distinguir entre:
lgebra elemental es la parte del lgebra que se ensea generalmente en los cursos de
matemticas.
lgebra abstracta es el nombre dado al estudio de las estructuras algebraicas
propiamente.
El lgebra usualmente se basa en estudiar las combinaciones de cadenas finitas de signos
y, mientras que anlisis matemtico requiere estudiar lmites y sucesiones de una cantidad
infinita de elementos.

Historia del lgebra

El lgebra en la antigedad
Las races del lgebra pueden rastrearse hasta la antigua matemtica babilnica,7 que
haba desarrollado un avanzado sistema aritmtico con el que fueron capaces de hacer
clculos en una forma algortmica. Con el uso de este sistema lograron encontrar frmulas
y soluciones para resolver problemas que hoy en da suelen resolverse mediante
ecuaciones lineales, ecuaciones de segundo grado y ecuaciones indeterminadas. En
contraste, la mayora de los egipcios de esta poca, y la mayora de los matemticos
griegos y chinos del primer milenio antes de Cristo, normalmente resolvan tales
ecuaciones por mtodos geomtricos, tales como los descritos en el Papiro de Rhind, Los
Elementos de Euclides y Los nueve captulos sobre el arte matemtico.

Los matemticos de la Antigua Grecia introdujeron una importante transformacin al crear

un lgebra de tipo geomtrico, en donde los trminos eran representados mediante los
lados de objetos geomtricos, usualmente lneas a las cuales asociaban letras. 6 Los
matemticos helnicos Hern de Alejandra y Diofanto8 as como tambin los matemticos
indios como Brahmagupta, siguieron las tradiciones de Egipto y Babilonia, si bien la
Arithmetica de Diofanto y el Brahmasphutasiddhanta de Brahmagupta se hallan a un nivel
de desarrollo mucho ms alto.9 Por ejemplo, la primera solucin aritmtica completa
(incluyendo al cero y soluciones negativas) para las ecuaciones cuadrticas fue descrita por
Brahmagupta en su libro Brahmasphutasiddhanta. Ms tarde, los matemticos rabes y
musulmanes desarrollaran mtodos algebraicos a un grado mucho mayor de sofisticacin.
Diofanto (siglo III d.C.), algunas veces llamado el pdre del lgebra, fue un matemtico
alejandrino, autor de una serie de libros intitulados Arithmetica. Estos textos tratan de las
soluciones a las ecuaciones algebraicas.10

Influencia rabe
Los babilonios y Diofanto utilizaron sobre todo mtodos especiales "ad hoc" para resolver
ecuaciones, la contribucin de Al-Khwarizmi fue fundamental; resuelve ecuaciones lineales
y cuadrticas sin el simbolismo algebraico, nmeros negativos o el cero, por lo que debe
distinguir varios tipos de >jab.11
El matemtico persa Omar Khayyam desarroll la geometra algebraica y encontr la
solucin geomtrica de la ecuacin cbica. Otro matemtico persa, Sharaf Al-Din al-Tusi,
encontr la solucin numrica y algebraica a diversos casos de ecuaciones cbicas;
tambin desarroll el concepto de funcin. Los matemticos indios Mahavir y Bhaskara II,
el matemtico persa Al-Karaji, y el matemtico chino Zhu Shijie, resolvieron varios casos de
ecuaciones de grado tres, cuatro y cinco, as como ecuaciones polinmicas de orden
superior mediante mtodos numricos.

Edad Moderna

Durante la Edad Moderna europea tienen lugar numerosas innovaciones, y se alcanzan

resultados que claramente superan los resultados obtenidos por los matemticos rabes,
persas, indios o griegos. Parte de este estmulo viene del estudio de las ecuaciones
polinmicas de tercer y cuarto grado. Las soluciones para ecuaciones polinmicas de
segundo grado ya era conocida por los matemticos babilnicos cuyos resultados se
difundieron por todo el mundo antiguo.
El descrubrimiento del procedimiento para encontrar soluciones algebraicas de tercer y
cuarto orden se dieron en la Italia del siglo XVI. Tambin es notable que la nocin de
determinante fue descubierta por el matemtico japons Kowa Seki en el siglo XVII,
seguido por Gottfried Leibniz diez aos ms tarde, con el fin de resolver sistemas de
ecuaciones lineales simultneas utilizando matrices. Entre los siglos XVI y XVII se consolid
la nocin de nmero complejo, con lo cual la nocin de lgebra empezaba a apartarse de
cantidades medibles. Gabriel Cramer tambin hizo un trabajo sobre matrices y
determinantes en el siglo XVIII. Tambin Leonhard Euler, Joseph-Louis Lagrange, AdrienMarie Legendre y numerosos matemticos del siglo XVIII hicieron avances notables en
lgebra.

Siglo XIX
El lgebra abstracta se desarroll en el siglo XIX, inicialmente centrada en lo que hoy se
conoce como teora de Galois y en temas de la constructibilidad.12 Los trabajos de Gauss
generalizaron numerosas estructuras algebraicas. La bsqueda de una fundamentacin
matemtica rigurosa y una clasificacin de los diferentes tipos de construcciones
matemticas llev a crear reas del lgebra abstracta durante el siglo XIX absolutamente
independientes de nociones aritmticas o geomtricas (algo que no haba sucedido con el
lgebra de los siglos anteriores).

Notacin algebraica

Consiste en que los nmeros se emplean para representar cantidades conocidas y

determinadas. Las letras se emplean para representar toda clase de cantidades, ya sean
conocidas o desconocidas. Las cantidades conocidas se expresan por las primeras letras
del alfabeto: a, b, c, d, Las cantidades desconocidas se representan por las ltimas letras
del alfabeto: u, v, w, x, y, z.13
Los signos empleados en lgebra son tres clases: Signos de operacin, signos de relacin y
signos de agrupacin.13

Signos de operacin
En lgebra se verifican con las cantidades las mismas operaciones que en aritmtica:
suma, resta, multiplicacin, elevacin a potencias y extraccin de races, que se indican
con los principales signos de aritmtica excepto el signo de multiplicacin. En lugar del
signo suele emplearse un punto entre los factores y tambin se indica a la multiplicacin
colocando los factores entre parntesis. As ab y (a)(b) equivale a a b.

Signos de relacin

Se emplean estos signos para indicar la relacin que existe entre dos cantidades. Los
principales son: =, que se lee igual a. As, a=b se lee a igual a b. >, que se lee mayor
que. As, x + y > m se lee x + y mayor que m. <, que se lee menor que. As, a < b + c se
lee a menor que b + c.

Signos de agrupacin
Los signos de agrupacin son: el parntesis ordinario ( ), el parntesis angular o corchete
[ ], las llaves { } y la barra o vnculo ||. Estos signos indican que la operacin colocada
entre ellos debe efectuarse primero. As, (a + b)c ndica que el resultado de la suma a y b
debe multiplicarse por c; [a b]m indica que la diferencia entre a y b debe multiplicarse por
m, {a + b} {c d} ndica que la suma de a y b debe dividirse entre la diferencia de c y d.
El orden de estos signos son de la siguiente forma { [ ( ) ] }, por ejemplo: { [ (a + b) - c]
d} indica que al resultado de la suma de a + b debe restarse c y el resultado de esto
multiplicarse por d.

Signos y smbolos ms comunes

Los signos y smbolos son utilizados en el lgebra y en general en teora de conjuntos y

lgebra de conjuntos con los que se constituyen ecuaciones, matrices, series, etc. Sus
letras son llamadas variables, ya que se usa esa misma letra en otros problemas y su valor
va variando.
Aqu algunos ejemplos:
Signos y smbolos
Expresin
Uso
Adems de expresar adicin tambin es usada
+
para expresar operaciones binarias
cok
Expresan trminos constantes
Primeras letras del
abecedario
Se utilizan para expresar cantidades conocidas
a, b, c,...
ltimas letras del
abecedario
Se utilizan para expresar incgnitas
..., x, y, z
n
Expresa cualquier nmero (1,2,3,4,...,n)
Exponentes
y
Expresar cantidades de la misma especie, de
subndices
diferente magnitud.

Simbologa de Conjuntos14
Smbolo
Descripcin
{}
conjunto
Es un elemento del conjunto o pertenece al

conjunto.
No es un elemento del conjunto o no pertenece

al conjunto.

Tal que.
n (C)
Cardinalidad del conjunto C.
U
Conjunto Universo.

Conjunto Vaco.

Subconjunto de.

Subconjunto propio de.

No es subconjunto propio de.

>
Mayor que.
<
Menor que.

Mayor o igual que.

Menor o igual que.

Interseccin de conjuntos.

Unin de Conjuntos.
A'
Complemento del conjunto A.
=
Smbolo de igualdad.

No es igual a.
...
El conjunto contina.

Si y slo si.

(en
algunos
No, negacin lgica (es falso que).
ocasiones )

Lenguaje algebraico

Lenguaje algebraico14
Lenguaje comn

Lenguaje
algebraico
m
m+7
f-q
2x + 5
x/(x-1)
d/2
y^2
(b+c)/2

Un nmero cualquiera.
Un nmero cualquiera aumentado en siete.
La diferencia de dos nmeros cualesquiera.
El doble de un nmero excedido en cinco.
La divisin de un nmero entero entre su antecesor
La mitad de un nmero.
El cuadrado de un nmero
La semisuma de dos nmeros
Las dos terceras partes de un nmero disminuidos en
2/3 (x-5) = 12
cinco es igual a 12.
x, x + 1, x +
Tres nmeros naturales consecutivos.
2.
La parte mayor de 1200, si la menor es w
1200 - w
El cuadrado de un nmero aumentado en siete.
b2 + 7
Las tres quintas partes de un nmero ms la mitad de 3/5 p + 1/2
su consecutivo equivalen a tres.
(p+1) = 3
El producto de un nmero con su antecesor equivalen ax(x-1) = 30

30.
El cubo de un nmero ms el triple del cuadrado de 3
x + 3x2
dicho nmero.