Müfredat/D8
D8 — Soyut Yapılar, Topoloji ve Diferansiyel Geometri
8.01 — Yapı ve Soyut Cebirsel Düşünce
8.02 — Gruplar
- 8.02.01Grup neden ortaya çıkar?
Simetri, tam sayı toplaması ve permütasyonun ortak yapısı nedir?
- 8.02.02Alt gruplar
Grubun hangi parçaları yine gruptur?
- 8.02.03Elemanın mertebesi ve devirli gruplar
Tek eleman bütün grubu üretebilir mi?
- 8.02.04Permütasyon grupları
Yeniden düzenlemeler neden doğal grup oluşturur?
- 8.02.05Kosetler ve Lagrange Teoremi
Alt grup ana grubu nasıl eşit parçalara böler?
- 8.02.06Normal alt gruplar ve bölüm grupları
Kosetler ne zaman yeni grup oluşturur?
- 8.02.07Grup homomorfizmaları ve izomorfizma teoremleri
Grup dönüşümünde kaybolan bilgi nasıl ölçülür?
8.03 — Grup Etkileri ve Sonlu Grupların Yapısı
- 8.03.01Grup etkisi
Soyut grup gerçek nesneler üzerinde nasıl hareket eder?
- 8.03.02Yörünge–sabitleyici teoremi
Hareket edebilen konumlar ile sabit bırakan simetriler nasıl ilişkilidir?
- 8.03.03Cayley Teoremi
Her soyut grup bir permütasyon grubu olarak görülebilir mi?
- 8.03.04Doğrudan çarpımlar ve yapıların birleştirilmesi
Küçük gruplardan büyük gruplar nasıl kurulur?
- 8.03.05Sylow teoremleri
Grup mertebesi zorunlu alt gruplar hakkında ne söyler?
- 8.03.06Sonlu üretilmiş Abel gruplarının yapısı
Sonlu Abel gruplar temel parçalara ayrılabilir mi?
8.04 — Halkalar ve İdealler
- 8.04.01Halka neden vardır?
Toplama ve çarpmanın ortak soyut yapısı nedir?
- 8.04.02Sıfır bölenler, birimler ve tamlık bölgeleri
Sayılardaki hangi çarpma özellikleri genel halkada kaybolur?
- 8.04.03İdealler
Normal alt grubun halka karşılığı nedir?
- 8.04.04Bölüm halkaları
Bir ideali sıfır kabul ederek yeni halka kurulabilir mi?
- 8.04.05Halka homomorfizmaları ve izomorfizma teoremi
İki işlemi birden koruyan dönüşüm nasıl davranır?
- 8.04.06Polinom halkaları
Polinomlar kendi cebirsel dünyalarını oluşturur mu?
- 8.04.07Bölünebilme ve indirgenemezlik
Asal sayı fikri genel halkaya nasıl taşınır?
- 8.04.08Öklid bölgeleri, PID ve UFD
Benzersiz çarpanlara ayrılma hangi yapılarda sürer?
8.05 — Modüller
- 8.05.01Modül neden vardır?
Vektör uzayında skaler cismini halkayla değiştirirsek ne olur?
- 8.05.02Alt modüller ve modül homomorfizmaları
Alt uzay/kernel/image fikirleri modüllerde sürer mi?
- 8.05.03Serbest modüller ve baz problemi
Her modülün vektör uzayı gibi bazı var mıdır?
- 8.05.04PID üzerinde sonlu üretilmiş modüllerin yapı teoremi
Modüller temel yapı taşlarına ayrılabilir mi?
8.06 — Cisimler ve Cebirsel Uzantılar
- 8.06.01Cisim nedir?
Sıfır dışındaki her elemanın bölünebildiği yapı nedir?
- 8.06.02Bir tamlık bölgesinden kesirler cismi oluşturmak
(\mathbb Z\to\mathbb Q) inşası nasıl genellenir?
- 8.06.03Cisim uzantıları
Bir cisme yeni elemanlar eklemek nasıl sistematik incelenir?
- 8.06.04Cebirsel ve transandantal elemanlar
Bir eleman polinom denklemiyle tanımlanabiliyor mu?
- 8.06.05Kök eklemek ve parçalanma cisimleri
Polinom kökü cebirsel olarak nasıl “eklenir”?
- 8.06.06Sonlu cisimler
Sonlu sayıda elemanı olan cisimler nasıl oluşur?
- 8.06.07Galois fikrine giriş: polinom köklerinin simetrileri
Polinom çözümü neden grup teorisi problemidir?
8.07 — Topolojinin Temelleri
- 8.07.01Metrik uzaydan topolojiye geçiş
Limit ve süreklilik için sayısal uzaklık şart mı?
- 8.07.02Topolojik uzay
Yakınlık yalnızca açık kümelerle tanımlanabilir mi?
- 8.07.03Baz ve alt baz
Bütün açık kümeleri tek tek vermeden topoloji nasıl üretilir?
- 8.07.04İç, kapanış, sınır ve yoğunluk
Bir kümenin topolojik çevresi nasıl tarif edilir?
- 8.07.05Topolojik yakınsaklık
Uzaklık olmadan yakınsaklık ne demektir?
- 8.07.06Süreklilik ve homeomorfizma
Süreklilik mesafe kullanmadan nasıl tanımlanır?
- 8.07.07Çarpım topolojisi
İki topolojik uzay doğal biçimde nasıl birleştirilir?
- 8.07.08Bölüm topolojisi
Noktaları yapıştırarak yeni uzay nasıl kurulur?
8.08 — Topolojik Uzayların Global Özellikleri
- 8.08.01Kompaktlık
Sonluluğun kontrol edilebilirliği sonsuz uzaya nasıl genellenir?
- 8.08.02Bağlantılılık ve yol bağlantılılık
Uzayın “tek parça” olması ne demektir?
- 8.08.03Ayırma aksiyomları
Farklı noktaların topolojik olarak ayırt edilebilmesi ne demektir?
- 8.08.04Sayılabilirlik aksiyomları ve metriklenebilirlik
Uzay ne zaman sayılabilir yerel bilgiyle kontrol edilir?
- 8.08.05Kompaktlaştırma
Sonsuzluğu ekleyerek uzay kompakt yapılabilir mi?
- 8.08.06Homotopi ve temel grup fikrine giriş
Döngülerin deformasyon sınıfları uzay hakkında ne söyler?
8.09 — Eğrilerin Diferansiyel Geometrisi
- 8.09.01Düzenli eğriler ve parametrizasyon
Eğri geometrik nesne olarak nasıl tanımlanır?
- 8.09.02Yay uzunluğu ve doğal parametrizasyon
Eğri geometrisi çizme hızından bağımsızlaştırılabilir mi?
- 8.09.03Frenet çatısı
Uzay eğrisinin doğal hareketli koordinat sistemi nedir?
- 8.09.04Eğrilik ve burulma
Eğri ne kadar bükülür ve düzlemden ayrılır?
- 8.09.05Eğrilerin Temel Teoremi
Eğrilik ve burulma eğriyi belirler mi?
- 8.09.06Düzlem eğrilerinin global geometrisi
Yerel eğrilik global eğri hakkında bilgi verir mi?
8.10 — Yüzeylerin Diferansiyel Geometrisi
- 8.10.01Düzenli yüzey ve yerel koordinatlar
Eğri kavramı yüzeye nasıl genişler?
- 8.10.02Teğet düzlem ve diferansiyel
Eğrinin teğet doğrusu yüzeyde neye dönüşür?
- 8.10.03Birinci temel form
Yüzey üzerinde uzunluk ve açı nasıl ölçülür?
- 8.10.04Yüzey normali ve Gauss dönüşümü
Yüzeyin yönelimi noktadan noktaya nasıl değişir?
- 8.10.05İkinci temel form ve şekil operatörü
Yüzey teğet düzleminden ne hızla ayrılır?
- 8.10.06Asal eğrilikler ve asal doğrultular
En fazla/en az bükülme yönleri var mıdır?
- 8.10.07Gauss ve ortalama eğrilik
İki asal eğrilikten hangi temel büyüklükler doğar?
- 8.10.08Yüzeylerde geodezikler
Eğri yüzeyde “düz gitmek” ne demektir?
- 8.10.09Gauss’un Theorema Egregium'u ve Gauss–Bonnet fikri
Eğrilik gömülmeden, yalnız iç geometriden ölçülebilir mi?
8.11 — Diferansiyellenebilir Manifoldlar
- 8.11.01Manifold neden vardır?
Eğri/yüzey (n)-boyutlu ortak kavramda birleşebilir mi?
- 8.11.02Atlas, kart ve düzgün yapı
Yerel koordinatlar nasıl uyumlu hâle gelir?
- 8.11.03Düzgün dönüşümler ve difeomorfizmalar
İki manifold ne zaman diferansiyel olarak aynıdır?
- 8.11.04Teğet vektör ve teğet uzay
Manifold noktasındaki yön koordinatsız nasıl tanımlanır?
- 8.11.05Düzgün dönüşümün diferansiyeli
Çok değişkenli türev manifoldlara nasıl taşınır?
- 8.11.06Teğet demet ve vektör alanları
Bütün teğet uzaylar tek global nesnede birleşebilir mi?
- 8.11.07Alt manifoldlar ve düzenli değer teoremi
Denklemle tanımlı küme ne zaman manifold olur?
- 8.11.08Akışlar ve Lie parantezi
Vektör alanı manifold üzerinde hareket üretir mi?
8.12 — Kotanjant Uzaylar, Tensörler ve Diferansiyel Formlar
- 8.12.01Kotanjant uzay ve kovektörler
Teğet vektörleri lineer ölçen nesneler nelerdir?
- 8.12.02Tensörler
Vektör ve kovektörleri çokdoğrusal biçimde nasıl ilişkilendiririz?
- 8.12.03Diferansiyel formlar ve dış cebir
Eğri/yüzey/hacim üzerinde doğal integre edilen nesneler nelerdir?
- 8.12.04Pullback
Diferansiyel form dönüşüm üzerinden nasıl taşınır?
- 8.12.05Dış türev
grad/curl/div daha genel tek bir türev olabilir mi?
- 8.12.06Yönelim
Manifold integralinin işareti nasıl tutarlı seçilir?
- 8.12.07Manifoldlarda integral ve genelleştirilmiş Stokes Teoremi
FTC, Green, Stokes ve Gauss tek teorem midir?
8.13 — Riemann Geometrisi
- 8.13.01Riemann metriği
Her teğet uzaya düzgün iç çarpım eklersek ne elde ederiz?
- 8.13.02Kovaryant türev ve Levi–Civita bağlantısı
Farklı noktalardaki teğet vektörler nasıl karşılaştırılır?
- 8.13.03Geodezikler yeniden: bağlantının doğal doğruları
Manifold üzerinde “kendi yönünde gitmek” ne demektir?
- 8.13.04Riemann eğrilik tensörü
Paralel taşımanın yol bağımlılığı nasıl ölçülür?
- 8.13.05Kesitsel, Ricci ve skaler eğrilik
Büyük eğrilik tensöründen anlamlı özetler nasıl çıkarılır?
- 8.13.06Tamlık ve Hopf–Rinow Teoremi
Yerel geodezikler bütün zaman boyunca devam eder mi?
- 8.13.07Yerelden globale: geometri ile topolojinin birleşmesi
Yerel eğrilik global manifold yapısını nasıl kısıtlar?