Higmans lemma - Higmans lemma - Wikipedia

Yilda matematika, Xigman lemmasi ning buyrug'i bilan cheklangan alfavit bo'yicha cheklangan ketma-ketliklar to'plamini bildiradi keyingi munosabat, bo'ladi yaxshi buyurtma qilingan. Ya'ni, agar - bu ba'zi bir qat'iy cheklangan alifbo ustidagi so'zlarning cheksiz ketma-ketligi, unda indekslar mavjud shu kabi dan olish mumkin ba'zi (ehtimol yo'q) belgilarni o'chirish orqali. Umuman olganda, bu alifbo cheklangan bo'lishi shart emas, balki o'zi yaxshi kvazilangan bo'lsa va keyingi munosabatlar yorliqlarni yaxshi kvazi tartibida oldingi belgilar bilan almashtirishga imkon beradigan bo'lsa, amal qiladi. Bu keyingi holatning o'ziga xos hodisasidir Kruskalning daraxtlar teoremasi. Uning nomi berilgan Grem Xigman, uni 1952 yilda nashr etgan.

Adabiyotlar

  • Xigman, Grem (1952), "mavhum algebralarda bo'linish bo'yicha buyurtma berish", London Matematik Jamiyati materiallari, (3), 2 (7): 326–336, doi:10.1112 / plms / s3-2.1.326