Llamaremos espacio proyectivo sobre V al conjunto cociente de formula_6 por la relación de equivalencia anteriorformula_7: