compattezza, completezza e connessione di spazi di forme