Philip Xiao, Pure Mathematics, University of Waterloo
"K-theory of C*-algebras and of topological spaces -- Part II"
We
will
continue
and
finish
the
proof
that
$K^0
(X)
\cong
K_0
(C(X))$
for
$X$
a
compact
Hausdorff
space.
We'll
see
some
simple
examples,
but
computing
the
$K_0$
(or
$K^0$)
can
be
difficult
in
general.
In
hope
to
aid
computation,
we'll
take
a
look
at
the
functoriality
of
$K_0$
and
discover
some
of
its
fundamental
properties;
corresponding
properties
for
$K^0$
will
follow.