В роботі приведено варіант формального означення перетворення Гоку, як відображення між двома просторами, та функціоналу, аргументи екстремумів якого служать оцінками Гоку. Досліджуються властивості функціоналу як функції множини в просторі параметрів іяк функції послідовності спостережень. На основі введеного формалізму розглядається задача оцінювання з дискретними параметричними просторами на основі перетворення Гоку.