On the Dirichlet problem in the axiomatic theory of harmonic functions

In the frame of the recent axiomatic theories of harmonic functions [2], [3], [1], it has been shown that the continuous bounded functions on the boundaries of relatively compact open sets are resolutive [5], [1]. The aim of the present paper is to substitute in these results the continuous functions by Borel-measurable functions and to leave out the restriction that the open sets are relatively compact. H. Bauer has replaced the axiom 3 of Brelot’s axiomatic by two weaker axioms: the axiom of separation (Trennungsaxiom) and the axiom K1. Since the axiom of separation is not fulfilled in some important cases (e.g. the compact Riemann surfaces) we shall weaken this axiom too, substituting it by one of its consequences: the minimum principle for hyperharmonic functions.