In this paper, we propose a stabilized sequential quadratic programming (SQP) method for optimization problems in function spaces. A form of the problem considered in this paper can widely formulate many types of applications, such as obstacle problems, optimal control problems, and so on. Moreover, the proposed method is based on the existing stabilized SQP method and can find a point satisfying the Karush-Kuhn-Tucker (KKT) or asymptotic KKT conditions. One of the remarkable points is that we prove its global convergence to such a point under some assumptions without any constraint qualifications. In addition, we guarantee that an arbitrary accumulation point generated by the proposed method satisfies the KKT
conditions under several additional assumptions. Finally, we report some numerical experiments to examine the effectiveness of the proposed method.