向き付けられた計量線型空間