Hilbert Space Explorer 
< Previous
Next >
Nearby theorems 

Mirrors > Home > HSE Home > Th. List > csp  Structured version Unicode 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 dfop 3825. 
Ref  Expression 

csp 
Colors of variables: wff set class 
Copyright terms: Public domain  W3C validator 