En matemáticas, una superficie es un objeto topolóxico que, intuitivamente hablando, es localmente "parecido" (homeomorfo) al plano cartesiano
, es decir para cada punto P en la superficie hay una veciñanza de P en la superficie que es homeomorfa a un disco abierto de y
esto nos da un sistema local de coordenadas entorno al punto en la superficie. Podemos llamar al homeomorfismo local que va de la superficie la
cómo carta y al inverso (de este homeomorfismo) parametrización.
No siempre es posible parametrizar una superficie con un único homeomorfismo local.
Ejemplos: La esfera, el toro, el plano proxectivo, la botella de Klein, son instancias de superficies cerradas, es decir sin frontera.
Un disco (en
), un cilindro y la banda de Möbius son ejemplos de superficies con frontera.
También las superficies se distinguen segundo sean orientables o no. Se dice que una superficie es no orientable se contiene por lo menos una sub-superficie que es homeomorfa la una banda de Möbius cerrada. Caso contrario se dice orientable.