Estructuras Algebraicas Andrea Parma

Ley de composicin externa (LCE)

Dado dos conjunto A y B no vacos, y una operacin
" "
es LCE en A
B B A
Es decir
( ) B c b a c B A b a = ! ,
Propiedades de ley de composicin externa
Se considera una LCE definida
V V K
donde
( ) ," ,+ K
es un cuerpo y
( ) , V
es
un grupo abeliano
a) Asociatividad mixta
( ) ( ) x x V x K = " ,
b) istributiva respecto a la ! en K
( ) x x x V x K = + ,
c) istributiva respecto a la en V
( ) y x y x V y x K = ,
d) "eutro de la ley externa
x x V x = #
$# es el neutro multiplicativo en el cuerpo %&"
'
Estructuras Algebraicas Andrea Parma
Espacio #ectorial
Dado un grupo abeliano
( ) , V
y un cuerpo
( ) " , ,+ K
y una ley de
V V K
,
( ) , , , K V
es un espacio vectorial si cumple
a) Asociatividad mixta
b) istributiva respecto a la ! en K
c) istributiva respecto a la en V
d) "eutro de la ley externa
E$emplos%
a) ada la LCE definida
( (
donde
( ) ," ,+ R
es un cuerpo y ( ) ,
(
es un
grupo abeliano, se de)ine * como la suma de pares ordenados y * como el
producto de un escalar y un par ordenado"
( ) ( ) ( )
( ) ( ) b a b a
d b c a d c b a
" , " ,
, , ,
=
+ + =

+e veri)ica el cumplimiento de todas las propiedades de la LCE

a) Asociatividad mixta
( ) ( ) ( ) ( ) [ ] b a b a b a , , " , ,
(
=
( ) ( ) ( ) b a b a " " , " " , " =
$#&
( ) [ ] ( ) ( ) b a b a b a " " , " " " , " , = =
$(&
Como $#&,$(& se veri)ica la asociatividad mi-ta"
b) istributiva respecto a la ! en
( ) ( ) ( ) ( ) ( ) b a b a b a b a K , , , , ,
(
= +
( ) ( ) ( ) ( ) [ ] ( ) b b a a b a b a " " , " " " , " , + + = + + = +
$.&
( ) ( ) ( ) ( ) ( ) b b a a b a b a b a b a " " , " " " , " " " , , + + = + =
$'&
'
Estructuras Algebraicas Andrea Parma
Como $.&,$'& se veri)ica la distributiva respecto a la */ en
c) istributiva respecto a la en
(

( ) ( ) ( ) ( ) [ ] ( ) ( ) d c b a d c b a d c b a , , , , , , ,
( (
=
( ) ( ) [ ] ( ) ( ) ( ) [ ] ( ) d b c a d b c a d b c a d c b a " " , " " , , , , + + = + + = + + =
$0&
( ) ( ) ( ) ( ) ( ) d b c a d c b a d c b a " " , " " " , " " , " , , + + = =
$1&
Como $0&,$1& se veri)ica la distributiva respecto a la * en
(

d) "eutro de la ley externa

( ) ( ) ( ) b a b a b a , , # ,
(
=
( ) ( ) ( ) b a b a b a , " # , " # , # = =
Por lo tanto& ( ) , , ,
(
es un espacio vectorial'
b) Si se considera la LCE definida
n n
donde
( ) ," ,+ R
es un cuerpo ( ) ,
n
es un grupo abeliano" La operacin es la suma de n2uplas y es el producto de un
escalar por una n2upla" Es obvio 3ue se veri)ican todas las propiedades de las leyes de
composicin e-terna enunciadas y su veri)icacin es similar al caso de
(
" Por lo tanto
se puede generali4ar 3ue ( ) , , ,
n
es un espacio vectorial'
5tros ejemplos de espacios vectoriales son
c& El conjunto de matrices de orden mxn con la adicin de matrices $LC6& y la
multiplicacin de un escalar por una matri4 $LCE&, sobre el cuerpo de los reales"
d& El conjunto de polinomios de grado menor o igual a *n y con coe)icientes reales, con la
suma de polinomios $LC6& y la multiplicacin de un escalar por un polinomio $LCE&,
sobre el cuerpo de los reales"
e& ( ) , , , C C
n
donde C es el con$unto de n(meros comple$os'
Propiedades de espacios vectoriales%
Para ) neutro de
( ) + , K
y
V
7
neutro en
( ) , V

*)
v
x V x 7 7 =

(&
V V
K 7 7 =
.&
V V
x x K V x 7 7 7 = = =
'
Estructuras Algebraicas Andrea Parma
'&
( ) ( ) x x K V x =
'