lgebra, rama de las matemticas en la que se usan letras para representar relaciones

aritmticas. Al igual que en la aritmtica, las operaciones fundamentales del lgebra son adicin,
sustraccin, multiplicacin, divisin y clculo de races. La aritmtica, sin embargo, no es capaz
de generalizar las relaciones matemticas, como el teorema de Pitgoras, que dice que en un
tringulo rectngulo el rea del cuadrado de lado la ipotenusa es igual a la suma de las reas
de los cuadrados de lado los catetos. La aritmtica slo da casos particulares de esta relacin
!por e"emplo, #, $ y %, ya que #
&
' $
&
( %
&
). *l lgebra, por el contrario, puede dar una
generalizacin que cumple las condiciones del teorema+ a
&
' b
&
( c
&
. ,n n-mero multiplicado por
s mismo se denomina cuadrado, y se representa con el superndice &. Por e"emplo, la notacin
de # . # es #
&
/ de la misma manera, a . a es igual que a
&
.
*l lgebra clsica, que se ocupa de resolver ecuaciones, utiliza smbolos en vez de n-meros
especficos y operaciones aritmticas para determinar cmo usar dicos smbolos. *l lgebra
moderna a evolucionado desde el lgebra clsica al poner ms atencin en las estructuras
matemticas. Los matemticos consideran al lgebra moderna como un con"unto de ob"etos con
reglas que los conectan o relacionan. As, en su forma ms general, una buena definicin de
lgebra es la que dice que el lgebra es el idioma de las matemticas.
Historia
La istoria del lgebra comenz en el antiguo *gipto y 0abilonia, donde fueron capaces de
resolver ecuaciones lineales !ax ( b) y cuadrticas !ax
&
' bx ( c), as como ecuaciones
indeterminadas como x
&
' y
&
( z
&
, con varias incgnitas. Los antiguos babilonios resolvan
cualquier ecuacin cuadrtica empleando esencialmente los mismos mtodos que oy se
ense1an. 2ambin fueron capaces de resolver algunas ecuaciones indeterminadas.
Los matemticos ale"andrinos 3ern y 4iofante continuaron con la tradicin de *gipto y
0abilonia, aunque el libro Las aritmticas de 4iofante es de bastante ms nivel y presenta
mucas soluciones sorprendentes para ecuaciones indeterminadas difciles. *sta antigua
sabidura sobre resolucin de ecuaciones encontr, a su vez, acogida en el mundo islmico, en
donde se le llam 5ciencia de reduccin y equilibrio6. !La palabra rabe al-jabru que significa
7reduccin8, es el origen de la palabra lgebra). *n el siglo 9:, el matemtico al;<=rizm/
escribi uno de los primeros libros rabes de lgebra, una presentacin sistemtica de la teora
fundamental de ecuaciones, con e"emplos y demostraciones incluidas. A finales del siglo 9:, el
matemtico egipcio Abu >amil enunci y demostr las leyes fundamentales e identidades del
lgebra, y resolvi problemas tan complicados como encontrar las x, y, z que cumplen
x ' y ' z ( ?@, x
&
' y
&
( z
&
, y xz ( y
&
.
*n las civilizaciones antiguas se escriban las eApresiones algebraicas utilizando abreviaturas
slo ocasionalmente/ sin embargo, en la edad media, los matemticos rabes fueron capaces de
describir cualquier potencia de la incgnita x, y desarrollaron el lgebra fundamental de los
polinomios, aunque sin usar los smbolos modernos. *ste lgebra inclua multiplicar, dividir y
eAtraer races cuadradas de polinomios, as como el conocimiento del teorema del binomio. *l
matemtico, poeta y astrnomo persa Bmar >ayyam mostr cmo eApresar las races de
ecuaciones c-bicas utilizando los segmentos obtenidos por interseccin de secciones cnicas,
aunque no fue capaz de encontrar una frmula para las races. La traduccin al latn del lgebra
de al;<=rizm fue publicada en el siglo :99. A principios del siglo :999, el matemtico italiano
Leonardo Cibonacci consigui encontrar una aproAimacin cercana a la solucin de la ecuacin
c-bica x
#
' &x
&
' cx ( d. Cibonacci aba via"ado a pases rabes, por lo que con seguridad
utiliz el mtodo arbigo de aproAimaciones sucesivas.
A principios del siglo :D9 los matemticos italianos Ecipione del Cerro, 2artaglia y Ferolamo
Gardano resolvieron la ecuacin c-bica general en funcin de las constantes que aparecen en la
ecuacin. Ludovico Cerrari, alumno de Gardano, pronto encontr la solucin eAacta para la
ecuacin de cuarto grado y, como consecuencia, ciertos matemticos de los siglos posteriores
intentaron encontrar la frmula de las races de las ecuaciones de quinto grado y superior. Ein
embargo, a principios del siglo :9: el matemtico noruego Hiels Abel y el francs Ivariste Falois
demostraron la ineAistencia de dica frmula.
,n avance importante en el lgebra fue la introduccin, en el siglo :D9, de smbolos para las
incgnitas y para las operaciones y potencias algebraicas. 4ebido a este avance, el Libro 999 de la
Geometra !?J#K), escrito por el matemtico y filsofo francs Len 4escartes se parece
bastante a un teAto moderno de lgebra. Ein embargo, la contribucin ms importante de
4escartes a las matemticas fue el descubrimiento de la geometra analtica, que reduce la
resolucin de problemas geomtricos a la resolucin de problemas algebraicos. Eu libro de
geometra contiene tambin los fundamentos de un curso de teora de ecuaciones, incluyendo lo
que el propio 4escartes llam la regla de los signos para contar el n-mero de races verdaderas
!positivas) y falsas !negativas) de una ecuacin. 4urante el siglo :D999 se continu traba"ando en
la teora de ecuaciones y en ?KMM el matemtico alemn Garl Criedric Fauss public la
demostracin de que toda ecuacin polinmica tiene al menos una raz en el plano comple"o
!vase H-mero+ Nmeros com!lejos).
*n los tiempos de Fauss, el lgebra aba entrado en su etapa moderna. *l foco de atencin se
traslad de las ecuaciones polinmicas al estudio de la estructura de sistemas matemticos
abstractos, cuyos aAiomas estaban basados en el comportamiento de ob"etos matemticos,
como los n-meros comple"os, que los matemticos aban encontrado al estudiar las ecuaciones
polinmicas. 4os e"emplos de dicos sistemas son los grupos y las cuaternas, que comparten
algunas de las propiedades de los sistemas numricos, aunque tambin difieren de ellos de
manera sustancial. Los grupos comenzaron como sistemas de permutaciones y combinaciones
!vase Gombinatoria) de las races de polinomios, pero evolucionaron para llegar a ser uno de
los ms importantes conceptos unificadores de las matemticas en el siglo :9:. Los matemticos
franceses Falois y Augustin Gaucy, el britnico Artur Gayley y los noruegos Hiels Abel y
Eopus Lie icieron importantes contribuciones a su estudio. Las cuaternas fueron descubiertas
por el matemtico y astrnomo irlands Nilliam Lo=an 3amilton, quien desarroll la aritmtica
de los n-meros comple"os para las cuaternas/ mientras que los n-meros comple"os son de la
forma a ' bi, las cuaternas son de la forma a ' bi ' cj ' d".
4espus del descubrimiento de 3amilton el matemtico alemn 3ermann Frassmann empez a
investigar los vectores. A pesar de su carcter abstracto, el fsico estadounidense <. N. Fibbs
encontr en el lgebra vectorial un sistema de gran utilidad para los fsicos, del mismo modo que
3amilton aba eco con las cuaternas. La amplia influencia de este enfoque abstracto llev a
Feorge 0oole a escribir #nvestigaci$n sobre las leyes del !ensamiento !?O%$), un tratamiento
algebraico de la lgica bsica. 4esde entonces, el lgebra moderna Ptambin llamada lgebra
abstractaP a seguido evolucionando/ se an obtenido resultados importantes y se le an
encontrado aplicaciones en todas las ramas de las matemticas y en mucas otras ciencias.
Smbolos y trminos especficos
*ntre los smbolos algebraicos se encuentran n-meros, letras y signos que representan las
diversas operaciones aritmticas. Los n-meros son, por supuesto, constantes, pero las letras
pueden representar tanto constantes como variables. Las primeras letras del alfabeto se usan
para representar constantes y las -ltimas para variables.
%!eraciones y agru!aci$n de smbolos
La agrupacin de los smbolos algebraicos y la secuencia de las operaciones aritmticas se basa
en los smbolos de agrupacin, que garantizan la claridad de lectura del lengua"e algebraico.
*ntre los smbolos de agrupacin se encuentran los parntesis ! ), corcetes Q R, llaves S T y rayas
orizontales Ptambin llamadas vnculosP que suelen usarse para representar la divisin y las
races, como en el siguiente e"emplo+
Los smbolos de las operaciones bsicas son bien conocidos de la aritmtica+ adicin !'),
sustraccin !;), multiplicacin !.) y divisin !+). *n el caso de la multiplicacin, el signo 7.8
normalmente se omite o se sustituye por un punto, como en a U b. ,n grupo de smbolos
contiguos, como abc, representa el producto de a, b y c. La divisin se indica normalmente
mediante rayas orizontales. ,na raya oblicua, o virgulilla, tambin se usa para separar el
numerador, a la izquierda de la raya, del denominador, a la dereca, en las fracciones. 3ay que
tener cuidado de agrupar los trminos apropiadamente. Por e"emplo, ax ' b&c ; dy indica que ax
y dy son trminos separados, lo mismo que b&c, mientras que !ax ' b)V!c ; dy) representa la
fraccin+
'rioridad de las o!eraciones
Primero se acen las multiplicaciones, despus las divisiones, seguidas de las sumas y las
restas. Los smbolos de agrupacin indican el orden en que se an de realizar las operaciones+
se acen primero todas las operaciones dentro de un mismo grupo, comenzando por el ms
interno. Por e"emplo+
%tras de(iniciones
Gualquier eApresin que incluya la relacin de igualdad !() se llama ecuaci$n. ,na ecuacin se
denomina identidad si la igualdad se cumple para cualquier valor de las variables/ si la ecuacin
se cumple para ciertos valores de las variables pero no para otros, la ecuacin es condicional. ,n
trmino es una eApresin algebraica que slo contiene productos de constantes y variables/ &x, ;
a, s
)
x, x
&
!&zy)
#
son algunos e"emplos de trminos. La parte numrica de un trmino se
denomina coe(iciente. Los coeficientes de cada uno de los e"emplos anteriores son &, ;?, y O !el
-ltimo trmino se puede escribir como Ox
&
!zy)
#
).
,na eApresin que contiene un solo trmino se denomina monomio, dos trminos, binomio y tres
trminos, trinomio. ,n !olinomio es una suma !o diferencia) finita de trminos. Por e"emplo, un
polinomio de n;simo grado en su forma general se eApresa como+
*n este conteAto, el grado es el mayor eAponente de las variables en un polinomio. Por e"emplo,
si el mayor eAponente de la variable es #, como en ax
#
' bx
&
' cx, el polinomio es de tercer
grado. 4el mismo modo, la eApresin x
n
' x
n;?
' x
n;&
es de n;simo grado.
,na ecuaci$n lineal en una variable es una ecuacin polinmica de primer grado, es decir, una
ecuacin de la forma ax ' b ( @. Ee les llama ecuaciones lineales porque representan la frmula
de una lnea recta en la geometra analtica.
,na ecuaci$n cuadrtica en una variable es una ecuacin polinmica de segundo grado, es
decir, de la forma ax
&
' bx ' c ( @.
,n nmero !rimo es un entero !n-mero natural) que slo se puede dividir eAactamente por s
mismo y por ?. As, &, #, %, K, ?? y ?# son todos n-meros primos.
Las !otencias de un n-mero se obtienen mediante sucesivas multiplicaciones del n-mero por s
mismo. *l trmino a elevado a la tercera potencia, por e"emplo, se puede eApresar como a*a*a o
a
#
.
Los (actores !rimos de un cierto n-mero son aquellos factores en los que ste se puede
descomponer de manera que el n-mero se puede eApresar slo como el producto de n-meros
primos y sus potencias. Por e"emplo, los factores primos de ?% son # y %. 4el mismo modo, como
J@ ( &
&
. # . %, los factores primos de J@ son &, # y %.
Operaciones con polinomios
Al acer operaciones con polinomios, se asume que se cumplen las mismas propiedades que
para la aritmtica numrica. *n aritmtica, los n-meros usados son el con"unto de los n-meros
racionales. La aritmtica, por s sola, no puede ir ms le"os, pero el lgebra y la geometra
pueden incluir n-meros irracionales, como la raz cuadrada de & y n-meros comple"os. *l
con"unto de todos los n-meros racionales e irracionales constituye el con"unto de los n-meros
reales.
'ro!iedades de la adici$n
A?. La suma de dos n-meros reales a y b cualesquiera es otro n-mero real que se escribe a ' b.
Los n-meros reales son uniformes para las operaciones de adicin, sustraccin, multiplicacin y
divisin/ esto quiere decir que al realizar una de estas operaciones con n-meros reales el
resultado es otro n-mero real.
A&. Gualquiera que sea la forma en que se agrupan los trminos de la adicin, el resultado de la
suma es siempre el mismo+ !a ' b) ' c ( a ' !b ' c). *s la llamada !ro!iedad asociativa de la
adici$n.
A#. 4ado un n-mero real a cualquiera, eAiste el n-mero real cero !@) conocido como elemento
neutro de la adici$n, tal que a ' @ ( @ ' a ( a.
A$. 4ado un n-mero real a cualquiera, eAiste otro n-mero real !;a), llamado elemento simtrico
de a !o elemento recproco de la suma), tal que a ' !;a) ( @.
A%. Gualquiera que sea el orden en que se realiza la adicin, la suma es siempre la misma+
a ' b ( b ' a. *s la llamada !ro!iedad conmutativa de la adici$n.
Gualquier con"unto de n-meros que cumpla las cuatro primeras propiedades se dice que forma
un gru!o. Ei adems el con"unto cumple A%, se dice que es un grupo abeliano o conmutativo.
'ro!iedades de la multi!licaci$n
Para la multiplicacin se cumplen propiedades similares a las de la adicin. Ein embargo, ay
que prestar especial atencin a los elementos neutro y recproco, W# y W$.
W?. *l producto de dos n-meros reales a y b es otro n-mero real, que se escribe a*b o ab.
W&. Gualquiera que sea la forma de agrupar los trminos de la multiplicacin, el producto es
siempre el mismo+ !ab)c ( a!bc). *s la llamada !ro!iedad asociativa de la multi!licaci$n.
W#. 4ado un n-mero real a cualquiera, eAiste el n-mero real uno !?) llamado elemento neutro de
la multi!licaci$n, tal que a!?) ( ?!a) ( a.
W$. 4ado un n-mero real a distinto de cero, eAiste otro n-mero !a
;?
o ?Va), llamado elemento
inverso !o elemento recproco de la multiplicacin), para el que a!a
;?
) ( !a
;?
)a ( ?.
W%. Gualquiera que sea el orden en que se realiza la multiplicacin, el producto es siempre el
mismo+ ab ( ba. *s la llamada !ro!iedad conmutativa de la multi!licaci$n.
,n con"unto de elementos que cumpla estas cinco propiedades se dice que es un grupo
abeliano, o conmutativo, para la multiplicacin. *l con"unto de los n-meros reales, eAcluyendo el
cero Ppues la divisin por cero no est definidaP es un grupo conmutativo para la
multiplicacin.
'ro!iedad distributiva
Btra propiedad importante del con"unto de los n-meros reales relaciona la adicin y la
multiplicacin de la forma siguiente+
4?. a!b ' c) ( ab ' ac
4&. !b ' c)a ( ba ' ca
,n con"unto de elementos con una relacin de igualdad, en el que se definen dos operaciones
!como la adicin y la multiplicacin) que cumplan las propiedades de la adicin, A? a A%, las
propiedades de la multiplicacin, W? a W%, y la propiedad distributiva, 4? y 4&, constituye un
cuerpo conmutativo.
Multiplicacin de polinomios
*l siguiente e"emplo es el producto de un monomio por un binomio+
*ste mismo principio Pmultiplicar cada trmino del primer polinomio por cada uno del segundoP
se puede ampliar directamente a polinomios con cualquier n-mero de trminos. Por e"emplo, el
producto de un binomio y un trinomio se ace de la siguiente manera+
,na vez ecas estas operaciones, todos los trminos de un mismo grado se an de agrupar,
siempre que sea posible, para simplificar la eApresin+
Factorizacin de polinomios
4ada una eApresin algebraica complicada, resulta -til, por lo general, el descomponerla en un
producto de varios trminos ms sencillos. Por e"emplo, &x
#
' Ox
&
y se puede factorizar, o
reescribir, como &x
&
!x ' $y). *l encontrar los factores de un determinado polinomio puede ser
materia de simple inspeccin o se puede necesitar el uso de tanteos sucesivos. Giertos
polinomios, sin embargo, no se pueden factorizar utilizando coeficientes reales y son llamados
!olinomios !rimos.
Algunas factorizaciones conocidas aparecen en los e"emplos siguientes.


Para factorizar suele ser -til agrupar primero/ aquellos trminos que sean similares se agrupan
como en el siguiente e"emplo, cuando sea posible+
Mximo comn di!isor
4ado un polinomio, suele ser importante determinar el mayor factor com-n a todos los trminos
del polinomio. Por e"emplo, en la eApresin Mx
#
' ?Ox
&
, el n-mero M es un factor de ambos
trminos, lo mismo que x
&
. 2ras su factorizacin se obtiene Mx
&
!x ' &), y Mx
&
es el mAimo com-n
divisor de todos los trminos del polinomio original !en este caso un binomio). 4e la misma
manera, en el trinomio Ja
&
x
#
' Mabx ' ?%cx
&
, el n-mero # es el mayor subm-ltiplo com-n a J, M y
?%, y x es el mayor factor de la variable com-n a los tres trminos. Por tanto, el mAimo com-n
divisor del trinomio es #x.
Mnimo comn mltiplo
*ncontrar el mnimo com-n m-ltiplo es -til para poder acer ciertas operaciones con fracciones
algebraicas. *l procedimiento es similar al usado para realizar estas operaciones con fracciones
ordinarias en aritmtica. Para poder combinar dos o ms fracciones, los denominadores deben
ser iguales/ la forma ms directa de obtener un denominador com-n es multiplicar todos los
denominadores entre s. Por e"emplo+
Pero puede ocurrir que bd no sea el mnimo com-n denominador. Por e"emplo+
Ein embargo, ?O es slo uno de los posibles denominadores comunes/ el mnimo com-n
denominador es J+
*n lgebra, el problema de encontrar el mnimo com-n m-ltiplo es similar. 4adas varias
eApresiones, su mnimo com-n m-ltiplo es aquella eApresin con el menor grado y los menores
coeficientes que se puede dividir eAactamente por cada una de ellas. As, para encontrar un
m-ltiplo com-n a los trminos &x
&
y, #@x
&
y
&
, May
#
, basta con multiplicar las tres eApresiones entre
s y es fcil demostrar que !&x
&
y)!#@x
&
y
&
)!May
#
) se puede dividir eAactamente por cada uno de los
tres trminos/ sin embargo, ste no es el menor de los m-ltiplos comunes. Para determinar cul
es el mnimo, cada uno de los trminos se a de descomponer en sus factores primos. Para los
coeficientes numricos, &, #@ y M, los factores primos son &, &U#U% y #U# respectivamente/ el
mnimo com-n m-ltiplo de los coeficientes debe ser por tanto &U#U#U%, o M@, que es el producto de
la mnima cantidad de factores necesaria para obtener un m-ltiplo com-n. 4e la misma manera,
como la constante a slo aparece una vez, debe ser un factor. *n cuanto a las variables, se
necesitan x
&
e y
#
/ por tanto, el mnimo com-n m-ltiplo de los tres trminos es M@ax
&
y
#
. *sta
eApresin se puede dividir eAactamente por cada uno de los trminos.
"esolucin de ecuaciones
4ada una ecuacin, el lgebra se ocupa de encontrar sus soluciones siguiendo el concepto
general de identidad a ( a. Eiempre que se apliquen las mismas operaciones aritmticas o
algebraicas en ambos lados de la ecuacin la igualdad se mantiene inalterada. La estrategia
bsica es despe"ar la incgnita en un lado de la igualdad y la solucin ser el otro lado. Por
e"emplo, para resolver la siguiente ecuacin lineal con una incgnita
los trminos que contienen la variable se despe"an en un lado y las constantes en el otro. *l
trmino #x se puede eliminar del lado dereco mediante sustraccin/ #x se a de restar del lado
izquierdo al mismo tiempo+
4espus se resta el n-mero J de ambos lados+
Para despe"ar la x en el lado izquierdo se dividen ambos lados de la ecuacin por &+
y la solucin es por tanto+ x ( #. Para comprobar este resultado basta con sustituir el valor x ( #
en la ecuacin original+
+esoluci$n de ecuaciones cuadrticas
4ada una ecuacin de segundo grado o cuadrtica en su forma general+
ay diversas posibilidades para resolverla dependiendo de la naturaleza especfica de la
ecuacin en cuestin. Ei la ecuacin se puede factorizar, la solucin es inmediata. Por e"emplo+
Primero se escribe la ecuacin en su forma general
que se puede factorizar como+
La igualdad slo se cumple cuando uno de los factores es cero, es decir, cuando x ( % o x ( ;&.
Istas son las soluciones de la ecuacin, que de nuevo se pueden verificar mediante sustitucin.
Ei a primera vista no se encuentra un modo directo de factorizar la ecuacin, puede eAistir otra
alternativa. Por e"emplo, en la ecuacin
la eApresin $x
&
' ?&x se podra factorizar como un cuadrado perfecto si fuera $x
&
' ?&x ' M,
que equivale a !&x ' #)
&
. *sto se puede conseguir fcilmente sumando M al lado izquierdo de la
ecuacin. La misma cantidad debe sumarse, por supuesto, al lado dereco+
que se reduce a
o
y
pues tiene dos valores. La primera ecuacin da la solucin x ( !restando # de ambos lados+
&x ( ?, y dividiendo ambos lados por &+ x ( ). La segunda ecuacin da x ( ;KV&. Ambas
soluciones se pueden verificar como antes, sustituyendo los valores en cuestin en la ecuacin
original. *sta forma de resolucin se suele denominar mtodo del cuadrado perfecto.
*n general, cualquier ecuacin cuadrtica de la forma
se puede resolver utilizando la ($rmula cuadrtica. Para cualquier ecuacin de este tipo las dos
soluciones de x estn dadas por la frmula+
Por e"emplo, para encontrar las races de
primero se pone la ecuacin en su forma general+
Por tanto, a ( ?, b ( ;$ y c ( #. *stos valores se sustituyen en la frmula cuadrtica+
,istemas de ecuaciones
*n lgebra, lo normal es que aya que resolver no una sino varias ecuaciones al mismo tiempo.
*l problema es encontrar el con"unto de todas las soluciones que cumplen todas las ecuaciones
simultneamente. *l con"unto de ecuaciones que deben resolverse se denomina sistema de
ecuaciones y para resolverlo se pueden usar tcnicas especficas del lgebra. Por e"emplo,
dadas las dos ecuaciones lineales con dos incgnitas
ay un sistema sencillo+ la variable y se despe"a en la ecuacin !&) dando y ( % ; &x- este valor
de y se sustituye en la ecuacin !?)+
As el problema se reduce a una ecuacin lineal con una sola incgnita x, obtenindose
o
de donde
Ei este valor se sustituye en cualquiera de las ecuaciones originales !?) o !&), se obtiene que
Btro mtodo ms rpido para resolver un sistema de ecuaciones es, en este caso, multiplicar
ambos lados de la ecuacin !&) por $, con lo que queda+
Ei aora se resta la ecuacin !?) de la !&), entonces %x ( ?@, o x ( &. *ste procedimiento genera
otro avance en las matemticas, las matrices. La teora de matrices nos ayuda a obtener
soluciones para cualquier con"unto de ecuaciones lineales con cualquier n-mero de incgnitas.
#$O"%& '$ M&#"()$S * +,$-"& +(.$&+
Lamas de las matemticas, relacionadas entre s, que son erramientas fundamentales en las
matemticas puras y aplicadas, y cada vez ms importantes en las ciencias fsicas, biolgicas y
sociales.
#eora de matrices
,na matriz es una tabla rectangular de n-meros o elementos de un anillo !vase Xlgebra). ,na
de las principales aplicaciones de las matrices es la representacin de sistemas de ecuaciones
de primer grado con varias incgnitas. Gada fila de la matriz representa una ecuacin, siendo los
valores de una fila los coeficientes de las distintas variables de la ecuacin, en determinado
orden.
,na matriz se representa normalmente entre parntesis o corcetes+
*n las matrices anteriores, a, b y c son n-meros cualesquiera. Para delimitar la matriz, en vez de
corcetes, se pueden utilizar tambin dos rectas paralelas a cada lado. Las lneas orizontales,
denominadas filas, se numeran de arriba a aba"o/ las lneas verticales, o columnas, se numeran
de izquierda a dereca. ,tilizando esta notacin, el elemento de la segunda fila y tercera
columna de W
?
es ;?. ,na fila o columna genrica se denomina lnea.
*l tama1o de una matriz est dado por el n-mero de filas y el de columnas en este orden, as .
?
,
.
&
, .
#
y .
$
son de tama1o # . # !# por #), # . #, # . & y & . # respectivamente. Los elementos
de una matriz general de tama1o m . n se representan normalmente utilizando un doble
subndice/ el primer subndice, i, indica el n-mero de fila y el segundo, j, el n-mero de columna.
As pues, el elemento a
&#
est en la segunda fila, tercera columna. La matriz general
se puede representar de forma abreviada como / ( !a
ij
), en donde los posibles valores de los
ndices i ( ?, &, Y, m y j ( ?, &, Y, n se an de dar eAplcitamente si no se sobrentienden. Ei m (
n, la matriz es cuadrada y el n-mero de filas !o columnas) es el orden de la matriz. 4os matrices
/ ( !a
ij
) y 0 ( !b
ij
), son iguales si y slo si son de igual tama1o y si para todo i y j, a
ij
( b
ij
. Ei / (
!a
ij
) es una matriz cuadrada, los elementos a
??
, a
&&
, a
##
, Y forman la diagonal principal de la
matriz. La matriz traspuesta /
0
de una matriz / es otra matriz en la cual la fila i es la columna i
de /, y la columna j es la fila j de /. Por e"emplo, tomando la matriz .
1
anterior,
es la matriz traspuesta de .
1
.
La adicin y la multiplicacin de matrices estn definidas de manera que ciertos con"untos de
matrices forman sistemas algebraicos. Gonsideremos los elementos de las matrices n-meros
reales cualesquiera, aunque se podran tomar elementos de cualquier otro cuerpo o anillo. La
matriz cero es aqulla en la que todos los elementos son @/ la matriz identidad #
m
de orden m, es
una matriz cuadrada de orden m en la cual todos los elementos son cero eAcepto los de la
diagonal principal, que son ?. *l orden de la matriz identidad se puede omitir si se sobrentiende
con el resto de la eApresin, con lo que #
m
se escribe simplemente #.
La suma de dos matrices slo est definida si ambas tienen el mismo tama1o. Ei / ( !a
ij
) y 2 (
!b
ij
) tienen igual tama1o, entonces la suma 3 ( / ' 2 se define como la matriz !c
ij
), en la que c
ij
(
a
ij
' b
ij
, es decir, para sumar dos matrices de igual tama1o basta con sumar los elementos
correspondientes. As, para las matrices mencionadas anteriormente
*l con"unto de todas las matrices de un determinado tama1o tiene las propiedades uniforme,
asociativa y conmutativa de la adicin. Adems ay una matriz -nica % tal que para cualquier
matriz /, se cumple / ' % ( % ' / ( / y una matriz -nica 2 tal que / ' 2 ( 2 ' / ( %.
*l producto /2 de dos matrices, / y 2, est definido slo si el n-mero de columnas del factor
izquierdo, / es igual al n-mero de filas del factor dereco, 2- si / ( !a
ij
) es de tama1o m . n y 2
( !b
j"
) es de tama1o n . !, el producto /2 ( 3 ( !c
i"
) es de tama1o m . !, y c
i"
est dado por
es decir, el elemento de la fila i y la columna " del producto es la suma de los productos de cada
uno de los elementos de la fila i del factor izquierdo multiplicado por el correspondiente elemento
de la columna " del factor dereco.
lgebra lineal
*l concepto geomtrico de vector como segmento rectilneo de longitud, direccin y sentido
dados, puede generalizarse como se muestra a continuacin. ,n n;vector !vector n;dimensional,
vector de orden n o vector de longitud n) es un con"unto ordenado de n elementos de un cuerpo.
Al igual que en la teora de matrices, los elementos de un vector pueden ser n-meros reales. ,n
n;vector ! se representa como
v ( !x
?
, x
&
, Y, x
n
)
Las lneas de una matriz son vectores+ las orizontales son vectores fila y las verticales vectores
columna. Las x se denominan componentes del vector.
La suma de vectores !de igual longitud) y la multiplicacin por un escalar se definen de igual
manera que para las matrices, y cumplen las mismas propiedades. Ei
w ( !y
?
, y
&
, Y, y
n
)
y " es un escalar !n-mero real), entonces
v ' w ( !x
?
' y
?
, x
&
' y
&
, Y, x
n
' y
n
)
y
kv ( !"x
?
, "x
&
, Y, "x
n
)
Ei "
?
, "
&
, Y, "
m
son escalares, y v
?
, v
&
, Y, v
m
son n;vectores, el n;vector
v ( "
?
v
?
' "
&
v
&
' Y ' "
m
v
m
se denomina combinacin lineal de los vectores v
?
, v
&
, Y, v
m
. Los m n;vectores son linealmente
independientes si la -nica combinacin lineal igual al n;vector cero, / ( !@,@, Y, @), es aqulla en
que "
?
( "
&
( Y ( "
m
( @. Ei eAiste otra combinacin lineal que cumple esto, los vectores son
linealmente dependientes. Por e"emplo, si v
?
( !@, ?, &, #), v
&
( !?, &, #, $), v
#
( !&, &, $, $) y v
$
(
!#, $, K, O), entonces v
?
, v
&
y v
#
son linealmente independientes, pues "
?
v
?
' "
&
v
&
' "
#
v
#
( @ si y
slo si "
?
( "
&
( "
#
( @/ v
&
, v
#
y v
$
son linealmente dependientes pues v
&
' v
#
; v
$
( @. Ei / es una
matriz de rango r, entonces al menos un con"unto de r vectores fila o columna es un con"unto
linealmente independiente, y todo con"unto con ms de r vectores fila o columna es un con"unto
linealmente dependiente.
,n espacio vectorial V es un con"unto no vaco de vectores !vase 2eora de con"untos) que
cumple las siguientes propiedades+ !?) si v V y w V, entonces !v ' w) V, y !&) si v V y " es
un escalar cualquiera, entonces "v V. Ei , ( Sv
i
T es un con"unto de vectores, todos ellos de la
misma longitud, todas las combinaciones lineales de los vectores v forman un espacio vectorial
V. Ee dice que este espacio vectorial es generado por los v. Ei el con"unto 2 ( Sw
?
T genera el
mismo espacio vectorial V, y est formado por vectores linealmente independientes, se dice que
2 es una base de V. Ei una base de V contiene m vectores, entonces toda base de V contiene
eAactamente m vectores, y se dice que 0 es un espacio vectorial de dimensin m. Los espacios
eucldeos de dos y tres dimensiones se pueden representar por pare"as y tros ordenados de
n-meros reales. Las matrices se pueden utilizar para describir transformaciones lineales de un
espacio vectorial a otro.