Vikipedi

Blaschke–Lebesgue teoremi

Düzlem geometride Blaschke–Lebesgue teoremi, Reuleaux üçgeninin verilen sabit genişlikte tüm eğrilerin en küçük alanına sahip olduğunu belirtir.[1] Belirli bir genişliğe sahip her eğrinin en az Reuleaux üçgeni kadar geniş bir alana sahip olması, Blaschke-Lebesgue eşitsizliği olarak da bilinir.[2] Adını, 20. yüzyılın başlarında teoremi ayrı ayrı yayımlayan Wilhelm Blaschke ve Henri Lebesgue'den almıştır.

Reuleaux üçgeni, alanı aynı genişliğe sahip tüm dışbükey kümeler arasında minimum olan sabit genişlikte bir eğri

Açıklama değiştir

Öklid düzleminde   dışbükey kümesinin genişliği, onu çevreleyen herhangi iki paralel çizgi arasındaki minimum mesafe olarak tanımlanır. İki minimum mesafe çizgisinin her ikisi de zorunlu olarak  'ya zıt taraflarda teğet olan doğrulardır. Sabit genişlikte bir eğri, paralel çizgilerin her yönü için, eğrinin zıt taraflarına teğet olan bu yöndeki iki teğet çizginin genişliğe eşit mesafede olması özelliğine sahip bir dışbükey kümenin sınırıdır. Bu eğriler, hem çemberi hem de her biri diğer iki çemberin kesişme noktasında ortalanmış üç eşit yarıçaplı daireden oluşan yaylardan oluşan eğri bir üçgen olan Reuleaux üçgenini içerir. Genişliği   olan bir Reuleaux üçgeni ile çevrili alan aşağıdaki şekilde hesaplanır:

 

Blaschke – Lebesgue teoremi, bunun sabit genişlikte bir eğrinin benzersiz minimum alanı olduğunu belirtir ve Blaschke – Lebesgue eşitsizliği,   genişlikli her dışbükey kümenin en azından bu büyüklükte bir alana sahip olduğunu, yalnızca küme bir Reuleaux üçgeni ile sınırlandığında eşitlik sağlandığını belirtir. [1]

Tarihçe değiştir

Blaschke–Lebesgue teoremi bağımsız olarak 1914'te Henri Lebesgue [3] ve 1915'te Wilhelm Blaschke tarafından yayınlandı. [4] Çalışmalarından bu yana, birkaç başka kanıt da yayınlandı. [5][6][7][8][9][10]

Diğer düzlemlerde değiştir

Aynı teorem hiperbolik düzlem için de geçerlidir. [11] Düzlemdeki herhangi bir dışbükey mesafe fonksiyonu için (herhangi bir norm için noktaların vektör farkının normu olarak tanımlanan bir mesafe), sabit genişlikteki minimum alan eğrisi, her biri diğer ikisinin sınır noktasında ortalanmış olan üç metrik diskin bir kesişimi olduğuna göre benzer bir teorem geçerlidir.[12][13]

Uygulama değiştir

 
Bir amiral battı oyunu tahtası

Blaschke–Lebesgue teoremi, bir oyuncunun tam sayı ızgarasını bir dışbükey kümeyle ve diğer oyuncunun üzerinde bir nokta bulduktan sonra kesişerek oluşturduğu bir gemiye sahip olduğu ve rakibin gemisinin yerini mümkün olan en az kaçırılan atışla belirlemeyi hedefleyen Amiral Battı (Battleship) oyununun genelleştirilmesi için etkili bir strateji sağlamak için kullanılmıştır. Bir gemi için   ızgara noktaları, kaçırılan vuruşların sayısını   ile sınırlamak mümkündür.[14]

İlgili problemler değiştir

İzoperimetrik eşitsizliğe göre, en geniş alana sahip Öklid düzlemindeki sabit genişliğin eğrisi bir çemberdir.[1] Şeklinden bağımsız olarak   sabit genişlikte bir eğrinin çevresi  'dir; bu Barbier teoremidir.[15]

Üç boyutlu uzayda sabit genişliğe sahip hangi yüzeylerin minimum hacme sahip olduğu bilinmemektedir. Bonnesen ve Fenchel, 1934'te, minimize edicilerin bir Reuleaux tetrahedronun[16] bazı kenarlarının yuvarlatılmasıyla elde edilen iki Meissner gövdesi olduğunu varsaydılar, ancak bu kanıtlanmadı. [17]

Dış bağlantılar değiştir

Konuyla ilgili yayınlar değiştir

  • Shengliang Pan, Deyan Zhang & Zhongjun Chao, (2016), ‘’ A generalization of the Blaschke-Lebesgue Problem to a kind of convex domains’’, Discrete and Continuous Dynamical Systems Series B, Volume 21, Number 5, July 2016, ss. 1587-1601, doi:10.3934/dcdsb.2016012, Makale 13 Ağustos 2021 tarihinde Wayback Machine sitesinde arşivlendi.
  • Loïc Crombez, Guilherme D. da Fonseca & Université Clermont A, (2012), Efficient Algorithms for Battleship, Makale

Kaynakça değiştir

  1. ^ a b c Gruber, Peter M. (1983), Convexity and its Applications, Birkhäuser, s. 67, ISBN 978-3-7643-1384-5 
  2. ^ Martini, Horst; Montejano, Luis; Oliveros, Déborah (2019), Bodies of Constant Width: An introduction to convex geometry with applications, Birkhäuser/Springer, Cham, s. 336, doi:10.1007/978-3-030-03868-7, ISBN 978-3-030-03866-3, MR 3930585 
  3. ^ Lebesgue, Henri (1914), "Sur le problème des isopérimètres et sur les domaines de largeur constante", Bulletin de la Société Mathématique de France, cilt 7, ss. 72-76 
  4. ^ Blaschke, Wilhelm (1915), "Konvexe Bereiche gegebener konstanter Breite und kleinsten Inhalts", Mathematische Annalen, 76 (4), ss. 504-513, doi:10.1007/BF01458221, MR 1511839 
  5. ^ Fujiwara, Matsusaburô (1927), "Analytic proof of Blaschke's theorem on the curve of constant breadth with minimum area", Proceedings of the Imperial Academy, 3 (6), ss. 307-309, MR 1568234, 24 Temmuz 2020 tarihinde kaynağından arşivlendi, erişim tarihi: 11 Ekim 2020 ; Fujiwara, Matsusaburo (1931), "Analytic proof of Blaschke's theorem on the curve of constant breadth, II", Proceedings of the Imperial Academy, 7 (8), ss. 300-302, MR 1568319, 17 Ekim 2020 tarihinde kaynağından arşivlendi, erişim tarihi: 11 Ekim 2020 
  6. ^ Mayer, Anton E. (1935), "Der Inhalt der Gleichdicke", Mathematische Annalen, 110 (1), ss. 97-127, doi:10.1007/BF01448020, MR 1512931 
  7. ^ Eggleston, H. G. (1952), "A proof of Blaschke's theorem on the Reuleaux triangle", Quarterly Journal of Mathematics, Second Series, cilt 3, ss. 296-297, doi:10.1093/qmath/3.1.296, MR 0051543 
  8. ^ Ghandehari, Mostafa (1996), "An optimal control formulation of the Blaschke-Lebesgue theorem" (PDF), Journal of Mathematical Analysis and Applications, 200 (2), ss. 322-331, doi:10.1006/jmaa.1996.0208, MR 1391153 
  9. ^ Harrell, Evans M. II (2002), "A direct proof of a theorem of Blaschke and Lebesgue" (PDF), The Journal of Geometric Analysis, 12 (1), ss. 81-88, doi:10.1007/BF02930861, MR 1881292, 9 Ağustos 2017 tarihinde kaynağından arşivlendi (PDF), erişim tarihi: 11 Ekim 2020 
  10. ^ Malagoli, Federica (2009), "An optimal control theory approach to the Blaschke–Lebesgue theorem", Journal of Convex Analysis, 16 (2), ss. 391-407, MR 2559951, 23 Nisan 2009 tarihinde kaynağından arşivlendi, erişim tarihi: 11 Ekim 2020 
  11. ^ Araújo, Paulo Ventura (1997), "Minimum area of a set of constant width in the hyperbolic plane", Geometriae Dedicata, 64 (1), ss. 41-53, doi:10.1023/A:1004920201363, MR 1432533 
  12. ^ Ohmann, D. (1952), "Extremalprobleme für konvexe Bereiche der euklidischen Ebene", Mathematische Zeitschrift, cilt 55, ss. 346-352, doi:10.1007/BF01181132, MR 0048831 
  13. ^ Chakerian, G. D. (1966), "Sets of constant width", Pacific Journal of Mathematics, cilt 19, ss. 13-21, MR 0205152, 26 Haziran 2020 tarihinde kaynağından arşivlendi, erişim tarihi: 11 Ekim 2020 
  14. ^ Crombez, Loïc; da Fonseca, Guilherme D.; Gerard, Yan (2020), "Efficient algorithms for Battleship", Farach-Colton, Martin; Prencipe, Giuseppe; Uehara, Ryuhei (Ed.), 10th International Conference on Fun with Algorithms (FUN 2021), Leibniz International Proceedings in Informatics (LIPIcs), 157, Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum für Informatik, ss. 11:1-11:15, doi:10.4230/LIPIcs.FUN.2021.11, ISBN 978-3-95977-145-0 
  15. ^ Barbier, E. (1860), "Note sur le problème de l'aiguille et le jeu du joint couvert" (PDF), Journal de mathématiques pures et appliquées, 2e série (Fransızca), cilt 5, ss. 273-286, 20 Nisan 2017 tarihinde kaynağından arşivlendi (PDF), erişim tarihi: 11 Ekim 2020 . See in particular pp. 283–285.
  16. ^ Bonnesen, Tommy; Fenchel, Werner (1934), Theorie der konvexen Körper, Springer-Verlag, ss. 127-139 
  17. ^ Anciaux, Henri; Guilfoyle, Brendan (2011), "On the three-dimensional Blaschke–Lebesgue problem" (PDF), Proceedings of the American Mathematical Society, 139 (5), ss. 1831-1839, doi:10.1090/S0002-9939-2010-10588-9, MR 2763770, 3 Mayıs 2019 tarihinde kaynağından arşivlendi (PDF), erişim tarihi: 11 Ekim 2020 
"https://tr.wikipedia.org/w/index.php?title=Blaschke–Lebesgue_teoremi&oldid=32778043" sayfasından alınmıştır