F
:n vektorijoukot {
x
,
x
,...,
x
} ja {
y
,
y
,...,
y
} ovat
bi-ortonormaalit
, jos