In this identification, the maximal ideal space can be viewed as a w*-compact subset of the unit ball in the dual A ′.
Σε αυτή την ταύτιση, το μέγιστο ιδεώδες χώρος μπορεί να θεωρηθεί ως ένα w*-συμπαγές υποσύνολο της μοναδιαίας μπάλας στο δυϊκό Α '. θεώρημα.