Si las cartas locales en una variedad son aplicaciones diferenciables en el espacio de coordenadas, entonces podemos definir funciones diferenciables en esa variedad y un espacio tangente en cada punto.