Norm of inner product spaces

Metadata
aliases: []
shorthands: {}
created: 2021-12-03 13:45:58
modified: 2022-01-10 04:13:04

is an inner product space.
If is defined by

Then is a norm on .