Farq ierarxiyasi - Difference hierarchy - Wikipedia

Yilda to'plam nazariyasi, matematikaning bir bo'lagi farqlar ierarxiyasi ustidan nuqta klassi a ierarxiya qabul qilish yo'li bilan yaratilgan katta ball farqlar to'plamlar. Agar Γ nuqta klassi bo'lsa, u holda Γdagi farqlar to'plami . Odatiy yozuvlarda ushbu to'plam 2-by bilan belgilanadi. Ierarxiyaning keyingi darajasi 3-Γ bilan belgilanadi va uchta to'plamning farqlaridan iborat:. Ushbu ta'rif rekursiv ravishda kengaytirilgan bo'lishi mumkin transfinite ga a-Γ ba'zi uchun tartibli a.[1]

In Borel ierarxiya, Feliks Xausdorff va Kazimierz Kuratovskiy isbotladi hisoblanadigan Π dan farq ierarxiyasining darajalari0γ berΔ0γ+1.[2]

Adabiyotlar

  1. ^ Kanamori, Akixiro (2009), Yuqori cheksiz: boshidanoq nazariy jihatdan katta kardinallar, Matematikadan Springer Monografiyalari (2-nashr), Springer-Verlag, Berlin, p. 442, ISBN  978-3-540-88866-6, JANOB  2731169.
  2. ^ Vadj, Uilyam V. (2012), "Borel to'plamlari darajalarini dastlabki tekshirish", Wadge darajalari va proektsion tartiblar. Kabal seminari. II jild, Ma'ruza. Izohlar jurnali., 37, Dos. Belgilar. Mantiq, La Jolla, KA, 166–195-betlar, JANOB  2906999. Xususan qarang p. 173.