Un espacio vectorialV sobre un campoF es un grupo abeliano con un producto escalarα⋅v oαv definido para todosα∈F y todosv∈V satisfaciendo los sigu...Un espacio vectorialV sobre un campoF es un grupo abeliano con un producto escalarα⋅v oαv definido para todosα∈F y todosv∈V satisfaciendo los siguientes axiomas. u+v=(a+c)+(b+d)√2está de nuevo enV. También, paraα∈Q,αv está enV. Lo dejaremos como un ejercicio para verificar que todos los axiomas espaciales vectoriales se mantienen paraV.
