www.wikidata.de-de.nina.az
Im mathematischen Gebiet der Graphentheorie bezeichnet man Graphen bei denen jeder Knoten mit einer zyklischen Anordnung der ausgehenden Kanten versehen ist als Bandgraphen In der Topologie sind Bandgraphen bei der Untersuchung der Topologie von Flachen von Nutzen Inhaltsverzeichnis 1 Definition 2 Zugeordnete Flachen 3 Literatur 4 Weblinks 5 EinzelnachweiseDefinition Bearbeiten nbsp Ein Bandgraph die Pfeile deuten die zyklische Ordnung der Kanten an Fur einen Graphen V E displaystyle V E nbsp bezeichne V displaystyle V nbsp die Menge der Knoten E displaystyle E nbsp die Menge der Kanten und E V V displaystyle overline E subset V times V nbsp die Menge der gerichteten Kanten wobei v w E w v E v w E displaystyle v w in overline E Leftrightarrow w v in overline E Leftrightarrow left v w right in E nbsp Fur jeden Knoten v V displaystyle v in V nbsp bezeichnen wir mit S t v e v w E w V displaystyle St v left e v w in overline E colon w in V right nbsp die Menge der von v displaystyle v nbsp ausgehenden gerichtete Kanten Definition Ein Bandgraph ist ein Graph V E displaystyle V E nbsp zusammen mit einer zyklischen Anordnung der gerichteten Kanten aus S t v displaystyle St v nbsp fur jedes v V displaystyle v in V nbsp Das heisst fur jedes v V displaystyle v in V nbsp hat man eine Permutation s v S t v S t v displaystyle sigma v colon St v to St v nbsp so dass fur jedes x S t v displaystyle x in St v nbsp sein Orbit unter s v displaystyle sigma v nbsp ganz S t v displaystyle St v nbsp ist s v n x n Z S t v displaystyle left sigma v n x colon n in mathbb Z right St v nbsp Aquivalent kann man fordern dass es eine Permutation s E E displaystyle sigma colon overline E to overline E nbsp gibt deren Zykel genau zyklischen Anordnungen auf den Mengen S t v displaystyle St v nbsp mit v V displaystyle v in V nbsp entsprechen Der Zusammenhang zwischen den beiden aquivalenten Definitionen ergibt sich durch die Gleichung s e s v e e S t v displaystyle sigma e sigma v e Leftrightarrow e in St v nbsp Zugeordnete Flachen BearbeitenEinem Bandgraphen kann man eine Flache mit Rand zuordnen indem man jeder Kante des Graphen ein Rechteck und jedem Knoten eine Kreisscheibe zuordnet und die Rechtecke entsprechend der gegebenen zyklischen Ordnung an die Kreisscheiben anklebt Man kann dem Bandgraphen auch eine geschlossene Flache zuordnen indem man die Randkomponenten der oben konstruierten Flache jeweils mit einer Kreisscheibe verklebt Diese Konstruktion ermoglicht einen elementaren Beweis der Klassifikation der Flachen und sie ist von Nutzen bei der Untersuchung der Abbildungsklassengruppen von Flachen Bezeichne F a t G r a p h c 3 displaystyle FatGraph c 3 nbsp die Kategorie der zusammenhangenden Bandgraphen in denen jeder Knoten mit mindestens 3 Kanten adjazent ist dann ist die geometrische Realisierung F a t G r a p h c 3 displaystyle FatGraph c 3 nbsp schwach homotopieaquivalent zur disjunkten Vereinigung der klassifizierenden Raume der Abbildungsklassengruppen fur alle Flachen 1 2 3 4 5 F a t G r a p h c 3 S B M o d S displaystyle FatGraph c 3 sim bigcup S BMod S nbsp Literatur BearbeitenFrancois Labourie Lectures on Representations of Surface Groups Zurich Lecture Notes in Advanced Mathematics 2013 ISBN 978 3 03719 127 9 print ISBN 978 3 03719 627 4 online doi 10 4171 127 online PDF Weblinks BearbeitenRibbon Graph nLab Einzelnachweise Bearbeiten Kevin Costello A dual point of view on the ribbon graph decomposition of moduli space Maxim Kontsevich Intersection theory on the moduli space of curves and the matrix Airy function Commun Math Phys 1992 no 147 S 1 23 Kiyoshi Igusa Higher Franz Reidemeister torsion IP Studies in Advanced Mathematics American Mathematical Society 2002 K Strebel Quadratic Differentials Springer Berlin 1984 MR86a 30072 R C Penner The decorated Teichmuller space of punctured surfaces Commun Math Phys 113 2 1987 S 299 339 Abgerufen von https de wikipedia org w index php title Bandgraph amp oldid 182489291