turkmath.org

Türkiye'deki Matematiksel Etkinlikler


06 Mayıs 2015, 15:00


Galatasaray Üniversitesi Matematik Bölümü Seminerleri

Geometry of subanalytic sets and quantifier elimination

Mark Spivakovsky
Institut de Mathématiques de Toulouse, Fransa

The purpose of this talk is NOT to discuss the latest results in this subject but rather to give an introduction to the theory of subanalytic sets and the spectacular progress made in this theory in late nineteen eighties and nineties using ideas from model theory, particularly, elimination of quantifiers. A semialgebraic set in $\mathbb{R}^n$ is, by definition, a finite union of sets, each of which is defined by finitely many polynomial equations and inequalities. The celebrated (and highly non-trivial) Tarski–Seidenberg theorem asserts that the class of semi-algebraic sets is preserved by polynomial mappings. In other words, the image of any semi-algebraic unde a polynomial mapping is again semi-algebraic. We will expalin how to think of this result as a statement about elimination of quantifiers in the theory of real closed fields (which is, indeed, how Alfred Tarski thought of it in the first place). Semi-analytic sets are defined in an analogous way, but using analytic equations and inequalities instead of polynomial ones. However, the analogue of the Tarski–Seidenberg theorem does not hold in this context, as can we will show by an example given by Osgood in 1915. The failure of a semi-analytic Tarski-Seidenberg theorem led to an important new definition: a set is said to be subanalytic if it is locally an image of a bounded semi-analytic set by an analytic map. The theory of subanalytic sets was developed in the nineteen seventies by Gabrielov and Hironaka, as well as by Lojaciewicz and the Polish school. One of the fundamental results is due to Gabrielov and has a notoriously difficult proof: the complement of any subanalytic set is subanalytic. A major breakthrough came with a 1986 paper by Denef and van den Dries, in which they found an appropriate substitute for the Tarski–Seidenberg theorem in the subanalytic case. We will explain the proof of their theorem and show how it immediately implies Gabrielov’s theorem, but also much more: any set which can be defined from a given subanalytic set using $(\varepsilon−\delta)$ formulas such as its complement, interior, closure, boundary, or any composition of those operations in any order is again subanalytic. Finally, we will briefly discuss more recent works on global subanalytic sets, o-minimal structures and Pfaffian systems.
Geometri İngilizce
Galatasaray Üniversitesi FEF 10

admin 20.03.2020

Yaklaşan Seminerler Seminer Arşivi
 

İLETİŞİM

Akademik biriminizin ya da çalışma grubunuzun ülkemizde gerçekleşen etkinliklerini, ilan etmek istediğiniz burs, ödül, akademik iş imkanlarını veya konuk ettiğiniz matematikçileri basit bir veri girişi ile kolayca turkmath.org sitesinde ücretsiz duyurabilirsiniz. Sisteme giriş yapmak için gerekli bilgileri almak ya da görüş ve önerilerinizi bildirmek için iletişime geçmekten çekinmeyiniz. Katkı verenler listesi için tıklayınız.

Özkan Değer ozkandeger@gmail.com

DESTEK VERENLER

ja2019

31. Journees Arithmetiques Konferansı Organizasyon Komitesi

Web sitesinin masraflarının karşılanması ve hizmetine devam edebilmesi için siz de bağış yapmak, sponsor olmak veya reklam vermek için lütfen iletişime geçiniz.

ONLİNE ZİYARETÇİLER


©2013-2020 turkmath.org
Tüm hakları saklıdır