İçeriğe atla

Morse teorisi

More teorisi, diferansiyel topolojide, türevlenebilir çokkatlıların topolojisini anlamaya yönelik kuram. Amerikali matematikçi Marston Morse tarafından 1930'larda geliştirilmiştir. Raoul Bott, Stephen Smale, John Milnor ve Edward Witten'ın kuramın köklerine doğrudan katkılarıyla türevli topolojide standart bir yönteme dönüşmüştür.

Morse kuramı, türevlenebilir çokkatlıyı, üzerine koyduğu gerçel değerli, türevlenebilir bir fonksiyon aracılığıyla inceler. Aşağıda verilen özel koşulları sağlayan bu fonksiyonlara Morse fonksiyonu denmektedir. Bu fonksiyonun çokkatlı üzerindeki kritik noktalarını inceleyerek ve başka hiçbir şeye bakmaksızın, çokkatlının türevli topolojik tüm özellikleri anlaşılır. Örneğin kenarı olmayan ve kompakt bir çokkatlının üzerine konacak bir Morse fonksiyonu, sonlu sayıda kritik noktaya sahip olacaktır. Bu sonlu nokta sayesinde çokkatlıyı sonlu sayıda kulpun bileşimi olarak inşa edebiliriz. Bu inşa, çokkatlının homoloji gruplarına ilişkin önemli bilgiler verir.

Tanımlar

, boyutlu türevlenebilir bir çokkatlı olsun. Burada (aşağıda ve yukarıda) türevlenebilir derken sürekli türevlenebilirlik kastediliyor. 'den gerçel sayılara bir fonksiyonu olsun. 'nin yerel koordinatlarda tüm türevlerinin 0 olduğu noktaya 'nin bir kritik noktası denir. Eğer bir kritik noktada 'nin ikinci türevi (Hesse matrisi) tekilse o kritik noktaya dejenere denir. Hiçbir kritik noktası dejenere olmayan bir fonksiyona Morse fonksiyonu denir. Gösterilebilir ki 'nin Morse olup olmaması yerel koordinat seçimlerinden bağımsızdır.

Bir Morse fonksiyonunun bir kritik noktasında Hesse matrisinin negatif özdeğerleri sayısına noktanın damgası (endeksi) denir. Yine, dejenere olmayan bir kritik noktanın damgası, yerel koordinat seçiminden bağımsızdır.

Hesse matrisi gerçel sayılardan oluşmuş 'ye simetrik bir matris olduğu için özdeğerleri gerçeldir. Dolayısıyla, özdeğerlerin negatif olmasını istemek anlamlıdır. Ayrıca özdeğerlerin ve özvektörlerin sayısı da tanedir. Dolayısıyla Hesse matrisi köşegenleştirilebilir bir matristir. Yani, kritik noktanın damgası, Hesse matrisinin köşegen halindeki negatif girdi sayısıdır.

Başlıca savlar

Aşağıdaki savlar ispatlanabilir:

  • Türevlenebilir her çokkatlının üzerine bir Morse fonksiyonu konabilir. Üstelik, gerçel değerli, türevlenebilir verilmiş herhangi bir fonksiyona istenildiği kadar yakın bir Morse fonksiyonu bulunabilir.
  • Çokkatlı kompaktsa, Morse fonksiyonunun kritik noktaları sonlu tanedir.
  • Morse fonksiyonu istenildiği kadar küçük bir dürtmeyle, kritik noktalara karşılık gelen kritik değerler birbirlerinden farklı yapılabilir.
  • Morse fonksiyonu kendini damgalayan (endeksleyen) biçime dönüştürülebilir; yani fonksiyonun her bir kritik noktasına karşılık gelen değer, kritik noktadaki damgaya (endeks) eşit yapılabilir.

Kaynakça

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Topoloji</span>

Topoloji, matematiğin ana dallarından biridir. Yunancada yer, yüzey veya uzay anlamına gelen topos ve bilim anlamına gelen logos sözcüklerinden türetilmiştir. Topoloji biliminin kuruluş aşamalarında yani 19. yüzyılın ortalarında, bu sözcük yerine aynı dalı ifade eden Latince analysis situs ür.

<span class="mw-page-title-main">Türev</span> Fonksiyonun grafiğine çizilen teğetin eğimini hesaplama tekniğidir.

Matematikte türev, bir fonksiyonun tanımlı olduğu herhangi bir noktada değişim yönünü veya hızını veren temel bir kavramdır. Tek değişkenli bir fonksiyonun tanım kümesinin belli bir noktasında türevi, fonksiyonun grafiğine bu noktada karşılık gelen değerde çizilen teğet doğrunun eğimidir. Teğet doğru, tanım kümesinin bu noktasında fonksiyonun en iyi doğrusal yaklaşımıdır. Bu nedenle türev genellikle anlık değişim oranı ya da daha açık bir ifadeyle, bağımlı değişkendeki anlık değişimin bağımsız değişkendeki anlık değişime oranı olarak tanımlanır. Bir fonksiyonun türevini teorik olarak bulmaya türev alma denilir. Eğer bir fonksiyonun tanım kümesindeki her değerinde hesaplanan türev değerlerini veren başka bir fonksiyon varsa, bu fonksiyona eldeki fonksiyonun türevi denir.

<span class="mw-page-title-main">Taylor serisi</span>

Taylor serisi matematikte, bir fonksiyonun, o fonksiyonun terimlerinin tek bir noktadaki türev değerlerinden hesaplanan sonsuz toplamı şeklinde yazılması şeklindeki gösterimi/açılımıdır. Adını İngiliz matematikçi Brook Taylor'dan almıştır. Eğer seri sıfır merkezli ise, Taylor serisi daha basit bir biçime girer ve bu özel seriye İskoç matematikçi Colin Maclaurin'e istinaden Maclaurin serisi denir. Bir serinin terimlerinden sonlu bir sayı kadarını kullanmak, bu seriyi bir fonksiyona yakınsamak için genel bir yöntemdir. Taylor serisi, Taylor polinomunun limiti olarak da görülebilir.

<span class="mw-page-title-main">Matris (matematik)</span>

Matematikte matris veya dizey, dikdörtgen bir sayılar tablosu veya daha genel bir açıklamayla, toplanabilir veya çarpılabilir soyut miktarlar tablosudur. Dizeyler daha çok doğrusal denklemleri tanımlamak, doğrusal dönüşümlerde çarpanların takibi ve iki parametreye bağlı verilerin kaydedilmesi amacıyla kullanılırlar. Dizeylerin toplanabilir, çıkartılabilir, çarpılabilir, bölünebilir ve ayrıştırılabilir olmaları, doğrusal cebir ve dizey kuramının temel kavramı olmalarını sağlamıştır.

Yüzey, matematikte ve özellikle topolojide iki boyutlu çokkatlı. İki gerçel değişkenli ve gerçel değerli bir fonksiyonun üç boyutlu uzayda (R³) grafiği tipik yüzey örneğidir. Ayrıca Dünya yüzeyi, bir yumurtanın kabuğu, bir simit birer yüzeydir.

<span class="mw-page-title-main">Karmaşık analiz</span>

Karmaşık analiz ya da başka bir deyişle kompleks analiz, bir karmaşık değişkenli fonksiyonları araştıran bir matematik dalıdır. Bir değişkenli karmaşık analize ya da çok değişkenli karmaşık analizle beraber tümüne karmaşık değişkenli fonksiyonlar teorisi de denilir.

Matematiğin bir alanı olan karmaşık analizde, karmaşık değişkenli ve karmaşık değerler alan bir f fonksiyonu

<span class="mw-page-title-main">Harmonik fonksiyon</span>

Matematiğin matematiksel fizik alanında ve rassal süreçler teorisinde bir harmonik fonksiyon, Rn'nin U gibi açık bir kümesi üzerinde f : UR şeklinde tanımlı, Laplace denklemini, yani

Matematiğin bir dalı olan karmaşık analizde Augustin Louis Cauchy ve Bernhard Riemann'a atfen Cauchy-Riemann denklemleri olarak adlandıran denklemler, türevlenebilir bir fonksiyonun açık bir kümede holomorf fonksiyon olması için gerekli ve yeterli şartları sağlayan kısmi diferansiyel denklemlerdir. Bu denklemler sistemi ilk defa Jean le Rond d'Alembert'in 1752 yılındaki çalışmasında ortaya çıkmıştır. Daha sonra, 1777 yılındaki çalışmasıyla Leonhard Euler bu sistemi analitik fonksiyonlarla ilişkilendirmiştir. Cauchy ise bu sistemi 1814'teki çalışmasındaki fonksiyonlar teorisinde kullanmıştır. Riemann'ın fonksiyonlar teorisi üzerine olan doktora tezinin tarihi ise 1851'dir.

<span class="mw-page-title-main">Karmaşık düzlem</span>

Matematikte karmaşık düzlem, gerçel eksen ve ona dik olan sanal eksen tarafından oluşturulmuş, karmaşık sayıların geometrik bir gösterimidir. Karmaşık sayının gerçel kısmının x-ekseni boyuncaki yer değiştirmeyle, sanal kısmının ise y-eksenindeki yer değiştirmeyle temsil edildiği değiştirilmiş bir Kartezyen düzlem olarak düşünülebilir.

<span class="mw-page-title-main">Laurent serisi</span>

Matematikte karmaşık bir fonksiyonun Laurent serisi bu fonksiyonun negatif dereceli terimler de içeren kuvvet serisi temsilidir. Karmaşık fonksiyonların Taylor serileri açılımının mümkün olmadığı durumlarda bu fonksiyonları açıklamak için de kullanılabilir. Laurent serisi ilk defa 1843'te Pierre Alphonse Laurent tarafından yayınlanmış ve bu matematikçinin adını almıştır. Karl Weierstrass 1841'de bu seriyi bulmuş olabilir ancak o zamanda ilk yayınlayan olamamıştır.

<span class="mw-page-title-main">Tanım kümesi</span> işlevin tanımlandığı "giriş" veya bağımsız değişken değerleri kümesi

Matematikte verilmiş bir fonksiyonun tanım kümesi, fonksiyonun tanımlı olduğu "girdi" değerlerinin oluşturduğu kümedir. Örneğin, kosinüsün tanım kümesi gerçel sayılar olurken karekök fonksiyonunun tanım kümesi 0 ve 0'dan büyük sayıların oluşturduğu negatif olmayan gerçel sayılar kümesidir. Fonksiyonun xy Kartezyen koordinat sistemindeki temsilinde, tanım kümesi x-ekseni (apsis) ile temsil edilir.

Topolojide derece, aynı boyutlu topolojik çokkatlılar arasındaki sürekli gönderimler için tanımlıdır. Çokkatlılar pürüzsüzse ve aradaki gönderim de pürüzsüzse gönderimin derecesi, olağan değerlerinin ters görüntüsündeki nokta sayısıyla ilişkilidir.

Pürüzsüz (gıcır) çokkatlı, türevli topolojide bir çeşit topolojik çokkatlı. Tanımı sayesinde, üzerinde türev alınabilir bir uzaydır. Örneğin türev ve integralin ilk tanımlandığı gerçel sayılar kümesi, 1 boyutlu pürüzsüz bir çokkatlıdır.

Matematikte deste, bir topolojik uzayın açık altkümelerine ilişkin yerel tanımlı verilerin sistematik olarak incelenmesini sağlayan bir araçtır.

<span class="mw-page-title-main">Kök (matematik)</span>

Matematikte gerçel, karmaşık veya daha genel bir anlamda vektör değerli bir fonksiyonun kökü, fonksiyonun tanım kümesinde bulunan ve fonksiyonun 0 değerini aldığı noktalardır. Yani, eğer bir V kümesinden bir W vektör uzayına tanımlı bir fonksiyonu

<span class="mw-page-title-main">Durgunluk noktası</span>

Matematikte, genellikle kalkülüste, durgunluk noktası ya da değişim noktası, bir tek değişkenli diferansiyellenebilir bir fonksiyonun türevinin sıfır olduğu noktadır. Öyle bir noktadır ki fonksiyon azalmayı ve artmayı bırakır o noktada. Birden çok değişkenli fonksiyonlar için durgunluk noktası fonksiyonun, tüm kısmi türevlerinin sıfır olduğu noktadır.

<span class="mw-page-title-main">Jacobi matrisi</span>

Vektör hesabında, Jacobi matrisi bir vektör-değerli fonksiyonun bütün birinci-derece kısmi türevlerini içeren matristir. Bu matris bir kare matris olduğunda, yani fonksiyonun girdi sayısı çıktı sayısının vektör bileşenleriyle aynı sayıdaysa, bu matrisin determinantı Jacobi determinantı olarak adlandırılır. Literatürde sıklıkla Jacobi olarak anılır.

Holomorf fonksiyonlar karmaşık analizin temel çalışma araçlarından biridir. Bu fonksiyonlar karmaşık düzlemin yani C'nin açık bir altkümesinde tanımlı, bu altkümedeki her noktada karmaşık anlamda türevli ve aldığı değerler yine C içinde olan fonksiyonlardır.

<span class="mw-page-title-main">Rolle teoremi</span> reel türevlenebilir bir fonksiyonun iki eşit değeri arasındaki durağan noktalar üzerine bir reel analiz teoremi

Kalkülüste, Rolle teoremi veya Rolle lemması temel olarak, iki farklı noktada eşit değerlere sahip herhangi bir gerçel değerli türevlenebilir fonksiyonun, aralarında bir yerde, teğet doğrusunun eğiminin sıfır olduğu en az bir noktaya sahip olması gerektiğini belirtir. Böyle bir nokta, durağan nokta olarak bilinir. Bu nokta, fonksiyonun birinci türevinin sıfır olduğu noktadır. Teorem adını Michel Rolle'den almıştır.