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

Ö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

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

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
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

İ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

İlave okumalar
  • 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
  • Loïc Crombez, Guilherme D. da Fonseca & Université Clermont A, (2012), Efficient Algorithms for Battleship, Makale

Kaynaklar
  1. 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; 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
  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
  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
  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
  14. Crombez, Loïc; da Fonseca, Guilherme D.; Gerard, Yan (2020), "Efficient algorithms for Battleship", Farach-Colton, Martin; Prencipe, Giuseppe; Uehara, Ryuhei (Edl.), 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. 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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.