Thus <math>A^p(D)</math> is the subspace of homolorphic functions that are in the space L<sup>p</sup>. The Bergman spaces are Banach spaces, which is a consequence of the estimate, valid on compact subsets K of D:Thus convergence of a sequence of holomorphic functions in L<sup>p</sup>(D) implies also compact convergence, and so the limit function is also holomorphic.