Jump to content

Talk:Projective hierarchy

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

comments

[edit]

This used to be a redirect to analytical hierarchy, but that doesn't make any sense as "analytical" is a lightface notion, whereas "projective" is boldface. This page and analytic set are candidates for a future merge into the pointclass page, when I get that written. --Trovatore 8 July 2005 06:19 (UTC)

Requested move

[edit]

Projective setProjective hierarchy

There's no sense in having both articles, and the "hierarchy" title better reflects the content. --Trovatore 06:56, 31 March 2007 (UTC)[reply]

Done. CMummert · talk 14:02, 31 March 2007 (UTC)[reply]
I think it is nice to have a separation between X hierarchy and X set. For example:
Arithmetical hierarchy / Arithmetical set
Analytical hierarchy / Analytic set
Borel hierarchy / Borel set (= Borel algebra)
There is a little duplication of content, but I think it is helpful to a naive reader to start with the non-hierarchy definition and later learn about the stratification. CMummert · talk 14:06, 31 March 2007 (UTC)[reply]
Well, you can make a case for that, but it does make maintenance and improvement more difficult. (By the way the "analytical hierarchy/analytic set" juxtaposition is wrong.) --Trovatore 16:37, 31 March 2007 (UTC)[reply]
The Lightface and darkface page is still unwritten. Not being a descriptive set theorist, I tend mentally identify the corresponding hierarchies.CMummert · talk 17:18, 31 March 2007 (UTC)[reply]
There's a pointclass page that treats that material, with redirects from lightface, lightface pointclass, boldface pointclass, and a link from boldface (disambiguation). No one seems to have touched that page but me. I think it's a critical concept, given that it's the essential subject matter of descriptive set theory (one could almost say it should bear the same relation to the descriptive set theory article that set bears to set theory). I think I did a decent start-class job on the article, but I wonder whether people are actually using the material, given that no one has edited it. --Trovatore 07:11, 1 April 2007 (UTC)[reply]
And thanks for reverting me at Analytic set, I remembed the distinction when I added it to analytical hierarchy but not this morning. I wasn't thinking. CMummert · talk 18:27, 31 March 2007 (UTC)[reply]

Relationship to the Borel hierarchy?

[edit]

We seem to have almost the same content on the page for the Borel hierarchy and if one blurs one's eyes, they cannot be told apart. Perhaps some clarifying distinction should be drawn. Well, I mean, the Borel hierarchy starts with and the analytic hierarchy does not show up till much later, as , but it seems that perhaps this should be pointed out in the opening paragraphs. 67.198.37.16 (talk) 20:28, 27 November 2023 (UTC)[reply]

More information need to be mentioned in the article

[edit]

For example, an important fact from the German version: "Alle Klassen und sind abgeschlossen bezüglich abzählbarer Durchschnitte und abzählbarer Vereinigungen, insbesondere ist eine σ-Algebra.[1]" (The German version of the pages uses the lightface symbols for both Borel hierarchy and projective hierarchy. ) If I understand it correctly, it says that families and are all closed under countable union and intersection, so is a σ-algebra.

We know that is closed under countable union and intersection from the page analytic set. Since the image of union is the union of images, the implication " is closed under countable intersection is closed under countable union" would be trivial, but to prove that is closed under countable intersection seems to be nontrivial for me. A proof would be well appreciated.

Another example: the diagram in the German page says that , which is equivalent to . This means that every set and every is the projection of a set; while the latter implication is trivially true, I have no idea about the former even with n = 1. The inclusion gives us the inclusion of σ-algebras . Perhaps in fact each inclusion is strict in eveyy uncountable Polish space? (We know that this is true for the first inclusion as stated here, of course some choice may be needed; this post may have addressed the second, although I don't know if it would work for eveyy uncountable Polish space.)

What's more, the inclusion tells us that sets are precisely the projections of sets, so sets are precisely those sets such that themselves as well as their projections are all sets: by definition , and the projections of sets are also in . Conversely, a set is projection of set, and the latter is a set. (This works for n ≥ 2; for n = 1, the proposition "every analytic set is the projection of a set" is something outside the hierarchy: we have to show that every analytic set is the projection of a Borel set, and sets are precisely Borel sets (Suslin's theorem).) 129.104.241.214 (talk) 06:07, 12 February 2024 (UTC)[reply]

  1. ^ Y.N. Moschovakis: Descriptive Set Theory, North Holland 1987, ISBN 0-444-70199-0, Corollary 1F.2