Ta’rif 2.2.5. bo’lsin. to’plam -invariant deyiladi, agar va uchun bo’lsa.
Ta’rif 2.2.6. qism to’plam -invariant bo’lsin. - invariant - funksiyalar oilasi to’plamda to’la - invariant funksiyalar oilasi deyiladi, agar va -ketma-ketliklar va barcha lar uchun tenglikdan va -ketma-ketliklarning - ekvivalentligi kelib chiqsa.
2.3. gruppa uchun -tenglik problemasi
funksiyani quyidagicha ta’riflaymiz. Agar
-ketma-ketlik uchun , bolsa, deymiz. Aks holda deymiz.
Ta’rif 2.3.1. - ketma ketligining funksiyasi ga teng deyiladi, agar va bo’lsa.
Do'stlaringiz bilan baham: |