Every Sobolev space is a Banach space .