Projective hierarchy

In the mathematical field of descriptive set theory, a subset $A$ of a Polish space $X$ is projective if it is ${\boldsymbol {\Sigma }}_{n}^{1}$ for some positive integer $n$ . Here $A$ is

${\boldsymbol {\Sigma }}_{1}^{1}$ if $A$ is analytic
${\boldsymbol {\Pi }}_{n}^{1}$ if the complement of $A$ , $X\setminus A$ , is ${\boldsymbol {\Sigma }}_{n}^{1}$
${\boldsymbol {\Sigma }}_{n+1}^{1}$ if there is a Polish space $Y$ and a ${\boldsymbol {\Pi }}_{n}^{1}$ subset $C\subseteq X\times Y$ such that $A$ is the projection of $C$ onto $X$ ; that is, $A=\{x\in X\mid \exists y\in Y:(x,y)\in C\}.$

The choice of the Polish space $Y$ in the third clause above is not very important; it could be replaced in the definition by a fixed uncountable Polish space, say Baire space or Cantor space or the real line.

Relationship to the analytical hierarchy

There is a close relationship between the relativized analytical hierarchy on subsets of Baire space (denoted by lightface letters $\Sigma$ and $\Pi$ ) and the projective hierarchy on subsets of Baire space (denoted by boldface letters ${\boldsymbol {\Sigma }}$ and ${\boldsymbol {\Pi }}$ ). Not every ${\boldsymbol {\Sigma }}_{n}^{1}$ subset of Baire space is $\Sigma _{n}^{1}$ . It is true, however, that if a subset X of Baire space is ${\boldsymbol {\Sigma }}_{n}^{1}$ then there is a set of natural numbers A such that X is $\Sigma _{n}^{1,A}$ . A similar statement holds for ${\boldsymbol {\Pi }}_{n}^{1}$ sets. Thus the sets classified by the projective hierarchy are exactly the sets classified by the relativized version of the analytical hierarchy. This relationship is important in effective descriptive set theory. Stated in terms of definability, a set of reals is projective iff it is definable in the language of second-order arithmetic from some real parameter.^[1]

A similar relationship between the projective hierarchy and the relativized analytical hierarchy holds for subsets of Cantor space and, more generally, subsets of any effective Polish space.

Table

Pointclasses v t e
Lightface		Boldface
Σ⁰ ₀ = Π⁰ ₀ = Δ⁰ ₀ (sometimes the same as Δ⁰ ₁)		Σ⁰ ₀ = Π⁰ ₀ = Δ⁰ ₀ (if defined)
Δ⁰ ₁ = recursive		Δ⁰ ₁ = clopen
Σ⁰ ₁ = recursively enumerable	Π⁰ ₁ = co-recursively enumerable	Σ⁰ ₁ = G = open	Π⁰ ₁ = F = closed
Δ⁰ ₂		Δ⁰ ₂
Σ⁰ ₂	Π⁰ ₂	Σ⁰ ₂ = F_σ	Π⁰ ₂ = G_δ
Δ⁰ ₃		Δ⁰ ₃
Σ⁰ ₃	Π⁰ ₃	Σ⁰ ₃ = G_δσ	Π⁰ ₃ = F_σδ
⋮		⋮
Σ⁰ _<ω = Π⁰ _<ω = Δ⁰ _<ω = Σ¹ ₀ = Π¹ ₀ = Δ¹ ₀ = arithmetical		Σ⁰ _<ω = Π⁰ _<ω = Δ⁰ _<ω = Σ¹ ₀ = Π¹ ₀ = Δ¹ ₀ = boldface arithmetical
⋮		⋮
Δ⁰ _α (α recursive)		Δ⁰ _α (α countable)
Σ⁰ _α	Π⁰ _α	Σ⁰ _α	Π⁰ _α
⋮		⋮
Σ⁰ _ω^CK ₁ = Π⁰ _ω^CK ₁ = Δ⁰ _ω^CK ₁ = Δ¹ ₁ = hyperarithmetical		Σ⁰ _ω₁ = Π⁰ _ω₁ = Δ⁰ _ω₁ = Δ¹ ₁ = B = Borel
Σ¹ ₁ = lightface analytic	Π¹ ₁ = lightface coanalytic	Σ¹ ₁ = A = analytic	Π¹ ₁ = CA = coanalytic
Δ¹ ₂		Δ¹ ₂
Σ¹ ₂	Π¹ ₂	Σ¹ ₂ = PCA	Π¹ ₂ = CPCA
Δ¹ ₃		Δ¹ ₃
Σ¹ ₃	Π¹ ₃	Σ¹ ₃ = PCPCA	Π¹ ₃ = CPCPCA
⋮		⋮
Σ¹ _<ω = Π¹ _<ω = Δ¹ _<ω = Σ² ₀ = Π² ₀ = Δ² ₀ = analytical		Σ¹ _<ω = Π¹ _<ω = Δ¹ _<ω = Σ² ₀ = Π² ₀ = Δ² ₀ = P = projective
⋮		⋮

References

^ J. Steel, "What is... a Woodin cardinal?". Notices of the American Mathematical Society vol. 54, no. 9 (2007), p.1147.

Kechris, A. S. (1995), Classical Descriptive Set Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94374-9
Rogers, Hartley (1987) [1967], The Theory of Recursive Functions and Effective Computability, First MIT press paperback edition, ISBN 978-0-262-68052-3

Read other articles:

Camfrog

Artikel ini berisi konten yang ditulis dengan gaya sebuah iklan. Bantulah memperbaiki artikel ini dengan menghapus konten yang dianggap sebagai spam dan pranala luar yang tidak sesuai, dan tambahkan konten ensiklopedis yang ditulis dari sudut pandang netral dan sesuai dengan kebijakan Wikipedia. CamfrogTipeProgram komputer Versi pertamaOktober 2003 (2003)GenreObrolan daringLisensiHak milikModel bisnisfreemium BahasaDaftar bahasa Inggris, Indonesia, Tionghoa, Thai, Belanda, Prancis, Jerma...

Marilyn Maxwell

Marilyn MaxwellMaxwell pada 1961LahirMarvel Marilyn Maxwell(1921-08-03)3 Agustus 1921Clarinda, Iowa, Amerika SerikatMeninggal20 Maret 1972(1972-03-20) (umur 50)Beverly Hills, California, Amerika SerikatTahun aktif1942–71Suami/istriJohn Conte (m. 1944; bercerai 1946) Anders (Andy) McIntyre (m. 1950; bercerai 1951) Jerry Davis (m. 1954; bercera...

Sistem Satuan Internasional

Ketujuh satuan pokok SI. Simbol Nama Besaran s detik waktu m meter panjang kg kilogram massa A ampere arus listrik K kelvin suhu termodinamika mol mol jumlah zat cd kandela intensitas cahaya Tiga negara: Amerika Serikat, Myanmar dan Liberia yang belum mengikuti sistem SI. Sistem Satuan Internasional (Prancis: Système International d'Unitéscode: fr is deprecated atau SI) adalah bentuk modern dari sistem metrik dan saat ini menjadi sistem pengukuran yang paling umum digunakan. Sistem ini terd...

Adam Rahayaan

Adam Rahayaan,Adam sebagai Wali Kota Tual 2018–2023 Wali Kota Tual Ke-2Masa jabatan23 Mei 2016 – 31 Oktober 2023(Pelaksana tugas: 4 April–23 Mei 2016)PresidenJoko WidodoGubernurSaid AssagaffMurad IsmailWakilAbdul Hamid Rahayaan (2017–18)Usman Tamnge (2018–) PendahuluM.M. TamherPenggantiPetahanaWakil Wali Kota Tual 1Masa jabatan2008–2016PresidenS.B. YudhoyonoJoko WidodoGubernurKarel Albert RalahaluSaid AssagaffWali KotaM.M. Tamher Informasi pribadiLahirAdam Rahayaa...

Han Xiu

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Maret 2016. Han Xiu (Hanzi: 韩休, 672-739), Bangsawan Wenzhong dari Yiyang (宜阳文忠子), adalah seorang pejabat pada pertengahan Dinasti Tang yang terkenal akan keterusterangan dan kejujurannya. Ia sempat menjabat sebagai perdana menteri pada masa pemerintaha...

Sporting Clube de Portugal (pallamano)

Voce principale: Sporting Clube de Portugal. Sporting Clube de PortugalPallamano Leões (Leoni), Verde e brancos (Verdibianco), Sportinguisti Segni distintivi Uniformi di gara Casa Trasferta Terza divisa Colori sociali Bianco-verde Simboli Leone rampante Dati societari Città Lisbona Paese Portogallo Confederazione EHF Federazione FAP Campionato Andebol 1 Fondazione 1906 Presidente Frederico Varandas Allenatore Rui Silva Impianto sportivo Pavilhão João Rocha (3.000 posti) Palmarès T...

B

此條目介紹的是拉丁字母中的第2个字母。关于其他用法，请见「B (消歧义)」。提示：此条目页的主题不是希腊字母Β、西里尔字母В、Б、Ъ、Ь或德语字母ẞ、ß。 BB b(见下)用法書寫系統拉丁字母英文字母ISO基本拉丁字母（英语：ISO basic Latin alphabet）类型全音素文字相关所属語言拉丁语读音方法 [b][p][ɓ](适应变体)Unicode编码U+0042, U+0062字母顺位2数值 2歷史發...

Folk religion

Expressions of religion distinct from the official doctrines of organized religion For religions sometimes described as folk religions or ethnic religions, see Ethnic religion. In religious studies and folkloristics, folk religion, popular religion, traditional religion, or vernacular religion comprises various forms and expressions of religion that are distinct from the official doctrines and practices of organized religion. The precise definition of folk religion varies among scholars. Some...

1991 Cappagh killings

Ulster loyalist attack in Northern Ireland 1991 Cappagh killingsPart of the TroublesLocationBoyle's Bar,Cappagh, County TyroneNorthern IrelandCoordinates54°32′29.40″N 6°55′27.19″W / 54.5415000°N 6.9242194°W / 54.5415000; -6.9242194Date3 March 1991 10:30 pmAttack typeShootingDeaths4Injured1PerpetratorUlster Volunteer Force The 1991 Cappagh killings was a gun attack by the loyalist Ulster Volunteer Force (UVF) on 3 March 1991 in the village of Cappagh, County...

تعتيق اللحوم

هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. تسمى التعتيق[1] أو التسوية يعتبر التعتيق أحد طرق تليين اللحوم يقصد به حفظ اللحوم فترة وهذا يساعد على ليونة الألياف بفعل بعض الأنزيمات المحللة للبروتين, وتزيد نسبة الحموضة...

The Warp Effect

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Maret 2023. The Warp Effect adalah sebuah drama komedi romansa Thailand tahun 2022 yang disutradarai oleh Jojo Tichakorn Phukhaotong dan ditulis oleh Game Kirati Kumsat dan Chim Sedthawut Inboon. Seri tersebut menampilkan Fah Yongwaree Anilbol dan New Thitipoom Tech...

中華民國—瑞士關係

提示：此条目页的主题不是中國—瑞士關係。關於中華民國與「瑞」字國家的外交關係，詳見中瑞關係 (消歧義)。中華民國—瑞士關係中華民國瑞士代表機構駐瑞士台北文化經濟代表團瑞士商務辦事處代表代表黃偉峰大使[註 1][4]處長陶方婭[5]Mrs. Claudia Fontana Tobiassen 中華民國—瑞士關係（德語：Schweizerische–republik china Beziehungen、法�...

拉米兹·阿利雅

拉米兹·阿利雅Ramiz Alia第1任阿尔巴尼亚總統任期1991年4月30日—1992年4月9日继任萨利·贝里沙阿尔巴尼亚人民议会主席团主席任期1982年11月22日—1991年4月30日前任哈奇·列希继任转任总统阿尔巴尼亚劳动党第一书记任期1985年4月13日—1991年5月4日前任恩维尔·霍查继任无（政党解散）个人资料出生(1925-10-18)1925年10月18日阿尔巴尼亚斯库台逝世2011年10月17日(2011歲—10—17)（85�...

Schnucks

Supermarket chain based in St. Louis Schnuck Markets, Inc.Trade nameSchnucksCompany typePrivatefamily businessIndustryRetailSupermarketFounded1939 (85 years ago) (1939) in St. Louis, Missouri, U.S.FounderEdwin Schnuck[1]Headquarters11420 Lackland Rd., St. Louis, Missouri, U.S.[2]Number of locations115Areas servedMissouri, Illinois, Indiana, and Wisconsin[3]ProductsBakery, dairy, deli, frozen foods, meat, general grocery, pharmacy, produce, seafood, floral...

Daftar stasiun televisi yang menyiarkan Formula Satu

Artikel ini perlu diterjemahkan dari bahasa Inggris ke bahasa Indonesia. Artikel ini ditulis atau diterjemahkan secara buruk dari Wikipedia bahasa Inggris. Jika halaman ini ditujukan untuk komunitas bahasa Inggris, halaman itu harus dikontribusikan ke Wikipedia bahasa Inggris. Lihat daftar bahasa Wikipedia. Artikel yang tidak diterjemahkan dapat dihapus secara cepat sesuai kriteria A2. Jika Anda ingin memeriksa artikel ini, Anda boleh menggunakan mesin penerjemah. Namun ingat, mohon tidak men...

Starship Troopers (película)

Starship Troopers Título Las brigadas del espacio (España)Invasión (Hispanoamérica)Ficha técnicaDirección Paul VerhoevenProducción Jon DavisonAlan MarshallGuion Edward NeumeierBasada en Tropas del espacio de Robert A. HeinleinMúsica Basil PoledourisFotografía Jost VacanoMontaje Mark GoldblattCaroline RossVestuario Ellen MirojnickProtagonistas Casper Van DienDina MeyerDenise RichardsJake BuseyNeil Patrick HarrisPatrick MuldoonClancy BrownMichael Ironside Ver todos los créditos (IMDb)...

Scopa (biology)

This article is about the insect anatomical feature. For the card game, see Scopa. Abdominal scopa of Megachile on the pseudanthium of a composite A scopa (plural scopae; Latin for broom) is any of a number of different modifications on the body of a non-parasitic bee that form a pollen-carrying apparatus. In most species of bees, the scopa is simply a dense mass of elongated, often branched, hairs (or setae) on the hind leg. When present on the hind legs, the modified hairs are, at a minimum...

Franchising

Practice of the right to use a firm's business model and brand for a prescribed period of time This article is about the business concept. For other uses, see Franchise. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and ...

Thomas Paterson

Australian politician For other people named Thomas Paterson, see Thomas Paterson (disambiguation). The HonourableThomas PatersonDeputy Leader of the Country PartyIn office19 November 1929 – 27 November 1937LeaderEarle PagePreceded byWilliam GibsonSucceeded byHarold ThorbyMinister for the InteriorIn office9 November 1934 – 29 November 1937Prime MinisterJoseph LyonsPreceded byEric HarrisonSucceeded byJohn McEwenMinister for Markets and TransportIn office10 December 1928&#...

Curtis Harrington

American film director Curtis HarringtonBornGene Curtis Harrington(1926-09-17)September 17, 1926Los Angeles, California, U.S.DiedMay 6, 2007(2007-05-06) (aged 80)Los Angeles, California, U.S.Resting placeHollywood Forever CemeteryAlma materUniversity of California, Los Angeles Gene Curtis Harrington (September 17, 1926 – May 6, 2007) was an American film and television director whose work included experimental films and horror films.[1] He is considered one of the fore...

Consolation (album)

/profillengkap.com/index.php/Sukorejo, Ponorogo

A Love So Beautiful (2020 TV series)

Ayam Kung Pao

Charles Weeghman

Nikolaos Votsis

فلورال بارك (نيويورك)

Sanchez Watt

العلاقات الإكوادورية الكويتية

Senecio holubii

رحوفوت

Nand Kishore