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. 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. Adını, 20. yüzyılın başlarında teoremi ayrı ayrı yayımlayan 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 ${\displaystyle K}$ 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 ${\displaystyle K}$'ya zıt taraflarda teğet olan doğrulardır. , 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 ${\displaystyle w}$ olan bir Reuleaux üçgeni ile çevrili alan aşağıdaki şekilde hesaplanır:

${\displaystyle {\frac {1}{2}}(\pi -{\sqrt {3}})w^{2}\approx 0,70477w^{2}.}$

Blaschke – Lebesgue teoremi, bunun sabit genişlikte bir eğrinin benzersiz minimum alanı olduğunu belirtir ve Blaschke – Lebesgue eşitsizliği, ${\displaystyle w}$ 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.

Tarihçe

Blaschke–Lebesgue teoremi bağımsız olarak 1914'te Henri Lebesgue ve 1915'te tarafından yayınlandı. Çalışmalarından bu yana, birkaç başka kanıt da yayınlandı.

Diğer düzlemlerde

Aynı teorem hiperbolik düzlem için de geçerlidir. 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.

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 ${\displaystyle n}$ ızgara noktaları, kaçırılan vuruşların sayısını ${\displaystyle O(\log \log n)}$ ile sınırlamak mümkündür.

İlgili problemler

İzoperimetrik eşitsizliğe göre, en geniş alana sahip Öklid düzlemindeki sabit genişliğin eğrisi bir çemberdir. Şeklinden bağımsız olarak ${\displaystyle w}$ sabit genişlikte bir eğrinin çevresi ${\displaystyle \pi w}$'dir; bu Barbier teoremidir.

Üç boyutlu uzayda sabit genişliğe sahip hangi yüzeylerin minimum hacme sahip olduğu bilinmemektedir. ve , 1934'te, minimize edicilerin bir bazı kenarlarının yuvarlatılmasıyla elde edilen iki olduğunu varsaydılar, ancak bu kanıtlanmadı.

Dış bağlantılar

• Curves and Surfaces of Constant Width 23 Eylül 2020 tarihinde Wayback Machine sitesinde .

Konuyla ilgili yayınlar

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

Kaynakça

1. ^ ^{a b c} Gruber, Peter M. (1983), Convexity and its Applications, Birkhäuser, s. 67, ISBN  
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 , MR 3930585 
3. ^ Lebesgue, Henri (1914), "Sur le problème des isopérimètres et sur les domaines de largeur constante", , cilt 7, ss. 72-76 
4. ^ (1915), "Konvexe Bereiche gegebener konstanter Breite und kleinsten Inhalts", , 76 (4), ss. 504-513, doi:10.1007/BF01458221, MR 1511839 
5. ^ (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 , erişim tarihi: 11 Ekim 2020 ; (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 , erişim tarihi: 11 Ekim 2020 
6. ^ Mayer, Anton E. (1935), "Der Inhalt der Gleichdicke", , 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", , 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), , 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 (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 , erişim tarihi: 11 Ekim 2020 
11. ^ Araújo, Paulo Ventura (1997), "Minimum area of a set of constant width in the hyperbolic plane", , 64 (1), ss. 41-53, doi:10.1023/A:1004920201363, MR 1432533 
12. ^ Ohmann, D. (1952), "Extremalprobleme für konvexe Bereiche der euklidischen Ebene", , cilt 55, ss. 346-352, doi:10.1007/BF01181132, MR 0048831 
13. ^ Chakerian, G. D. (1966), "Sets of constant width", , cilt 19, ss. 13-21, MR 0205152, 26 Haziran 2020 tarihinde kaynağından , erişim tarihi: 11 Ekim 2020 
14. ^ Crombez, Loïc; da Fonseca, Guilherme D.; Gerard, Yan (2020), "Efficient algorithms for Battleship", ; 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  
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, 2^e série (Fransızca), cilt 5, ss. 273-286, 20 Nisan 2017 tarihinde kaynağından (PDF), erişim tarihi: 11 Ekim 2020 . See in particular pp. 283–285.
16. ^ Bonnesen, Tommy; (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), , 139 (5), ss. 1831-1839, doi:10.1090/S0002-9939-2010-10588-9, MR 2763770, 3 Mayıs 2019 tarihinde kaynağından (PDF), erişim tarihi: 11 Ekim 2020