*rubbing eyes* wait, i… okay, hold on.
-
*rubbing eyes* wait, i… okay, hold on. is the dot product of a vector with itself equal to its length squared?
how did i never notice that
-
*rubbing eyes* wait, i… okay, hold on. is the dot product of a vector with itself equal to its length squared?
how did i never notice that
@mcc That's even taken as the definition of length pretty often, especially for infinite-dimensional vectorspaces (e.g.: the inner product of two functions that admit Fourier decompositions).
-
*rubbing eyes* wait, i… okay, hold on. is the dot product of a vector with itself equal to its length squared?
how did i never notice that
@mcc in Hilbert Spaces (vector spaces with an inner product) that’s the definition of the norm. And then from there you define the metric.
-
*rubbing eyes* wait, i… okay, hold on. is the dot product of a vector with itself equal to its length squared?
how did i never notice that
@mcc Meanwhile, "squared magnitude" is the only way I can remember how a dot product is structured.
-
undefined oblomov@sociale.network shared this topic on

