Un espacio euclídeo es un espacio vectorial completo dotado de un producto interno (lo cual lo convierte además en un espacio normado, un espacio métrico y una variedad riemanniana al mismo tiempo).