K-theory Thom class (source code)

= K-theory Thom class
{c}
{title2=$\lambda_E$}

For a complex vector bundle $E\to X$, the K-theory Thom class
$$
\lambda_E\in\widetilde K^0(\operatorname{Th}(E))
$$
generates the Thom isomorphism $K^i(X)\cong\widetilde K^i(\operatorname{Th}(E))$.