Uma extensão do espaço vetorial que adiciona distânica ou tamanho

Uma extensão do espaço vetorial que adiciona um tipo de objeto denominado Ponto, de modo a fazer diversas operações.