Talk:Subanalytic set

Latest comment: 13 years ago by Charles Matthews in topic Definition of subanalytic sets

Definition of subanalytic sets

edit

The article presently doesn't define subanalytic sets the way that Hironaka defines them in his article on triangulation. There, he defines them as the images of semianalytic sets under proper morphisms. Off the top of my head, I think they're equivalent (replace a proper morphism with the projection from its graph). But perhaps the article should say something about the relationship between the two. (To my mind, defining them as Hironaka does feels more right, but I may not have the right intuition for these matters.) Ozob (talk) 23:33, 27 July 2010 (UTC)Reply

This is perhaps implicit in http://www.msri.org/publications/books/Book39/files/bierstone.pdf .Charles Matthews (talk) 07:27, 28 July 2010 (UTC)Reply