Egentligt diskontinuerlig verkan