This repository was archived by the owner on Jul 24, 2024. It is now read-only.
Commit baa8830
feat(analysis/inner_product_space/of_norm): Create an inner product from a norm (#4798)
A normed space respecting the polarization identity is an inner product space.
Co-authored-by: Frédéric Dupuis <dupuisf@iro.umontreal.ca>
Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>
Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>
Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>1 parent b01d6eb commit baa8830
3 files changed
Lines changed: 399 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1406 | 1406 | | |
1407 | 1407 | | |
1408 | 1408 | | |
| 1409 | + | |
| 1410 | + | |
| 1411 | + | |
| 1412 | + | |
| 1413 | + | |
| 1414 | + | |
| 1415 | + | |
| 1416 | + | |
| 1417 | + | |
| 1418 | + | |
| 1419 | + | |
| 1420 | + | |
| 1421 | + | |
| 1422 | + | |
1409 | 1423 | | |
1410 | 1424 | | |
1411 | 1425 | | |
| |||
0 commit comments