A Sobolev space is a vector space of functions equipped with a norm that is a combination of $L^p$-norms of the function itself and its derivatives up to a given order.