Campo vettoriale conservativo: differenze tra le versioni

In generale, un campo vettoriale conservativo è una [[forma differenziale esatta|1-forma esatta]], ovvero è uguale alla [[derivata esterna]] di una qualche 0-forma (un campo scalare) <math>\phi</math>. Un campo vettoriale irrotazionale è una 1-[[forma chiusa]]. Dal fatto che ogni forma esatta è anche chiusa, in quanto <math>d^2 = 0</math>, segue che un campo vettoriale irrotazionale è conservativo, cioè ha la proprietà di compiere un lavoro indipendente dal cammino (ma non è valido il viceversa, poichèpoiché un campo non è necessariamente conservativo se il suo rotore è nullo). Inoltre, il dominio è [[Spazio semplicemente connesso|semplicemente connesso]] se e solo se il suo [[Omologia (topologia)|primo gruppo di omologia]] ed il primo [[Coomologia di De Rham|gruppo di coomologia di De Rham]] <math>H_{\mathrm{dR}}^{1}</math> è 0 se e solo se tutte le 1-forme sono esatte.