Sabit nokta teoremi
Matematikte bir sabit nokta teoremi, bir F fonksiyonunun, genel terimlerle ifade edilmiş belli koşullar altında en az bir sabit noktası (bir x noktası için F (x) = x) olduğunu ifade eden bir sonuçtur.[1] Bu tür sonuçlar matematikte en çok kullanılanlar arasındadır.[2]
Matematiksel analiz
Banach sabit nokta teoremi, bir fonksiyonun iterasyon işlemi sonucu sabit bir nokta verdiğini garanti eden genel bir kriterdir.[3]
Buna karşılık, Brouwer sabit nokta teoremi oluşturmacı(constructive) olmayan bir sonuçtur : n boyutlu Öklid uzayındaki kapalı birim küreden kendisine sürekli bir fonksiyonun sabit bir noktaya sahip olması gerektiğini ifade eder,[4] fakat sabit noktanın nasıl bulunacağını söylemez (ayrıca bkz. Sperner lemması ).
Örneğin, kosinüs fonksiyonu [ − 1,1] 'de süreklidir ve bu aralığı [ − 1, 1]' e eşler ve bu nedenle sabit bir noktaya sahip olmalıdır. Bu durum, kosinüs fonksiyonunun grafiğini incelerken açıkça görülür; sabit nokta, kosinüs eğrisi y = cos (x) ile y = x doğrusunun kesiştiği yerde oluşur. Sayısal olarak, sabit nokta yaklaşık x = 0,73908513321516 (bu x değeri için x = cos (x)) olur.
Cebirsel topolojiden Lefschetz sabit nokta teoremi[5] (ve Nielsen sabit nokta teoremi )[6] dikkat çekicidir, çünkü bir anlamda sabit noktaları saymak için bir yol sunar.
Banach sabit nokta teoreminin ve daha fazlasının genellemeleri vardır; bunlar PDE teorisinde uygulanır. Sonsuz boyutlu uzaylarda sabit nokta teoremlerine bakınız.
Fraktal sıkıştırmadaki kolaj teoremi, birçok görüntü için, herhangi bir başlangıç görüntüsüne yinelemeli olarak uygulandığında, istenen görüntü üzerinde hızla birleşen bir işlevin nispeten küçük bir tanımının var olduğunu kanıtlar.[7]
Cebir ve ayrık matematikte
Knaster-Tarski teoremi, tam bir kafes üzerindeki herhangi bir monoton fonksiyonun sabit bir noktaya, hatta en küçük sabit noktaya sahip olduğunu belirtir.[8] Ayrıca bakınız Bourbaki – Witt teoremi.
Bu teorem, bir tür statik program analizi biçimi olan soyut yorumlamada uygulamalara sahiptir.
Lambda kalkülüsde ortak bir konu, verilen lambda ifadelerinin sabit noktalarını bulmaktır. Her lambda ifadesinin sabit bir noktası vardır ve sabit nokta birleştiricisi bir lambda ifadesini girdi olarak alan ve çıktı olarak bu ifadenin sabit bir noktasını üreten bir "fonksiyon" dur.[9] Önemli bir sabit nokta birleştirici, yinelemeli tanımlar vermek için kullanılan Y birleştiricidir.
Gösterimsel semantik programlama dillerinde, özyinelemeli tanımların semantiğini oluşturmak için Knaster– Tarski teoreminin özel bir hali kullanılır. Sabit nokta teoremi "aynı" fonksiyona uygulansa da(mantıksal açıdan), teorinin gelişimi oldukça farklıdır.
Özyinelemeli fonksiyonun aynı tanımı, hesaplanabilirlik teorisinde, Kleene'nin yineleme teoremi uygulanarak verilebilir.[10] Bu sonuçlar eşdeğer teoremler değildir; Knaster – Tarski teoremi, gösterimsel semantikte kullanılandan çok daha güçlü bir sonuçtur.[11] Ancak, Church-Turing tezinin ışığında, sezgisel anlamları aynıdır: özyinelemeli bir fonksiyon, belirli bir fonksiyonelin(fonksiyonları fonksiyonlara götüren dönüşüm) en küçük sabit noktası olarak tanımlanabilir.
Sabit bir noktayı bulmak için bir fonksiyona iterasyon uygulama tekniği, kümeler teorisinde de kullanılabilir; normal fonksiyonlar için sabit nokta lemması, ordinallerden ordinallere sürekli ve kesin artan herhangi bir fonksiyonun bir (hatta birçok) sabit noktası olduğunu belirtir.
Bir kısmi sıralı kümedeki her kapanış operatörünün birçok sabit noktası vardır; bunlar kapanış operatörüne göre "kapalı elemanlardır" ve bu sabit noktalar, kapanış operatörünün öncelikle tanımlanmasının ana nedenidir.
Tek sayıda eleman içeren sonlu bir kümedeki her bir involüsyonun sabit bir noktası vardır; daha genel olarak, sonlu bir kümedeki her bir involüsyon için, eleman sayısı ve sabit noktaların sayısı aynı pariteye(çiftlik/teklik durumu) sahiptir . Don Zagier, bu gözlemleri iki kare toplamı ile ilgili Fermat teoremine yazdığı bir cümlelik kanıtında kullandı; aynı tam sayı üçlüleri kümesindeki iki involüsyonu tanımlayarak, bunlardan biri yalnızca bir sabit noktaya ve diğerine kolayca gösterilebilir bunların iki karenin toplamı olarak belirli bir asalın (1 mod 4'e uygun) her bir temsili için sabit bir noktası vardır. İlk involüsyonun tek sayıda sabit noktası olduğundan, ikincisinin de tek sayıdadır ve bu nedenle her zaman istenen formun bir gösterimi vardır.
Sabit nokta teoremlerinin listesi
- Atiyah–Bott sabit nokta teoremi
- Banach sabit nokta teoremi
- Borel sabit nokta teoremi
- Browder sabit nokta teoremi
- Brouwer sabit nokta teoremi
- Caristi sabit nokta teoremi
- Köşegen yardımcı teoremi, birinci dereceden mantığın kendine referanslı cümlelerini üretmek için sabit nokta yardımcı teoremi olarak da bilinir.
- Ayrık sabit nokta teoremi
- Sabit nokta birleştirici, türlenmemiş lambda hesabı içindeki her terimin sabit bir noktaya sahip olduğunu gösterir.
- Normal fonksiyonlar için sabit noktalı yardımcı teoremi
- Sabit nokta özelliği
- Enjeksiyon metrik alanı
- Kakutani sabit nokta teoremi
- Kleene sabit nokta teoremi
- Knaster–Tarski teoremi
- Lefschetz sabit nokta teoremi
- Nielsen sabit nokta teoremi
- Poincaré–Birkhoff teoremi iki sabit noktanın varlığını kanıtlar
- Ryll-Nardzewski sabit nokta teoremi
- Schauder sabit nokta teoremi
- Topolojik derece teorisi
- Tychonoff sabit nokta teoremi
Kaynakça
- Özel
- ^ Fixed Point Theory and Its Applications. American Mathematical Society. 1988. ISBN 0-8218-5080-6.
- ^ Fixed Point Theory. Springer-Verlag. 2003. ISBN 0-387-00173-5.
- ^ Introduction to the Analysis of Metric Spaces. Cambridge University Press. 1987. ISBN 978-0-521-35928-3.
- ^ Eberhard Zeidler, Applied Functional Analysis: main principles and their applications, Springer, 1995.
- ^ Solomon Lefschetz (1937). "On the fixed point formula". Ann. of Math. 38 (4). ss. 819-822.
- ^ Discontinuous groups of isometries in the hyperbolic plane. De Gruyter Studies in mathematics. 29. Berlin: Walter de Gruyter & Co. 2003.
- ^ Fractals Everywhere. Academic Press, Inc. 1988. ISBN 0-12-079062-9.
- ^ Alfred Tarski (1955). "A lattice-theoretical fixpoint theorem and its applications". Pacific Journal of Mathematics. Cilt 5:2. ss. 285–309.
- ^ The Implementation of Functional Programming. Prentice Hall International. 1987. 7 Aralık 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 11 Mayıs 2020.
- ^ Cutland, N.J., Computability: An introduction to recursive function theory, Cambridge University Press, 1980. 0-521-29465-7
- ^ The foundations of program verification, 2nd edition, Jacques Loeckx and Kurt Sieber, John Wiley & Sons, 0-471-91282-4, Chapter 4; theorem 4.24, page 83, is what is used in denotational semantics, while Knaster–Tarski theorem is given to prove as exercise 4.3–5 on page 90.
- Genel
- Fixed Point Theory and Applications. Cambridge University Press. 2001. ISBN 0-521-80250-4.
- Nonstandard Methods in fixed point theory. Springer Verlag. 1990. ISBN 0-387-97364-8.
- Iterative Approximation of Fixed Point. Springer Verlag. 2005. ISBN 978-3-540-72233-5.
- Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press. 1989. ISBN 0-521-38808-2.
- Topics in Metric Fixed Point Theory. Cambridge University Press. 1990. ISBN 0-521-38289-0.
- An Introduction to Metric Spaces and Fixed Point Theory. John Wiley, New York. 2001. ISBN 978-0-471-41825-2.
- Handbook of Metric Fixed Point Theory. Springer-Verlag. 2001. ISBN 0-7923-7073-2.
- Fixed Points. American Mathematical Society. 1991. ISBN 0-8218-9000-X.
Dış bağlantılar
- Sabit Nokta Yöntemi 5 Mart 2013 tarihinde Wayback Machine sitesinde arşivlendi.
