Dado un espacio vectorial E de dimensión n sobre el cuerpo real R, forma bilineal simétrica no degenerada y positiva que asocia a cada par de vectores de E x E un elemento de R.