O funcție netedă , sau o funcție diferențiabilă continuu , este o funcție care are o derivată continuă pe întregul set de definiții. Foarte des, funcțiile netede înseamnă funcții care au derivate continue de toate ordinele.
Sunt luate în considerare și funcțiile netede de ordine superioare, și anume, o funcție cu ordinul netezirii are derivate continue de toate ordinele până la și inclusiv (derivata de ordin zero este funcția însăși). Astfel de funcții se numesc - smooth . Setul de funcții -smooth definit în domeniu este notat cu . Notația înseamnă că pentru orice , astfel de funcții sunt numite infinit neted ( uneori prin funcții netede ele înseamnă exact infinit netede). Uneori se folosește și notația sau , ceea ce înseamnă că este analitică .
De exemplu, este mulțimea de funcții care sunt continue și este mulțimea de funcții care sunt diferențiabile continuu pe , adică funcții care au o derivată continuă în fiecare punct al acestei regiuni.
Dacă nu este specificată ordinea de netezime, atunci se presupune de obicei că este suficient să aibă sens toate operațiile efectuate asupra funcției în cursul argumentului curent.
Fie o regiune în și , . Fie o succesiune de submulțimi compacte astfel încât , și . Fie o succesiune arbitrară de numere întregi pozitive și . În cele din urmă, să fie o succesiune arbitrară de numere pozitive. Apoi, există o funcție analitică reală definită astfel încât pentru orice inegalitate
unde desemnează maximul normelor (în sensul de convergență uniformă , adică modulul maxim pe mulțime ) al derivatelor unei funcții de toate ordinele de la zero la inclusiv.
Pentru o analiză fină a claselor de funcții diferențiabile , este introdus și conceptul de netezime fracțională într-un punct sau exponentul Hölder , care generalizează toate conceptele de netezime de mai sus. Funcția aparține clasei , unde este un întreg nenegativ și dacă are derivate de până la ordinul inclusiv și este Hölder cu exponent .
În literatura tradusă, împreună cu termenul „exponent Hölder” , este folosit termenul „exponent Lipschitz”.