|Hilbert Space Explorer
|Mirrors > Home > HSE Home > Th. List > csp
|Structured version Visualization version GIF version
|Description: Extend class notation with inner (scalar) product in Hilbert space. In the literature, the inner product of 𝐴 and 𝐵 is usually written 〈𝐴, 𝐵〉 but our operation notation allows us to use existing theorems about operations and also eliminates ambiguity with the definition of an ordered pair df-op 4570.
|Colors of variables: wff setvar class
|Copyright terms: Public domain