On Novodvorskii’s theorem and the Oka principle

We give an exposition of Novodvorskii’s theorem in Banach algebra K-theory, asserting that the Gelfand transform for a commutative Banach algebra induces an isomorphism in topological K-theory.