מרחב קומפקטי מנייתית