Szerkesztő:Gubbubu/Halmazrendszerek geometriája/Illeszkedési struktúrák

Illeszkedési struktúra szerkesztés

Az illeszkedési vagy incidencia-struktúrák a hipergráfok általánosításai lesznek abban az értelemben, hogy bármely hipergráf egy illeszkedési struktúra is egyben.

Az illeszkedési struktúrák segítségével bevezethető számtalan olyan hasznos és fontos fogalom, amelyeket a hipergráfokra specializálva, még hasznosabb és még fontosabb fogalmak nyerhetők. Számunkra nagyjából ennyi az értelme annak, hogy illeszkedési struktúrákkal foglalkozzunk, de ezt elegendőnek is tartjuk. Természetesen azt is megtehetnénk, hogy ezen fogalmakat egy az egyben, kerülő nélkül a hipergráfokra vezetjük be; azonban nem árt néha elszakadni a kizárólag a halmazelméleti ∈ relációra hagyatkozó terminológiától (ennek előnyét a térgeometriai fejezetekben talán tapasztalni fogjuk, ha sor kerül rá).

Egyes speciális osztályba tartozó illeszkedési struktúrák (az ún. kombinatorikus konfigurációk), illetve ezek egészen konkrét példáinak tanulmányozása igen régen, az 1800-as évek közepétől megkezdődött. Az illeszkedési struktúra fogalma azonban csak később alakult ki. Mára a fizikában is egész komoly alkalmazásokat nyertek [1].

Az illeszkedési struktúra fogalma szerkesztés

Definíció:


Ha U és E tetszőleges diszjukt (közös elemet nem tartalmazó, azaz az UE = ∅ feltételt kielégítő) halmazok, és ι⊆U×E egy U és E közti reláció, vagyis a (E×U) halmaz egy eleme; akkor az (U, E, ι) hármast az U és E feletti egy illeszkedési struktúrának nevezzük. [2].
Az U elemeit szokás csúcsoknak vagy pontoknak, az E elemeit pedig éleknek nevezni [3]. A ι reláció elemeit - az euklideszi kontinuum-geometriából kölcsönzött kifejezéssel - zászlóknak nevezik.
Az (|U|, |E|, |ι|) hármast az illeszkedési struktúra típusának nevezzük.

Az E×U halmazt, néha „az elvileg elképzelhető összes zászlók halmazának” vagy hasonló néven fogjuk emlegetni. A struktúrát megadó illeszkedési reláció tehát ennek egy részhalmaza.

A legfontosabb illeszkedési struktúrák a hipergráfok. Egy U halmaz feletti (U, E) hipergráf, ahol E⊆(U), felfogható olyan (U, E, ∈) illeszkedési struktúraként, ahol ∈ a halmazelméleti „eleme” reláció. Ennek következménye, hogy minden hipergráfnak megfeleltethető egy illeszkedési struktúra. Ez bizonyos mértékben és megszorításokkal fordítva is igaz, de erről bővebben lentebb.

A következő példákból talán ki fog derülni, hogy az illeszkedési struktúra absztrakt fogalmára példákat felhozni kevéssé értelmes dolog. Ez nem az absztrakt fogalom hibája: miután az elektromosságtannal foglalkozó fizikusok nemsokára feltalálják az incidenciamátrix fogalmát (egész pontosan, a következő szakaszban), az illeszkedési struktúrák rögtön kezelhetőbbé válnak majd.

Példa:


  1. Egy absztrakt példa. Legyen pl. U = {u1, u2, u3, u4} és E = {e1, e2, e3, e4, e5}. Válasszunk ki véletlenszerűen egy pár zászlót: (u1, e1), (u2, e1), (u3, e2), (u3, e4). Ezekből a zászlókból a következő illeszkedési struktúra fog összeállni: ( {u1, u2, u3, u4}, {e1, e2, e3, e4, e5} ; { (u1, e1), (u2, e1), (u3, e2), (u3, e4) } ).

Karakterisztikus függvény. Incidenciamátrix. szerkesztés

Definíció:

Legyenek U és E tetszőleges nem üres és diszjunkt halmazok, és K =   egy, az adott halmazok feletti illeszkedési struktúra, ekkor a   előírással értelmezett függvényt a K illeszkedési struktúra karakterisztikus függvényének nevezzük. Ha szükséges, magát a struktúrát is feltüntethetjük alsó indexben: χK(<u,e>); kényelmi okok miatt a rendezettpár-operátor csúcsos zárójeleit - <...> pedig nem írjuk ki, sőt sokszor csak az indexeket írjuk ki:
χij := χ((<ui,ej>)),
ahol i∈1,|U| és j∈1,|I|.

Formulamentes nyelven arról van szó, hogy az összes csúcs-él párra értelmezzük a karakterisztikus függvényt, és ennek értéke 1, ha az illető csúcs eleme az illető élnek (illeszkedik rá, azaz „benne van a struktúrában”), 0 pedig, ha nem (azaz „nincs benne”). Ha az 1-et az „igazságot”, a 0-t pedig a „hamisságot” kifejező szimbólumoknak gondoljuk, akkor azt mondhatjuk, hogy a karakterisztikus függvény a „rajta van-e ez a csúcs azon az élen ebben az illeszkedési struktúrában” kérdésre felel igennel vagy nemmel.

A karakterisztikus függvényt, véges sok, n db. csúcsot és véges sok, k db. élt tartalmazó illeszkedési struktúra esetén, gyakran írjuk k×n-es táblázat (mátrix) alakba, melynek k sora és n oszlopa van, ez az incidenciamátrix (illeszkedési mátrix). E hasznos és szemléletes fogalmat állítólag a fizikus Kirchhoff vezette be gráfokra 1847-ben [4]:

Illusztráció:


Incidenciamátrix származtatása

u1 u2 ... un
i1 χ(<u1,i1>) χ(<u2,i1>) ... χ(<un,i1>)
i2 χ(<u1,i2>) χ(<u2,i2>) ... χ(<un,i2>)
...
ik χ(<u1,ik>) χ(<u2,ik>) ... χ(<un,ik>)
 

Megjegyezzük: 1). hogy a legtöbb szerző a soroknak szokta az U és az oszlopoknak az I elemeit megfeleltetni (a fenti k×n-es mátrix helyett annak n×k-as „felfordítottját”, transzponáltját veszi), de az eltérés, amennyiben következetes, nyilván lényegtelen. 2). a szemléletesség kedvéért az 1-est tartalmazó cellákat szokás besatírozni, vagy fekete ponttal kitölteni, a többi, 0-t tartalmazó cellát üresen hagyni. Ez különösen a nagyobb (10-50 sornál és/vagy oszlopnál többet tartalmazó) mátrixok esetén bevett, a jobb áttekinthetőséget szolgáló ábrázolásmódja a(z incidencia)mátrixoknak.

Példák:


  1. Tetszőleges U halmaz feletti (U, ∅) üres hipergráf incidenciamátrixa egy 0×|U| típusú, azaz nulla soros mátrix lenne. Az ilyen hipergráfoknak így nincs incidenciamátrixa.
  2. A fentebb említett absztrakt példa, nevezetesen a ( {u1, u2, u3, u4}, {e1, e2, e3, e4, e5} ; { (u1, e1), (u2, e1), (u3, e2), (u3, e4) } ) struktúra incidenciamátrixa:  
  3. Tekintsük a következő incidenciamátrixot:  .
    Erre ránézve azonnal láthatjuk, hogy 3×4-es típusú; azaz U négy elemet tartalmaz (legyenek u1,2,3,4), mivel hogy a mátrix négy oszlopos; és három élt, mivel a mátrix három soros. Az első sorban csupa nulla áll, tehát az első él egyetlen elemet sem tartalmaz, így ez egy (ez az) üres él: . A második él az u1 és u4 elemeket tartalmazza, azaz I2 = {u1, u4}; a harmadik meg az első három elemet, de a negyediket nem, azaz I3 = {u1, u2, u3}. Vagyis az illeszkedési mátrixból, az U elemeinek mibenlététől eltekintve (matematikai terminológiával: „izomorfia erejéig”) egyértelműen rekonstruálni tudtuk az egyetlen hozzá tartozó illeszkedési struktúrát: ez pedig az ( {u1, u2, u3, u4}, { ∅, {u1, u4}, {u1, u2, u3 } } ).

Megjegyzés: 1). A példák remélhetőleg meggyőzőek a tekintetben, hogy mennyivel kényelmesebb, átláthatóbb lesz az incidenciamátrixokkal dolgozni (pl. leírni őket), mintsem a halmazelmélet nyelvét alkalmazni az incidenciastruktúrák leírására, és számolgatni, minden kapcsos zárójel be van-e zárva. 2). Az illeszkedési struktúráknak az incidenciamátrixon kívül még sokféle hasznos szemléltetési módja, kódolása, ábrázolása van (pl. az adjacencia-mátrix, a Lévi-gráf stb.). Ezekkel egyelőre nem foglalkozunk. 3). A fentiekben véges struktúra incidenciamátrixairól beszéltünk. A fogalom kiterjeszthető lenne véges illeszkedési struktúrákra is, ám ezek illeszkedési mátrixa végtelen sok sort és/vagy oszlopot tartalmazna. A kérdés, hogy mi értelme van ennek. Van-e értelme egy ábrázolhatatlan (végtelen kiterjedésű) ábrázolásmódnak? Nos, bizonyos körülmények között mégis lehet értelme (az euklideszi geometriai gyakorlatainkban is egészen elboldogul(t)unk a véges papírral az általános iskolában, noha az ábrázolandó struktúrák végtelen kiterjedésűek voltak), de helyszűke miatt itt és most megelégszünk eme prófétikus „igenis lehet” kijelentéssel és analógiával.

Gyakorló feladatok:

  1. A bástyaprobléma:
    1. Hány bástyát tehetünk maximum egy 8×8-as sakktáblára úgy, hogy ne üssék egymást? Hányféleképp helyezhetjük el a bástyákat?
  2. TicTacToe:
    1. A 3×3-as amőba (külföldön: TicTacToe) játékban két játékos, egyikük a 0, másikuk az 1 szimbólummal felváltva próbál kitölteni egy kezdetben üres 3×3-as (illeszkedési) mátrixot. Az a játékos nyer, akinek sikerül a saját szimbólumával először teljesen megtöltenie egy sort, vagy egy oszlopot, vagy egy 3 cella hosszúságú átlót (ilyenből kettő van: a bal felsőtől a jobb alsó sarokig tartó ún. főátló és a bal alsótól a jobb felső sarokig húzódó ún. mellékátló). Fogalmazzuk meg a geometria (az illeszkedési struktúrák) nyelvén, mit jelent, hogy az A játékos (a 0-s) nyer, illetve mit jelent, hogy a B játékos (az 1-eses) nyer, illetve mit jelent, hogy a játék döntetlenre végződik!
  3. Vegyünk fel találomra három egyenset és három pontot a síkon, majd készítsük el a kapott incidenciastruktúra illeszkedési mátrixát!
  4. Azt mondjuk, hogy egy illeszkedési struktúrának van konzervatív [5] modellje, más néven kanonikus realizációja az euklideszi síkon, ha fel lehet venni egyenesek és pontok (véges v. végtelen) sorozatát úgy, hogy a k-adik egyenes akkor és csak akkor illeszkedik az m-edik pontra a síkon, ha az illeszkedési struktúra k-adik éle illeszkedik az illeszkedési struktúra m-edik pontjára! Azaz, van két bijektív megfeleltetés az illeszkedési struktúra összes egyenese és az euklideszi sík bizonyos egyenesei, illetve a struktúra pontjai és a sík bizonyos pontjai között, amelyek megőrzik az illeszkedési relációt.
    1. Gondoljunk ki olyan incidenciastruktúrát, amelynek nincs konzervatív modellje!
    2. Keressünk két, minél kevesebb (minimális számú) egyenest és pontot tartalmazó illeszkedési struktúrát, amelyeknek nincs konzervatív modellje.
    3. Mi egy elegendő feltétele annak, hogy egy végtelen illeszkedési struktúrának biztos ne legyen konzervatív modellje?
    4. Fogalmazzunk meg annak szükséges és elegendő feltételeit a 3×3-as incidenciamátrixok osztályára, hogy a mátrix által leírt struktúrának a). legyen konzervatív modellje b) ne legyen konzervatív modellje! c). Adott U, I háromelemű halmazok felett hány (továbbra is 3×3-as) struktúra tartozik az a). ill. b). feltételeknek megfelelő alosztályokba?

Izomorfia szerkesztés

Illeszkedéstartó (affin) leképezés szerkesztés

Definíció:


Legyen (U1, E1, ι1) és (U2, E2, ι2) két illeszkedési struktúra, továbbá legyen φ:U1×E1→U2×E2 egy leképezés az elvileg elképzelhető zászlók között. A φ leképezést illeszkedéstartónak vagy szemiaffin(itás)nak mondjuk, ha teljesül a következő tulajdonság tetszőleges x∈D(φ)-re
x∈ι1 ⇒ φ(x)∈ι2 .
Ha található két illeszkedési struktúra közt ilyen affin leképezés, akkor a másodikat az elsőhöz (képest) ko-szemiaffinnak mondjuk, vagy, hosszabb kifejezéssel élve, a második struktúrát az első struktúra szemiaffin képének nevezzük.
Ha egy szemiaffinitás egy illeszkedési struktúrát vele azonos típusú struktúrába képez, akkor affin(itás)nak, a struktúrákat pedig koaffinnak mondjuk; vagy, hosszabb kifejezéssel élve, a második struktúrát az első struktúra affin képének nevezzük.


Példák:


Izomorfia szerkesztés

Definíció:


Legyen (U1, E1, ι1) és (U2, E2, ι2) két illeszkedési struktúra, továbbá legyen φ:U1×E1→U2×E2 egy leképezés az elvileg elképzelhető zászlók között. A φ leképezést a két struktúra között(i) izomorfizmusnaknak mondjuk, ha teljesül az alábbi három tulajdonság tetszőleges x=(u,i)∈U1×E1 elemekre:
  1. φ kölcsönösen egyértelmű, azaz bijektív függvény (bijektivitási követelmény);
  2. [U1]| = |E1| és -1[E2]| = |U1| (típusmegőrzés követelménye)
  3. φ szemiaffinitás (illeszkedéstartás követelménye).
Két illeszkedési struktúrát izomorfnak nevezünk, ha található köztük izomorfizmus. Jele (U1, E1, ι1)(U2, E2, ι2)

Ellenőrizhető, hogy e három axióma független, azaz egyik sem következik a többi közül néhányból. A leggyanúsabb persze a kettes, de könyűszerrel lehet olyan duális (azaz struktúraelméleti értelemben és intuitíve nem izomorf) incidenciastruktúrákat találni, amelyek közt, bár található bijektív affin leképezés, azonban az nem őrzi meg a számosságtípusokat (pl. 3×2-es incidenciamátrixú struktúrából 2×3-asba képez).

Modell szerkesztés

Ehhez kell a primitív osztály (az egymással izomorf i.s. ekvivalenciaosztálya) fogalma.

Definíció:

Egy illeszkedési struktúrát az illeszkedési struktúrák egy primitív osztályának modelljének nevezünk, ha a struktúra beletartozik a primitív osztályba.
Legyen n∈N és Pn az n-dimenziós euklideszi tér pontjainak halmaza. Egy ∏ primitív osztály n-dimenziós geometriai reprezentációjának nevezünk egy olyan illeszkedési struktúrát, melynek 1). eleme az osztálynak; 2). csúcsai és élei is Pn részhalmazai 3). az illeszkedési reláció a részhalmazként tartalmazás (esetleg, az eleme reláció).
A ∏ osztály n-dimenziós realizációjának nevezünk egy olyan n-dimenziós geometriai reprezentációt, amelyre igaz, hogy csúcsai az n-dimenzós sík pontjai, élei pedig az n-dimenziós sík egyenesei, az illeszkedési reláció a tartalmazás.
A ∏ osztály konzervatív modelljének vagy kanonikus realizációjának nevezünk egy olyan 2-dimenziós realizációt, amelynek csúcsai a sík pontjai, élei pedig egyenesek, az illeszkedési reláció az ∈.

Függetlenség szerkesztés

Definíció:


Legyen (U, E, ι) egy illeszkedési struktúra, ekkor az α,β∈E éleket metszetfüggetlennek mondjuk, ha
α∧β∉E.

Illeszkedési struktúrák és hipergráfok szerkesztés

Fentebb megjegyeztük, hogy egy tetszőleges U halmaz feletti tetszőleges (U, E) hipergráf, ahol E⊆(U), felfogható olyan (U, E, ∈) illeszkedési struktúraként, ahol ∈ a halmazelméleti „eleme” reláció; és ennek következménye, hogy minden hipergráfnak megfeleltethető egy illeszkedési struktúra.

Ugyanott utaltunk arra is, hogy ez bizonyos mértékben és megszorításokkal fordítva is igaz, de erről bővebben lentebb.

Minden illeszkedési struktúra értelmez egy hipergráfot. A „hipergráf” és „incidenciastruktúra” fogalmak mégsem azonosak abban az értelemben, ahogy egy halmaz részhalmazai és ezek karakterisztikus függvényei „szinte ugyanazok”. A megfeleltetés ugyanis nem bijektív.

Jegyzetek szerkesztés

  1. J. L. Hanquin; J. Demaret: Abelian anisotropic cosmological models in 11-dimensional supergravity. IOP electronical journals 3; 1987.
  2. Ahogy fentebb már megszokhattuk, az itt definiált kifejezések más szerzőknél mást jelenthetnek. Van, aki a halmazrendszer és hipergráf fogalmát azonosnak veszi, és lényegi, a gyakorlat szempontjából fontos különbség tényleg nincsen (noha, amint egy fentebbi lábjegyzet utal rá, elméleti szempontból szerencsétlen a „halmazrendszer” terminus használata). Van, aki kiköti, hogy hipergráf elemei csak nem üres halmazok lehetnek. Van, aki a hipergráfot úgy definiálja, ahogy mi az illeszkedési struktúrát. Az eltérésekre további konkrét példákat (szerzők) és forrásokat adni nem kívánunk, mert a továbbiak szempontjából lényegtelen.
  3. Az E elemeit jóval szokásosabb egyeneseknek nevezni, ezt mi nem követjük, korainak tartjuk. A Hilbert-féle illeszkedési síkok éleire tartjuk csak majd méltónak az „egyenes” elnevzést.
  4. Mathworld: Incidence Matrix. Ez valószínűleg Kirchhoff Über die Auflösung der Gleichungen, auf welche man bei der Untersuchung der linearen Verteilung galvanischer Ströme geführt wird c. munkájában történt, ami megjelent az Annales Phys. Chem. c. lap 72. (1847) számában; 497.-508. old.
  5. A „konzervatív” jelző arra próbál utalni, hogy az absztrakt egyeneseknek (élek) a tradicionálisan legkézenfekvőbb analógiát kínáló egyeneseket és nem mondjuk köröket, kúpszeleteket, horribile dictu, területtel vagy törtdimenzióval rendelkező alakzatokat próbálunk megfeleltetni; arról nem is beszélve, hogy a pontoknak pontokat, az illeszkedési relációt meg a „hagyományos” illeszkedésnek.


Lap teteje