G, sıfırdan farklı bir μ 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∈G için f(s)>0 ve f nin supremum normu pozitif olsun. f nin sol ötelemesi Lsf (s∈G ), Lsf(g)=f(s−1g) ile verilir. f basit fonksiyon yani I sonlu bir indeks kümesi olmak üzere {Ai:i∈I}, G nin bir parçalanışı olmak üzere f=∑i∈Iai1Ai (1Ai , karakteristik fonksiyon) şeklindedir. Benim sorum ise Lsf basit fonksiyon mudur ve Lsf yi f yi kullanarak nasıl ifade edebiliriz?