Dejemos que y sean funciones armónicas de valor real sobre . Dejemos que . Supongamos que contiene un conjunto abierto no vacío. Demostrar que .
Esto es lo que tengo hasta ahora: Dejemos que . Entonces es armónico. Sea sea el conjunto de todos los tal que en algún barrio abierto de . Por nuestras suposiciones sobre , no está vacío. Sea . Entonces en algún conjunto abierto que contiene . Si entonces en algún conjunto abierto que contenga , a saber . Así que está abierto.
Quiero mostrar también está cerrado pero tengo problemas para hacerlo. Alguna sugerencia: