Piecewise functions are defined by multiple sub-functions, each applying to a specific interval of the domain, allowing for the modeling of complex behaviors that change over different ranges. They are essential in scenarios where a single expression cannot adequately describe a situation, such as in cases of step functions or absolute value functions.