ナジーの伸張定理
ユニタリナジー伸張のシャファー形式(Schaffer form)は、与えられた縮小写像に対して求められる性質を備える全てのユニタリ伸張を特徴付ける上での議論の出発点と見なされるものである。