Kompakt tre for Bernhard Pettersen