In this talk, we introduce the Besov spaces associated with the Dirichlet Laplacian on an arbitrary open set. Basic properties such as the completeness, the embedding theorem, e.t.c. are shown. As an application, we will study the semigroup generated by the Dirichlet Laplacian of fractional order.