Definición Sea un -espacio vectorial. Un producto interno en es una función , tal que Para cada y para cada , para todo si Un -espacio vectorial con producto interno se llama espacio euclídeo y lo denotaremos por