Model theoretic approach to Nullstellensatz
Nullstellensatz teoremine model teoretik bakış
- Tez No: 290270
- Danışmanlar: PROF. DR. OLEG BELEGRADEK
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2011
- Dil: İngilizce
- Üniversite: İstanbul Bilgi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Tezimizin konusu Reel Nullstellensatz teoreminin Hilbert's Nullstellensatz teoremininanalogu olarak model teoritik ispatı.Birinci bölüm reel kapalı cisimlerin teorisini içeriyor. Sıralı ve reel cisimlerin tanımlarıveriliyor. Reel kapalı bir cisimleri -1 in kareler toplamı olarak yazılamayacağı cisimlerolarak tanımlayarak reel cisimlerin tek bir sıralaması olduğu sonucuna ulaşılıyor.Reel kapalı cisimleri reel bir cismi içeren cebirsel kapalı en büyük reel cisim olaraktanımlıyoruz ve her reel cisiminin izomorfizm anlamında tek bir reel kapalı cisimegömüldüğü sonucuna ulaşıyoruz. Bu sonuca ulaşmak için, bir polinomun reel bircisim üzerindeki köklerini saymaya yarayan Sturm teoremini ve reel kapalı cisimlerin ara değer teoremini sağladığı kanıtlanarak kullanılmıştır.İkinci bölümde model teorinin bazı temel kavramları tanımlanmıştır. Cebirsel kapalıcisimlerin teorisinin ve reel kapalı cisimlerin teorisinin niceleyici eliminasyonunusağladığı gösterilerek model tam oldukları sonucuna varılıyor.Üçüncü bölümde Hilbert's ve Reel Nullstellensatz teoremlerinin analojiyivurgulamak için aynı yöntemle kanıtları veriliyor. Öncesinde bu teoremlerihipotezlerini anlamak için cebirsel geometriden varyete ve varyetenin idealigibi bazı tanımlar veriliyor. İdeallerin ve varyetelerin arasındaki eşleşmelerinincelendiği teoremlerde cebirsel kapalı cisimlerdeki radikal ideallerin yerinireel kapalı cisimlerde reel idealler alıyor.
Özet (Çeviri)
as field is real if and only if?ni=1 a2i = 0 implies ai = 0 with ai ? R for i = 1, . . . , n.After that, I defined real closed field as a real field, maximal with respect to theproperty of reality in an algebraic closure and showed that real closed fields haveunique order. Finally I arrived to the following result; every real field embeds intoa real closed field, i.e. has a real closure, moreover this real closure is unique upto isomorphism. To prove this result, I used Sturm?s Theorem that counts the rootsof a polynomial on a real field and the important result that real closed fields haveintermediate value property. All the theory developed in chapter is due to Artin-Schreier. I followed [SL] and [PG] for Chapter 1. The results I achieved in Chapter1 are used in Chapter 3 for proving some properties of real ideals and in the proofof Real Nullstellensatz.In Chapter 2, I gave model theoretic facts which are necessary to give a modeltheoretic proof of nullstellensatz. As the model theoretic part of the proof of null-stellensatz uses the fact that ACF and RCOF are model complete, after giving abasic facts and some theorems about quantifier elimination. We showed in Chapter2, that ACF and RCF admits quantifier elimination and from that I conclude thatACF and RCF is model complete.Last chapter finally consists of model theoretic proof of Hilbert Nullstellensatzand Real Nullstellensatz using the same methods as to emphasize the analogy. Inthe beginning, I gave some definitions from algebraic geometry; affine variety andideal of a variety in order to understand the statements of both Hilbert?s and RealNullstellensatz. Before giving the proof of Hilbert Nullstellensatz I visited somealgebraic facts from field theory. Also before the proof of Real Nullstellensatzwe define the notion of real ideal and study some of its properties. Since the realclosure of a real field and algebraic closure of a field has analogous properties, weuse the same method for both of the proofs. Real ideals for a real field took theplace of radical ideals.
Benzer Tezler
- Limit grupların model teori ile incelenmesi
A model theoretic approach to limit groups
KAAN DOĞANAY
Yüksek Lisans
Türkçe
2022
MatematikMimar Sinan Güzel Sanatlar ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. AYŞE ASLI BERKMAN PIERCE
PROF. DR. DAVID AUSTIN PIERCE
- Seri ve paralel maniplatörlerin lineer graf teorisi yaklaşımı ile modellenmesi
A Systems approach to serial and parallel manipulators using graph-theoretic models
BAHAR AŞKIN(ÖNDEROL)
Yüksek Lisans
Türkçe
1991
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. ALİ NUR GÖNÜLEREN
- Kalkınma iktisadına oyun teorik yaklaşım: Fakirlik tuzakları üzerine üç makale
A game theoretic approach to development economics: Three essays on poverty traps
Ü. OYA CESUR DEMİR
- Stratejik karar alma sürecinde oyun teorisi yaklaşımı ve bir uygulama
A game theoretic approach to strategic decision making process and an application
YASEMİN BAKSİ KARATAŞ
Yüksek Lisans
Türkçe
2017
EkonometriMarmara ÜniversitesiEkonometri Ana Bilim Dalı
DOÇ. DR. SAİT ERDAL DİNÇER
- Denizcilikte kompleks sistem kaza analizi için yeni bir model önerisi
Novel approach for maritime complex system accident analysis
BULUT OZAN CEYLAN
Doktora
Türkçe
2023
Denizcilikİstanbul Teknik ÜniversitesiDeniz Ulaştırma İşletme Mühendisliği Ana Bilim Dalı
PROF. DR. YASİN ARSLANOĞLU