ITT0030 Diskreetne matemaatika II - eksamikonspekt
Näiteid homöomorfismidest: tass => kohver => sõõrik;
Väga tuntud homöomorfism on ka nö. trefoil'i sõlm, mis on iseenesest samuti homöomorfne
sõõrikuga.
Kuratowski' teoreem: Graaf on tasandiline parajasti siis ja ainult siis, kui ta ei sisalda
alamgraafi, mis oleks homömorfne kas graafiga K5 või K3,3.
Teisisõnu, graaf G ei ole tasandiline parajasti siis, kui temas sisaldub K5 või K3,3 järgmiselt:
1). Graafi G tipud on K5 või K3,3 tippudeks.
2). Graafi G lihtahelad, mis ei lõiku (v.a. otstippudes) lihtahelate koosseisus
sisalduvad tipud on sel juhul tekitatud serva poolitamise operatsiooniga(ning seega graafid
on homoömorfsed) on K5 või K3,3 servadeks.
K.Wagneri teoreem: Graaf on tasandiline parajasti siis, kui ta ei sisalda alamgraafi, mis servi
kokku tõmmates on muudetav graafiks K5 või K3,3.
Serva kokkutõmbamise operatsioon kahte servaga intsidentset tippu lähendatakse
annaabi.ee 
