Matematikte "periyot" kelimesinin daha sık kullanılan anlamı için için Periyodik fonksiyon sayfasına bakınız.
Cebirsel geometride, bir **periyot**, bir cebirsel fonksiyonun cebirsel bir tanım kümesi üzerinden integrali olarak ifade edilebilen bir sayıdır. Periyotların toplamları ve çarpımları kapanış prensibi gereği yine periyotlardır, böylece periyotlar bir halka oluştururlar.

Maxim Kontsevich ve Don Zagier, periyotlar üzerine kapsamlı bir inceleme sunmuş ve bu konuyla ilgili birtakım varsayımlara yer vermiştir. Periyotlar, Feynman diyagramılarından elde edilen integrallerin hesaplanması sürecinde de önem kazanmaktadır ve bu alandaki ilişkileri derinlemesine kavramaya yönelik kapsamlı araştırmalar gerçekleştirilmiştir.

Tanım
-----

Bir reel sayı, belirli bir formülasyona göre tanımlanmışsa, bir periyot olarak kabul edilir:

{\displaystyle \int \_{P(x,y,z,\ldots )\geq 0}Q(x,y,z,\ldots )\mathrm {d} x\mathrm {d} y\mathrm {d} z\ldots }
Bu durumda, {\displaystyle P} bir polinom olup, {\displaystyle \mathbb {R} ^{n}} uzayında rasyonel katsayılara sahiptir ve {\displaystyle Q} bir rasyonel fonksiyon olarak işlev görür. Eğer bir karmaşık sayının gerçek ve sanal kısımları periyot niteliğindeyse, bu sayı bir periyot olarak değerlendirilir.

Alternatif bir yaklaşımda, {\displaystyle P} ve {\displaystyle Q} değerleri cebirsel fonksiyonlar olarak kabul edilebilir; bu, ilk bakışta daha geniş bir tanım gibi görünse de, temelde eşdeğer bir yaklaşımdır. Rasyonel fonksiyonlar ve polinomların katsayıları, cebirsel sayılar olarak daha da genişletilebilir zira irrasyonel cebirsel sayılar, uygun tanım alanlarının alanları aracılığıyla ifade edilebilir.

Diğer bir yaklaşımda, {\displaystyle Q} değeri, ek değişkenler içeren polinomlar kullanılarak tanımlanan bir bölge üzerinde {\displaystyle \pm 1}'in integrali alınarak, {\displaystyle 1} veya {\displaystyle -1} olacak şekilde sabit fonksiyon olarak kısıtlanabilir. Yani, bir (negatif olmayan) periyot, bir polinom eşitsizliği ile tanımlanmış {\displaystyle \mathbb {R} ^{n}} uzayındaki bir bölgenin hacmini temsil eder.

Örnekler
--------

Cebirsel sayılar dışında, aşağıda sıralanan sayılar periyot olarak kabul edilmektedir:

* Herhangi bir pozitif cebirsel sayının *a* doğal logaritması, {\displaystyle \int \_{1}^{a}{\frac {1}{x}}\ \mathrm {d} x} formülü ile ifade edilir.
* π {\displaystyle =\int \_{0}^{1}{\frac {4}{x^{2}+1}}\ \mathrm {d} x}
* Rasyonel argümanlara sahip elliptik integraller
* Tüm zeta sabitleri (Riemann zeta fonksiyonu bir tam sayı için) ve çoklu zeta değerleri
* Cebirsel argümanlar için hipergeometrik fonksiyonların özel değerleri
* *p* ve *q* doğal sayıları için Γ*q*.

Bir periyot olmayan bir reel sayı örneği olarak Chaitin sabiti gösterilebilir. Hesaplanabilir olmayan diğer herhangi bir sayı da, periyot olmayan bir reel sayının örneğini oluşturur. Halihazırda, periyot olmadığı kanıtlanmış hesaplanabilir sayılara dair doğal örnekler mevcut değildir; ancak, yapay örneklerin oluşturulması mümkündür. Periyot olmayan sayılar için muhtemel adaylar arasında *e*, 1/π, ve Euler-Mascheroni sabiti yer alır.

Özellikler ve motivasyon
------------------------

Periyotlar, cebirsel sayılar ile aşkın sayılar arasındaki farkı kapatmayı hedeflemektedir. Cebirsel sayılar sınıfının kapsamı, pek çok yaygın matematiksel sabiti barındıracak kadar geniş olmadığı için, aşkın sayılar kümesinin sayılabilir olmaması ve üyelerinin genel olarak hesaplanabilir olmaması gibi sorunlar bulunmaktadır.

Tüm periyotları içeren küme sayılabilirdir ve tüm periyotlar hesaplanabilir niteliktedir, bununla birlikte özel olarak tanımlanabilirdirler.

Varsayımlar
-----------

Çoğu bilinen periyotlar aynı zamanda aşkın fonksiyonların integralleriyle ilişkilendirilir. Kontsevich ve Zagier, belirli sonsuz serilerin veya aşkın fonksiyonların integrallerinin neden periyot olarak kabul edildiğini açıklamaya yönelik evrensel bir prensibin "görünüşe göre mevcut olmadığını" ifade etmişlerdir.

Kontsevich ve Zagier, bir periyot eğer iki farklı integralle ifade ediliyorsa, bu integrallerin her birinin yalnızca integrallerin doğrusallığı (integrand ve tanım kümesi açısından), değişken değiştirme işlemleri ve Newton–Leibniz formülü

{\displaystyle \int \_{a}^{b}f'(x),dx=f(b)-f(a)}
(veya daha kapsamlı bir şekilde, Stokes formülü) kullanılarak birbirine dönüştürülebileceği hipotezini ileri sürmüşlerdir.

Cebirsel sayılar üzerine tanımlanmış bir algoritmik işlemin, iki cebirsel terimin eşitliğinin belirlenmesinde etkin bir yöntem sunması, bu sayıların önemli bir özelliğidir. Kontsevich ve Zagier tarafından öne sürülen hipoteze göre, periyotların eşitliği de algoritmik bir süreçle çözülebilir bir mesele haline gelir: hesaplanabilir gerçek sayılar arasındaki eşitsizlik bilinen bir şekilde yinelenerek sayılabilir özelliktedir; ve tersi durumda, eğer iki integral birbirine eşitse, bir algoritma bu durumu, integrallerden birini diğerine dönüştürmenin tüm muhtemel yollarını araştırarak teyit edebilir.

Euler sayısı *e* ve Euler-Mascheroni sabiti γ'nin *periyot olmadığına* dair bir varsayım bulunmaktadır.

Genellemeler
------------

Periyot kavramı, integrandın {\displaystyle Q}, bir cebirsel fonksiyon ile bu cebirsel fonksiyonun üstelinin çarpımı olduğu durumlarda *üstel periyotlar* şeklinde genişletilebilir. Bu genişleme, *e* sayısının tüm cebirsel derecelerini, rasyonel argümanlara sahip gama fonksiyonu değerlerini ve Bessel fonksiyonlarının değerlerini kapsar.

Kontsevich ve Zagier'e göre, periyotların, Euler sabiti γ'yı kapsayacak şekilde, daha ileri bir doğal genişletilmesinin mümkün olduğuna dair "belirtiler" mevcuttur. Bu genişletme ile birlikte, "tüm klasik sabitler, uygun bir çerçevede periyotlar olarak kabul edilir".

Ayrıca bakınız
--------------

* Jacobyen varyete
* Gauss-Manin bağlantısı
* Karışık güdüler (matematik)
* Tannakian biçimciliği

Notlar
------

1. ↑  Kontsevich & Zagier 2001.
2. ↑  Marcolli 2010.
3. ↑  Kontsevich & Zagier 2001, s. 3.
4. ↑  Weisstein, Eric W. "Periods". *WolframMathWorld (Wolfram Research)*. 28 Aralık 2018 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Haziran 2019.
5. ↑  Yoshinaga, Masahiko (3 Mayıs 2008). "Periods and elementary real numbers". arXiv:0805.0349 $2.
6. ↑  Tent, Katrin; Ziegler, Martin (2010). "Computable functions of reals" (PDF). *Münster Journal of Mathematics*. Cilt 3. ss. 43-66. 27 Aralık 2015 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 5 Mart 2024.

Kaynakça
--------

* Kontsevich, Maxim; Zagier, Don (2001). "Periods" (PDF). Engquist, Björn; Schmid, Wilfried (Ed.). *Mathematics unlimited—2001 and beyond*. Berlin, New York City: Springer. ss. 771-808. ISBN 9783540669135. MR 1852188.

* Marcolli, Matilde (2010). "Feynman integrals and motives". *European Congress of Mathematics*. Eur. Math. Soc. Zürich. ss. 293-332. arXiv:0907.0321 $2.

Konuyla ilgili okumalar
-----------------------

* Belkale, Prakash; Brosnan, Patrick (2003), "Periods and Igusa local zeta functions", *International Mathematics Research Notices*, **2003** (49), ss. 2655-2670, doi:10.1155/S107379280313142X Özgürce erişilebilir, ISSN 1073-7928, MR 2012522
* Waldschmidt, Michel (2006), "Transcendence of periods: the state of the art" (PDF), *Pure and Applied Mathematics Quarterly*, **2** (2), ss. 435-463, doi:10.4310/PAMQ.2006.v2.n2.a3 Özgürce erişilebilir, ISSN 1558-8599, MR 2251476

Dış bağlantılar
---------------

* *Bu makale PlanetMath'deki Period maddesinden GFDL lisansıyla faydalanmaktadır.*

| * g
* t
* d
Sayılar |
| --- |
| Sayılabilir küme | 
* Doğal sayılar ({\displaystyle \scriptstyle \mathbb {N} })
* Tam sayı ({\displaystyle \scriptstyle \mathbb {Z} })
* Rasyonel sayılar ({\displaystyle \scriptstyle \mathbb {Q} })
* Çizilebilir sayılar
* Cebirsel sayılar ({\displaystyle \scriptstyle \mathbb {A} })
* Periyotlar
* Hesaplanabilir sayılar
* Tanımlanabilir gerçel sayılar
* Aritmetik sayılar
* Gaussyen tam sayılar

 |
| Kompozisyon cebiri | 
* Bölüm cebiri: Reel sayılar ({\displaystyle \scriptstyle \mathbb {R} })
* Karmaşık sayılar ({\displaystyle \scriptstyle \mathbb {C} })
* Dördey ({\displaystyle \scriptstyle \mathbb {H} })
* Sekizeyler ({\displaystyle \scriptstyle \mathbb {O} })

 |
| Split türleri | 
* {\displaystyle \scriptstyle \mathbb {R} } üzerinde:  • Split-karmaşık sayılar  • Split-dördeyler

{\displaystyle \scriptstyle \mathbb {C} } üzerinde:  • Split-sekizeyler  • Bikompleksler  • Bidördeyler  • Bisekizeyler
 |
| Diğer hiperkarmaşık sayılar | 
* İkil sayılar
* İkil dördeyler
* İkil-karmaşık sayılar
* Hiperbolik dördeyler
* Onaltıyeyler ({\displaystyle \scriptstyle \mathbb {S} })
* Split-bidördeyler
* Çoklukarmaşık sayılar
* Geometrik cebir
	+ Fiziksel uzay cebri
	+ Uzay-zaman cebri

 |
| Diğer türler | 
* Kardinal sayılar
* Genişletilmiş gerçek sayılar
* İrrasyonel sayılar
* Bulanık sayılar
* Hiper gerçek sayılar
* Levi-Civita cismi
* Surreal sayılar
* Aşkın sayılar
* Ordinal sayılar
* *p*-sel sayılar (*p*-sel solenoidler)
* Süperdoğal sayılar
* Süper gerçek sayılar

 |
| İlgili diğer kavramlar | 
* Çift ve tek sayılar
* Devirli sayılar
* Hiperbolik sayılar
* Sonluötesi sayılar
* Cayley–Dickson yapısı
* Tessarine
* Musean hipersayısı
* ∞ (sonsuz)
* Tam sayı dizileri
* Büyük sayılar (Googol)
* Matematik sabitleri
* Nominal sayılar
* Asal sayılar
* Bileşik sayılar
* Sanal sayılar
* Arkadaş sayılar
* Mükemmel sayılar
* Eksik sayılar
* Artık sayılar
* Üçgensel sayılar
* Karesel sayılar
* Kare-üçgensel sayılar
* Beşgensel sayılar
* Dörtyüzlüsel sayılar
* Harshad sayıları
* Yarım tam sayılar
* Palindromik sayılar
* Lasa sayısı

 |
| 
* Sınıflandırma
* Liste Liste

 |