Felület - pontok halmaza (geometriai hely) azzal a tulajdonsággal, hogy a (kicsi) gömböt felépítheti minden pontja körül, amely a keretet keresztezve csak egydimenziós objektumokat (görbéket) ad. Ez a görbe fogalmának háromdimenziós ekvivalense. A felület szintén köznyelvi kifejezés a felületre.
formális meghatározás
A felületegy 2-es méretű kontinuum, azaz olyan folytonosság, hogy minden pontnak van egy bizonyos környezete, amelynek széle nem tartalmaz olyan kontinuumot, amelynek mérete legalább 2, de 1-es méretû kontinuumot tartalmaz.
Kompakt zárt (él nélküli) felületek (azaz azok, amelyekhez az egyes pontok környezete homeomorf
R
2
{\ displaystyle \ mathbb {R} ^ {2}}
) ekvivalenciaosztályokra osztható a homeomorfizmus által megadott ekvivalencia-viszony alapján. A felületek osztályozására vonatkozó tétel szerint számtalanul sok ilyen ekvivalencia osztály létezik, és mindegyikük a háromforma egyikének a képviselője:
Ez lehetővé teszi a felületek csak két információ alapján történő osztályozását: nemzetség és a terek tájolhatósága. Ezenkívül a tájolható terekben a nem triviálisan a legmagasabb homológia található