2025-03-23

1047: Hilbert Space

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of Hilbert space

Topics


About: metric space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of Hilbert space.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\( F\): \(\in \{\mathbb{R}, \mathbb{C}\}\), with the canonical field structure
\( V\): \(\in \{\text{ the } F \text{ vectors spaces }\}\)
\( \langle \bullet, \bullet \rangle\): \(: V \times V \to F\), \(\in \{\text{ the inner products }\}\)
\( \Vert \bullet \Vert\): \(: V \to \mathbb{R}\), \(= \text{ the norm induced by } \langle \bullet, \bullet \rangle\)
\( dist\): \(: V \times V \to \mathbb{R}\), \(= \text{ the metric induced by } \Vert \bullet \Vert\)
\(*(V, dist)\): \(= \text{ the metric space }\)
//

Conditions:
\((V, dist) \in \{\text{ the complete metric spaces }\}\)
//


References


<The previous article in this series | The table of contents of this series | The next article in this series>