In mathematical analysis, Trudinger's theorem or the Trudinger inequality is a result of functional analysis on Sobolev spaces. It is named after Neil Trudinger.