Definition

A normed space is a Banach space if it is complete as a metric space.

e.g. Let be a domain and . A function is said to belong to the Hölder space if

  • The first term measures the boundedness of .
  • The second term measures the -Hölder continuity of .

Equipped with this norm, is a Banach space.