Definice: Nechť , kde . Potom homeomorfismus je spojité zobrazení, bijekce a je také spojitá. X \cong Y$ existuje-li mezi nimi homeomorfismus.
Definice: Plocha je kompaktní (uzavřená, omezená), souvislá (např. oblouková – každé dva body můžeme propojit obloukem), -rozměrná varieta bez hranice (dostatečně malé okolí každého bodu je homeomorfní otevřenému okolí v ).
Příkladem je třeba sféra nebo torus v , naopak celá do definice nezapadá kvůli kompaktnosti.
Každý druh plochy lze zkonstruovat přidáním
- ucha, kde vyřízneme dva kruhy v ploše, kde k těmto dvěma dírám přidám uzavřený plášť válce, na hranici dvou kruhů, který je jinak disjunktní se zbytkem.
- křižítka, kde vyříznu zase kruh a přidám jakýsi “teleport”, jenž bod přemostí do bodu naproti přes křižítko.
Značme pro , jež je plochou vzniklou ze sféry přidáním uší. Je to orientovatelná plocha rodu . Obdobně značíme pro neorientovatelnou plochu rodu vzniklou přidáním křižítek ke sféře.
Nakreslení grafu
Definice: Nakreslení grafu na plchu je zobrazení takové že
- přiřadí bod
- přiřadí prostou, tedy vzájemně neprotínající, křivku spojující oba konce dané hrany
- žádné dva vrcholy se nepřekrývají
- hrany se překrývají jen ve sdílených vrcholech
- vrcholy které nepatří hraně se s ní neprotínají
Definice: Stěna nakreslení je souvislá komponenta . Definice: Buňkové nakreslení je takové nakreslení, že každá jeho stěna je homeomorfní otevřenému kruhu v .
Eulerova formule
Definice: Eulerova charakteristika plochy je
Věta: (Zobecněná Eulerova formule) Mějme nakreslení grafu na ploše , které má množinu stěn. Pak . Pokud je zakreslení buňkové tak to platí s rovností. Důkaz: Indukcí dle rodu , pro toto platí, protože to je rovinná verze Eulerovi formule. Následující postup je analogický pro , kde trháme ucha, nyní si označme jako počty vrcholů hran a stěn. Mějme buňkové nakreslení na
Nechť je křižítko na a jsou body (ne nutně ale vrcholy grafu), kde hrany hraničí s . Můžeme předpokládat , protože jinak by stěna s nebyla buňková. Navíc b.ú.n.o. každý vrchol přímo na posuneme o trochu vedle aby byli incidentní jen hrany.
Vytvoříme si graf přidáním dvou dělících vrcholů těšně vedle každého na příslušnou hranu. A skóre se pro změnila tedy na
a tedy levá strana rovnice se nezměnila oproti původnímu .
Nyní vytvoříme přidáním cest délky 2 k sousedním vrcholům pro každý vrchol , tím vyrobíme kružnici kolem a skóre se změní
a levá strana rovnice se opět nehnula.
Teď odebereme vše uvnitř a vytvoříme a skóre je nyní
a levá strana se změnila o a tedy dle indukčního předpokladu máme
jako platné a z konstrukce nám vychází
a to sedí s definicí.
Důsledek: Každý graf nakreslitelný na plochu splní , pokud . Důkaz: Předpokládejme, že každá stěna je trojúhelník a dosadíme .
Věta: Nechť je plocha , nechť je nakreslený na . Potom existuje vrchol v , který má stupeň ( - nejmenší stupeň v )
Důkaz: Mějme průměrný stupeň jako v Důsledku Eulerovi formule. Sice a máme
undefined