| Name | Tag | Kind | MSC |
| Normed vector space | 00A0RPAQ8A | definition | 46B20 |
| Inner product space | 01EK923SKP | definition | 15A63, 46C05 |
| Parallelogram law | 026HPGYGS4 | statement | 46C05 |
| Normed vector space | 03J5RAKB30 | concept | 46B20 |
| Equivalence of norms in finite dimension | 03MC70ZRNR | statement | 46B20 |
| Parseval's identity | 047RFCNVSK | statement | 46C05 |
| Riesz representation theorem in finite dimensions | 04GYPXDXNH | statement | 46C05, 15A04 |
| Polarisation identity | 05FKHRT0B4 | statement | 46C05, 15A63 |
| Fréchet derivative | 06EH97V2A7 | concept | 46G05 |
| Banach space | 06GZ956657 | concept | 46B99 |
| Uniform metric on bounded functions | 06HE9J7DXF | example | 46E99 |
| Linear isometry | 0717XXPWM6 | definition | 15A04, 46B04 |
| Orthogonal complement | 079D68S3AW | definition | 15A63, 46C05 |
| Linear isometry | 07SJXTWVQW | concept | 15A04, 46B04 |
| Fréchet derivative | 08EVNYZF42 | definition | 46G05 |
| Norm | 08NYZ2FS6B | definition | 46B20 |
| Sequence spaces lp | 08P6T2WH6R | example | 46B45 |
| Riesz's lemma | 097C7KCAT5 | statement | 46B20 |
| Coordinates in an orthonormal basis | 09DZ8CD1AK | statement | 15A63, 46C05 |
| Orthonormal family | 09VYHEF2VT | definition | 15A63, 46C05 |
| Finite-dimensional normed spaces are complete | 0ABP2F2ZP7 | statement | 46B99 |
| Orthogonal projection | 0B8KZRT28M | concept | 15A04, 46C05 |
| Banach space | 0BDTTM24DP | definition | 46B99 |
| Pythagorean theorem in an inner product space | 0BVTDM872V | statement | 46C05 |
| Dimension of the orthogonal complement | 0E2NYPVSP9 | statement | 15A03, 46C05 |
| Triangle inequality for norms | 0FJZMBX0ZZ | statement | 46B20 |
| Orthonormal basis | 0FWJ0VW561 | definition | 15A63, 46C05 |
| Function space | 0GZB2SN0PH | example | 15A03, 46E99 |
| Equivalent norms | 0J3578562S | definition | 46B20 |
| An orthonormal family is linearly independent | 0JWM6GJNQW | statement | 15A63, 46C05 |
| Norm induced by an inner product | 0KG4D8AP6G | definition | 46C05 |
| p-norm on R^n | 0KNJWEVSMG | example | 46B20 |
| Dirac delta function | 0KPHENZ5S7 | object | 46F10 |
| Equivalent norms | 0M85DXB5RM | concept | 46B20 |
| Orthogonal projection is the closest point | 0MCDDSCB9Z | statement | 46C05, 65F20 |
| Norm induced by an inner product | 0MFJJV97RJ | concept | 46C05 |
| Inner product | 0NB0AWGJBW | concept | 15A63, 46C05 |
| Sup norm on bounded continuous functions | 0PARCKE8WP | example | 46E15 |
| Heine–Borel theorem in finite-dimensional normed spaces | 0PHT6NBYPB | statement | 46B20 |
| Orthogonal complement of the orthogonal complement | 0PXN9G4MX1 | statement | 46C05 |
| Orthogonal projection | 0Q8HZTJC7G | definition | 15A04, 46C05 |
| Inner product space | 0QVNCJXRY3 | concept | 15A63, 46C05 |
| A linear isometry preserves the inner product | 0R7VXTYHYZ | statement | 15A04, 46C05 |
| Bessel's inequality | 0RBT5PB74K | statement | 46C05 |
| Cauchy–Schwarz inequality | 0RFWW56Y22 | statement | 15A63, 46C05 |
| Orthonormal family | 0RW9TNNT87 | concept | 15A63, 46C05 |
| Orthonormal basis | 0S9GGTR0EX | concept | 15A63, 46C05 |
| A space is the direct sum of a subspace and its orthogonal complement | 0SP7P0G7KQ | statement | 46C05 |
| p-metric on R^n | 0TFDZN6AXP | example | 46B20 |
| Orthogonal vectors | 0TS7VZJBWD | definition | 15A63, 46C05 |
| Norm | 0V2WP9B1MF | concept | 46B20 |
| Inner product | 0VGSYBWHV2 | definition | 15A63, 46C05 |
| Compact closed unit ball implies finite dimension | 0VZVV8VME5 | statement | 46B50 |
| Orthogonal complement | 0XJXTBCB2T | concept | 15A63, 46C05 |
| Orthogonal vectors | 0Y2X7P2WB7 | concept | 15A63, 46C05 |
| Existence of an orthonormal basis | 0Y85GYEGSF | statement | 15A63, 46C05 |