Definição formal de vetores, grandezas escalares e vetoriais, operações com vetores, produto interno e vetorial