lgebra

1
lgebra
Al Juarismi (siglo IX d.C.), considerado uno de
los padres del 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 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. Puede
considerarse al lgebra como el arte de hacer clculos del
mismo modo que en aritmtica, pero con objetos
matemticos no-numricos.
[5]
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
2
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, 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.300a.C.
lgebra
3
Arithmetica; escrito por Diofanto alrededor de 280.
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. Los matemticos
helnicos Hern de Alejandra y Diofanto
[6]
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.
[7]
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 (sigloIIId.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.
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.
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,
lgebra
4
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.
[8]
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.
[9]
Los signos empleados en lgebra son tres clases: Signos de operacin,
signos de relacin y signos de agrupacin.
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.
lgebra
5
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
c o k Expresan trminos constantes
Primeras letras del
abecedario
a, b, c,...
Se utilizan para expresar cantidades conocidas
ltimas letras del abecedario
..., x, y, z
Se utilizan para expresar incgnitas
n Expresa cualquier nmero (1,2,3,4,...,n)
Exponentes y subndices Expresar cantidades de la misma especie, de diferente magnitud.
Simbologa de Conjuntos
[10]
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.
lgebra
6
Si y slo si.
(en algunos ocasiones ) No, negacin lgica (es falso que).
Y
O
Lenguaje algebraico
Lenguaje algebraico
Lenguaje comn Lenguaje 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 es igual a 12. 2/3 (x-5) = 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.
b
2
+ 7
Las tres quintas partes de un nmero ms la mitad de su consecutivo equivalen a tres. 3/5 p + 1/2 (p+1) = 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 nmero.
x
3
+ 3x
2
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:
lgebra
7
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
Referencias
[1] Federico Corriente (1991): Diccionario rabe-Espaol, Ed. Herder, ISBN 84-254-1763-5
[2] The 1911 Classic Encyclopedia, Algebra (http:/ / www. 1911encyclopedia. org/ Algebra), .
[3] Diccionario de la Real Academia Espaola, lgebra (http:/ / lema. rae. es/ drae/ ?val=lgebra).
[4] Aurelio Baldor, lgebra, pp. 5-6.
[5] C.B. Boyer, 1991, Europe in the Middle Ages, p. 258.
[6] Diophantus, Father of Algebra (http:/ / library. thinkquest. org/ 25672/ diiophan. htm)
[7] History of Algebra (http:/ / www. algebra. com/ algebra/ about/ history/ )
[8] " The Origins of Abstract Algebra (http:/ / www. math. hawaii. edu/ ~lee/ algebra/ history. html)". University of Hawaii Mathematics
Department.
[9] lgebra Aurelio Baldor (2003)
[10] lgebra Arturo Aguilar (2009)
Bibliografa
Aguliar, A., Bravo, F. V., Gallegos, H. A., Cern, M., & Reyes, R. (2009). lgebra. Mxico, D. F.: Prentice Hall.
Baldor, A. (2007). lgebra. Mxico, D. F.: Grupo Editorial Patria.
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre lgebra. Commons
Wikiquote alberga frases clebres de o sobre lgebra. Wikiquote
Wikcionario tiene definiciones y otra informacin sobre lgebra.Wikcionario
Wikiversidad alberga proyectos de aprendizaje sobre lgebra.Wikiversidad
Fuentes y contribuyentes del artculo
8
Fuentes y contribuyentes del artculo
lgebra Fuente: http://es.wikipedia.org/w/index.php?oldid=74308056 Contribuyentes: Acne12345, Acratta, Adrruiz, Agguizar, Airunp, Akhram, AleMC, Alelapenya, Aleposta,
AlfonsoERomero, Alinero, Allforrous, Alondra ximena, Amads, Anarbati, Andre Engels, Andreasmperu, Andriuja, Angel GN, Antonorsi, Antur, Arcibel, Ariel ulloa, Ascnder, Atalanta86,
Aipni-Lovrij, B1mbo, Balderai, Banfield, Bcoto, BlackBeast, Boatbadly, Bucho, BuenaGente, CTS YY, Camilo, Cantero, Carliitaeliza, Carlosvaldepeas, Cheveri, Chocopija, Chumbi1233,
Cobalttempest, Correogsk, Ctrl Z, Daguao stop copying, Dangelin5, Dani1407, Daniel ASA, DanielithoMoya, David0811, Davius, DavosMat, Diegusjaimes, Digigalos, Dodo, Dorieo, Dossier2,
Draxtreme, Dreitmen, Edmenb, Eduardonajarro, Eduardosalg, Ejmeza, Elimedina, Ellinik, Emiduronte, Emijrp, Ernesto Alejandro Lpez Alvarez, Erodrigufer, Escudero, Especiales, Esque13,
Eufrosine, FCPB, Fabscr, Faelomx, FedericoMP, Ferdinand, Fmariluis, Foundling, FrancoGG, GNM, Gagax, Gaijin, Galandil, Ganmedes, Gengiskanhg, GermanX, Ggalancs, Ggenellina,
Gmagno, Greek, Guapote69rafa, Gusgus, HUB, Halcn, Halfdrag, Helmy oved, Hugo Mosh, Humberto, Igna, Ignacio Icke, Ignacioerrico, Ingenioso Hidalgo, Investigadoreswtt009, IrwinSantos,
Isha, Izmir2, J.M.Domingo, J.delanoy, JMCC1, Jarisleif, Javierito92, Jcaraballo, Jerowiki, Jkbw, Joaquin Jimenez Godoy, Jorge 2701, Jorge c2010, JorgeGG, Jorgechp, Joseaperez, Joselarrucea,
Jos Antonio Otero, Juanantonioruz, Jugones55, Kathyalicona, Kismalac, Kojie, Kved, Lagalag, Lak-lukor, Laura Fiorucci, Lauranrg, Lcsrns, Lema, Leonpolanco, Lfgg2608, Llull, Lourdes
Cardenal, Lucien leGrey, LumenLumen, MARC912374, Mafanufuelfe, Magister Mathematicae, Mahadeva, Mansoncc, Mar del Sur, MarcoAurelio, Marvelshine, Masashi Kishi, Masterofwild,
Matdrodes, Mecamtico, Mega-buses, Mel 23, Moriel, Muelles, Mumirico, Muro de Aguas, NARECASA, NaSz, Nachosan, Netito777, NicolasAlejandro, Nicop, Nsimean, Oquitzin azcatl,
Pabloallo, Paintman, Pan con queso, PasabaPorAqui, Pececito, Pekeo humano, Pepito leches, Petruss, PhJ, Poco a poco, Plux, Quijav, Raulshc, Rayulian, Relleu, Rigenea, Rodrigoq, Roger de
Lauria, Roinpa, Romanovich, Romero Schmidtke, Rosa del desierto, Rosarino, Rovnet, RoyFocker, Rubpe19, Ruy Pugliesi, Rge, Sabbut, Saposabio, Savh, Sebrev, Shooke, Soulreaper,
Spirit-Black-Wikipedista, SuperBraulio13, SuperJoe, Supernaturalist, Superzerocool, Tano4595, Tartaglia, Technopat, TeleMania, Tirithel, Tista, Tomatejc, Tostadora, UA31, Unf, Valentin
estevanez navarro, Vandal Crusher, Veon, Vic Fede, Vitamine, Vivero, Wewe, Wikisilki, Wilfredor, Xabier, Yix, Yrithinnd, Zanaqo, Zeval, rico Jnior Wouters, scar Becerril, 909 ediciones
annimas
Fuentes de imagen, Licencias y contribuyentes
Archivo:Abu Abdullah Muhammad bin Musa al-Khwarizmi edit.png Fuente:
http://es.wikipedia.org/w/index.php?title=Archivo:Abu_Abdullah_Muhammad_bin_Musa_al-Khwarizmi_edit.png Licencia: Public Domain Contribuyentes: Mattes, MisterSanderson, Officer,
OsamaK, Rdiger Wlk, Yakiv Gluck, Zhuyifei1999, ZxxZxxZ
Archivo:Image-Al-Kitb al-mutaar f isb al-abr wa-l-muqbala.jpg Fuente:
http://es.wikipedia.org/w/index.php?title=Archivo:Image-Al-Kitb_al-mutaar_f_isb_al-abr_wa-l-muqbala.jpg Licencia: Public Domain Contribuyentes: Mo7amedsalim, Polarlys, Sad
Edgar, Spm, ZxxZxxZ, 15 ediciones annimas
Archivo:Egyptian A'h-mos or Rhind Papyrus (1065x1330).png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Egyptian_A'h-mos_or_Rhind_Papyrus_(1065x1330).png
Licencia: Public Domain Contribuyentes: Anarkman, G.dallorto, GeorgHH, JMCC1, Luestling, Mdd, Otso Huuska, 5 ediciones annimas
Archivo: .gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo: .gif Licencia: Public Domain Contribuyentes: Original uploader was HELLO, WORLD! at
en.wikipedia
Archivo:Title page of Sir Henry Billingsley's first English version of Euclid's Elements, 1570 (560x900).jpg Fuente:
http://es.wikipedia.org/w/index.php?title=Archivo:Title_page_of_Sir_Henry_Billingsley's_first_English_version_of_Euclid's_Elements,_1570_(560x900).jpg Licencia: Public Domain
Contribuyentes: Charles Thomas-Stanford
Archivo:Diophantus-cover.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Diophantus-cover.jpg Licencia: Public Domain Contribuyentes: Christian1985, Khadkhall, Lord
Akryl, Mdd, Mu, Proteins, Schutz, 3 ediciones annimas
Archivo:Racine carre bleue.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Racine_carre_bleue.svg Licencia: GNU Lesser General Public License Contribuyentes:
historicair 17:50, 4 June 2007 (UTC)
Archivo:Yes check.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Yes_check.svg Licencia: Public Domain Contribuyentes: SVG by (modified by )
Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: Public Domain Contribuyentes: SVG version was created by User:Grunt
and cleaned up by 3247, based on the earlier PNG version, created by Reidab.
Archivo:Spanish Wikiquote.SVG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Spanish_Wikiquote.SVG Licencia: logo Contribuyentes: James.mcd.nz
Archivo:Wiktionary-logo-es.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wiktionary-logo-es.png Licencia: logo Contribuyentes: es:Usuario:Pybalo
Archivo:Wikiversity-logo-Snorky.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wikiversity-logo-Snorky.svg Licencia: desconocido Contribuyentes: -
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/