Em geometria diferencial, é um objeto matemático pertencente a um espaço vetorial que aparece no cálculo multivariável, cálculo tensorial ou em física. Comumente uma forma diferencial pode ser entendida como um operador multilinear antissimétrico definido sobre o espaço vetorial tangente a uma variedade diferenciável. Em um espaço ou variedade de dimensão n, podem definir-se 0-formas, 1-formas, ... e n-formas. Pela propriedade da antissimetria, as k-formas para k > n são identicamente nulas.