Un conjunto con una o ms operaciones internas se llama lgebra binaria, estructura algebraica o sistema algebraico, y se denota (A, *, #, ...).

El tipo o clase de estructura se caracterizar atendiendo a las propiedades que verifiquen las operaciones definidas en el conjunto.

 Un espacio vectorial es aquel conjunto de vectores que cumple las propiedades o axiomas de la suma de vectores y la multiplicacin por un escalar dichas propiedades vistas en espacios ndimensinales Rn o R2. Un espacio vectorial es un espacio no vac o

 Un espacio vectorial cumple con cuatro partes que son: un conjunto de vectores, un conjunto de escalares, y dos operaciones Estos forman un cuerpo que es igual a las estructuras algebraicas de dos operaciones <conjunto, operacin,operacin> (un cuerpo).

 Si un espacio vectorial V tiene una base con n vectores entonces esa n es la dimensin de esa base y se denota dim(V) = n. El trmino vector tambin se usa para describir entidades como matrices, polinomios o funciones.

 Entonces

se denomina un espacio vectorial.

Podemos decir por lo anterior que en un espacio vectorial intervienen dos conjuntos, vectores y escalares, los segundos como coeficientes de los primeros.

SUMA Asociativa de la suma u + (v + w) = (u + v) + w u, v, w Conmutativa de la suma v + w = w + v v, w V 0 V, llamado vector cero o nulo, | v + 0 = v v V. Existencia de elemento opuesto o simtrico de la suma v V, -v V, llamado opuesto de v, | v + (-v) = 0. MULTIPLICACIN Y SUMA Propiedad distributiva a (v + w) = a v + a w u, v, w Propiedad distributiva del producto por un respecto a la suma de escalares (a + b) v = a v + b v Propiedad asociativa mixta del producto por un escalar a(b v)= (ab) elemento unidad 1 v = v, Donde 1 es la identidad multiplicativa en K

 UNA FUNCION, APLICACIN O TRANSFORMACION ES UN CONJUNTO DE OPERACIONES QUE SE REALIZAN SOBRE UN ELEMENTO DE UN ESPACIO VECTORIAL V , PARA CONVERTIRLO EN UN ELEMENTO DE OTRO ESPACIO VECTORIAL W.

 Cumpliendo con lo anterior la transformada lineal tiene sus propiedades que son : T(0) = 0 T(v) = T(v) T(vu) = T(v)T(u) S v = c1v1 + c2v2 + ... + cnvn entonces v = c1 T(v1)+ c2 T(v2)+ ... + cn T(vn).

 Para definir una transformacin lineal por una matriz esta se notara as: siendo a la matriz m x n la funcin T se definir T(v) = Av que suma transformacin lineal de Rn en Rm . El ncleo se puede encontrar definiendo la transformada as. T(v) = 0 esto tambin se denomina como Kernel de T y se denota Ker (T) para que sea ncleo esta debe cumplir que Ax = 0.

 La dimensin del ncleo se llama nulidad y la dimensin del contradominio de T se llama rango (si A = matriz entonces el rango de T va ser = rango de A). Dimensin del dominio = dimensin del rango + dimensin del ncleo.

 Las transformaciones lineales puede ser uno a uno que son aquellas que la preimagen de W consta de un solo vector, o sea, ser uno a uno para toda u y v en V, T(u) = T(v), tambin hay que tomar en cuenta que ker(T) = 0. Tambin las transformadas lineales puede ser sobre si y solo si el rango de T es igual a la dimensin de W. Y un transformacin lineal es biyectiba si es uno a uno y sobre.

 En trminos generales, es cualquier sistema numrico en el cual podamos realizar las operaciones normales de la aritmtica como lo son: suma, resta, multiplicacin y divisin.

 Definicin formal: Un campo F es un conjunto de escalares para el cual se definen operaciones de suma (a + b) y multiplicacin (ab) tal que satisfacen las propiedades siguientes: SUMA: a + b F a, b F a + b = b + a a, b F (a + b) + c =a + (b + c) a, b, c F Un nico escalar 0 llamado cero de F tal que a + 0 = a. -a a F tal que: a + (-a) = 0.

MULTIPLICACIN: ab F a, b F (a + b)c = ac + bc a, b, c F ab = ba a, b F (ab)c = a(bc) a, b, c F Un nico escalar distinto de cero, 1 F tal que a F: a1 = a a F a 0; un nico escalar a-1 tal que aa-1 = 1

 Si S es un conjunto no vaco y * es una funcin. Entonces * es llamado una operacin binaria sobre S, si y slo si *: S x S S. En otras palabras dado un conjunto no vaco S y el producto cartesiano de S x S, * es una funcin de modo que a cada par ordenado (a,b) le hace corresponder un nico elemento de S simbolizado por a*b.

 Se dice que (R, +) y (R, ) son sistemas algebraicos o estructuras algebraicas porque la suma y la multiplicacin de nmeros reales son operaciones binarias sobre dicho conjunto. Adems como el conjunto de los nmeros enteros Z es un subconjunto de los nmeros reales R. Podemos decir que los nmeros enteros Z son cerrados con respecto a la suma y la multiplicacin, es decir, que tambin (Z, +) y (Z, ) son sistemas algebraicos o estructuras algebraicas.

 Por ejemplo la operacin suma con el conjunto de los nmeros naturales N, forma una estructura algebraica puesto que cualquiera que sean los nmeros naturales N siempre que se sumen dos naturales el resultado ser otro nmero natural N. En pocas palabras N es un conjunto no vaco y + es una operacin interna en N. Por tanto (N, +) constituye una estructura algebraica.

 Sea el conjunto A = {-1, 0, 1} y la operacin * una operacin interna definida como el producto de a por b, los resultados se pueden observar en la siguiente tabla:

Siempre que se realice la operacin a*b resultar un elemento del mismo conjunto por lo cual (A, *) forman una estructura algebraica.

F es un conjunto y + y son operaciones binarias sobre F. Entonces la estructura algebraica (F, +, ) es llamada campo, si y slo si:

 (R, +, ) el conjunto de los nmeros reales y las operaciones de la suma y la multiplicacin son un ejemplo de Campo. Sea x y y son elemento de Z3, y la suma y el producto de x y y son definidas por:

 Las tablas de las operaciones de la adicin y la multiplicacin en (Z3, +, ) son las siguientes: