[1] Formalmente, una función real f (definida a trozos) de una variable real x es la relación cuya definición está dada por varios conjuntos disjuntos de su dominio (conocidos como subdominios).
La palabra "A trozos" se usa para describir cualquier propiedad de una función definida a trozos que se cumple para cada trozo aunque podría no cumplirse para todo el dominio de f. Por ejemplo, una función es diferenciable a trozos si cada trozo es diferenciable a lo largo del dominio.
Supongamos que A puede representarse como una unión de conjuntos disjuntos Ai
y que, para cada uno de los Ai, existe una función fi
Entonces f es una función definida a trozos si
En otras palabras, f es definida a trozos si su regla de asignación es diferente para al menos dos valores de la variable independiente.
Las funciones definidas a trozos se expresan con una notación funcional común, donde el cuerpo de la función es una lista de expresiones matemáticas asociadas a subconjuntos del dominio.
En este caso, el dominio fue dividido en los conjuntos
los cuales son disjuntos y cumplen
Como esta expresión es –x, el signo del valor que asignamos a la variable independiente se invierte.
De modo similar, para todos los valores de x mayores o iguales que cero, la segunda expresión matemática (la función x) es utilizada.
A continuación, se presenta una tabla con valores de abs(x), en algunos puntos x del dominio.
En general, para evaluar una función definida a trozos en un determinado valor del dominio, seleccionamos la expresión matemática cuyo subdominio contiene el valor a evaluar.
Una función definida a trozos es continua en un intervalo dado si está definida por el intervalo, las expresiones matemáticas apropiadas que constituyen a la función son continuas en ese intervalo, y no hay discontinuidad en ningún punto extremo de los subdominios en ese intervalo.
Para determinar si los puntos extremos de los subdominios son puntos de continuidad, hay que comprobar que los límites laterales de la función coinciden.
[2] La función que está a la derecha, por ejemplo, es una función definida a trozos continua en todos sus subdominios, pero no es continua en todo el dominio.
Dicha función tiene un salto de discontinuidad (un agujero) en