Matriz

Una matriz es un arreglo bidimensional de nmeros

(llamados entradas de la matriz) ordenados en filas (o renglones)
y columnas, donde una fila es cada una de las lneas horizontales
de la matriz y una columna es cada una de las lneas verticales.
A una matriz con n filas y m columnas se le denomina matriz n -
por- m (escrito ) donde . El conjunto de las matrices de
tamao se representa como , donde es el campo al cual
pertenecen las entradas. El tamao de una matriz siempre se da
con el nmero de filas primero y el nmero de columnas despus.
Dos matrices se dice que son iguales si tienen el mismo tamao y
los mismos elementos en las mismas posiciones. A la entrada de
una matriz que se encuentra en la fila sima y la columna sima
se le llama entrada o entrada -simo de la matriz. En estas
expresiones tambin se consideran primero las filas y despus las
columnas.
Para definir el concepto de matriz, el trmino "arreglo
bidimensional" es til, aunque poco formal, pero puede
formalizarse usando el concepto de funcin. De este modo,
una matriz de n filas y m columnas con entradas en un campo es
una funcin cuyo dominio es el conjunto de los pares ordenados ,
donde y cuyo contradominio es . Con esta definicin, la
entrada es el valor de la funcin en el par ordenado .
Se denota a las matrices con letra mayscula, mientras que se
utiliza la correspondiente letra en minsculas para denotar a las
entradas de las mismas, con subndices que refieren al nmero de
fila y columna del elemento. 4Por ejemplo, al elemento de una
matriz de tamao que se encuentra en la fila sima y la
columna sima se le denota como , donde y .
Cuando se va a representar explcitamente una entrada la cul
est indexada con un o un con dos cifras se introduce una coma
entre el ndice de filas y de columnas. As por ejemplo, la
entrada que est en la primera fila y la segunda columna de la
matriz de tamao se representa como mientras que la entrada
que est en la fila nmero 23 y la columna 100 se representa
como .
Adems de utilizar letras maysculas para representar matrices,
numerosos autores representan a las matrices con fuentes en
negrita para distinguirlas de otros objetos matemticos ] As es
una matriz, mientras que es un escalar en esa notacin. Sin
embargo esta notacin generalmente se deja para libros y
publicaciones, donde es posible hacer esta distincin tipogrfica
con facilidad. En otras notaciones se considera que el contexto
es lo suficientemente claro como para no usar negritas.
Otra notacin, en s un abuso de notacin, representa a la matriz
por sus entradas, i.e. o incluso .
Como caso particular de matriz, se definen los vectores fila y
los vectores columna. Un vector fila o vector rengln es
cualquier matriz de tamao mientras que un vector columna es
cualquier matriz de tamao
A las matrices que tienen el mismo nmero de filas que de
columnas, , se les llama matrices cuadradas y el conjunto se
denota

Ejemplo:
Operaciones bsicas entre matrices
Las operaciones que se pueden hacer con matrices provienen de sus
aplicaciones, sobre todo de las aplicaciones en lgebra lineal.
De ese modo las operaciones, o su forma muy particular de ser
implementadas, no son nicas.

Suma o adicin

. Se define la operacin de suma o adicin de matrices como

una operacin binaria
Tal que
En el que la operacin de
K binaria
suma en la ltima expresin es la operacin
correspondiente pero en el campo . Por ejemplo, la entrada es
igual a la suma de los elementos lo cual es

A la luz de estos ejemplos es inmediato ver que dos matrices se

pueden sumar solamente si ambas tienen el mismo tamao. La suma
de matrices, en el caso de que las entradas estn en un campo,
poseen las propiedades de asociatividad, conmutatividad,
existencia de elemento neutro aditivo y existencia de inverso
aditivo. Esto es as ya que estas son propiedades de
los campos en los que estn las entradas de la matriz.
Propiedades de suma de matrices
ASOCIATIVA
(A+ B) +C =A+ (B+C)
COMUTATIVA

EXIXTENCIA DEL ELEMENTO NEUTRO ADITIVO

EXIXTENCIA DEL INVERSO ADITIVO

En efecto, estas propiedades dependen del conjunto en el que

estn las entradas, como se ha dicho antes, aunque en las
aplicaciones generalmente los campos usados son R (los nmeros
reales) y C (los nmeros complejos).
Por como se defini la operacin binaria adicin se dice que sta
operacin es una operacin interna por lo que se
cumple intrnsecamente la propiedad de que
es cerrado bajo adicin. Con stas propiedades se tiene que
es un grupo abeliano.

producto por un escalar

Se define la operacin de producto por
un
escalar
como una funcin
En donde la produccin es la operacin binaria correspondiente
pero en el campo K . Por ejemplo, la entrada es
igual al producto
Tambin es inmediato observar que el producto por un escalar da
como resultado una matriz del mismo tamao que la original.
Tambin el producto por un escalar depender de la estructura
algebraica en la que las entradas estn. En el caso de que estn
en un campo sern dos distributividades (una respecto de suma de
matrices y otra respecto de suma en el campo), asociatividad y
una propiedad concerniente al producto por el elemento neutro
multiplicativo del campo. A continuacin se presentan las
propiedades.
PROPIEDADES POR UN ESCALAR

s un campo entonces se
cumplen las siguientes propiedades para la operacin producto por
un escalar
ASOCIATVA

DISTRIBUTIVA RESPECTO A LA SUMA DE MATRICES

DISTRIBUTIVA RESPECTO A LA SUMA EN EL CAMPO

PRODUCTO POR EL NEUTRO MULTIPLICATIVO DEL CAMPO

Por como se defini la operacin de producto por escalares se

dice que es cerrado bajo producto por escalares. Con stas
propiedades y las de la adicin se tiene que es un espacio
vectorialcon las operaciones de suma y producto por escalares
definidas antes.
En el caso de que las entradas y los escalares no estn en
un campo sino en un anillo entonces no necesariamente existe el
neutro multiplicativo. En caso de que exista, con lo cual el
anillo es un anillo con uno, se dice que es un mdulo sobre .
PRODUCTOS DE MATRICES
El producto de matrices se define de una manera muy peculiar y
hasta caprichosa cuando no se conoce su origen. El origen
proviene del papel de las matrices como representaciones
de aplicaciones lineales. As el producto de matrices, como se
define, proviene de la composicin de aplicaciones lineales. En
este contexto, el tamao de la matriz corresponde con las
dimensiones de los espacios vectoriales entre los cuales se
establece la aplicacin lineal. De ese modo el producto de
matrices, representa la composicin de aplicaciones lineales.
En efecto, en ciertas bases tenemos que se puede representar
como donde es la representacin de un vector de en la base que
se ha elegido para en forma de vector columna. Si tenemos dos
aplicaciones lineales y entonces y , luego la aplicacin se
representar como donde es el producto de las representaciones
matriciales de . Ntese que la composicin no se puede dar entre
cualquier aplicacin sino entre aplicaciones que vayan de , en
particular debe de haber una relacin entre las dimensiones de
los espacios vectoriales. Una vez dicho esto podemos definir el
producto de la siguiente manera.
Sean . Se define el producto de matrices como una funcin tal
que y donde para toda , es decir . Por ejemplo, la entrada .
Veamos un ejemplo ms explcito. Sean

dnde la matriz producto es como habamos establecido en la

definicin: una matriz .
Sin tomar en cuenta la motivacin que viene desde las
aplicaciones lineales, es evidente ver que si ignoramos la
definicin de la funcin de producto de matrices y slo se toma
en cuenta la definicin de las entradas, el producto no estar
bien definido, ya que si no tiene el mismo nmero de columnas
que de filas entonces no podremos establecer en donde acaba la
suma: si la acabamos en el mayor de stos nmeros habr sumandos
que no estn definidos ya que una de las matrices no tendr ms
entradas, mientras que si tomamos el menor habr entradas de
alguna de las matrices que no se tomen en cuenta. As es
necesario que tenga el mismo nmero de columnas que de filas
para que exista.
Como se puede suponer tambin, las propiedades de sta operacin
sern ms limitadas en la generalidad ya que adems de las
limitaciones impuestas por la naturaleza de las entradas est
esta limitacin respecto a tamao. Es claro, adems, que el
producto de matrices no siempre es una operacin interna.
Propiedades del producto de matrices
Sean A,B,C, matrices con entradas en K, donde K es un campo,
entonces se cumplen las siguientes propiedades para el producto
de matrices (considerando que los productos existan)

El producto de matrices no es conmutativo, si lo fuera la

composicin de funciones lineales sera conmutativa y eso en
general no sucede. Obviamente existen casos particulares de
algunos tipos de matrices en los que si hay conmutatividad. En el
caso en que tengamos
tendremos que el producto entre matrices en tambin est en .
En ese caso adems de espacio vectorial es un lgebra sobre un
campo. En el caso de que el conjunto al que pertenecen las
entradas sea un anillo conmutativo con uno entonces adems de
mdulo es un lgebra sobre un anillo. Mas an con el producto
de matrices es un anillo.

RANGO DE UNA MATRIZ

La respuesta donde la matriz no es

nesesaramente un campo , es una matriz

Por ejemplo la entrada

Elemplo sea :

As, informalmente podramos decir que la traspuesta es aquella

matriz que se obtiene de la original cambiando filas por
columnas. Las notaciones usuales para denotar la traspuesta de
una matriz son .
La trasposicin de matrices tiene las siguientes propiedades
(donde ahora s el conjunto de entradas debe ser al menos un
anillo conmutativo)

representa una aplicacin lineal, entonces la

matriz describe la traspuesta de la aplicacin lineal.

Matrices cuadradas y definiciones relacionadas

Una matriz cuadrada es una matriz que tiene el mismo nmero de
filas que de columnas. El conjunto de todas las matrices
cuadradas n -por- n junto a la suma y la multiplicacin de
matrices, es un anillo que generalmente no es conmutativo.
M( n ,R), el anillo de las matrices cuadradas reales, es un lgebra
asociativa real unitaria. M( n ,C), el anillo de las matrices
cuadradas complejas, es un lgebra asociativa compleja.
La matriz identidad I n de orden n es la matriz n por n en la cual
todos los elementos de la diagonal principal son iguales a 1 y
todos los dems elementos son iguales a 0. La matriz identidad se
denomina as porque satisface las
ecuaciones MI n = M y I nN = N para cualquier
matriz M m por n y N n por k . Por ejemplo, si n = 3:
La matriz identidad es el elemento unitario en el anillo de
matrices cuadradas.
Los elementos invertibles de este anillo se llaman matrices
invertibles, regulares o no singulares. Una matriz A n por n es
invertible si y slo si existe una matriz B tal que AB = I
En este caso, B es la matriz inversa de A, identificada por A -1 .
El conjunto de todas las matrices invertibles n por n forma
un grupo (concretamente un grupo de Lie) bajo la multiplicacin
de matrices, el grupo lineal general.
Si es un nmero y v es un vector no nulo tal que Av = v,
entonces se dice que v es un vector propio de A y que es
su valor propio asociado. El nmero es un valor propio de A si
y slo si AI n no es invertible, lo que sucede si y slo
si p A() = 0, donde p A( x ) es el polinomio
caracterstico de A. p A( x ) es un polinomio de grado n y por lo
tanto, tiene n races complejas mltiples races si se cuentan de
acuerdo a su multiplicidad. Cada matriz cuadrada tiene como
mucho n valores propios complejos.
El determinante de una matriz cuadrada A es el producto de
sus n valores propios, pero tambin puede ser definida por
la frmula de Leibniz . Las matrices invertibles son precisamente
las matrices cuyo determinante es distinto de cero.
El algoritmo de eliminacin gaussiana puede ser usado para
calcular el determinante, el rango y la inversa de una matriz y
para resolver sistemas de ecuaciones lineales.
La traza de una matriz cuadrada es la suma de los elementos de la
diagonal, lo que equivale a la suma de sus n valores propios.
Una matriz de Vandermonde es una matriz cuadrada cuyas filas son
las potencias de un nmero. Su determinante es fcil de calcular.

Matriz Lgica
Una matriz lgica, matriz binaria, matriz de relacin, matriz
booleana o matriz (0,1) es una matriz con entradas del dominio
booleano B = {0, 1}. Tal matriz puede ser usada para representar
una relacin binaria entre un par de conjuntos finitos.

Representacin de una relacin matricial

Si R es una relacin binaria entre los finitos conjuntos
ordenados X e Y (tales que R X Y ), entonces R puede
representarse por la matriz lgica M cuyos ndices de fila y
columna ordenan los elementos de X e Y , respectivamente, tales
que las entradas de M se definen por:
Con el fin de designar los nmeros de cada fila y columna de la
matriz, los conjuntos X e Y estn ordenados con nmeros enteros
positivos: i va desde 1 hasta la cardinalidad (tamao)
de X y j oscila entre 1 y la cardinalidad de Y .

Ejemplo
La relacin binaria R en el conjunto {1, 2, 3, 4} se define de
manera que aRb se lleva a cabo si y slo
si a divide b uniformemente, sin resto. Por ejemplo, 2 R 4
satisface la relacin porque 2 divide 4 sin dejar un resto, pero
3 R 4 no porque cuando 3 divide 4 hay un resto de 1. El conjunto
siguiente es el conjunto de pares para los que se mantiene la
relacin R .
{(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}.
La representacin correspondiente como matriz booleana es:
Algunas Propiedades
La representacin matricial de la relacin de igualdad en un
conjunto finito es la matriz de identidad, es decir, una matriz
cuya diagonal principal es todo unos (1), mientras que el resto
de elementos son ceros(0). Si el dominio booleano es visto como
un semianillo, donde la suma corresponde al OR lgico y la
multiplicacin al AND lgico, la representacin matricial de
la composicin de dos relaciones es igual al producto de la
matrizde las representaciones matriciales de esta relacin. Este
producto se puede calcular en el tiempo esperado O(n2).
Frecuentemente, las operaciones en matrices binarias estn
definidas en trminos de la aritmtica modular mod 2, es decir,
los elementos se tratan como elementos del campo de Galois GF(2)
= 2. Surgen una variedad de representaciones y tienen un nmero
de formas especiales ms restringidas. Se aplican por ejemplo
en XOR-satisfacible (Ingls).
El nmero de matrices binarias m x n distintas es igual a 2 mn, y es,
por consiguiente, finito