În analiză , se spune că o formă diferențială este exactă (sau totală) dacă există o formă diferențială a cărei derivată externă , adică dacă este posibilă integrarea acesteia . În rezumat, o formă diferențială ω este exactă dacă există o formă Q astfel încât
, independent de calea de integrare de la a la b .Conform teoremei lui Schwarz , orice formă exactă a clasei C 1 este închisă . Lema de Poincaré oferă o reciprocă parțială.
A 1-formă ω definită pe un deschis U este exact dacă există un diferențiabilă funcția F pe U astfel încât ω = d F în alte cuvinte: în cazul în care câmpul vectorial prin care ω este produsul scalar este un gradient de câmp .
În termodinamică, când o diferențială 1-formă ω este exactă, deci de forma d F , funcția F este o funcție de stare a sistemului. Funcțiile termodinamice energia internă U , entropia S , entalpia H , energia liberă F sau A și entalpia liberă G sunt funcții de stare . De obicei , nici de lucru W , nici căldură Q sunt funcții de stat.
Conform lemei lui Poincaré , pe o deschidere conectată pur și simplu , o formă diferențială 1 a clasei C 1 este exactă dacă (și numai dacă) este închisă.