Banachovy a C*-algebry, věta o reprezentaci nezáporných spojitých lineárních funkcionálů na prostoru spojitých funkcí s kompaktním nosičem pomocí nezáporné míry, konstrukce - dosazování spojitého samoadjungovaného operátoru do omezené borelovské funkce na spektru, vlastnosti této konstrukce, konstrukce rozkladu jednotky.