Metrik fazolar Tarif

Наконец, осталось переобозначить и таким образом, чтобы (случай является тривиальным).

funksiyani tekshiramiz. ni isbotlash kerak. Lagranj teoremasiga asosan uchun tenglik o`rinli, bunda

Shartga asosan v) , holatda, bundan, demak , va biz quydagiga ega bo`lamiz

, demak . , v) shartga asosan quydagicha , demak va. , v) shartga asosan ga ega bo`lamiz, bundan , demak .