Estructuras algebraicas En lgebra abstracta, una estructura algebraica, tambin conocida como sistema algebraico,1 es una n-tupla (a1,

a2, ..., an), donde a1 es un conjunto dado no vaco, y {a2, ..., an} un conjunto de operaciones aplicables a los elementos de dicho conjunto. Principales estructuras algebraicas[editar editar cdigo] Las estructuras algebraicas se clasifican segn las propiedades que cumplen las operaciones sobre el conjunto dado. En estructuras algebraicas ms elaboradas, se definen adems varias leyes de composicin.

Con una ley de composicin interna

Magma Semigrupo Cuasigrupo Monoide Grupo Grupo abeliano

Con dos leyes de composicin interna

Semianillo Anillo Pseudoanillo Cuerpo Retculo (orden)

Con leyes de composicin interna y externa

Dominio de integridad Mdulo Espacio vectorial lgebra sobre un cuerpo

Magma (lgebra) Para otros usos de este trmino, vase magma (desambiguacin). Un Magma (o grupoide) es una estructura algebraica de la forma un conjunto donde se ha definido una operacinbinaria interna: .1 Siendo esta ley de composicin una operacin interna: 1.- Operacin interna: para cualesquiera par ordenado de elementos del conjunto AxA operados con , el resultado pertenece al conjunto A. Es decir: . El trmino magma se debe a la asociacin de matemticos franceses que se hace llamar Nicols Bourbaki.1 Durante algn tiempo compiti, para reflejar el mismo concepto, con la palabra grupoide, que tiene otros sentidos en matemtica (ver con A es

artculo grupoide), por lo que no es aconsejable su uso como sinnimo de magma.2 3 Los tipos de magmas comnmente estudiados incluyen:

cuasigrupos magmas no vacos donde la divisin es siempre posible. bucles cuasigrupos con elementos neutros. semigrupos magmas donde la operacin es asociativa. monoides semigrupos con elemento neutro. grupos monoides con elementos simtricos, o equivalentemente,

cuasigrupos asociativos (que son siempre bucles).

grupos abelianos grupos donde la operacin es conmutativa.

El trmino "magma" fue introducido por Bourbaki. Anteriormente se usaba el trmino "grupoide", y todava se utiliza a veces. En esta enciclopedia, no obstante, reservamos el trmino grupoide para un concepto algebraico diferente. Existe lo que podemos llamar un magma libre sobre cualquier conjunto X y que puede ser descrito en trminos familiares en ciencias de la computacin como el magma de los rboles binarios con operacin dada por la yuxtaposicin (ordenada) de los rboles por la raz. Tiene por tanto un rol fundacional en sintaxis. Semigrupo Un semigrupo es un sistema algebraico de la forma donde A es

un conjunto donde se ha definido una operacin binariainterna . Un semigrupo cumple las dos siguientes propiedades:

1.- Operacin interna: para cualesquiera dos elementos del conjunto Aoperados bajo , el resultado siempre pertenece al mismo conjunto A. Es decir: .

2.- Asociatividad: para cualesquiera elementos del conjunto A no importa el orden en que se operen las parejas de elementos, mientras no se cambie el orden de los elementos (ver grupo abeliano), siempre dar el mismo resultado. Es decir: . Si adems se cumple la propiedad conmutativa: Conmutatividad: un conjunto A tiene la propiedad conmutativa respecto a la operacin interna si:

Se dice que es un semigrupo conmutativo o abeliano. Cuasigrupo Un Cuasigrupo es una estructura algebraica similar a un grupo en el sentido de que la "divisin" es siempre posible. Los cuasigrupos se diferencian de los grupos en que no poseen la propiedad asociativa. Un cuasigrupo con elemento neutro se llama bucle. GRUPO En lgebra abstracta, un grupo es una estructura algebraica que consta de un conjuntocon una operacin que combina cualquier pareja de sus elementos para formar un tercer elemento. Para que se pueda calificar como un grupo, el conjunto y la operacin deben satisfacer algunas condiciones

llamadas axiomas de grupo, estas condiciones son: tener la propiedad asociativa, tener elemento identidad y elemento inverso. Mientras que estas caractersticas son familiares a muchas estructuras matemticas, como los diferentes sistemas de nmeros (por ejemplo los enteros dotados de la operacin de adicin forman una estructura de grupo), la formulacin de los axiomas se separa de la naturaleza concreta del grupo y su funcionamiento. Esto permite, en lgebra abstracta y otros campos, manejar entidades de orgenes matemticos muy diferentes de una manera flexible, mientras se conservan aspectos estructurales esenciales de muchos objetos. La ubicuidad de los grupos en numerosas reas (tanto dentro como fuera de las matemticas) los convierte en un principio central en torno al cual se organizan las matemticas contemporneas.1 2 Grupo abeliano Dada una estructura algebraica sobre un conjunto A, y con una operacin o ley de composicin interna binaria: " ". Se dice que la estructura abeliano con respecto a la operacin 1. 2. si: es un Grupo

tiene estructura algebraica Grupo tiene la Propiedad conmutativa

Los grupos abelianos son as llamados en honor al matemtico noruego Niels Henrik Abel. Los grupos que no son conmutativos se denominan no

abelianos (tambin no conmutativos, con menos frecuencia). En lgebra abstracta, un espacio vectorial es una estructura algebraica creada a partir de un conjunto no vaco, una operacin interna (llamada suma, definida para los elementos del conjunto) y una operacin externa (llamada producto por un escalar, definida entre dicho conjunto y otro conjunto, con estructura de cuerpo ), con 8 propiedades fundamentales.

A los elementos de un espacio vectorial se les llama vectores y a los elementos del cuerpo,escalares. Notacin[editar editar cdigo] Dado un espacio vectorial Los elementos de como: se llaman vectores. Caligrafias de otras obras sobre un cuerpo , se distinguen.

Si el texto es de fsica suelen representarse bajo una flecha:

Los elementos de

como:

se llaman escalares. Definicin de espacio vectorial[editar editar cdigo] Un espacio vectorial sobre un cuerpo (como el cuerpo de no

los nmeros reales o los nmeros complejos) es un conjunto vaco, dotado de dos operaciones para las cuales ser cerrado:

operacin interna tal que: 1) tenga la propiedad conmutativa, es decir

2) tenga la propiedad asociativa, es decir

3) tenga elemento neutro

, es decir

4) tenga elemento opuesto, es decir

la

operacin

producto

por

un

escalar:

operacin externa tal que: 5) tenga la propiedad asociativa:

6)

sea elemento neutro del producto:

7) tenga la propiedad distributiva del producto respecto a la suma de vectores:

8) tenga la propiedad distributiva del producto respecto a la suma de escalares:

Vectores linealmente independientes Varios vectores libres son linealmente independientes si ninguno de ellos puede ser escrito con unacombinacin lineal de los restantes.

a1 = a2 = = an = 0 Los vectores linealmente independientes tienen distinta direccin y sus componentes no sonproporcionales.

Ejemplo: Estudiar si son linealmente dependientes o independientes los vectores: = (2, 3, 1), = (1, 0, 1), = (0, 3, 1)

a (2, 3, 1) + b(1, 0, 1) + c (0, 3, 1) = (0, 0, 0)

r = 2 n = 3 Sistema compatible indeterminado. El sistema tiene infinitas soluciones, por tanto los vectores son linealmente dependientes.

Base

Tres

vectores

con distinta

direccin forman

una base,

porque cualquier vector del espacio se puede poner como combinacin lineal de ellos.

Las coordenadas del vector respecto a la base son:

Base ortogonal Una base es ortogonal si son perpendiculares entre s. Base ortonormal Una base es ortonormal si los vectores de la base los vectores de la base

son perpendiculares entre s, y adems tienenmdulo 1.

Esta base formada por los vectores cannica. Ejemplo:

se denomina base

Para y

qu

valores

de a los

vectores

forman una base?

Para a 1, los vectores forman una base. Dependencia lineal Varios vectores son linealmente lineal de ellos libres del plano hay se dice que

dependientes si que es igual

una combinacin cero , sin que

al vector

sean cero todos los coeficientes de la combinacin lineal .

Propiedades 1. Si entonces varios vectores son linealmente al menos uno de ellos se dependientes , puede expresar

como combinacin lineal de los dems.

Tambin

se

cumple lineal de

el otros,

reciproco: entonces

si todos

un vector es combinacin

los vectores son linealmente dependientes . 2. Dos vectores del plano son linealmente

dependientes si, y slo si, son paralelos .

3. Dos vectores libres del plano son linealmente proporcionales. dependientes si

= (u 1 , u 2 ) y sus

= (v 1 , v 2 ) son

componentes

Subespacio vectorial En lgebra lineal, un subespacio vectorial es el subconjunto de un espacio vectorial, que satisface por s mismo la definicin de espacio vectorial con las mismas operaciones que V.. Antes de dar las condiciones que ha de cumplir un subconjunto para tener estructura de subespacio vectorial, vamos a intentar observar cuales pueden ser estas condiciones.

Consideremos el espacio vectorial (R2,+,.R), y tomemos un suconjunto de vectores del plano, por ejemplo los vectores que estn contenidos en la recta x=0. Todos estos vectores son verticales, por ejemplo (0,1), (0,3), (0,4),.... Es claro que si tomamos este subconjunto del plano que en notacin analtica sera

todos los vectores contenidos en W cumplen las 8 propiedades de los espacios vectoriales. Pero para analizar si este subconjunto es un subespacio vectorial de R2bastara comprobar dos propiedades: 1. que sumando dos vectores del W se obtiene otro vector de W. Esta propiedad la cumple puesto que si sumamos dos vectores cuya componente primera es cero, vuelve a resultar un vector con la componente primera nula.

2. que al multiplicar un vector de W por un escalar real cualquiera, vuelva a resultar un vector de W. Esta situacin nuevamente es clara, puesto que al multiplicar cualquier escalar por la primera componente nula nos da como resultado un vector con la primera componente nula. El resto de propiedades no es necesario comprobarlas puesto que todos los vectores del plano las cumplen y en consecuencia las cumplirn los vectores de W. Si ahora tomamos un subconjunto formado por los vectores del plano cuya primera componente es 1, es decir

y tomamos dos vectores de este subconjunto, por ejemplo (1,2) y (1,5), obsrvese que su suma es (2,7) que no pertenece a M. Por tanto la suma no es operacin interna en este subconjunto, y en consecuencia no puede ser un subespacio vectorial.

CARACTERIZACIN DE LOS SUBESPACIOS VECTORIALES. 1.- Sea (V,+,.R) un subespacio vectorial , y sea W un subconjunto de V. Diremos que W dotado con las mismas operaciones definidas en V, es un subespacio vectorial del mismo si se verifican las dos siguiente propiedades: a)

b) una segunda forma de caracterizarlos se concreta en la condicin equivalente a la anterio 2.- W es un subespacio vectorial de V si y slo si se verifica que

BASE VECTORIAL En lgebra lineal, se dice que un conjunto ordenado B es base de un espacio vectorial V si se cumplen las siguientes condiciones:

Todos los elementos de B pertenecen al espacio vectorial V. Los elementos de B forman un sistema linealmente independiente. Todo elemento de V se puede escribir como combinacin lineal de los elementos de la base B (es decir, B es un sistema generador de V).

Bases en el Espacio Vectorial.

Ya hemos visto cmo obtener combinaciones lineales de varios vectores. Pues bien, daremos ahora dos definiciones que guardan relacin con estas operaciones: Vectores linealmente dependientes: Un conjunto de vectores ser linealmente dependiente si alguno de ellos se puede expresar como combinacin lineal del resto. Otra definicin equivalente ser que el vector cero se podr expresar como combinacin lineal de este conjunto de vectores en el que al menos algn coeficiente ser distinto de cero. Vectores linealmente independientes: Un conjunto de vectores ser linealmente independiente si ninguno de ellos se puede expresar como combinacin lineal del resto de los vectores. Otra forma de definirlo ser si el vector cero slo se puede expresar como combinacin lineal de estos vectores cuando los coeficientes que multiplican a cada vector son nulos. Pues bien, en el estudio del plano, siempre que tengamos un conjunto de dos vectores linealmente independientes, PODREMOS EXPRESAR CUALQUIER VECTOR DEL PLANO COMO COMBINACIN LINEAL DE ESTOS DOS VECTORES. La idea es sencilla: en el plano nos encontramos con dos dimensiones, el largo y el ancho. Cada vector dar una direccin del plano. Si tenemos dos direcciones, a partir de stas podremos obtener el resto de direcciones simplemente con buscar combinaciones lineales de estos vectores. Esta idea se recoge en la siguiente definicin: BASE DE UN ESPACIO VECTORIAL: Una base es un conjunto de vectores linealmente independientes y que son capaces de generar cualquier vector de dicho espacio. En nuestro estudio del plano, una base estar formada por dos vectores linealmente independientes. COORDENADAS DE UN VECTOR RESPECTO DE UNA BASE: Las coordenadas de un vector respecto de una base son los escalares por los que hay que multiplicar los vectores de la base de forma que representen al vector dado mediante una combinacin lineal de dichos vectores de la base. En la siguiente escena practicaremos con estos conceptos. Dimensin de un espacio vectorial La dimensin de un espacio vectorial (tambin llamada dimensin de Hamel de un espacio vectorial, para distinguirla de la dimensin de Hilbert en el caso de

los espacios de Hilbert) es el nmero de vectores que forman una base [de Hamel] del espacio vectorial. Informalmente la dimensin de un espacio topolgico, da una idea de cuantos parmetros se necesitan para localizar con toda precisin un punto en este espacio. Cuando el espacio topolgico en cuestin es un espacio vectorial, ese nmero coincide con el nmero de vectores de una base de dicho espacio.