Un espacio normado es un espacio vectorial provisto de una norma.