Diracian structures, ket spaces and bras

In this lecture, we shall define the ket spaces and the associated bra spaces. Firstly, we shall introduce the Diracian inner products upon Frechet spaces. Then, we shall define the Diracian pairings and ket spaces.