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
aliases: [] shorthands: {} created: 2021-12-03 13:45:58 modified: 2022-01-10 04:13:04
Then is a norm on .