lgebra

(Redirigido desde Algebra)

Al Juarismi (siglo IX d.C.), considerado uno de los padres del lgebra.

Para otros usos de este trmino, vase lgebra sobre un cuerpo.

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.23 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.).

ndice
[ocultar]

1Introduccin
2Historia del lgebra
o 2.1El lgebra en la antigedad
o 2.2Influencia rabe
o 2.3Edad Moderna
o 2.4Siglo XIX
3Notacin algebraica
o 3.1Signos de operacin
o 3.2Signos de relacin
4Signos de agrupacin
5Signos y smbolos ms comunes
6Lenguaje algebraico
7Estructura algebraica
8Vase tambin
9Referencias
10Bibliografa
11Enlaces externos

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 al-
mukhtaar 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

Vase tambin: Historia de la matemtica

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.

Papiro de Ahmes; datado entre 2000 al 1800 a. C.

Las nueve lecciones del arte matemtico; compilado durante siglos II y I a. C.

 Elementos de Euclides, ca. 300 a. C.

Arithmetica; escrito por Diofantoalrededor de 280.

Vase tambin: Matemtica helnica

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
Vase tambin: Matemtica en el islam medieval

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, Adrien-Marie 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

Notacin matemtica de raz cuadrada de x.

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 subndices
Expresar cantidades de la misma especie, de
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 ocasiones

No, negacin lgica (es falso que).
)

Lenguaje algebraico
Lenguaje algebraico14

Lenguaje
Lenguaje comn
algebraico

Un nmero cualquiera. m

Un nmero cualquiera aumentado en siete. m+7

La diferencia de dos nmeros cualesquiera. f-q

El doble de un nmero excedido en cinco. 2x + 5

La divisin de un nmero entero entre su antecesor x/(x-1)

La mitad de un nmero. d/2

El cuadrado de un nmero y^2

La semisuma de dos nmeros (b+c)/2

 Las dos terceras partes de un nmero disminuidos en cinco
2/3 (x-5) = 12
es igual a 12.

Tres nmeros naturales consecutivos. x, x + 1, x + 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 su 3/5 p + 1/2 (p+1)

consecutivo equivalen a tres. =3

El producto de un nmero con su antecesor equivalen a 30. x(x-1) = 30

El cubo de un nmero ms el triple del cuadrado de dicho

x3 + 3x2
nmero.

Estructura algebraica
Artculo principal: Estructura algebraica

En matemticas, una estructura algebraica es un conjunto de elementos con

unas propiedades operacionales determinadas; es decir, lo que define a la estructura del
conjunto son las operaciones que se pueden realizar con los elementos de dicho conjunto
y las propiedades matemticas que dichas operaciones poseen. Un objeto matemtico
constituido por un conjunto no vaco y algunas leyes de composicin interna definida en l
es una estructura algebraica. Las estructuras algebraicas ms importantes son:
Estructura Ley interna Asociatividad Neutro Inverso Conmutatividad
Magma
Semigrupo
Monoide
Monoide abeliano
Grupo
Grupo abeliano

Estructura (A,+,) (A,+) (A,)

Semianillo Monoide abeliano Monoide
Anillo Grupo abeliano Semigrupo
Cuerpo Grupo abeliano Grupo abeliano

Mdulo
Espacio vectorial