У математичному аналізі теорема Трудінгера або нерівність Трудінгера (також іноді звана нерівністю Мозера — Трудінгера) — результат функціонального аналізу на просторах Соболєва. Названо на честь (і Юргена Мозера).
Описує нерівність між деякою нормою простору Соболєва та нормою простору Орліча функції. Нерівність є граничним випадком вкладення Соболєва, її можна сформулювати у вигляді такої теореми: Нехай — обмежена область в , яка задовольняє умову конуса. Нехай і . Нехай
Тоді існує вкладення
де
Простір
є прикладом простору Орліча.
Джерела
. .