English: Banach space of functions equipped with a norm that is a combination of Lᵖ-norms of the function itself and its weak derivatives up to a given order
Japanese: 函数からなるベクトル空間で、函数それ自身とその与えられた階数までの導函数の Lp-ノルムを組み合わせて得られるノルムを備えた空間