ScalingStacks

Proposition 2.21. Let $\mathcal{A}$ be a $k$-Banach algebra. Then $\mathfrak{M}(\mathcal{A})$ is a non-empty compact Hausdorff topological space. ([Ber, Theorem 1.2.1])