A non-expansive mapping is a function between metric spaces that does not increase the distance between any two points, making it a crucial tool in fixed point theory and optimization. It ensures the stability of iterative processes, as sequences generated by such mappings are guaranteed to converge under certain conditions.