Über Eulersche Linien unendlicher Graphen. (Q2606562)

In Beantwortung einer Fragestellung von \textit{D. König} (auf S. 31ff. des im vorangehenden Referat besprochenen Buches) wird folgender Satz bewiesen: Ein unendlicher Graph besitzt dann und nur dann eine beiderseits unendliche \textit{Euler}sche Linie, falls er (1) zusammenhängend ist, (2) abzählbar viele Kanten enthält, (3) keinen Knotenpunkt ungeraden (endlichen) Grades besitzt, (4) nach Entfernung eines beliebigen endlichen Teilgraphen in \textit{höchstens zwei} -- und falls der entfernte Teilgraph ein \textit{Euler}scher war, in \textit{genau einen} -- unendlichen und eine beliebige Anzahl von endlichen zusammenhängenden Bestandteilen zerfällt. (Aus diesem Satz folgt unter anderem die Existenz einer beiderseits unendlichen \textit{Euler}schen Linie des \(n\)-dimensionalen Gittergraphen.) Im Verlauf der Untersuchungen wird ein auch an sich interessantes Kriterium für die Existenz einer einseitig unendlichen \textit{Euler}schen Linie bewiesen. (Für die graphentheoretischen Begriffe vgl. das angeführte Buch von \textit{König}.)