Geometriák karakterizálása projektív-metrikus terekben

dr Kozma József László
Geometriák karakterizálása projektív-metrikus terekben.
Doktori értekezés, Szegedi Tudományegyetem.
(2018)

[img]
Előnézet
PDF (disszertáció)
Download (1MB) | Előnézet
[img]
Előnézet
PDF (tézis)
Download (809kB) | Előnézet
[img]
Előnézet
PDF (tézis)
Download (801kB) | Előnézet

Magyar nyelvű absztrakt

Az értekezésben két projektív-metrikus geometria, a Hilbert-, illetve a Minkowski-féle geometria területén folytatott azon vizsgálatainkat mutatjuk be, melyek során geometriai konfigurációkkal a hiperbolikus, illetve az euklideszi geometriát tudjuk karakterizálni. A Minkowski-geometriákat a matematikusok jelentős része normált vektortérként ismeri, és igen bőséges irodalom veszi számba jellemzőit és tulajdonságait. A Hilbert-geometria kutatása napjainkban egyre újabb és változatosabb eredményekkel zárkózik fel. Ahogyan az euklideszié a Minkowski-, a hiperbolikus geometria közvetlen általánosítása a Hilbert-geometria, melyek megismerésében elsőrendű feladat az euklideszi, illetve hiperbolikus geometriában megszokott konfigurációk tulajdonságainak vizsgálata. A kutatás általános kiindulópontja ezért az a kérdés volt, hogy egyes - más geometriákban alaposan jellemzett - konfigurációknak a Minkowski- és a Hilbert-geometriában milyen tulajdonságai vannak, illetve teljesülésük milyen további következményekkel jár? Ennek értelmében áttekintjük a vizsgált geometriák alaptulajdonságait is, így a Minkowski-geometriák mellett a hiperbolikus geometriát és a Hilbert-geometriákat is ismertetjük, majd a következő kérdéseket vizsgáljuk: Vajon az egyes konfigurációknak mely tulajdonságai maradnak meg az általános esetben, és melyek azok, amelyek tovább már nem jellemzik a konfigurációt? - Milyen következménnyel jár a geometria egészére, ha egy konfiguráció valamely tulajdonságának megmaradását követeljük meg? - Van-e olyan konfiguráció és annak valamilyen tulajdonsága, amely kizárja az általánosítás lehetőségét (vagyis a geometria euklideszi, illetve hiperbolikus)? Mindegyik kérdés esetén érdekes annak felvetése is, hogy ha egy tulajdonság teljesülését nem általánosságban, hanem csak egy-két esetben írjuk elő, akkor az ugyanazt az eredményt adja-e? Az értekezés olyan vizsgálatainkról ad képet, amelyek kivétel nélkül a klasszikus euklideszi, illetve hiperbolikus geometriák Minkowski-, illetve Hilbert-geometriák közti karakterizációjához vezetnek. A háromszögekkel kapcsolatos olyan ismert konfigurációkat vizsgáltunk, amelyekre vonatkozólag analóg tételek teljesülnek az euklideszi és a hiperbolikus geometriában is. Ilyenek a Ceva- és Menelaosz-tételek, amelyek automatikusan teljesülnek a Minkowski-geometriákban, és a hiperbolikus osztóviszonnyal a hiperbolikus síkon is igazolhatók (Hiperbolikus Menelaosz-tétel és Hiperbolikus Ceva-tétel), de ilyen a háromszögek magasságvonalainak, illetve oldalfelező merőleges egyeneseinek egy nyalábhoz tartozása is (Hiperbolikus magasságpont-tétel és Hiperbolikus biszektorális centrum-tétel). Mivel a Birkhoff-merőlegességi reláció nem szimmetrikus, külön problémaként foglalkozunk a Minkowski-, illetve a Hilbert-geometriában a háromszögek oldalfelező merőlegeseinek, illetve magasságvonalainak egy pontra illeszkedésével a Birkhoff-merőlegesség (a továbbiakban bal-merőlegesség), illetve annak a megkülönböztetésül jobb-merőlegességnek, illetve H-merőlegességnek elnevezett inverze esetében. Kutatásunk során fontos szerephez jutnak a szigorúan konvex tartományok körül-, illetve beírt (minimális, illetve maximális térfogatú) John-, illetve Löwner-ellipszoidjai. Ezeknek a tartománnyal való érintési pontjaira vonatkozó alapvető állításokat is áttekintjük. Több technikai jellegű állítás mellett egy ellipsziskarakterizációs eredményt és egy oválisokba írt háromszögekre vonatkozó Ceva-típusú tételt is igazolunk. Ezek önmagukban is érdekesek. Az ellipsziskarakterizációs eredményünk egy harmonikus elválasztásra építő jellemzés, amelynek duálisa - a Ceva- és a Menelaosz-tétel révén - ekvivalens Segre egy tételével. A Hilbert-geometriákra vonatkozóan igazoljuk, hogy a hiperbolikus geometriát karakterizálja, ha minden trigon rendelkezik - a Ceva-tulajdonsággal; - a Menelaosz-tulajdonsággal; - biszektorális centrummal (vagyis az oldalfelező merőlegesek egy nyalábhoz tartoznak); - ortocentrummal (vagyis a magasságvonalak egyenesei egy nyalábhoz tartoznak). Az utóbbi két állítás kapcsán utalnunk kell arra, hogy azok a Birkhoff-féle merőlegesség H-merőlegességnek nevezett inverzét használják, mert a Birkhoff-féle merőlegesség esetében nem jutottunk eredményre, és az irodalomban sem találtunk arra vonatkozó tételt. Minkowski-terekben igazoljuk, hogy az euklideszi geometriát karakterizálja a Minkowski-geometrián belül, ha minden trigon - jobb-merőleges oldalfelezői konkurensek; - jobb-merőleges magasságainak egyenesei konkurensek; - bal-merőleges oldalfelezői konkurensek; - bal-merőleges magasságainak egyenesei konkurensek . Karakterizációs eredményeinket általában indirekt módon bizonyítjuk a Hilbert-geometriát megadó vagy a Minkowski-geometriát definiáló szigorúan konvex tartomány és a köré írt minimális térfogatú John-Löwner-ellipszoid összehasonlításával. Ennek során mindig elegendőnek bizonyult a síkbeli esetben eljárni,vagyis egy szigorúan konvex határoló görbét és egy ellipszist összevetni e két görbe közös pontjainak száma és elrendeződése alapján. Valójában minden esetben olyan nem elfajuló háromszöget adunk meg, mely nem teljesítheti az adott feltételeket. Emiatt bizonyos értelemben minden eredményünk tekinthető akár ellipsziskarakterizációs tételnek is.

Absztrakt (kivonat) idegen nyelven

In the dissertation, we present our research in the fields of projective metric geometries, in the course of which we characterize the hyperbolic and Euclidean geometry among Hilbert, respectively Minkowski geometries by geometric configurations. Most mathematicians know Minkowski geometries as normed vector spaces, and a wide literature counts their attributes and properties. The research of Hilbert geometry falls into line in our days, with further various results. Likewise Minkowski geometry is a straight generalisation of the Euclidean geometry, an immediate generalisation of hyperbolic geometry is Hilbert geometry. That is why investigations of properties of configurations well known from Euclidean and hyperbolic geometries is of prime importance in exploring these geometries. Therefore, the general starting point of our dissertation was the question: what kind of properties do have some configurations - deliberately characterized in other geometries - in Minkowski and Hilbert geometries, furthermore, in case of fulfilling certain conditions, what sort of consequences shall we have take into account? Pursuant to this, a survey of the basic features of geometries under investigation is given. Beyond that of Minkowski geometries, a description of the hyperbolic and Hilbert geometries is given, and afterwards the following questions are investigated: - What properties of the particular configurations continue in the general case, and which properties will stop to characterize the configuration? - What kind of consequences implies for the whole geometry if a certain property of a configuration is required to retain? - Are there any configuration and a particular property of it which block the way of generalisation (i.e. the geometry will be Euclidean, respectively, hyperbolic)? In case of all questions worth to bring up the following problem: if the fulfilment of a property is not a general requirement, but holds only for some specific cases, then will it result in the same result? The dissertation draws a picture of investigations which lead, without exception, to characterisation of classic Euclidean, respectively hyperbolic geometries among Minkowski, respectively Hilbert geometries. We start with investigation of some significant configurations in connection with triangles, analogous theorems about which are well known in hyperbolic geometry, as well. A proof, in the Cayley-Klein model, is shown for the hyperbolic version of the Ceva's and Menelaus' theorems (Hyperbolic Menelaus' theorem and Hyperbolic Ceva's theorem) which automatically come true in Minkowski geometries, as well as for the statement that altitudes, respectively orthogonal bisectors of triangles belong to a bundle (Theorem on hyperbolic orthocentre and Theorem on hyperbolic bisectoral centre). As the Birkhoff-orthogonality is not symmetric, concurrency of perpendicular bisectors and that of altitudes should be treated separately in Minkowski and Hibert geometries in the case of Birkhoff-perpendicularity (left-perpendicularity for later use), and in the case of its inverse relation, called right-perpendicularity, or H-perpendicularity, for the sake of distinction. In the course of our research the inscribed (maximal volume) respectively the circumscribed (minimal volume) ellipsoids (called Loewner, repsectively John ellipsoids) of strictly convex bodies play a prominent role. Some basic statements regarding the tangent points of these ellipsoids to the convex bodies are considered. Besides several statements of technical kind, we prove a result about ellipse characterisation, and a theorem of Ceva type about inscribed triangles of ovals, which are interesting on their own, as well. The ellipse characterisation build upon harmonic division, dual of which is equivalent to - by means of Ceva's and Menelaus' theorem - a theorem of Segre. With respect to Hilbert geometries is proven that hiperbolic geometry is characterized by the property that every trigon possesses - the Ceva property; - the Menelaus property; - a bisectoral centre (i.e., perpendicular bisectors belong to a bundle); - an orthocentre {i.e., altitudes belong to a bundle). As regards latter two statements, we have to mention that they apply the inverse of the Birkhoff-perpendicularity, called H-perpendicularity, as we could not achieve any result in the case of Birkhoff-perpendicularity, and we could not find any reference to a result of that kind in the literature. In Minkowski spaces, it is proven equally for the case of the left- and the right-perpendicularity that the Euclidean geometry is characterised by the property that every trigon possesses - the right-bisectoral centre; - the right-orthocentre; - the left-bisectoral centre; - the left-orthocentre. In our indirect proofs the defining strictly convex bodies of the Hilbert- or Minkowski-geometries and their circumscribed minimal volume John-Löwner ellipsoids are compared. The demonstrations can be restricted to the (two dimensional) planar case, that is, to a strictly convex curve and an ellipse. We suppose that they do not coincide, and in each case, according to the number and the arrangement of the common points of the two borders, we look for such a non-degenerate triangle that can not fulfill the given assumption. That is why our results can be considered ellipse characterisation theorems with good reason, too.

Mű típusa: Disszertáció (Doktori értekezés)
Doktori iskola: Matematika- és Számítástudományok Doktori Iskola
Tudományterület / tudományág: természettudományok > matematika- és számítástudományok
Magyar cím: Geometriák karakterizálása projektív-metrikus terekben
Idegen nyelvű cím: Characterisation of geometries in projective-metric spaces
Témavezető(k):
Témavezető neveBeosztás, tudományos fokozat, intézményEmail
Dr. Kurusa ÁrpádPhD, habil., tanszékvezető egyetemi docens, SZTE TTIK Bolyai Intézetkurusa@math.u-szeged.hu
EPrint azonosító (ID): 4177
Publikációban használt név : dr Kozma József László
A mű MTMT azonosítója: 3402375
doi: 10.14232/phd.4177
A feltöltés ideje: 2018. jan. 11. 09:18
Utolsó módosítás: 2018. aug. 09. 13:18
Egyebek (raktári szám): B 6352
URI: http://doktori.bibl.u-szeged.hu/id/eprint/4177
Védés állapota: védett

Actions (login required)

Tétel nézet Tétel nézet

Letöltések

Letöltések havi bontásban az elmúlt egy évben