En este vídeo definimios la operación que llamamos producto escalar o producto interno de dos vectores de un espacio vectorial, y no es admisible desconocer sus propiedades.
Dos vectores se dicen ortogonales si su producto escalar es cero.
Un subconjunto S de un espacio vectorial se dice ortogonal si el producto escalar de cualesquiera dos vectores de S es cero.
Todo subconjunto ortogonal que no contenga al vector cero es libre (ojo con esta propiedad, si te la demuestran en clase, pueden pedirte la demostración en examen).