Kompakt tre for Asbj°rn Lie