Definiciones preliminares.

- Operación binaria
- Prop. Asociativa
- Semigrupo
- Monoide
- Elemento neutro de la suma
- Grupo
- Grupo abeliano
- Anillo
- Cuerpo
- Espacio vectorial

En cada área en matemáticas se trabaja en una estructura en particular, por ejemplo, en cálculo
trabajamos en los números reales, en análisis trabajamos en los espacios métricos y así en
diferentes temas. En álgebra lineal vamos a trabajar en una estructura especial: los espacios
vectoriales.

Pero antes de hablar de esa estructura, vamos a nombrar unas estructuras algebraicas más básicas
con tal de ir construyendo poco a poco la estructura que vamos a estudiar en este curso.

Para ello tenemos que empezar por definir lo que es una operación binaria. Sea V un conjunto no
vacío, una operación binaria es una función que va del producto cartesiano de V con V V en el
conjunto V , es decir, una operación binaria es una función que me asigna a cada par ordenado un
elemento en el conjunto V .
¿ :V ×V ⟶V función
( a , b ) par ordenado
¿ ( a , b ) ∈V elemento

Como ejemplos más básicos tenemos a la suma y producto de números reales.

+: R × R ⟶ R
+ ( a ,b )=a+ b

∙ :R × R ⟶ R
∙ ( a , b )=a ∙b

La suma es una función que va del producto cartesiano de R con R en R y el producto también, y
sabemos que la suma me asocia una pareja ordenada, con un número real, y lo mismo con el
producto.

Para ver otro ejemplo de operación binaria, sea V un conjunto no vacío y consideremos a S V como
el conjunto de todas las funciones que van de V en V , tales que estas funciones son biyectivas:

SV ={ f :V →V : f es biyectiva }

1
Así podemos definir a la siguiente función, ∘ (círculo) definida en este conjunto SV cruz SV definida
en SV:
∘: S V × S V ⟶ S V

Dada por la siguiente regla de correspondencia: la imagen de una pareja de funciones es igual a la
composición de estas dos funciones:
∘ ( f , g )=f ∘ g

Claramente la composición de funciones biyectivas es otra función biyectiva. Entonces esta

función está bien definida y es una operación binaria.

Notemos que, en los ejemplos anteriores, cuando hablamos de la suma de números reales nos
referimos a esto como a más b: + ( a ,b )=a+ b; a esto como a por b: ∙ ( a , b )=a ⋅b; y, en el caso
anterior, a esto como f compuesta con g: ∘ ( f , g )=f ∘ g.

Esto nos dice que podemos simplificar un poquito la notación, entonces en general, para hablar de
una operación binaria en los siguientes resultados vamos a utilizar en vez de esta notación + ( a ,b )
la notación de suma a+ b y en vez de esta notación ∙ ( a , b ) , la notación de producto a ⋅b .

Una operación binaria en el conjunto V será asociativa si cumple con la siguiente condición: si la
suma de a con b más c, es lo mismo que a más la suma de b con c, para cualesquiera a, b y c en el
conjunto de V :

Operación Binaria Asociativa:

Una operación binaria + en V se dice asociativa si:
( a+ b ) +c=a+ ( b+ c ) ∀ a , b , c ∈ V

Un semigrupo va a ser un par de esta forma ¿, donde claramente V es un subconjunto no vacío y

+¿ es una operación binaria asociativa en el conjunto V .

El ejemplo más básico sería los naturales N con su suma +¿ , ¿. Esto es un semigrupo, pues
claramente la suma es una operación binaria en los naturales y además para cualesquiera n, m y r
pertenecientes a N , la suma de n con m más r, es lo mismo que la suma de n más la suma de m
con r, es decir, la operación binaria suma es asociativa:

¿
( n+ m) +r =n+ ( m+r ) ∀ n , m, r ∈ N ⟶∝. asociativa

Un monoide es una terna de este estilo (V ,+, e) donde V con +¿ es un semigrupo y e pertenece al
conjunto V y cumple con la siguiente condición especial: e más a es igual a, y también a más e , es
igual a, y esto sucede para todo a del conjunto V :

e +a=a=a+e , ∀ a∈ V ⟶ elemento neutro de lasuma

A este elemento e lo vamos a llamar el neutro para esta operación binaria +¿ . Como ejemplo
tendríamos a los enteros Z con su suma +¿ y el cero de los enteros 0 , es decir, (Z ,+ ,0). Este es un

2
monoide, pues como bien sabemos, la suma de enteros es asociativa y además el cero funciona
como un neutro para esta operación. Es por eso que, Z con la suma y el cero es un monoide:

( Z ,+, 0 ) es un monoide
( n+ m) +r =n+ ( m+r ) ∀ n , m, r ∈ N ⟶∝. asociativa
n+ 0=n=0+n ⟶ el cero como elemento neutro

Proposición: en un monoide (V ,+, e) el elemento neutro e es único.

Para demostrar que el elemento neutro e es único, vamos a suponer que hay dos elementos
neutros e y e ' , y probar que son el mismo. Para ello, suponemos que existen e y e ' pertenecientes
al conjunto V tales que se cumplen estas dos condiciones para todo a del conjunto V :

e , e ' ∈V
e +a=a=a+e , ∀ a∈ V
' '
e + a=a=a+e , ∀ a ∈V
En particular: e=e+e ' =e '

De esto a=a+ e' , podemos obtener esta igualdad, e=e+e ' , es decir, e es lo mismo que e más e ' ,
pues e ' es un elemento neutro; pero utilizando la condición e +a=a, se deduce que e +e ' =e ' , es
decir, e más e ' es lo mismo que e ' , pues e también es un elemento neutro; y aquí e=e+e ' =e '
obtenemos que e es igual a e ' , probando así que el elemento neutro es único.

Debido a que ya probamos que el elemento neutro es único, podemos darle un símbolo especial.
Vamos a utilizar la siguiente notación 0V para referirnos al neutro y que llamaremos el cero del
conjunto V y que está relacionado a la operación binaria. Entonces, para escribir un monoide
podemos hacerlo de la siguiente forma (V ,+, 0V ).

Un grupo es un monoide (V ,+, 0V ) tal que para toda a en el conjunto V , existe un elemento b en
el conjunto V , con la siguiente propiedad: b más a es lo mismo que a más b, y estos dos serán
iguales al cero del conjunto V . En este caso, diremos que a es invertible (elemento opuesto), es
decir, que un grupo es un monoide tal que todo elemento es invertible:

El monoide ( V ,+ , 0V ) es un grupo , pues

∀ a ∈V , ∃b ∈V con
b+ a=0V =a+b
a es invertible ⟶ elemento opuesto

Como ejemplo tenemos a Z con la suma +¿ y el cero 0 , este es un grupo (Z ,+ ,0), pues como bien
sabemos es un monoide y, además, para todo número n perteneciente a los enteros, existe −n
perteneciente también a los enteros, tal que su suma es igual a cero, es decir, todo elemento de
los enteros es invertible (tiene un opuesto):

( Z ,+, 0 ) es un grupo
∀ n ∈ Z , ∃−n ∈ Z tal que
n+ (−n )=0=(−n )+ n⟶ elemento opuesto

3
Proposición: sea (V ,+, 0V ) un grupo vamos a demostrar que para cada a ∈ V existe un único b ∈V
tal que se cumple esta condición b+ a=0V =a+b .

Sea a ∈ V y supongamos que existen dos elementos, b , b ' ∈V tales que cumplen estas igualdades:

b+ a=0V =a+b
b ' + a=0V =a+b '

Vamos a demostrar que b=b ' , para ello, vemos que b=b+ 0V , y utilizando 0V =a+ b ' , podemos
sustituir 0V por a+ b ' . Ahora recordemos que como estamos en un grupo, la operación +¿ es
asociativa, entonces b+(a+ b' ) es lo mismo que (b+ a ¿+b ' , pero utilizando b+ a=0V , y
sustituyendo, tenemos que (b+ a)+ b ' es lo mismo que 0V + b ' , lo cual es igual a b ' ,y así hemos
probado que b=b ' . Aquí la secuencia completa:

b=b+ 0V =b+ ( a+ b' )=( b+ a ) +b ' =0V +b ' =b '

Debido a lo anterior usaremos la siguiente notación −a para el único elemento que cumple esta
igualdad. A este elemento −a lo vamos a llamar el inverso de a (opuesto de a):

(−a )+ a=0V =a+ (−a ) neutro de la suma

' '
a ∗a=1V =a∗a neutro del producto

Un grupo (V ,+, 0V ) es abeliano si para cualesquiera a , b ∈V , se cumple la propiedad

conmutativa:

a+ b=b+a

Consideremos un conjunto V , dos operaciones binarias +¿ y ¿ y los neutros de cada una de las
operaciones 0V y 1V , es decir, un anillo es una quinteta (V ,+,∗, 0V , 1V ) donde:

( V ,+, 0V ) es un grupo abeliano

( V ,∗,1V ) es un monoide

Y, además, para cualesquiera a , b , c ∈V , se cumplen estas propiedades:

a∗( b+ c )=a∗b+ a∗c

( b+ c )∗a=b∗a+ c∗a

Que se llaman propiedad distributiva del producto respecto de la suma.

Un anillo (V ,+,∗, 0V , 1V ) va a ser un cuerpo o campo si el conjunto V , menos el neutro de la

suma, el producto y el neutro del producto (V ∖ { 0V } ,∗, 1V ) es un grupo abeliano.

4
El ejemplo más famoso de un cuerpo es el cuerpo de los números reales (R ,+, ∙ , 0,1). Con los
reales consideramos a dos operaciones, la operación suma y la operación producto y también al
neutro de la suma y al neutro del producto. En los reales se cumplen las siguientes cuatro
propiedades respecto de la suma:

(I) a+ b=b+a , ∀ a , b ∈ R propiedad conmutativa

(II) (a+ b)+ c=a+(b+ c) , ∀ a ,b , c ∈ R propiedad asociativa
(III) a+ 0=a=0+ a , ∀ a∈ R elemento neutro
(IV) ∀ a ∈ R , ∃−a ∈ R ∕ a+(−a)=0=(−a)+a elemento opuesto

Estas propiedades hacen a (R ,+, 0) un grupo abeliano.

También se cumplen las siguientes cuatro propiedades respecto del producto:

(V) a ∙ b=b ∙ a , ∀ a , b ∈ R propiedad conmutativa

(VI) (a ∙ b)∙ c=a ∙(b ∙ c) , ∀ a ,b , c ∈ R propiedad asociativa
(VII) a ∙ 1=a=1 ∙a , ∀ a ∈ R elemento neutro
(VIII)
1
∀ a ≠ 0 ∈ R , ∃ =a−1 ∈ R ∕ a ∙
a () () 1
a
=1=
1
a
∙ a elemento inverso

Estas propiedades hacen a (R , ∙ ,1) un monoide y a (R ∖ { 0 } ,∙ , 1) un grupo abeliano.

Además, se cumple la propiedad distributiva del producto respecto de la suma:

(IX) ∀ a , b , c ∈ R se cumplen:
1. a ∙(b +c)=a ∙ b+a ∙ c
2. (b+ c) ∙ a=b ∙ a+ c ∙ a

Para hacer una distinción entre tantas estructuras que hemos mencionado y para facilitar la
anotación, vamos a escribir solamente K para referirnos a un cuerpo, pues recordemos que para
nombrar un cuerpo necesitamos esta quinteta ( K ,+, ∙ , 0K ,1 K ), asegurar que (K , ∙ ,1 K ) es un anillo
y que (K ∖ { 0 } ,∙ , 1K ) es un grupo abeliano. Entonces, en vez de escribir todo esto, de ahora en
adelante siempre que veamos K será para referirnos a un cuerpo.

El espacio vectorial es una quinteta (V ,+, 0^ , K , ⨀/ K × V ⟶ V ), donde lo que tenemos es un

conjunto no vacío V , una operación binaria +¿ , su neutro 0^ , un cuerpo K y una función
K ×V ⟶V que va del cuerpo K cruz V en el conjunto V , tal que se cumple las siguientes
condiciones:

^
(V ,+, 0)grupo abeliano
K es un cuerpo (K , ⨁ ,∙ , 0 K , 1K )
⨀ /K ×V ⟶ V es una función producto por escalar, que satisface:

1 K ⨀ v^ = v^ , ∀ v^ ∈V
Operación del elemento neutro del cuerpo producto escalar por un elemento del espacio
vectorial.

5
 (a ∙ b) ⨀ v^ =a ⨀(b ⨀ v^ ), ∀ ^v ∈V , ∀ a , b ∈ K
Producto de dos escalares del cuerpo, cuyo resultado es producto escalar por un elemento del
espacio vectorial.

(a ⨁b) ⨀ v^ =a ⨀ v^ +b ⨀ ^v , ∀ v^ ∈V , ∀ a , b ∈ K
La suma de dos elementos del cuerpo y cuyo resultado se hace producto escalar por un elemento
del espacio vectorial.

a ⨀ ( v^ + w
^ )=a ⨀ v^ + a ⨀ w
^ , ∀ ^v , ^
w∈ V , ∀ a ∈ K
La suma de dos elementos del espacio vectorial y el resultado se hace por producto escalar con un
elemento del cuerpo.

Se diferencia, por temas de facilitar la visualización, las operaciones en el cuerpo K (⨁ , ∙)y las
operaciones en el espacio vectorial (+, ⨀).