Von Neumann gave a method of constructing Haar measure using mean values of functions, though it only works for compact groups.
Ο Von Neumann έδωσε μια μέθοδο κατασκευής του μέτρου του Χάαρ χρησιμοποιώντας μέσες τιμές των συναρτήσεων, αν και λειτουργεί μόνο για συμπαγής ομάδες.