Sobolev space
The above is an inner product on the space of square-integrable forms, conventionally taken to be the Sobolev space formula_62 In this way, one may write