= Strong maximum principle for subharmonic functions
If the <canonical representative of a subharmonic distribution> on a connected domain attains a finite global maximum at an interior point, it is constant. The ball mean inequality forces equality almost everywhere on a small ball around the maximum. The canonical representative then equals the maximum everywhere on that ball. The maximum set is open by this argument and closed by upper semicontinuity; <connectedness> makes it the whole domain.
Back to article page
