1-varyant super kengaytma funktori

teorema. ochiq (mos ravishda yopiq) biektiv akslantirish gomeomorfizmdir.

natija. biektiv akslantirish gomeomorfizm bo‘lishi uchun bo‘lishi zarur va yetarlidir.

Shuni aytib o‘tish kerakki, gomeomorfizmni ikki fazo orasidagi munosabat sifatida qarasak, gomeomorfizm munosabati ekvivalentlik munosabatidir.

Gomeomorfizm tushunchasidan kengroq bo‘lgan lokal gomeomorfizm tushunchasini ham bilish talab etiladi.

Agarda ixtiyoriy va juftlik uchun shunday va atroflar topilib, gomeomorfizm bo‘lsa, bu akslantirish lokal gomeomorfizm deyiladi.

akslantirishni formula bilan olsak, u lokal gomeomorfizmni tashkil qiladi.

4.