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