Hilbert Space Explorer 
< Previous
Next >
Nearby theorems 

Mirrors > Home > HSE Home > Th. List > csm  Structured version Unicode version 
Description: Extend class notation with scalar multiplication in Hilbert space. In the literature scalar multiplication is usually indicated by juxtaposition, but we need an explicit symbol to prevent ambiguity. 
Ref  Expression 

csm 
Colors of variables: wff setvar class 
Copyright terms: Public domain  W3C validator 