$G$, sıfırdan farklı bir $\mu$ Radon ölçümüyle birlikte yerel kompakt bir grup olsun. $f$, kompakt desteğe sahip reel veya kompleks değerli $G$ üzerinde sürekli bir fonksiyon, her $s\in G$ için $f(s)>0$ ve $f$ nin supremum normu pozitif olsun. $f$ nin sol ötelemesi $L_sf$ ($s\in G$ ), $L_s f(g)=f(s^{-1}g)$ ile verilir. $f$ basit fonksiyon yani $I$ sonlu bir indeks kümesi olmak üzere $\{A_i:i\in I\}$, $G$ nin bir parçalanışı olmak üzere $f=\sum_{i \in I} a_i1_{A_i}$ ($1_{A_i}$ , karakteristik fonksiyon) şeklindedir. Benim sorum ise $L_sf$ basit fonksiyon mudur ve $L_sf$ yi $f$ yi kullanarak nasıl ifade edebiliriz?