\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Introduction to Topological K-Theory}

$\,$

\begin{uremark}
\end{uremark}
\begin{quote}%
under construction


\end{quote}
\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{ordinary_cohomology}{\textbf{Ordinary cohomology}}\dotfill \pageref*{ordinary_cohomology} \linebreak
\noindent\hyperlink{idea_2}{Idea}\dotfill \pageref*{idea_2} \linebreak
\noindent\hyperlink{HomotopyType}{Homotopy type of topological spaces}\dotfill \pageref*{HomotopyType} \linebreak
\noindent\hyperlink{SimplicialHomology}{Simplicial and singular homology}\dotfill \pageref*{SimplicialHomology} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak
\noindent\hyperlink{vector_bundles}{\textbf{Vector bundles}}\dotfill \pageref*{vector_bundles} \linebreak
\noindent\hyperlink{idea_3}{Idea}\dotfill \pageref*{idea_3} \linebreak
\noindent\hyperlink{fiber_bundles}{Fiber bundles}\dotfill \pageref*{fiber_bundles} \linebreak
\noindent\hyperlink{the_tensor_category_of_vector_bundles}{The tensor category of vector bundles}\dotfill \pageref*{the_tensor_category_of_vector_bundles} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{basic_properties}{Basic properties}\dotfill \pageref*{basic_properties} \linebreak
\noindent\hyperlink{references_2}{References}\dotfill \pageref*{references_2} \linebreak
\noindent\hyperlink{ClassifyingSpaces}{\textbf{Classifying spaces}}\dotfill \pageref*{ClassifyingSpaces} \linebreak
\noindent\hyperlink{idea_4}{Idea}\dotfill \pageref*{idea_4} \linebreak
\noindent\hyperlink{grassmannian_spaces}{Grassmannian spaces}\dotfill \pageref*{grassmannian_spaces} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{the_classification_result}{The classification result}\dotfill \pageref*{the_classification_result} \linebreak
\noindent\hyperlink{references_3}{References}\dotfill \pageref*{references_3} \linebreak
\noindent\hyperlink{KTheoryRing}{\textbf{The K-theory functor $K^\bullet(-)$}}\dotfill \pageref*{KTheoryRing} \linebreak
\noindent\hyperlink{idea_5}{Idea}\dotfill \pageref*{idea_5} \linebreak
\noindent\hyperlink{references_4}{References}\dotfill \pageref*{references_4} \linebreak
\noindent\hyperlink{GeneralizedCohomology}{\textbf{Generalized cohomology}}\dotfill \pageref*{GeneralizedCohomology} \linebreak
\noindent\hyperlink{idea_6}{Idea}\dotfill \pageref*{idea_6} \linebreak
\noindent\hyperlink{mapping_cones}{Mapping cones}\dotfill \pageref*{mapping_cones} \linebreak
\noindent\hyperlink{ReducedCohomology}{Reduced cohomology}\dotfill \pageref*{ReducedCohomology} \linebreak
\noindent\hyperlink{UnreducedCohomology}{Unreduced cohomology}\dotfill \pageref*{UnreducedCohomology} \linebreak
\noindent\hyperlink{RelationBetweenReducedAndUnreduced}{The relation}\dotfill \pageref*{RelationBetweenReducedAndUnreduced} \linebreak
\noindent\hyperlink{exmaple_ordinary_cohomology}{Exmaple: Ordinary cohomology}\dotfill \pageref*{exmaple_ordinary_cohomology} \linebreak
\noindent\hyperlink{references_5}{References}\dotfill \pageref*{references_5} \linebreak
\noindent\hyperlink{clutching_construction_and_product_theorem}{\textbf{Clutching construction and Product theorem}}\dotfill \pageref*{clutching_construction_and_product_theorem} \linebreak
\noindent\hyperlink{idea_7}{Idea}\dotfill \pageref*{idea_7} \linebreak
\noindent\hyperlink{references_6}{References}\dotfill \pageref*{references_6} \linebreak
\noindent\hyperlink{splitting_principle}{\textbf{Splitting principle}}\dotfill \pageref*{splitting_principle} \linebreak
\noindent\hyperlink{idea_8}{Idea}\dotfill \pageref*{idea_8} \linebreak
\noindent\hyperlink{references_7}{References}\dotfill \pageref*{references_7} \linebreak
\noindent\hyperlink{BottPeriodicity}{\textbf{K-Cohomology theory}}\dotfill \pageref*{BottPeriodicity} \linebreak
\noindent\hyperlink{idea_9}{Idea}\dotfill \pageref*{idea_9} \linebreak
\noindent\hyperlink{references_8}{References}\dotfill \pageref*{references_8} \linebreak
\noindent\hyperlink{examples_of_kgroups}{\textbf{Examples of K-groups}}\dotfill \pageref*{examples_of_kgroups} \linebreak
\noindent\hyperlink{idea_10}{Idea}\dotfill \pageref*{idea_10} \linebreak
\noindent\hyperlink{references_9}{References}\dotfill \pageref*{references_9} \linebreak
\noindent\hyperlink{adams_operations}{\textbf{Adams operations}}\dotfill \pageref*{adams_operations} \linebreak
\noindent\hyperlink{idea_11}{Idea}\dotfill \pageref*{idea_11} \linebreak
\noindent\hyperlink{references_10}{References}\dotfill \pageref*{references_10} \linebreak
\noindent\hyperlink{hopf_invariant_one}{\textbf{Hopf invariant one}}\dotfill \pageref*{hopf_invariant_one} \linebreak
\noindent\hyperlink{idea_12}{Idea}\dotfill \pageref*{idea_12} \linebreak
\noindent\hyperlink{references_11}{References}\dotfill \pageref*{references_11} \linebreak
\noindent\hyperlink{equivariant_ktheory}{\textbf{Equivariant K-theory}}\dotfill \pageref*{equivariant_ktheory} \linebreak
\noindent\hyperlink{idea_13}{Idea}\dotfill \pageref*{idea_13} \linebreak
\noindent\hyperlink{references_12}{References}\dotfill \pageref*{references_12} \linebreak
\noindent\hyperlink{TheSpectrumKU}{$(\star)$ \textbf{The K-theory spectrum}}\dotfill \pageref*{TheSpectrumKU} \linebreak
\noindent\hyperlink{idea_14}{Idea}\dotfill \pageref*{idea_14} \linebreak
\noindent\hyperlink{references_13}{References}\dotfill \pageref*{references_13} \linebreak
\noindent\hyperlink{references_14}{References}\dotfill \pageref*{references_14} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

To recall, the subject of [[topology]] studies [[spaces]] with [[continuous functions]] between them: [[topological spaces]], a fundamental concept in all of [[mathematics]]. For many applications one cares about the choice of [[continuous functions]] only up to continuous [[deformations]], called [[homotopies]]. The study of [[topological spaces]] with [[continuous functions]] up to [[homotopy]] is called [[homotopy theory]]. Interestingly, this plays an even more fundamental role in [[mathematics]]. For some introductory exposition see at \emph{[[schreiber:Higher Structures in Mathematics and Physics]]}.

In order to study [[topological spaces]] up to [[homotopy]] -- then called \emph{[[homotopy types]]} -- a useful strategy is to assign [[algebra|algebraic]] data to them which may be transferred along [[continuous functions]] but is [[invariant]] under [[homotopy]]: \emph{[[homotopy invariants]]}. This approach to [[homotopy theory]] is called \emph{[[algebraic topology]]}.

A basic example of such a [[homotopy invariant]] of [[topological spaces]] is [[singular homology]] and [[singular cohomology]]. These are sequences of [[abelian groups]] which classify formal [[formal linear combinations]] of ``[[singular chains]]'' in a topological space, essentially a simple algebraic way to detect which kind of ``holes'' there are in a [[topological space]].

But there are more interesting and richer [[homotopy invariants]] of [[topological spaces]]. In a sense the next example after the ``[[ordinary cohomology|ordinary]]'' [[singular cohomology]] is the ``[[generalized (Eilenberg-Steenrod) cohomology|generalized cohomology theory]]'' called [[topological K-theory]].

In [[topological K-theory]] one detects properties of [[topological spaces]] by regarding \emph{[[vector bundles]]} over them. A [[vector bundle]] over a topological space $X$ is an assignment of a [[vector space]] $V_x$ (the ``[[fiber]]'' over $x$) to each of its points $x \in X$, such that these glue together to one big space $V$ over $X$ as the point $x$ varies in $X$. Hence vector bundles are to be thought of as ``continuously varying families of vector spaces'', combining [[topology]] with [[linear algebra]].

For example if $X$ is [[differentiation|differentiable]], then at each of its points there is a [[vector space]] of \emph{[[tangent vectors]]} called the [[tangent space]] at that point. The collection of these [[tangent spaces]] forms a [[vector bundle]] called the \emph{[[tangent bundle]]}. The graphics on the right shows one tangent space to the [[2-sphere]].

Just as two [[vector spaces]] may be combined in their [[direct sum]], so two [[vector bundles]] may be combined by point-wise direct sum of their [[fibers]]. This makes the [[isomorphism classes]] of [[vector bundles]] over a fixed topological space form a [[semi-group]] (in fact a [[monoid]]). The key idea of [[topological K-theory]] is to turn this [[semi-group]] of vector bundles into an actual ([[abelian group|abelian]]) [[group]] by adjoining [[inverses]], a general procudure known as the \emph{[[Grothendieck group]]} construction, after its inventor. Applied to the semi-group of [[isomorphism classes]] of [[vector bundles]], this yields the abelian group that is called the \emph{[[topological K-theory]]} group of the underlying topological space. Here the ``K'' refers to the passage to ([[isomorphism]]) classes (German: \emph{Klassen}).

\begin{uremark}
\end{uremark}
$\,$

We now say some of this again, at a slightly more technical level.

$\,$

Recall that for $k$ a [[field]] then a $k$-[[vector bundle]] over a [[topological space]] $X$ is a map $V \to X$ whose [[fibers]] are [[vector spaces]] which vary over $X$ in a controlled way. Explicitly this means that there exits an [[open cover]] $\{U_i \to X\}$ of $X$, a [[natural number]] $n \in \mathbb{N}$ (the \emph{[[rank of a vector bundle|rank]]} of the vector bundle) and a [[homeomorphism]] $U_i \times k^n \to V|_{U_i}$ over $U_i$ which is fiberwise a $k$-[[linear map]].

Vector bundles are of central interest in large parts of [[mathematics]] and [[physics]], for instance in [[Chern-Weil theory]] and [[cobordism theory]]. But the collection $Vect(X)_{/\sim}$ of [[isomorphism classes]] of vector bundles over a given space is in general hard to analyze. One reason for this is that these are classified in degree-1 \emph{[[nonabelian cohomology]]} with [[coefficients]] in the ([[nonabelian group|nonabelian]]) [[general linear group]] $GL(n,k)$. K-theory may roughly be thought of as the result of forcing vector bundles to be classified by an abelian [[cohomology theory]].

To that end, observe that all natural operations on [[vector spaces]] generalize to vector bundles by applying them [[fiber]]-wise. Notably there is the fiberwise [[direct sum of vector bundles]], also called the \emph{[[Whitney sum]]} operation. This operation gives the set $Vect(X)_{/\sim}$ of [[isomorphism classes]] of vector bundles the structure of an [[semi-group]] ([[monoid]]) $(Vect(X)_{/\sim},\oplus)$.

Now as under direct sum, the [[dimension]] of vector spaces adds, similarly under [[direct sum of vector bundles]] their [[rank]] adds. Hence in analogy to how one passes from the additive [[semi-group]] ([[monoid]]) of [[natural numbers]] to the addtitive [[group]] of [[integers]] by adjoining formal additive inverses, so one may adjoin formal additive inverses to $(Vect(X)_{/\sim},\oplus)$. By a general prescription (``[[Grothendieck group]]'') this is achieved by first passing to the larger class of [[pairs]] $(V_+,V_-)$ of vector bundles (``[[virtual vector bundles]]''), and then [[quotient|quotienting]] out the [[equivalence relation]] given by

\begin{displaymath}
(V_+, V_-) \sim (V_+ \oplus W , V_- \oplus W)
\end{displaymath}
for all $W \in Vect(X)_{/\sim}$. The resulting set of [[equivalence classes]] is an [[abelian group]] with group operation given on representatives by

\begin{displaymath}
[V_+, V_-] \oplus [V'_+, V'_-] \coloneqq (V_+ \oplus V'_+, V_- \oplus V'_-)
\end{displaymath}
and with the [[inverse]] of $[V_+,V_-]$ given by

\begin{displaymath}
-[V_+, V_-] = [V_-, V_+]
  \,.
\end{displaymath}
This [[abelian group]] obtained from $(Vect(X)_{/\sim}, \oplus)$ is denoted $K(X)$ and often called \emph{the K-theory} of the space $X$. Here the letter ``K'' (due to [[Alexander Grothendieck]]) originates as a shorthand for the German word \emph{Klasse}, referring to the above process of forming [[equivalence classes]] of ([[isomorphism classes]]) of vector bundles.

This simple construction turns out to yield remarkably useful groups of [[homotopy]] [[invariants]]. A variety of deep facts in [[algebraic topology]] have fairly elementary proofs in terms of topolgical K-theory, for instance

\begin{itemize}%
\item the proof of [[topological invariance of dimension]];


\item the solution of the [[Hopf invariant one]] problem (\hyperlink{AdamsAtiyah66}{Adams-Atiyah 66}),



\end{itemize}
These proofs make use of the [[Adams operations]] on K-theory, which are reflections of the fact that with every [[vector bundle]] there is also the [[exterior power|exterior]] [[tensor product of vector bundles|tensor powers]].

One defines the ``higher'' K-groups of a topological space to be those of its higher [[suspensions]]

\begin{displaymath}
K^{-n}(X) = K(\Sigma^n X)
  \,.
\end{displaymath}
The assignment $X \mapsto K^\bullet(X)$ turns out to share many properties of the assignment of [[ordinary cohomology]] groups $X \mapsto H^n(X,\mathbb{Z})$. One says that topological K-theory is a [[generalized (Eilenberg-Steenrod) cohomology]] theory. As such it is [[Brown representability theorem|represented]] by a [[spectrum]]. For $k = \mathbb{C}$ this is called [[KU]], for $k = \mathbb{R}$ this is called [[KO]]. (There is also the unification of both in [[KR]]-theory.)

One of the basic facts about topological K-theory, rather unexpected from the definition, is that these higher K-groups repeat \emph{periodically} in the degree $n$. For $k = \mathbb{R}$ the periodicity is 8, for $k = \mathbb{C}$ it is 2. This is called \emph{[[Bott periodicity]]}. This closely connects to similar periodicities encountered elsewhere in mathematics, notably the periodicity, up to [[Morita equivalence]], of [[Clifford algebras]].

It turns out that an important source of [[virtual vector bundles]] representing classes in [[K-theory]] are index bundles: Given a [[Riemannian manifold|Riemannian]] [[spin structure|spin]] [[manifold]] $B$, then there is a [[vector bundle]] $S \to B$ called the \emph{[[spin bundle]]} of $B$, which carries a [[differential operator]], called the [[Dirac operator]] $D$. The [[index of a Dirac operator]] is the formal difference of its [[kernel]] by its [[cokernel]] $[ker D, coker D]$. Now given a continuous family $D_x$ of Dirac operators/Fredholm operators, parameterized by some topological space $X$, then these indices combine to a class in $K(X)$.

It is via this construction that topological K-theory connects to [[spin geometry]] (see e.g. [[Karoubi K-theory]]) and [[index theory]].

As the terminology indicates, both [[spin geometry]] and [[Dirac operator]] originate in [[physics]]. Accordingly, K-theory plays a central role in various areas of [[mathematical physics]], for instance in the theory of [[geometric quantization]] (``[[spin{\tt \symbol{94}}c quantization]]'') in the theory of [[D-branes]] (where it models [[D-brane charge]] and [[RR-fields]]) and in the theory of [[Kaluza-Klein compactification]] via [[spectral triples]] (see below).

All these geometric constructions have an [[operator algebra|operator algebraic]] incarnation: by the topological [[Serre-Swan theorem]] then [[vector bundles]] of finite rank are equivalently [[modules]] over the [[C\emph{-algebra]] of [[continuous functions]] on the base space. Using this relation one may express K-theory classes entirely operator algebraically, this is called \emph{[[operator K-theory]]}. Now [[Dirac operators]] are generalized to [[Fredholm operators]].}

There are more [[C\emph{-algebras]] than arising as [[algebras of functions]] of [[topological space]], namely non-commutative C}-algebras. One may think of these as defining [[non-commutative geometry]], but the definition of [[operator K-theory]] immediately generalizes to this situation (see also at \emph{[[KK-theory]]}).

While the [[C\emph{-algebra]] of a [[Riemannian manifold|Riemannian]] [[spin structure|spin]] [[manifold]] remembers only the underlying [[topological space]], one may algebraically encode the [[smooth structure]] and [[Riemannian structure]] by passing from [[Fredholm modules]] to ``[[spectral triples]]''. This may for instance be used to algebraically encode the spin physics underlying the [[standard model of particle physics]] and [[operator K-theory]] plays a crucial role in this.}

\hypertarget{ordinary_cohomology}{}\subsection*{{\textbf{Ordinary cohomology}}}\label{ordinary_cohomology}

\hypertarget{idea_2}{}\subsubsection*{{Idea}}\label{idea_2}

We are concerned with assigning [[abelian groups]] to [[topological spaces]] that tell us something about the nature of these spaces, about their ``[[homotopy type]]''. Before we come to K-theory, the simplest such assignment is called \emph{[[ordinary homology]]} and \emph{[[ordinary cohomology]]}. In its realization as [[singular chain homology]] it uses a basic tool of [[homological algebra]] to compute these group: [[chain complexes]].

Consider an [[interval]] in a [[topological space]] $X$, namely a [[continuous map]] $\sigma \colon [0,1] \to X$. Its [[boundary]] is the two endpoints $\sigma(0) \colon \ast \to X$ and $\sigma(1) \colon \ast to X$. In order to remember that the first is the ``incoming boundary'' while the second is the ``outgoing boundary'' we form their [[formal sum|formal difference]] and call this the \emph{oriented boundary}

\begin{displaymath}
\partial \sigma \;\coloneqq\; \sigma(1) - \sigma(0)
  \,.
\end{displaymath}
This suggests that we also allow for signed [[formal sums]] $\underset{i}{\sum} a_i \sigma_i$ of intervals in the first place.\{ If all these intervals $\sigma_i$ touch each other at their endpoints, then this looks like a \emph{[[chain]]} of intervals, a \emph{1-dimensional chain}, and hence such a [[formal sum]] is called a \emph{1-chain}, for short. Similarly a formal sum of points is then called a \emph{0-chain}. It is natural to extend the boundary operation $\partial$ linearly from intervals to 1-chains. The [[quotient group]]

\begin{displaymath}
H_0(X) \coloneqq \frac{\text{0-chains}}{\text{boundaries of 1-chains}}
\end{displaymath}
is called the \emph{[[ordinary homology]]} or \emph{[[singular homology]]} of $X$ in degree 0. Clearly, it is measure for the [[connected components]] of $X$. Similarly there are $n$-dimensional chains in $X$, for any $n$, and a boundary map $\partial$ on all of these. It satisfies the fundamental identity that \emph{The boundary of a boundary vanishes},

\begin{displaymath}
\partial \circ \partial = 0
  \,.
\end{displaymath}
One says that the chains equipped with this nilpotent boundary operation form a [[chain complex]]. In general then the [[quotient group]]

\begin{displaymath}
H_n(X) \coloneqq \frac{n\text{-chains that are cycles}}{\text{boundaries of}\; n+1\text{-chains}}
\end{displaymath}
is called the \emph{[[ordinary homology]]} of $X$ in degree $n$. This a measure for the ``holes of dimension $n$'' that one may fund in $X$.

The ordinary hom\'o{}logy groups associated with a topological space are [[homotopy invariants]] that are useful for analyzing, recognizing and and distinguishing topological spaces.

\hypertarget{HomotopyType}{}\subsubsection*{{Homotopy type of topological spaces}}\label{HomotopyType}

This section reviews some basic notions in [[topology]] and [[homotopy theory]]. These will all serve as blueprints for corresponding notions in homological algebra.

\begin{defn}
\label{}\hypertarget{}{}
A \textbf{topological space} is a [[set]] $X$ equipped with a set of [[subsets]] $U \subset X$, called \textbf{[[open sets]]}, which are closed under

\begin{enumerate}%
\item finite [[intersections]]
\item arbitrary [[unions]].

\end{enumerate}
\end{defn}
\begin{example}
\label{}\hypertarget{}{}
The [[Cartesian space]] $\mathbb{R}^n$ with its standard notion of [[open subsets]] given by [[unions]] of [[open balls]] $D^n \subset \mathbb{R}^n$.

\end{example}
\begin{defn}
\label{}\hypertarget{}{}
For $Y \hookrightarrow X$ an [[injection]] of sets and $\{U_i \subset X\}_{i \in I}$ a topology on $X$, the [[subspace topology]] on $Y$ is $\{U_i \cap Y \subset Y\}_{i \in I}$.

\end{defn}
\begin{defn}
\label{TopologicalSimplex}\hypertarget{TopologicalSimplex}{}
For $n \in \mathbb{N}$, the \textbf{\href{http://ncatlab.org/nlab/show/simplex#TopologicalSimplex}{topological n-simplex}} is, up to [[homeomorphism]], the [[topological space]] whose underlying set is the subset

\begin{displaymath}
\Delta^n \coloneqq
  \{
    \vec x \in \mathbb{R}^{n+1}
    |
    \sum_{i = 0 }^n x_i = 1 \; and \;
    \forall i . x_i \geq 0
  \}
  \subset \mathbb{R}^{n+1}
\end{displaymath}
of the [[Cartesian space]] $\mathbb{R}^{n+1}$, and whose topology is the [[subspace topology]] induces from the canonical topology in $\mathbb{R}^{n+1}$.

\end{defn}
\begin{example}
\label{}\hypertarget{}{}
For $n = 0$ this is the [[point]], $\Delta^0 = *$.

For $n = 1$ this is the standard [[interval object]] $\Delta^1 = [0,1]$.

For $n = 2$ this is the filled triangle.

For $n = 3$ this is the filled tetrahedron.

\end{example}
\begin{defn}
\label{}\hypertarget{}{}
A [[homomorphisms]] between topological spaces $f : X \to Y$ is a \textbf{[[continuous function]]}:

a [[function]] $f:X\to Y$ of the underlying [[sets]] such that the [[preimage]] of every open set of $Y$ is an open set of $X$.

\end{defn}
Topological spaces with continuous maps between them form the [[category]] [[Top]].

\begin{defn}
\label{FaceInclusionInBarycentricCoords}\hypertarget{FaceInclusionInBarycentricCoords}{}
For $n \in \mathbb{N}$, $\n \geq 1$ and $0 \leq k \leq n$, the \textbf{$k$th $(n-1)$-face (inclusion)} of the topological $n$-simplex, def. \ref{TopologicalSimplex}, is the subspace inclusion

\begin{displaymath}
\delta_k : \Delta^{n-1} \hookrightarrow \Delta^n
\end{displaymath}
induced under the coordinate presentation of def. \ref{TopologicalSimplex}, by the inclusion

\begin{displaymath}
\mathbb{R}^n \hookrightarrow \mathbb{R}^{n+1}
\end{displaymath}
which ``omits'' the $k$th canonical coordinate:

\begin{displaymath}
(x_0, \cdots , x_{n-1}) \mapsto (x_0, \cdots, x_{k-1} , 0 , x_{k}, \cdots, x_{n-1})
  \,.
\end{displaymath}
\end{defn}
\begin{example}
\label{}\hypertarget{}{}
The inclusion

\begin{displaymath}
\delta_0 : \Delta^0 \to \Delta^1
\end{displaymath}
is the inclusion

\begin{displaymath}
\{1\} \hookrightarrow [0,1]
\end{displaymath}
of the ``right'' end of the standard interval. The other inclusion

\begin{displaymath}
\delta_1 : \Delta^0 \to \Delta^1
\end{displaymath}
is that of the ``left'' end $\{0\} \hookrightarrow [0,1]$.

\end{example}
\begin{defn}
\label{DegeneracyProjectionsInBarycentricCoords}\hypertarget{DegeneracyProjectionsInBarycentricCoords}{}
For $n \in \mathbb{N}$ and $0 \leq k \lt n$ the \textbf{$k$th degenerate $(n)$-simplex (projection)} is the surjective map

\begin{displaymath}
\sigma_k : \Delta^{n} \to \Delta^{n-1}
\end{displaymath}
induced under the barycentric coordinates of def. \ref{TopologicalSimplex} under the surjection

\begin{displaymath}
\mathbb{R}^{n+1} \to \mathbb{R}^n
\end{displaymath}
which sends

\begin{displaymath}
(x_0, \cdots, x_n) \mapsto (x_0, \cdots, x_{k} + x_{k+1}, \cdots, x_n)
  \,.
\end{displaymath}
\end{defn}
\begin{defn}
\label{SingularSimplex}\hypertarget{SingularSimplex}{}
For $X \in$ [[Top]] and $n \in \mathbb{N}$, a \textbf{singular $n$-simplex} in $X$ is a [[continuous map]]

\begin{displaymath}
\sigma : \Delta^n \to X
\end{displaymath}
from the topological $n$-simplex, def. \ref{TopologicalSimplex}, to $X$.

Write

\begin{displaymath}
(Sing X)_n \coloneqq Hom_{Top}(\Delta^n , X)
\end{displaymath}
for the set of singular $n$-simplices of $X$.

\end{defn}
As $n$ varies, this forms the \emph{[[singular simplicial complex]]} of $X$. This is the topic of the next section, see def. def. \ref{SingularSimplicialComplex}.

\begin{defn}
\label{LeftHomotopyContinousMaps}\hypertarget{LeftHomotopyContinousMaps}{}
For $f,g : X \to Y$ two [[continuous functions]] between [[topological spaces]], a \textbf{[[left homotopy]]} $\eta : f \Rightarrow g$ is a [[commuting diagram]] in [[Top]] of the form

\begin{displaymath}
\itexarray{
    X
    \\
    {}^{\mathllap{(id,\delta_0)}}\downarrow & \searrow^{\mathrlap{f}}
    \\
    X \times \Delta^1 &\stackrel{\eta}{\to}& Y
   \\
   {}^{\mathllap{(id,\delta_1)}}\uparrow & \nearrow_{\mathrlap{g}}
   \\
   X
  }
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
In words this says that a homotopy between two continuous functions $f$ and $g$ is a continuous 1-parameter deformation of $f$ to $g$. That deformation parameter is the canonical [[coordinate]] along the interval $[0,1]$, hence along the ``length'' of the [[cylinder]] $X \times \Delta^1$.

\end{remark}
\begin{prop}
\label{}\hypertarget{}{}
Left homotopy is an [[equivalence relation]] on $Hom_{Top}(X,Y)$.

\end{prop}
The fundamental invariants of a topological space in the context of \emph{[[homotopy theory]]} are its \emph{[[homotopy groups]]}. We first review the first homotopy group, called the \emph{[[fundamental group]]} of $X$:

\begin{defn}
\label{}\hypertarget{}{}
For $X$ a [[topological space]] and $x : * \to X$ a [[point]]. A [[loop space|loop]] in $X$ based at $x$ is a [[continuous function]]

\begin{displaymath}
\gamma : \Delta^1  \to X
\end{displaymath}
from the topological 1-[[simplex]], such that $\gamma(0) = \gamma(1) = x$.

A \emph{based [[homotopy]]} between two loops is a [[homotopy]]

\begin{displaymath}
\itexarray{
    \Delta^1
    \\
    \downarrow^{\mathrlap{(id,\delta_0)}} & \searrow^{\mathrlap{f}}
    \\
    \Delta^1 \times \Delta^1 &\stackrel{\eta}{\to}& X
    \\
    \uparrow^{\mathrlap{(id,\delta_1)}} & \nearrow_{\mathrlap{g}}
    \\
    \Delta^1
  }
\end{displaymath}
such that $\eta(0,-) = \eta(1,-) = x$.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
This notion of based homotopy is an [[equivalence relation]].

\end{prop}
\begin{proof}
This is directly checked. It is also a special case of the general discussion at \emph{[[homotopy]]}.

\end{proof}
\begin{defn}
\label{Concatenation}\hypertarget{Concatenation}{}
Given two loops $\gamma_1, \gamma_2 : \Delta^1 \to X$, define their \textbf{concatenation} to be the loop

\begin{displaymath}
\gamma_2 \cdot \gamma_1 : t \mapsto
  \left\{
    \itexarray{
      \gamma_1(2 t) & ( 0 \leq t \leq 1/2 )
      \\
      \gamma_2(2 (t-1/2)) & (1/2 \leq t \leq 1)
    }
  \right.
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{GroupStructure}\hypertarget{GroupStructure}{}
Concatenation of loops respects based homotopy classes where it becomes an [[associativity|associative]], [[unital]] binary pairing with [[inverses]], hence the product in a [[group]].

\end{prop}
\begin{defn}
\label{TheFundamentalGroup}\hypertarget{TheFundamentalGroup}{}
For $X$ a topological space and $x \in X$ a point, the set of based homotopy equivalence classes of based loops in $X$ equipped with the group structure from prop. \ref{GroupStructure} is the \textbf{fundamental group} or \textbf{first [[homotopy group]]} of $(X,x)$, denoted

\begin{displaymath}
\pi_1(X,x) \in Grp
  \,.
\end{displaymath}
\end{defn}
\begin{example}
\label{}\hypertarget{}{}
The fundamental group of the [[point]] is trivial: $\pi_1(*) = *$.

\end{example}
\begin{example}
\label{}\hypertarget{}{}
The fundamental group of the [[circle]] is the group of [[integers]] $\pi_1(S^1) \simeq \mathbb{Z}$.

\end{example}
This construction has a fairly straightforward generalizations to ``higher dimensional loops''.

\begin{defn}
\label{}\hypertarget{}{}
Let $X$ be a topological space and $x : * \to X$ a point. For $(1 \leq n) \in \mathbb{N}$, the \textbf{$n$th [[homotopy group]]} $\pi_n(X,x)$ of $X$ at $x$ is the [[group]]:

\begin{itemize}%
\item whose elements are left-homotopy [[equivalence classes]] of maps $S^n \to (X,x)$ in $Top^{*/}$;


\item composition is given by gluing at the base point ([[wedge sum]]) of representatives.



\end{itemize}
The 0th homotopy group is taken to be the set of [[connected components]].

\end{defn}
\begin{example}
\label{}\hypertarget{}{}
For $n = 1$ this reproduces the definition of the fundamental group of def. \ref{TheFundamentalGroup}.

\end{example}
The [[homotopy theory]] of topological spaces is all controled by the following notion. The [[abelianization]] of this notion, the notion of \emph{[[quasi-isomorphism]]} discussed in def. \ref{QuasiIsos} below is central to homological algebra.

\begin{defn}
\label{WeakHomotopyEquivalence}\hypertarget{WeakHomotopyEquivalence}{}
For $X, Y \in$ [[Top]] two [[topological spaces]], a [[continuous function]] $f : X \to Y$ between them is called a \textbf{[[weak homotopy equivalence]]} if

\begin{enumerate}%
\item $f$ induces an [[isomorphism]] of [[connected components]]

\begin{displaymath}
\pi_0(f) \colon \pi_0(X) \stackrel{\simeq}{\to} \pi_0(Y)
\end{displaymath}
in [[Set]];


\item for all [[points]] $x \in X$ and for all $(1 \leq n) \in \mathbb{N}$ $f$ induces an isomorphism on [[homotopy groups]]

\begin{displaymath}
\pi_n(f,x) \colon \pi_n(X,x) \stackrel{\simeq}{\to} \pi_n(Y,f(x))
\end{displaymath}
in [[Grp]].



\end{enumerate}
\end{defn}
What is called \emph{[[homotopy theory]]} is effectively the study of topological spaces not up to [[isomorphism]] (here: [[homeomorphism]]), but up to [[weak homotopy equivalence]]. Similarly, we will see that homological algebra is effectively the study of [[chain complexes]] not up to [[isomorphism]], but up to [[quasi-isomorphism]]. But this is slightly more subtle than it may seem, in parts due to the following:

\begin{prop}
\label{ReflexiveAndTransitiveButNotSymmetric}\hypertarget{ReflexiveAndTransitiveButNotSymmetric}{}
The existence of a weak homotopy equivalence from $X$ to $Y$ is a [[reflexive relation|reflexive]] and [[transitive relation]] on [[Top]], but it is not a [[symmetric relation]].

\end{prop}
\begin{proof}
Reflexivity and transitivity are trivially checked. A counterexample to symmetry is the weak homotopy equivalence between the stanard [[circle]] and the [[pseudocircle]].

\end{proof}
But we can consider the genuine equivalence relation \emph{generated} by weak homotopy equivalence:

\begin{defn}
\label{}\hypertarget{}{}
We say two spaces $X$ and $Y$ have the same \textbf{(weak) [[homotopy type]]} if they are equivalent under the [[equivalence relation]] \emph{generated} by weak homotopy equivalence.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
Equivalently this means that $X$ and $Y$ have the same (weak) homotopy type if there exists a [[zigzag]] of weak homotopy equivalences

\begin{displaymath}
X \leftarrow \to\leftarrow \dots \to Y
  \,.
\end{displaymath}
\end{remark}
One can understand the [[homotopy type]] of a topological space just in terms of its [[homotopy groups]] and how they [[action|act]] on each other. (This data is called a [[Postnikov tower]] of $X$.) But computing and handling homotopy groups is in general hard, famously so already for the seemingly simple case of the \emph{[[homotopy groups of spheres]]}. Therefore we now want to simplify the situation by passing to a ``linear/abelian approximation''.

\hypertarget{SimplicialHomology}{}\subsubsection*{{Simplicial and singular homology}}\label{SimplicialHomology}

This section discusses how the ``abelianization'' of a topological space by \emph{[[singular chains]]} gives rise to the notion of \emph{[[chain complexes]]} and their \emph{[[homology]]}.

Above in def. \ref{SingularSimplex} we saw that to a [[topological space]] $X$ is associated a sequence of sets

\begin{displaymath}
(Sing X)_n \coloneqq Hom_{Top}(\Delta^n, X)
\end{displaymath}
of [[singular simplices]]. Since the topological $n$-simplices $\Delta^n$ from def. \ref{TopologicalSimplex} sit inside each other by the face inclusions of def. \ref{FaceInclusionInBarycentricCoords}

\begin{displaymath}
\delta_k : \Delta^{n-1} \to \Delta^{n}
\end{displaymath}
and project onto each other by the degeneracy maps, def. \ref{DegeneracyProjectionsInBarycentricCoords}

\begin{displaymath}
\sigma_k : \Delta^{n+1} \to \Delta^n
\end{displaymath}
we dually have functions

\begin{displaymath}
d_k \coloneqq Hom_{Top}(\delta_k, X) : (Sing X)_n \to (Sing X)_{n-1}
\end{displaymath}
that send each singular $n$-simplex to its $k$-face and functions

\begin{displaymath}
s_k \coloneqq Hom_{Top}(\sigma_k,X) : (Sing X)_{n} \to (Sing X)_{n+1}
\end{displaymath}
that regard an $n$-simplex as beign a degenerate (``thin'') $(n+1)$-simplex. All these sets of simplices and face and degeneracy maps between them form the following structure.

\begin{defn}
\label{SimplicialSet}\hypertarget{SimplicialSet}{}
A \textbf{[[simplicial set]]} $S \in sSet$ is

\begin{itemize}%
\item for each $n \in \mathbb{N}$ a [[set]] $S_n \in Set$ -- the \textbf{set of $n$-[[simplices]]};


\item for each [[injective map]] $\delta_i : \overline{n-1} \to \overline{n}$ of [[totally ordered sets]] $\bar n \coloneqq \{ 0 \lt 1 \lt \cdots \lt n \}$

a [[function]] $d_i : S_{n} \to S_{n-1}$ -- the $i$th \textbf{face map} on $n$-simplices;


\item for each [[surjective map]] $\sigma_i : \overline{n+1} \to \bar n$ of [[totally ordered sets]]

a [[function]] $\sigma_i : S_{n} \to S_{n+1}$ -- the $i$th \textbf{degeneracy map} on $n$-simplices;



\end{itemize}
such that these functions satisfy the \emph{[[simplicial identities]]}.

\end{defn}
\begin{defn}
\label{SimplicialIdentities}\hypertarget{SimplicialIdentities}{}
The \textbf{simplicial identities} satisfied by face and degeneracy maps as above are (whenever these maps are composable as indicated):

\begin{enumerate}%
\item $d_i \circ d_j  = d_{j-1} \circ d_i$ if $i \lt j$,


\item $s_i \circ s_j  = s_j \circ s_{i-1}$ if $i \gt j$.


\item $d_i \circ s_j =  \left\{ \itexarray{ s_{j-1} \circ d_i &  if \;  i \lt j \\ id & if  \;  i = j \; or \; i = j+1 \\ s_j \circ d_{i-1} &  if i \gt j+1 } \right.$



\end{enumerate}
\end{defn}
It is straightforward to check by explicit inspection that the evident injection and restriction maps between the sets of [[singular simplices]] make $(Sing X)_\bullet$ into a simplicial set. We now briefly indicate a systematic way to see this using basic [[category theory]], but the reader already satisfied with this statement should jump ahead to the abelianization of $(Sing X)_n$ in prop. \ref{FreeAbelianGroup} below.

\begin{defn}
\label{}\hypertarget{}{}
The \textbf{[[simplex category]]} $\Delta$ is the [[full subcategory]] of [[Cat]] on the free categories of the form

\begin{displaymath}
\begin{aligned}
    [0] & \coloneqq \{0\}
    \\
    [1] & \coloneqq \{0 \to 1\}
    \\
   [2] & \coloneqq \{0 \to 1 \to 2\}
   \\
   \vdots
   \end{aligned}
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
This is called the ``simplex category'' because we are to think of the object $[n]$ as being the ``[[spine]]'' of the $n$-[[simplex]]. For instance for $n = 2$ we think of $0 \to 1 \to 2$ as the ``spine'' of the triangle. This becomes clear if we don't just draw the morphisms that \emph{generate} the category $[n]$, but draw also all their composites. For instance for $n = 2$ we have\_

\begin{displaymath}
[2]
  =
  \left\{
  \itexarray{
     && 1
     \\
     & \nearrow && \searrow
     \\
    0 &&\to&& 2
  }
  \right\}
  \,.
\end{displaymath}
\end{remark}
\begin{prop}
\label{}\hypertarget{}{}
A [[functor]]

\begin{displaymath}
S : \Delta^{op} \to Set
\end{displaymath}
from the [[opposite category]] of the [[simplex category]] to the category [[Set]] of sets is canonically identified with a [[simplicial set]], def. \ref{SimplicialSet}.

\end{prop}
\begin{proof}
One checks by inspection that the simplicial identities characterize precisely the behaviour of the morphisms in $\Delta^{op}([n],[n+1])$ and $\Delta^{op}([n],[n-1])$.

\end{proof}
This makes the following evident:

\begin{example}
\label{StandardCosimplicialTopologicalSpace}\hypertarget{StandardCosimplicialTopologicalSpace}{}
The [[topological simplices]] from def. \ref{TopologicalSimplex} arrange into a \emph{[[cosimplicial object]] in [[Top]]}, namely a [[functor]]

\begin{displaymath}
\Delta^\bullet : \Delta \to Top
  \,.
\end{displaymath}
\end{example}
With this now the structure of a simplicial set on the singular simplices $(Sing X)_\bullet$, def. \ref{SingularSimplex}, is manifest: it is just the \emph{[[nerve]]} of $X$ with respect to $\Delta^\bullet$, namely:

\begin{defn}
\label{SingularSimplicialComplex}\hypertarget{SingularSimplicialComplex}{}
For $X$ a [[topological space]] its \textbf{[[singular simplicial complex|simplicial set of singular simplicies]]} (often called the \textbf{[[singular simplicial complex]]})

\begin{displaymath}
(Sing X)_\bullet : \Delta^{op} \to Set
\end{displaymath}
is given by composition of the functor from example \ref{StandardCosimplicialTopologicalSpace} with the [[hom functor]] of [[Top]]:

\begin{displaymath}
(Sing X) : [n] \mapsto Hom_{Top}( \Delta^n , X )
  \,.
\end{displaymath}
\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
It turns out that [[homotopy type]] of the topological space $X$ is entirely captured by its singular simplicial complex $Sing X$ (this is the content of the \emph{[[homotopy hypothesis]]-theorem}).

\end{remark}
Now we [[abelian group|abelianize]] the singular simplicial complex $(Sing X)_\bullet$ in order to make it \emph{simpler} and hence more tractable.

\begin{defn}
\label{FormalLinearCombination}\hypertarget{FormalLinearCombination}{}
A \textbf{formal linear combination} of elements of a [[set]] $S \in$ [[Set]] is a [[function]]

\begin{displaymath}
a : S \to \mathbb{Z}
\end{displaymath}
such that only finitely many of the values $a_s \in \mathbb{Z}$ are non-zero.

Identifying an element $s \in S$ with the function $S \to \mathbb{Z}$, which sends $s$ to $1 \in \mathbb{Z}$ and all other elements to 0, this is written as

\begin{displaymath}
a = \sum_{s \in S} a_s \cdot s
  \,.
\end{displaymath}
In this expression one calls $a_s \in \mathbb{Z}$ the [[coefficient]] of $s$ in the formal linear combination.

\end{defn}
\begin{defn}
\label{GroupOfFormalLinearCombinations}\hypertarget{GroupOfFormalLinearCombinations}{}
For $S \in$ [[Set]], the \textbf{group of formal linear combinations} $\mathbb{Z}[S]$ is the [[group]] whose underlying [[set]] is that of formal linear combinations, def. \ref{FormalLinearCombination}, and whose group operation is the pointwise addition in $\mathbb{Z}$:

\begin{displaymath}
(\sum_{s \in S} a_s \cdot s)
  +
  (\sum_{s \in S} b_s \cdot s)
  =
  \sum_{s \in S} (a_s + b_s) \cdot s
  \,.
\end{displaymath}
\end{defn}
For the present purpose the following statement may be regarded as just introducing different terminology for the group of formal linear combinations:

\begin{prop}
\label{FreeAbelianGroup}\hypertarget{FreeAbelianGroup}{}
The group $\mathbb{Z}[S]$ is the \textbf{[[free abelian group]]} on $S$.

\end{prop}
\begin{defn}
\label{}\hypertarget{}{}
For $S_\bullet$ a [[simplicial set]], def. \ref{SimplicialSet}, the free abelian group $\mathbb{Z}[S_n]$ is called the group of (simplicial) \textbf{$n$-chains} on $S$.

\end{defn}
\begin{defn}
\label{}\hypertarget{}{}
For $X$ a [[topological space]], an $n$-chain on the [[singular simplicial complex]] $Sing X$ is called a \textbf{singular $n$-chain} on $X$.

\end{defn}
This construction makes the sets of simplices into abelian groups. But this allows to \emph{formally add} the different face maps in the simplicial set to one single boundary map:

\begin{defn}
\label{TheAlternatingFaceMapDifferential}\hypertarget{TheAlternatingFaceMapDifferential}{}
For $S$ a [[simplicial set]], its \textbf{alternating face map differential} in degree $n$ is the linear map

\begin{displaymath}
\partial : \mathbb{Z}[S_n] \to \mathbb{Z}[S_{n-1}]
\end{displaymath}
defined on [[basis]] elements $\sigma \in S_n$ to be the alternating sum of the simplicial face maps:

\begin{equation}
\partial \sigma \coloneqq \sum_{k = 0}^n (-1)^k d_k \sigma
  \,.
\label{AlternatingFaceMapDifferential}\end{equation}
\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
The simplicial identity, def. \ref{SimplicialIdentities} part (1), implies that the alternating sum boundary map of def. \ref{TheAlternatingFaceMapDifferential} squares to 0:

\begin{displaymath}
\partial \circ \partial = 0
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By linearity, it is sufficient to check this on a basis element $\sigma \in S_n$. There we compute as follows:

\begin{displaymath}
\begin{aligned}
    \partial \partial \sigma
    & =
    \partial \left(
      \sum_{j = 0}^n (-1)^j d_j \sigma
    \right)
    \\
    & =
    \sum_{j=0}^n \sum_{i = 0}^{n-1} (-1)^{i+j} d_i d_j \sigma
    \\
     & =
     \sum_{0 \leq i \lt j \leq n} (-1)^{i+j} d_i d_j \sigma
     +
     \sum_{0 \leq j \leq i \lt n} (-1)^{i + j} d_i d_j \sigma
     \\
     & =
     \sum_{0 \leq i \lt j \leq n} (-1)^{i+j} d_{j-1} d_i \sigma
     +
     \sum_{0 \leq j \leq i \lt n} (-1)^{i + j} d_i d_j \sigma
     \\
     & =
     -
     \sum_{0 \leq i \leq j \lt n} (-1)^{i+j} d_{j} d_i \sigma
     +
     \sum_{0 \leq j \leq i \lt n} (-1)^{i + j} d_i d_j \sigma
     \\
     & = 0
  \end{aligned}
  \,.
\end{displaymath}
Here

\begin{enumerate}%
\item the first equality is \eqref{AlternatingFaceMapDifferential};


\item the second is \eqref{AlternatingFaceMapDifferential} together with the linearity of $d$;


\item the third is obtained by decomposing the sum into two summands;


\item the fourth finally uses the simplicial identity def. \ref{SimplicialIdentities} (1) in the first summand;


\item the fifth relabels the summation index $j$ by $j +1$;


\item the last one observes that the resulting two summands are negatives of each other.



\end{enumerate}
\end{proof}
\begin{example}
\label{BasicExamplesOfChainBoundaries}\hypertarget{BasicExamplesOfChainBoundaries}{}
Let $X$ be a topological space. Let $\sigma^1 : \Delta^1 \to X$ be a singular 1-simplex, regarded as a 1-chain

\begin{displaymath}
\sigma^1 \in C_1(X)
  \,.
\end{displaymath}
Then its [[boundary]] $\partial \sigma \in H_0(X)$ is

\begin{displaymath}
\partial \sigma^1 = \sigma(0)  -\sigma(1)
\end{displaymath}
or graphically (using notation as for [[orientals]])

\begin{displaymath}
\partial
  \left(
    \sigma(0) \stackrel{\sigma}{\to} \sigma(1)
  \right)
  =
  (\sigma(0)) - (\sigma(1))
  \,.
\end{displaymath}
In particular $\sigma$ is a 1-[[cycle]] precisely if $\sigma(0) = \sigma(1)$, hence precisely if $\sigma$ is a [[loop space|loop]].

Let $\sigma^2 : \Delta^2 \to X$ be a singular 2-chain. The boundary is

\begin{displaymath}
\partial
  \left(
    \itexarray{
       && \sigma(1)
       \\
       & {}^{\mathllap{\sigma(0,1)}}\nearrow
       & \Downarrow^{\mathrlap{\sigma}}&
       \searrow^{\mathrlap{\sigma^{1,2}}}
       \\
       \sigma(0) &&\underset{\sigma(0,2)}{\to}&& \sigma(2)
    }
  \right)
  =
  \left(
    \itexarray{
       && \sigma(1)
       \\
       & {}^{\mathllap{\sigma(0,1)}}\nearrow
       & &
       \\
       \sigma(0)
    }
  \right)
  -
  \left(
    \itexarray{
       &&
       \\
       &
       & &
       \\
       \sigma(0) &\underset{\sigma(0,2)}{\to}& \sigma(2)
    }
  \right)
  +
  \left(
    \itexarray{
       && \sigma(1)
       \\
       &
       & &
       \searrow^{\mathrlap{\sigma^{1,2}}}
       \\
       && && \sigma(2)
    }
  \right)
  \,.
\end{displaymath}
Hence the boundary of the boundary is:

\begin{displaymath}
\begin{aligned}
  \partial \partial \sigma
  &=
  \partial
  \left(
  \left(
    \itexarray{
       && \sigma(1)
       \\
       & {}^{\mathllap{\sigma(0,1)}}\nearrow
       & &
       \\
       \sigma(0)
    }
  \right)
  -
  \left(
    \itexarray{
       &&
       \\
       &
       & &
       \\
       \sigma(0) &\underset{\sigma(0,2)}{\to}& \sigma(2)
    }
  \right)
  +
  \left(
    \itexarray{
       && \sigma(1)
       \\
       &
       & &
       \searrow^{\mathrlap{\sigma^{1,2}}}
       \\
       && && \sigma(2)
    }
  \right)  \right)
  \\
  & =
  \left(
    \itexarray{
       &&
       \\
       &
       & &
       \\
       \sigma(0)
    }
  \right)
  -
  \left(
    \itexarray{
       && \sigma(1)
       \\
       &
       & &
       \\

    }
  \right)
  -
  \left(
    \itexarray{
       &&
       \\
       &
       & &
       \\
       \sigma(0) &&
    }
  \right)
  +
  \left(
    \itexarray{
       &&
       \\
       &
       & &
       \\
       && \sigma(2)
    }
  \right)
  +
  \left(
    \itexarray{
       && \sigma(1)
       \\
       &
       & &
       \\
       && &&
    }
  \right)
  -
  \left(
    \itexarray{
       &&
       \\
       &
       & &
       \\
       && && \sigma(2)
    }
  \right)
  \\
  & = 0
  \end{aligned}
\end{displaymath}
\end{example}
\begin{defn}
\label{ComplexOfChainsOnASimplicialSet}\hypertarget{ComplexOfChainsOnASimplicialSet}{}
For $S$ a [[simplicial set]], we call the collection

\begin{enumerate}%
\item of [[abelian groups]] of chains $C_n(S) \coloneqq \mathbb{Z}[S_n]$, prop. \ref{FreeAbelianGroup};


\item and boundary homomorphisms $\partial_n : C_{n+1}(S) \to C_n(X)$, def. \ref{TheAlternatingFaceMapDifferential}



\end{enumerate}
(for all $n \in \mathbb{N}$) the \textbf{[[alternating face map complex|alternating face map chain complex]]} of $S$:

\begin{displaymath}
C_\bullet(S)
  =
  [
    \cdots
     \stackrel{\partial_2}{\to}
    \mathbb{Z}[S_2]
     \stackrel{\partial_1}{\to}
    \mathbb{Z}[S_1]
     \stackrel{\partial_0}{\to}
    \mathbb{Z}[S_0]
  ]
  \,.
\end{displaymath}
Specifically for $S = Sing X$ we call this the \textbf{[[singular chain complex]]} of $X$.

\end{defn}
This motivates the general definition:

\begin{defn}
\label{ChainComplexes}\hypertarget{ChainComplexes}{}
A \emph{[[chain complex]] of [[abelian groups]]} $C_\bullet$ is a collection $\{C_n \in Ab\}_{n}$ of abelian groups together with group homomorphisms $\{\partial_n : C_{n+1} \to C_n\}$ such that $\partial \circ \partial = 0$.

\end{defn}
We turn to this definition in more detail in the \hyperlink{CategoriesOfChainComplexes}{next section}. The thrust of this construction lies in the fact that the chain complex $C_\bullet(Sing X)$ remembers the [[abelianization|abelianized]] [[fundamental group]] of $X$, as well as aspects of the higher [[homotopy groups]]: in its \emph{[[chain homology]]}.

\begin{defn}
\label{}\hypertarget{}{}
For $C_\bullet(S)$ a chain complex as in def. \ref{ComplexOfChainsOnASimplicialSet}, and for $n \in \mathbb{N}$ we say

\begin{itemize}%
\item an $n$-[[chain]] of the form $\partial \sigma \in C(S)_n$ is an \textbf{$n$-[[boundary]]};


\item a [[chain]] $\sigma \in C_n(S)$ is an \textbf{$n$-[[cycle]]} if $\partial \sigma = 0$

(every 0-chain is a 0-cycle).



\end{itemize}
By linearity of $\partial$ the boundaries and cycles form abelian sub-groups of the group of chains, and we write

\begin{displaymath}
B_n \coloneqq im(\partial_n) \subset C_n(S)
\end{displaymath}
for the group of $n$-boundaries, and

\begin{displaymath}
Z_n \coloneqq ker(\partial_n) \subset C_(S)
\end{displaymath}
for the group of $n$-cycles.

\end{defn}
\begin{remark}
\label{}\hypertarget{}{}
This means that a [[singular chain]] is a [[cycle]] if the formal linear combination of the oriented [[boundaries]] of all its constituent [[singular simplices]] sums to 0.

\end{remark}
\begin{remark}
\label{}\hypertarget{}{}
More generally, for $R$ any unital [[ring]] one can form the degreewise [[free module]] $R[Sing X]$ over $R$. The corresponding homology is the \emph{singular homology with coefficients in $R$, denoted $H_n(X,R)$. This generality we come to below in the next section.}

\end{remark}
\begin{defn}
\label{SingularHomology}\hypertarget{SingularHomology}{}
For $C_\bullet(S)$ a chain complex as in def. \ref{ComplexOfChainsOnASimplicialSet} and for $n \in \mathbb{N}$, the \textbf{degree-$n$ [[chain homology]] group} $H_n(C(S)) \in Ab$ is the [[quotient group]]

\begin{displaymath}
H_n(C(S)) \coloneqq \frac{ker(\partial_{n-1})}{im(\partial_n)}
  =
  \frac{Z_n}{B_n}
\end{displaymath}
of the $n$-[[cycles]] by the $n$-[[boundaries]] -- where for $n = 0$ we declare that $\partial_{-1} \coloneqq 0$ and hence $Z_0 \coloneqq C_0$.

Specifically, the [[chain homology]] of $C_\bullet(Sing X)$ is called the \textbf{[[singular homology]]} of the [[topological space]] $X$.

\end{defn}
One usually writes $H_n(X, \mathbb{Z})$ or just $H_n(X)$ for the singular homology of $X$ in degree $n$.

\begin{remark}
\label{}\hypertarget{}{}
So $H_0(C_\bullet(S)) = C_0(S)/im(\partial_0)$.

\end{remark}
\begin{example}
\label{}\hypertarget{}{}
For $X$ a [[topological space]] we have that the degree-0 singular homology

\begin{displaymath}
H_0(X) \simeq \mathbb{Z}[\pi_0(X)]
\end{displaymath}
is the [[free abelian group]] on the set of [[connected components]] of $X$.

\end{example}
\begin{example}
\label{FundamentalClass}\hypertarget{FundamentalClass}{}
For $X$ a [[connected topological space|connected]], [[orientation|orientable]] [[manifold]] of [[dimension]] $n$ we have

\begin{displaymath}
H_n(X) \simeq \mathbb{Z}
  \,.
\end{displaymath}
The precise choice of this [[isomorphism]] is a choice of [[orientation]] on $X$. With a choice of orientation, the element $1 \in \mathbb{Z}$ under this identification is called the \textbf{[[fundamental class]]}

\begin{displaymath}
[X] \in H_n(X)
\end{displaymath}
of the manifold $X$.

\end{example}
\begin{defn}
\label{PushforwardOfChains}\hypertarget{PushforwardOfChains}{}
Given a [[continuous map]] $f : X \to Y$ between [[topological spaces]], and given $n \in \mathbb{N}$, every singular $n$-simplex $\sigma : \Delta^n \to X$ in $X$ is sent to a singular $n$-simplex

\begin{displaymath}
f_* \sigma : \Delta^n \stackrel{\sigma}{\to} X \stackrel{f}{\to} Y
\end{displaymath}
in $Y$. This is called the \textbf{push-forward} of $\sigma$ along $f$. Accordingly there is a push-forward map on groups of singular chains

\begin{displaymath}
(f_*)_n : C_n(X) \to C_n(Y)
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{PushForwardChainMap}\hypertarget{PushForwardChainMap}{}
These push-forward maps make all diagrams of the form

\begin{displaymath}
\itexarray{
     C_{n+1}(X) &\stackrel{(f_*)_{n+1}}{\to}& C_{n+1}(Y)
     \\
     \downarrow^{\mathrlap{\partial^X_n}} && \downarrow^{\mathrlap{\partial^Y_n}}
     \\
     C_n(X) &\stackrel{(f_*)_n}{\to}& C_n(Y)
  }
\end{displaymath}
commute.

\end{prop}
\begin{proof}
It is in fact evident that push-forward yields a functor of [[singular simplicial complexes]]

\begin{displaymath}
f_* : Sing X \to Sing Y
 \,.
\end{displaymath}
From this the statement follows since $\mathbb{Z}[-] : sSet \to sAb$ is a functor.

\end{proof}
Therefore we have an ``abelianized analog'' of the notion of [[topological space]]:

\begin{defn}
\label{}\hypertarget{}{}
For $C_\bullet, D_\bullet$ two [[chain complexes]], def. \ref{ChainComplexes}, a [[homomorphism]] between them -- called a \textbf{[[chain map]]} $f_\bullet : C_\bullet \to D_\bullet$ -- is for each $n \in \mathbb{N}$ a homomorphism $f_n : C_n \to D_n$ of abelian groups, such that $f_n \circ \partial^C_n = \partial^D_n \circ f_{n+1}$:

\begin{displaymath}
\itexarray{
    \vdots && \vdots
    \\
    \downarrow^{\mathrlap{\partial^C_{n+1}}}
    &&
    \downarrow^{\mathrlap{\partial^D_{n+1}}}
    \\
    C_{n+1} &\stackrel{f_{n+1}}{\to}& D_{n+1}
    \\
    \downarrow^{\mathrlap{\partial^C_n}}
    &&
    \downarrow^{\mathrlap{\partial^D_n}}
    \\
    C_{n} &\stackrel{f_{n}}{\to}& D_{n}
    \\
    \downarrow^{\mathrlap{\partial^C_{n-1}}}
    &&
    \downarrow^{\mathrlap{\partial^D_{n-1}}}
    \\
    \vdots && \vdots
  }
  \,.
\end{displaymath}
\end{defn}
Composition of such chain maps is given by degreewise composition of their components. Clearly, chain complexes with chain maps between them hence form a [[category]] -- the \emph{[[category of chain complexes]]} in [[abelian groups]], -- which we write

\begin{displaymath}
Ch_\bullet(Ab))
  \in
  Cat
  \,.
\end{displaymath}
Accordingly we have:

\begin{prop}
\label{SingularHomologyAsAFunctor}\hypertarget{SingularHomologyAsAFunctor}{}
Sending a topological space to its singular chain complex $C_\bullet(X)$, def. \ref{ComplexOfChainsOnASimplicialSet}, and a continuous map to its push-forward chain map, prop. \ref{PushForwardChainMap}, constitutes a [[functor]]

\begin{displaymath}
C_\bullet(-) : Top \to Ch_\bullet(Ab)
\end{displaymath}
from the category [[Top]] of topological spaces and continuous maps, to the [[category of chain complexes]].

In particular for each $n \in \mathbb{N}$ singular homology extends to a [[functor]]

\begin{displaymath}
H_n(-) : Top \to Ab
  \,.
\end{displaymath}
\end{prop}
We close this section by stating the basic properties of [[singular homology]], which make precise the sense in which it is an abelian approximation to the [[homotopy type]] of $X$. The proof of these statements requires some of the tools of homological algebra that we develop in the later chapters, as well as some tools in [[algebraic topology]].

\begin{prop}
\label{}\hypertarget{}{}
If $f : X \to Y$ is a [[continuous map]] between [[topological spaces]] which is a [[weak homotopy equivalence]], def, \ref{WeakHomotopyEquivalence}, then the induced morphism on singular homology groups

\begin{displaymath}
H_n(f) : H_n(X) \to H_n(Y)
\end{displaymath}
is an [[isomorphism]].

\end{prop}
(A proof (via [[CW approximations]]) is spelled out for instance in (\hyperlink{Hatcher}{Hatcher, prop. 4.21})).

We therefore also have an ``abelian analog'' of weak homotopy equivalences:

\begin{defn}
\label{}\hypertarget{}{}
For $C_\bullet, D_\bullet$ two [[chain complexes]], a [[chain map]] $f_\bullet : C_\bullet \to D_\bullet$ is called a \textbf{[[quasi-isomorphism]]} if it induces [[isomorphisms]] on all [[homology groups]]:

\begin{displaymath}
f_n : H_n(C) \stackrel{\simeq}{\to} H_n(D)
  \,.
\end{displaymath}
\end{defn}
In summary: \textbf{chain homology sends [[weak homotopy equivalences]] to [[quasi-isomorphisms]]}. Quasi-isomorphisms of chain complexes are the abelianized analog of weak homotopy equivalences of topological spaces.

In particular we have the analog of prop. \ref{ReflexiveAndTransitiveButNotSymmetric}:

\begin{prop}
\label{ReflexiveAndTransitiveButNotSymmetric}\hypertarget{ReflexiveAndTransitiveButNotSymmetric}{}
The [[relation]] ``There exists a [[quasi-isomorphism]] from $C_\bullet$ to $D_\bullet$.'' is a [[reflexive relation|reflexive]] and [[transitive relation]], but it is not a [[symmetric relation]].

\end{prop}
\begin{proof}
Reflexivity and transitivity are evident. An explicit counter-example showing the non-symmetry is the [[chain map]]

\begin{displaymath}
\itexarray{
     \cdots &\to& 0 &\to& \mathbb{Z} &\stackrel{\cdot 2}{\to}& \mathbb{Z} &\to& 0 &\to& \cdots
     \\
     \cdots && \downarrow && \downarrow && \downarrow && \downarrow && \cdots
     \\
     \cdots &\to& 0 &\to& 0 &\to& \mathbb{Z}/2\mathbb{Z} &\to& 0 &\to& \cdots
  }
\end{displaymath}
from the chain complex concentrated on the morphism of multiplication by 2 on integers, to the chain complex concentrated on the [[cyclic group of order 2]].

This clearly induces an isomorphism on all homology groups. But there is not even a non-zero chain map in the other direction, since there is no non-zero group homomorphism $\mathbb{Z}/2\mathbb{Z} \to \mathbb{Z}$.

\end{proof}
Accordingly, as for [[homotopy types]] of topological spaces, in [[homological algebra]] one regards two [[chain complexes]] $C_\bullet$, $D_\bullet$ as essentially equivalent -- ``of the same weak homology type'' -- if there is a [[zigzag]] of quasi-isomorphisms

\begin{displaymath}
C_\bullet \leftarrow \to \leftarrow \cdots \to D_\bullet
\end{displaymath}
between them. This is made precise by the central notion of the \emph{[[derived category]]} of chain complexes. We turn to this below in section \emph{\hyperlink{DerivedCategoriesAndDerivedFunctors}{Derived categories and derived functors}}.

But quasi-isomorphisms are a little \emph{coarser} than weak homotopy equivalences. The singular chain functor $C_\bullet(-)$ forgets some of the information in the [[homotopy types]] of topological spaces. The following series of statements characterizes to some extent what exactly is lost when passing to singular homology, and which information is in fact retained.

First we need a comparison map:

\begin{defn}
\label{HurewiczHomomorphism}\hypertarget{HurewiczHomomorphism}{}
\textbf{(Hurewicz homomorphism)}

For $(X,x)$ a [[pointed object|pointed]] [[topological space]], the \textbf{Hurewicz homomorphism} is the [[function]]

\begin{displaymath}
\Phi : \pi_k(X,x) \to H_k(X)
\end{displaymath}
from the $k$th [[homotopy group]] of $(X,x)$ to the $k$th [[singular homology]] group defined by sending

\begin{displaymath}
\Phi : (f : S^k \to X)_{\sim} \mapsto f_*[S_k]
\end{displaymath}
a representative singular $k$-sphere $f$ in $X$ to the push-forward along $f$ of the [[fundamental class]] $[S_k] \in H_k(S^k)$, example \ref{FundamentalClass}.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
For $X$ a [[topological space]] the Hurewicz homomorphism in degree 0 exhibits an [[isomorphism]] between the [[free abelian group]] $\mathbb{Z}[\pi_0(X)]$ on the set of path [[connected components]] of $X$ and the degree-0 singular homlogy:

\begin{displaymath}
\mathbb{Z}[\pi_0(X)]
   \simeq
  H_0(X)
  \,.
\end{displaymath}
\end{prop}
Since a [[homotopy group]] in positive degree depends on the [[homotopy type]] of the [[connected component]] of the base point, while the singular homology does not depend on a basepoint, it is interesting to compare these groups only for the case that $X$ is connected.

\begin{prop}
\label{}\hypertarget{}{}
For $X$ a [[path-connected topological space]] the [[Hurewicz homomorphism]] in degree 1

\begin{displaymath}
\Phi : \pi_1(X,x) \to H_1(X)
\end{displaymath}
is [[surjection|surjective]]. Its [[kernel]] is the [[commutator subgroup]] of $\pi_1(X,x)$. Therefore it induces an [[isomorphism]] from the [[abelianization]] $\pi_1(X,x)^{ab} \coloneqq \pi_1(X,x)/[\pi_1,\pi_1]$:

\begin{displaymath}
\pi_1(X,x)^{ab}
  \stackrel{\simeq}{\to}
  H_1(X)
  \,.
\end{displaymath}
\end{prop}
For higher connected $X$ we have the

\begin{theorem}
\label{}\hypertarget{}{}
If $X$ is [[n-connected object in an (infinity,1)-topos|(n-1)-connected]] for $n \geq 2$ then

\begin{displaymath}
\Phi : \pi_n(X,x) \to H_n(X)
\end{displaymath}
is an [[isomorphism]].

\end{theorem}
This is known as the \emph{[[Hurewicz theorem]]}.

\hypertarget{references}{}\subsubsection*{{References}}\label{references}

\begin{itemize}%
\item [[Allen Hatcher]], section 2.1 of \emph{\href{https://www.math.cornell.edu/~hatcher/AT/ATpage.html}{Algebraic topology}}

\end{itemize}
\hypertarget{vector_bundles}{}\subsection*{{\textbf{Vector bundles}}}\label{vector_bundles}

\hypertarget{idea_3}{}\subsubsection*{{Idea}}\label{idea_3}

For understanding some [[topological space]] $X$, it is often useful to understand how another topological space $F$ may be ``continuously distributed over'' $X$. For instance the two-element space $\{-1, 1\}$ may be continuously distributed over the [[circle]] $S^1$ in two inequivalent ways: Either the two points come back to themselves as we move around the circle, or they switch position. This switch is a reflection of the fact that in the circle there are non-contractible loops, in constrast for instance to the [[2-sphere]], where every loop may be continuously shrunk to a constant loop. If we embed the two points $\{-1,1\}$ into the [[real line]] and repeat the construction, then as the line traces around the circle it sweeps out one of two different topological spaces over the circle: either the [[cylinder]] (if $+1$ comes back to itself) or the \emph{[[Möbius strip]]} (if $+1$ and $-1$ change position as one goes around the circle).

The image of this situation looks like a ``[[bundle]]'' of ``[[fibers]]'' over the circle. Generally, for $F$ a [[topological space]], then an \emph{$F$-[[fiber bundle]]} over $X$ is another space $E$ with a [[projection]] $p \colon E \to X$ that shrinks the fibers away, which all look like $F$ in a controlled way.

For the purpose of [[topological K-theory]] we are interested in [[fibers]] $F$ which are [[vector spaces]] and such that their re-identification as we move around in $X$ is by [[linear maps]]. Then one speaks of \emph{[[vector bundles]]}. The theory of vector bundles is much like ``continuously parameterized [[linear algebra]]''

\hypertarget{fiber_bundles}{}\subsubsection*{{Fiber bundles}}\label{fiber_bundles}

\begin{itemize}%
\item [[fiber bundle]]


\item [[covering space]]


\item [[vector bundle]]


\item [[principal bundle]]


\item [[associated bundle]]



\end{itemize}
\hypertarget{the_tensor_category_of_vector_bundles}{}\subsubsection*{{The tensor category of vector bundles}}\label{the_tensor_category_of_vector_bundles}

\begin{itemize}%
\item [[tensor category]]

\end{itemize}
[[category of vector bundles]]

\begin{itemize}%
\item [[direct sum of vector bundles]]


\item [[tensor product of vector bundles]]


\item [[dual vector bundle]]


\item [[pullback bundle]]



\end{itemize}
\hypertarget{examples}{}\subsubsection*{{Examples}}\label{examples}

\begin{itemize}%
\item [[Möbius strip]]


\item [[canonical bundle]]


\item [[basic line bundle on the 2-sphere]]


\item [[clutching construction]]


\item [[universal vector bundle]], [[universal complex line bundle]]



\end{itemize}
\hypertarget{basic_properties}{}\subsubsection*{{Basic properties}}\label{basic_properties}

metric structure

\begin{itemize}%
\item [[orthogonal structure]]


\item [[Hermitian structure]]



\end{itemize}
over [[compact topological spaces]]

\begin{itemize}%
\item [[concordance]]


\item direct summand of trivial bundle



\end{itemize}
\hypertarget{references_2}{}\subsubsection*{{References}}\label{references_2}

\begin{itemize}%
\item \hyperlink{Hatcher}{Hatcher, section 1.1}


\item \hyperlink{Wirthmuller12}{Wirthmuller 12, section 1 and section 3}



\end{itemize}
\hypertarget{ClassifyingSpaces}{}\subsection*{{\textbf{Classifying spaces}}}\label{ClassifyingSpaces}

\hypertarget{idea_4}{}\subsubsection*{{Idea}}\label{idea_4}

Some [[vector bundles]] are ``tautological''. For consider the [[topological space]] of all $k$-dimensional linear subspaces of a fixed $n$-dimensional vector space. Clearly this space carries a vector bundle, namely that whose fiber over the point that labels some subspace \emph{is} that subspace. It is possible to take this construction and allow $n$ to go to infinity. The result is a \emph{[[classifying space]]} for vector bundles which carries a \emph{[[universal vector bundle]]}: every other vector bundle on a sufficiently well-behaved topological space is \emph{classified} by a map into this classifying space, namely the map that, roughly, sends each point to the lable of the fiber above it.

[[classifying spaces]] for [[vector bundles]].

We use the above fact (\ldots{}) that

\begin{enumerate}%
\item every [[real vector bundle]] is [[isomorphism|isomorphic]] to the canonical [[associated bundle]] to an [[orthogonal group|O(n)]]-[[principal bundle]];


\item every [[complex vector bundle]] is [[isomorphism|isomorphic]] to the canonical [[associated bundle]] to an [[unitary group|U(n)]]-[[principal bundle]].



\end{enumerate}
\hypertarget{grassmannian_spaces}{}\subsubsection*{{Grassmannian spaces}}\label{grassmannian_spaces}

In the following we take [[Top]] to denote [[compactly generated topological spaces]]. For these the [[Cartesian product]] $X \times (-)$ is a [[left adjoint]] and hence preserves [[colimits]].

\begin{defn}
\label{StiefelManifold}\hypertarget{StiefelManifold}{}
For $n, k \in \mathbb{N}$ and $n \leq k$, then the $n$th \textbf{real [[Stiefel manifold]]} of $\mathbb{R}^k$ is the [[coset]] [[topological space]].

\begin{displaymath}
V_n(\mathbb{R}^k) \coloneqq O(k)/O(k-n)
  \,,
\end{displaymath}
where the [[action]] of $O(k-n)$ is via its canonical embedding $O(k-n)\hookrightarrow O(k)$.

Similarly the $n$th \textbf{complex Stiefel manifold} of $\mathbb{C}^k$ is

\begin{displaymath}
V_n(\mathbb{C}^k) \coloneqq U(k)/U(k-n)
  \,,
\end{displaymath}
here the [[action]] of $U(k-n)$ is via its canonical embedding $U(k-n)\hookrightarrow U(k)$.

\end{defn}
\begin{defn}
\label{RealAndComplexGrassmannian}\hypertarget{RealAndComplexGrassmannian}{}
For $n, k \in \mathbb{N}$ and $n \leq k$, then the $n$th \textbf{real [[Grassmannian]]} of $\mathbb{R}^k$ is the [[coset]] [[topological space]].

\begin{displaymath}
Gr_n(\mathbb{R}^k) \coloneqq O(k)/(O(n) \times O(k-n))
  \,,
\end{displaymath}
where the [[action]] of the [[product group]] is via its canonical embedding $O(n)\times O(k-n) \hookrightarrow O(n)$ into the [[orthogonal group]].

Similarly the $n$th \textbf{complex [[Grassmannian]]} of $\mathbb{C}^k$ is the [[coset]] [[topological space]].

\begin{displaymath}
Gr_n(\mathbb{C}^k) \coloneqq U(k)/(U(n) \times U(k-n))
  \,,
\end{displaymath}
where the [[action]] of the [[product group]] is via its canonical embedding $U(n)\times U(k-n) \hookrightarrow U(n)$ into the [[unitary group]].

\end{defn}
\begin{example}
\label{RealComplexProjectiveSpaceAsGrassmannian}\hypertarget{RealComplexProjectiveSpaceAsGrassmannian}{}
\begin{itemize}%
\item $Gr_1(\mathbb{R}^{n+1}) \simeq \mathbb{R}P^n$ is [[real projective space]] of [[dimension]] $n$.


\item $Gr_1(\mathbb{C}^{n+1}) \simeq \mathbb{C}P^n$ is [[complex projective space]] of [[dimension]] $n$.



\end{itemize}
\end{example}
\begin{prop}
\label{ProjectionFromStiefelManifoldToGrassmannianIsFiberBundle}\hypertarget{ProjectionFromStiefelManifoldToGrassmannianIsFiberBundle}{}
For all $n \leq k \in \mathbb{N}$, the canonical [[projection]] from the real [[Stiefel manifold]] (def. \ref{StiefelManifold}) to the [[Grassmannian]] is a $O(n)$-[[principal bundle]]

\begin{displaymath}
\itexarray{
    O(n) &\hookrightarrow& V_n(\mathbb{R}^k)
    \\
    && \downarrow
    \\
    && Gr_n(\mathbb{R}^k)
  }
\end{displaymath}
and the projection from the complex Stiefel manifold to the Grassmannian us a $U(n)$-[[principal bundle]]:

\begin{displaymath}
\itexarray{
    U(n) &\hookrightarrow& V_n(\mathbb{C}^k)
    \\
    && \downarrow
    \\
    && Gr_n(\mathbb{C}^k)
  }
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By (\href{coset#QuotientProjectionForCompactLieSubgroupIsPrincipal}{this cor.} and \href{coset#ProjectionOfCosetsIsFiberBundleForClosedSubgroupsOfCompactLieGroup}{this prop.}).

\end{proof}
\begin{defn}
\label{EOn}\hypertarget{EOn}{}
By def. \ref{RealAndComplexGrassmannian} there are canonical inclusions

\begin{displaymath}
Gr_n(\mathbb{R}^k) \hookrightarrow Gr_n(\mathbb{R}^{k+1})
\end{displaymath}
and

\begin{displaymath}
Gr_n(\mathbb{C}^k) \hookrightarrow Gr_n(\mathbb{C}^{k+1})
\end{displaymath}
for all $k \in \mathbb{N}$. The [[colimit]] (in [[Top]], see \href{Top#UniversalConstructions}{there}) over these inclusions is denoted

\begin{displaymath}
B O(n) \coloneqq \underset{\longrightarrow}{\lim}_k Gr_n(\mathbb{R}^k)
\end{displaymath}
and

\begin{displaymath}
B U(n) \coloneqq \underset{\longrightarrow}{\lim}_k Gr_n(\mathbb{C}^k)
  \,,
\end{displaymath}
respectively.

Moreover, by def. \ref{StiefelManifold} there are canonical inclusions

\begin{displaymath}
V_n(\mathbb{R}^k) \hookrightarrow V_n(\mathbb{R}^{k+1})
\end{displaymath}
and

\begin{displaymath}
V_n(\mathbb{C}^k) \hookrightarrow V_n(\mathbb{C}^{k+1})
  \,,
\end{displaymath}
respectively, that are compatible with the $O(n)$-[[action]] and the $U(n)$-action, respectively. The [[colimit]] (in [[Top]], see \href{Top#UniversalConstructions}{there}) over these inclusions, regarded as equipped with the induced [[action]], is denoted

\begin{displaymath}
E O(n) \coloneqq \underset{\longrightarrow}{\lim}_k V_n(\mathbb{R}^k)
\end{displaymath}
and

\begin{displaymath}
E U(n) \coloneqq \underset{\longrightarrow}{\lim}_k V_n(\mathbb{C}^k)
  \,,
\end{displaymath}
respectively. The inclusions are in fact compatible with the bundle structure from prop. \ref{ProjectionFromStiefelManifoldToGrassmannianIsFiberBundle}, so that there are induced projections

\begin{displaymath}
\left(
  \itexarray{
    E O(n)
    \\
    \downarrow
    \\
    B O(n)
  }
  \right)
  \;\;
   \simeq
  \;\;
  \underset{\longrightarrow}{\lim}_k
  \left(
    \itexarray{
       V_n(\mathbb{R}^k)
       \\
       \downarrow
       \\
       Gr_n(\mathbb{R}^k)
    }
  \right)
\end{displaymath}
and

\begin{displaymath}
\left(
  \itexarray{
    E U(n)
    \\
    \downarrow
    \\
    B U(n)
  }
  \right)
  \;\;
   \simeq
  \;\;
  \underset{\longrightarrow}{\lim}_k
  \left(
    \itexarray{
       V_n(\mathbb{C}^k)
       \\
       \downarrow
       \\
       Gr_n(\mathbb{C}^k)
    }
  \right)
  \,,
\end{displaymath}
respectively. These are the standard models for the \textbf{[[universal principal bundles]]} for $O$ and $U$, respectively. The corresponding [[associated bundles|associated]] [[vector bundles]]

\begin{displaymath}
E O(n) \underset{O(n)}{\times} \mathbb{R}^n
\end{displaymath}
and

\begin{displaymath}
E U(n) \underset{U(n)}{\times} \mathbb{C}^n
\end{displaymath}
are the corresponding \textbf{[[universal vector bundles]]}.

\end{defn}
Since the [[Cartesian product]] $O(n)\times (-)$ in [[compactly generated topological spaces]] preserves [[colimits]], it follows that the colimiting bundle is still an $O(n)$-[[principal bundle]]

\begin{displaymath}
\begin{aligned}
    (E O(n))/O(n)
    &
    \simeq
    (\underset{\longrightarrow}{\lim}_k V_{n}(\mathbb{R}^k))/O(n)
    \\
    & \simeq
    \underset{\longrightarrow}{\lim}_k (V_n(\mathbb{R}^k)/O(n))
    \\
    & \simeq
    \underset{\longrightarrow}{\lim}_k Gr_n(\mathbb{R}^k)
    \\
    & \simeq B O(n)
  \end{aligned}
\end{displaymath}
and anlogously for $E U(n)$.

As such this is the standard presentation for the $O(n)$-[[universal principal bundle]]. Its base space $B O(n)$ is the corresponding \emph{classifying space}.

\begin{defn}
\label{InclusionOfBOnIntoBOnPlusOne}\hypertarget{InclusionOfBOnIntoBOnPlusOne}{}
There are canonical inclusions

\begin{displaymath}
Gr_n(\mathbb{R}^k)
  \hookrightarrow
  Gr_{n+1}(\mathbb{R}^{k+1})
\end{displaymath}
and

\begin{displaymath}
Gr_n(\mathbb{C}^k)
  \hookrightarrow
  Gr_{n+1}(\mathbb{C}^{k+1})
\end{displaymath}
given by adjoining one coordinate to the ambient space and to any subspace. Under the colimit of def. \ref{EOn} these induce maps of classifying spaces

\begin{displaymath}
B O(n) \longrightarrow B O(n+1)
\end{displaymath}
and

\begin{displaymath}
B U(n) \longrightarrow B U(n+1)
  \,.
\end{displaymath}
\end{defn}
\begin{defn}
\label{WhitneySumMapOnClassifyingSpaces}\hypertarget{WhitneySumMapOnClassifyingSpaces}{}
There are canonical maps

\begin{displaymath}
Gr_{n_1}(\mathbb{R}^{k_1})
  \times
  Gr_{n_2}(\mathbb{R}^{k_2})
  \longrightarrow
  Gr_{n_1 + n_2}(\mathbb{R}^{k_1 + k_2})
\end{displaymath}
and

\begin{displaymath}
Gr_{n_1}(\mathbb{C}^{k_1})
  \times
  Gr_{n_2}(\mathbb{C}^{k_2})
  \longrightarrow
  Gr_{n_1 + n_2}(\mathbb{C}^{k_1 + k_2})
\end{displaymath}
given by sending ambient spaces and subspaces to their [[direct sum]].

Under the colimit of def. \ref{EOn} these induce maps of classifying spaces

\begin{displaymath}
B O(n_1) \times B O(n_2)
  \longrightarrow
  B O(n_1 + n_2)
\end{displaymath}
and

\begin{displaymath}
B U(n_1) \times B U(n_2)
  \longrightarrow
  B U(n_1 + n_2)
\end{displaymath}
\end{defn}
\hypertarget{properties}{}\subsubsection*{{Properties}}\label{properties}

\begin{prop}
\label{CWComplexStructure}\hypertarget{CWComplexStructure}{}
The real [[Grassmannians]] $Gr_n(\mathbb{R}^k)$ and the complex Grassmannians $Gr_n(\mathbb{C}^k)$ of def. \ref{RealAndComplexGrassmannian} admit the structure of [[CW-complexes]]. Moreover the canonical inclusions

\begin{displaymath}
Gr_n(\mathbb{R}^k)
  \hookrightarrow
  Gr_n(\mathbb{R}^{k+1})
\end{displaymath}
and

\begin{displaymath}
Gr_n(\mathbb{C}^k)
  \hookrightarrow
  Gr_n(\mathbb{C}^{k+1})
\end{displaymath}
are subcomplex incusions (hence [[relative cell complex]] inclusions).

Accordingly there is an induced CW-complex structure on the [[classifying spaces]] $B O(n)$ and $B U(n)$ (def. \ref{EOn}).

\end{prop}
A proof is spelled out in (\hyperlink{Hatcher}{Hatcher, section 1.2 (pages 31-34)}).

\begin{prop}
\label{}\hypertarget{}{}
The [[Stiefel manifold]] $V_n(\mathbb{R}^k)$ from def. \ref{StiefelManifold} admits the structure of a [[CW-complex]].

\end{prop}
e.g. (\href{Stiefel+manifold#James59}{James 59, p. 3}, \href{Stiefel+manifold#James76}{James 76, p. 5 with p. 21}, \href{Stiefel+manifold#Blaszczyk07}{Blaszczyk 07})

(And I suppose with that cell structure the inclusions $V_n(\mathbb{R}^k) \hookrightarrow V_n(\mathbb{R}^{k+1})$ are subcomplex inclusions.)

\begin{prop}
\label{}\hypertarget{}{}
The [[Stiefel manifold]] $V_n(\mathbb{R}^k)$ (def. \ref{StiefelManifold}) is [[n-connected topological space|(k-n-1)-connected]].

\end{prop}
\begin{proof}
Consider the [[coset]] [[quotient]] [[projection]]

\begin{displaymath}
O(k-n)
    \longrightarrow
  O(k)
    \longrightarrow
  O(k)/O(k-n)
    =
  V_n(\mathbb{R}^k)
  \,.
\end{displaymath}
Since the orthogonal groups is compact (\href{orthogonal+group#OrthogonalGroupIsCompact}{prop.}) and by \href{coset#QuotientProjectionForCompactLieSubgroupIsPrincipal}{this corollary} the projection $O(k)\to O(k)/O(k-n)$ is a [[Serre fibration]]. Therefore there is induced the [[long exact sequence of homotopy groups]] of this [[fiber sequence]], and by \href{orthogonal+group#InclusionOfOnIntoOkIsnMinus1Equivalence}{this prop.} it has the following form in degrees bounded by $n$:

\begin{displaymath}
\cdots
    \to
  \pi_{\bullet \leq k-n-1}(O(k-n))
    \overset{epi}{\longrightarrow}
  \pi_{\bullet \leq k-n-1}(O(k))
    \overset{0}{\longrightarrow}
  \pi_{\bullet \leq k-n-1}(V_n(\mathbb{R}^k))
    \overset{0}{\longrightarrow}
  \pi_{\bullet-1 \lt k-n-1}(O(k))
    \overset{\simeq}{\longrightarrow}
  \pi_{\bullet-1 \lt k-n-1}(O(k-n))
    \to
  \cdots
  \,.
\end{displaymath}
This implies the claim. (Exactness of the sequence says that every element in $\pi_{\bullet \leq n-1}(V_n(\mathbb{R}^k))$ is in the kernel of zero, hence in the image of 0, hence is 0 itself.)

\end{proof}
Similarly:

\begin{prop}
\label{}\hypertarget{}{}
The complex [[Stiefel manifold]] $V_n(\mathbb{C}^k)$ (def. \ref{StiefelManifold}) is [[n-connected topological space|2(k-n)-connected]].

\end{prop}
\begin{proof}
Consider the [[coset]] [[quotient]] [[projection]]

\begin{displaymath}
U(k-n)
    \longrightarrow
  U(k)
    \longrightarrow
  U(k)/U(k-n)
    =
  V_n(\mathbb{C}^k)
  \,.
\end{displaymath}
By prop. \ref{UnitaryGroupIsCompact} and by \href{coset#QuotientProjectionForCompactLieSubgroupIsPrincipal}{this corollary} the projection $U(k)\to U(k)/U(k-n)$ is a [[Serre fibration]]. Therefore there is induced the [[long exact sequence of homotopy groups]] of this [[fiber sequence]], and by prop. \ref{InclusionOfUnitaryGroupnIntoUnitaryGroupnPlusIneIsnMinus1Equivalence} it has the following form in degrees bounded by $n$:

\begin{displaymath}
\cdots
    \to
  \pi_{\bullet \leq 2(k-n)}(U(k-n))
    \overset{epi}{\longrightarrow}
  \pi_{\bullet \leq 2(k-n)}(U(k))
    \overset{0}{\longrightarrow}
  \pi_{\bullet \leq 2(k-n)}(V_n(\mathbb{C}^k))
    \overset{0}{\longrightarrow}
  \pi_{\bullet-1 \lt 2(k-n)}(U(k))
    \overset{\simeq}{\longrightarrow}
  \pi_{\bullet-1 \lt 2(k-n)}(U(k-n))
    \to
  \cdots
  \,.
\end{displaymath}
This implies the claim.

\end{proof}
\begin{cor}
\label{EOnIsWeaklyContractible}\hypertarget{EOnIsWeaklyContractible}{}
The colimiting space $E O(n) = \underset{\longrightarrow}{\lim}_k V_n(\mathbb{R}^k)$ from def. \ref{EOn} is [[weakly contractible topological space|weakly contractible]].

The colimiting space $E U(n) = \underset{\longrightarrow}{\lim}_k V_n(\mathbb{C}^k)$ from def. \ref{EOn} is [[weakly contractible topological space|weakly contractible]].

\end{cor}
\begin{prop}
\label{HomotopyGroupsOfBOnThoseOfOnShifted}\hypertarget{HomotopyGroupsOfBOnThoseOfOnShifted}{}
The [[homotopy groups]] of the classifying spaces $B O(n)$ and $B U(n)$ (def. \ref{EOn}) are those of the [[orthogonal group]] $O(n)$ and of the [[unitary group]] $U(n)$, respectively, shifted up in degree: there are [[isomorphisms]]

\begin{displaymath}
\pi_{\bullet+1}(B O(n))
    \simeq
  \pi_\bullet O(n)
\end{displaymath}
and

\begin{displaymath}
\pi_{\bullet+1}(B U(n))
    \simeq
  \pi_\bullet U(n)
\end{displaymath}
(for homotopy groups based at the canonical basepoint).

\end{prop}
\begin{proof}
Consider the sequence

\begin{displaymath}
O(n)
    \longrightarrow
  E O(n)
    \longrightarrow
  B O(n)
\end{displaymath}
from def. \ref{EOn}, with $O(n)$ the [[fiber]]. Since (by \href{coset#ProjectionOfCosetsIsFiberBundleForClosedSubgroupsOfCompactLieGroup}{this prop.}) the second map is a [[Serre fibration]], this is a [[fiber sequence]] and so it induces a [[long exact sequence of homotopy groups]] of the form

\begin{displaymath}
\cdots
    \to
  \pi_\bullet(O(n))
    \longrightarrow
  \pi_\bullet(E O(n))
    \longrightarrow
  \pi_\bullet(B O(n))
    \longrightarrow
  \pi_{\bullet-1}(O (n))
   \longrightarrow
  \pi_{\bullet-1}(E O(n))
    \to
  \cdots
  \,.
\end{displaymath}
Since by cor. \ref{EOnIsWeaklyContractible} $\pi_\bullet(E O(n))= 0$, exactness of the sequence implies that

\begin{displaymath}
\pi_\bullet(B O(n))
   \overset{\simeq}{\longrightarrow}
  \pi_{\bullet-1}(O (n))
\end{displaymath}
is an isomorphism.

The same kind of argument applies to the complex case.

\end{proof}
\begin{prop}
\label{SphereFibrationOverInclusionOfClassifyingSpaces}\hypertarget{SphereFibrationOverInclusionOfClassifyingSpaces}{}
For $n \in \mathbb{N}$ there are [[homotopy fiber sequences]]

\begin{displaymath}
S^n
    \longrightarrow
  B O(n)
    \longrightarrow
  B O(n+1)
\end{displaymath}
and

\begin{displaymath}
S^{2n+1}
    \longrightarrow
  B U(n)
    \longrightarrow
  B U(n+1)
  \,,
\end{displaymath}
exhibiting the [[n-sphere]] ($(2n+1)$-sphere) as the [[homotopy fiber]] of the canonical maps from def. \ref{InclusionOfBOnIntoBOnPlusOne}.

This means that there is a replacement of the canonical inclusion $B O(n) \hookrightarrow B O(n+1)$ (induced via def. \ref{EOn}) by a [[Serre fibration]]

\begin{displaymath}
\itexarray{
     B O(n) &\hookrightarrow& B O(n+1)
     \\
     {}^{\mathllap{{weak \, homotopy} \atop equivalence}}\downarrow  & \nearrow_{\mathrlap{Serre \, fib.}}
     \\
     \tilde B O(n)
  }
\end{displaymath}
such that $S^n$ is the ordinary [[fiber]] of $B O(n)\to \tilde B O(n+1)$, and analogously for the complex case.

\end{prop}
\begin{proof}
Take $\tilde B O(n) \coloneqq (E O(n+1))/O(n)$.

To see that the canonical map $B O(n)\longrightarrow (E O(n+1))/O(n)$ is a [[weak homotopy equivalence]] consider the [[commuting diagram]]

\begin{displaymath}
\itexarray{
    O(n) &\overset{id}{\longrightarrow}& O(n)
    \\
    \downarrow && \downarrow
    \\
    E O(n) &\longrightarrow& E O(n+1)
    \\
    \downarrow && \downarrow
    \\
    B O(n) &\longrightarrow& (E O(n+1))/O(n)
  }
  \,.
\end{displaymath}
By \href{coset#ProjectionOfCosetsIsFiberBundleForClosedSubgroupsOfCompactLieGroup}{this prop.} both bottom vertical maps are [[Serre fibrations]] and so both vertical sequences are [[fiber sequences]]. By prop. \ref{HomotopyGroupsOfBOnThoseOfOnShifted} part of the induced morphisms of [[long exact sequences of homotopy groups]] looks like this

\begin{displaymath}
\itexarray{
    \pi_\bullet(B O(n))
    &\overset{}{\longrightarrow}&
    \pi_\bullet( (E O(n+1))/O(n) )
    \\
    {}^{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{\simeq}}
    \\
    \pi_{\bullet-1}(O(n))
    &\overset{=}{\longrightarrow}&
    \pi_{\bullet-1}(O(n))
  }
  \,,
\end{displaymath}
where the vertical and the bottom morphism are isomorphisms. Hence also the to morphisms is an isomorphism.

That $B O(n)\to \tilde B O(n+1)$ is indeed a [[Serre fibration]] follows again with \href{coset#ProjectionOfCosetsIsFiberBundleForClosedSubgroupsOfCompactLieGroup}{this prop.}, which gives the [[fiber sequence]]

\begin{displaymath}
O(n+1)/O(n)
    \longrightarrow
  (E O(n+1))/O(n)
    \longrightarrow
  (E O(n+1))/O(n+1)
  \,.
\end{displaymath}
The claim in then follows since (\href{coset#nSphereAsCosetSpace}{this exmpl.})

\begin{displaymath}
O(n+1)/O(n) \simeq S^n
  \,.
\end{displaymath}
The argument for the complex case is of the same form, concluding now with the identification (\href{unitary+group#nSphereAsUnitaryCosetSpace}{this exmpl.})

\begin{displaymath}
U(n+1)/U(n) \simeq S^{2n+1}
  \,.
\end{displaymath}
\end{proof}
\hypertarget{the_classification_result}{}\subsubsection*{{The classification result}}\label{the_classification_result}

\begin{prop}
\label{}\hypertarget{}{}
For $X$ a [[paracompact topological space]], the operation of [[pullback]] of the [[universal principal bundle]] $E O(n) \to B O(n)$ from def. \ref{EOn} along [[continuous functions]] $f \colon X \to B O(n)$ eastblishes a [[bijection]]

\begin{displaymath}
[X, B O(n)]
   \underoverset{iso}{f \mapsto f^\ast E O(n)}{\longrightarrow}
  O(n) Bund/_\sim
\end{displaymath}
between [[homotopy classes]] of functions from $X$ to $B O(n)$ and isomorphism classes of $O(n)$-[[principal bundles]] on $X$.

\end{prop}
A full proof is spelled out in (\hyperlink{Hatcher}{Hatcher, section 1.2, theorem 1.16})

\hypertarget{references_3}{}\subsubsection*{{References}}\label{references_3}

\begin{itemize}%
\item \hyperlink{Hatcher}{Hatcher, section 1.2}


\item \hyperlink{Wirthmuller12}{Wirthmuller 12, section 2}


\item \hyperlink{AguilarGitlerPrieto02}{Aguilar-Gitler-Prieto 02, sections 8.3-8-5}



\end{itemize}
\hypertarget{KTheoryRing}{}\subsection*{{\textbf{The K-theory functor $K^\bullet(-)$}}}\label{KTheoryRing}

\hypertarget{idea_5}{}\subsubsection*{{Idea}}\label{idea_5}

The [[isomorphism classes]] of [[vector bundles]] over some [[topological space]] $X$ naturally form a [[semi-group]] (in fact a [[monoid]]) under forming [[direct sum of vector bundles]]. But as in [[ordinary cohomology]], we rater want to assign an actual [[group]] to $X$, instead of just a [[semi-group]].

There is a universal way to turn a [[semi-group]] into an actual [[group]] by adjoining formal [[inverses]] to all elements. This is called the \emph{[[Grothendieck group]]} construction. Applying this to the [[semi-group]] of [[vector bundles]] yields ``[[virtual vector bundles]]'', which are formal differences $[E] - [F]$ of [[isomorphism classes]] of actual vector bundles. These now form an [[abelian group]] called the [[topological K-theory]] group of $X$, and denoted $K(X)$.

Since for every [[continuous function]] $f \;\colon\; X \to Y$ and every vector bundle over $Y$ there is the corresponding [[pullback bundle]] over $X$, this construction is a ([[contravariant functor|contravariant]]) \emph{[[functor]]} on the [[category of topological spaces]], just as the [[ordinary cohomology]] groups are. In the next session we see that this analogy goes further, so we also call $K(X)$ the \emph{K-cohomology group} of $X$.

In fact $K(X)$ has more structure than just that of an [[abelian group]]. The [[tensor product of vector bundles]] makes it a [[ring]]. In the next session this will make us say that [[topological K-theory]] is a \emph{[[multiplicative cohomology theory]]}.

\hypertarget{references_4}{}\subsubsection*{{References}}\label{references_4}

\begin{itemize}%
\item \hyperlink{Wirthmuller12}{Wirthmuller 12, sections 6 and 10}


\item \hyperlink{Hatcher}{Hatcher, section 2.1}


\item \hyperlink{AguilarGitlerPrieto02}{Aguilar-Gitler-Prieto 02, section 9}



\end{itemize}
\hypertarget{GeneralizedCohomology}{}\subsection*{{\textbf{Generalized cohomology}}}\label{GeneralizedCohomology}

\hypertarget{idea_6}{}\subsubsection*{{Idea}}\label{idea_6}

We may now make precise in which sense the [[topological K-theory]] functor $K(-)$ is directly analogous to the [[ordinary cohomology]] functors $H^\bullet(-,\mathbb{Z})$. This involves noticing a list of useful properties satisfied by these functors. In particular one finds that given any [[continuous function]], then it induces a sequence of further continuous functions called its \emph{[[mapping cones]]} and [[suspensions]], and the application of a cohomology functor to these sequences of topological spaces yields [[long exact sequences in cohomology]]. This is most useful for computing generalized cohomology groups.

$\,$

There are two versions of the statement of the axioms:

\begin{itemize}%
\item \emph{\hyperlink{ReducedCohomology}{Reduced cohomology}};


\item \emph{\hyperlink{UnreducedCohomology}{Unreduced cohomology}}.



\end{itemize}
There are functors taking any reduced cohomology theory to an unreduced one, and vice versa. When some fine detail in the axioms is suitably set up, then this establishes an [[equivalence of categories|equivalence]] between reduced and unreduced generalized cohomology:

\begin{itemize}%
\item \emph{\hyperlink{RelationBetweenReducedAndUnreduced}{Relation between reduced and unreduced cohomology}}

\end{itemize}
\hypertarget{mapping_cones}{}\subsubsection*{{Mapping cones}}\label{mapping_cones}

\begin{itemize}%
\item [[mapping cylinder]]


\item [[mapping cone]]


\item [[homotopy cofiber]]



\end{itemize}
\hypertarget{ReducedCohomology}{}\subsubsection*{{Reduced cohomology}}\label{ReducedCohomology}

Throughout, write [[Top]]${}_{CW}$ for the category of [[topological spaces]] [[homeomorphism|homeomorphic]] to [[CW-complexes]]. Write $Top^{\ast/}_{CW}$ for the corresponding category of [[pointed topological spaces]].

Recall that [[colimits]] in $Top^{\ast/}$ are computed as colimits in $Top$ after adjoining the base point and its inclusion maps to the given diagram

\begin{example}
\label{WedgeSumAsCoproduct}\hypertarget{WedgeSumAsCoproduct}{}
The [[coproduct]] in [[pointed topological spaces]] is the \emph{[[wedge sum]]}, denoted $\vee_{i \in I} X_i$.

\end{example}
Write

\begin{displaymath}
\Sigma \coloneqq S^1 \wedge (-)
  \;\colon\;
  Top^{\ast/}_{CW} \longrightarrow Top^{\ast/}_{CW}
\end{displaymath}
for the [[reduced suspension]] functor.

Write $Ab^{\mathbb{Z}}$ for the category of integer-[[graded abelian groups]].

\begin{defn}
\label{ReducedGeneralizedCohomology}\hypertarget{ReducedGeneralizedCohomology}{}
A \textbf{reduced [[cohomology theory]]} is a [[functor]]

\begin{displaymath}
\tilde E^\bullet
   \;\colon\;
  (Top^{\ast/}_{CW})^{op} \longrightarrow Ab^{\mathbb{Z}}
\end{displaymath}
from the [[opposite category|opposite]] of [[pointed topological spaces]] ([[CW-complexes]]) to $\mathbb{Z}$-[[graded abelian groups]] (``[[cohomology groups]]''), in components

\begin{displaymath}
\tilde E
    \;\colon\;
  (X \stackrel{f}{\longrightarrow} Y)
    \mapsto
  (\tilde E^\bullet(Y)
    \stackrel{f^\ast}{\longrightarrow}
  \tilde E^\bullet(X))
  \,,
\end{displaymath}
and equipped with a [[natural isomorphism]] of degree +1, to be called the \textbf{[[suspension isomorphism]]}, of the form

\begin{displaymath}
\sigma
    \;\colon\;
  \tilde E^{\bullet +1}(\Sigma -)
    \overset{\simeq}{\longrightarrow}
  \tilde E^\bullet(-)
\end{displaymath}
such that:

\begin{enumerate}%
\item \textbf{([[homotopy invariance]])} If $f_1,f_2 \colon X \longrightarrow Y$ are two morphisms of pointed topological spaces such that there is a (base point preserving) [[homotopy]] $f_1 \simeq f_2$ between them, then the induced [[homomorphisms]] of abelian groups are [[equality|equal]]

\begin{displaymath}
f_1^\ast = f_2^\ast
  \,.
\end{displaymath}

\item \textbf{(exactness)} For $i \colon A \hookrightarrow X$ an inclusion of pointed topological spaces, with $j \colon X \longrightarrow Cone(i)$ the induced [[mapping cone]], then this gives an [[exact sequence]] of graded abelian groups

\begin{displaymath}
\tilde E^\bullet(Cone(i))
\overset{j^\ast}{\longrightarrow}
\tilde E^\bullet(X)
\overset{i^\ast}{\longrightarrow}
\tilde E^\bullet(A)
\,.
\end{displaymath}


\end{enumerate}
We say $\tilde E^\bullet$ is \textbf{additive} if in addition

\begin{itemize}%
\item \textbf{([[wedge axiom]])} For $\{X_i\}_{i \in I}$ any set of pointed CW-complexes, then the canonical comparison morphism

\begin{displaymath}
\tilde E^\bullet(\vee_{i \in I} X_i)
\longrightarrow
\prod_{i \in I} \tilde E^\bullet(X_i)
\end{displaymath}
is an [[isomorphism]], from the functor applied to their [[wedge sum]], example \ref{WedgeSumAsCoproduct}, to the [[product]] of its values on the wedge summands, .



\end{itemize}
We say $\tilde E^\bullet$ is \textbf{ordinary} if its value on the [[0-sphere]] $S^0$ is concentrated in degree 0:

\begin{itemize}%
\item \textbf{(Dimension)} $\tilde E^{\bullet\neq 0}(\mathbb{S}^0) \simeq 0$.

\end{itemize}
A [[homomorphism]] of reduced cohomology theories

\begin{displaymath}
\eta \;\colon\; \tilde E^\bullet \longrightarrow \tilde F^\bullet
\end{displaymath}
is a [[natural transformation]] between the underlying functors which is compatible with the suspension isomorphisms in that all the following [[commuting square|squares commute]]

\begin{displaymath}
\itexarray{
    \tilde E^\bullet(X) &\overset{\eta_X}{\longrightarrow}&  \tilde F^\bullet(X)
    \\
    {}^{\mathllap{\sigma_E}}\downarrow && \downarrow^{\mathrlap{\sigma_F}}
    \\
    \tilde E^{\bullet + 1}(\Sigma X)
    &\overset{\eta_{\Sigma X}}{\longrightarrow}&
    \tilde F^{\bullet + 1}(\Sigma X)
  }
  \,.
\end{displaymath}
\end{defn}
(e.g. \hyperlink{AguilarGitlerPrieto02}{AGP 02, def. 12.1.4})

We may rephrase this more intrinsically and more generally:

\begin{defn}
\label{GeneralizedCohomologyOnGeneralInfinityCategory}\hypertarget{GeneralizedCohomologyOnGeneralInfinityCategory}{}
Let $\mathcal{C}$ be an [[(∞,1)-category]] with [[(∞,1)-pushouts]], and with a [[zero object]] $0 \in \mathcal{C}$. Write $\Sigma \colon \mathcal{C} \to \mathcal{C}\colon X\mapsto 0 \underset{X}{\sqcup} 0$ for the corresponding [[suspension]] [[(∞,1)-functor]].

A \textbf{reduced generalized cohomology theory} on $\mathcal{C}$ is

\begin{enumerate}%
\item a [[functor]]

\begin{displaymath}
E^\bullet \;\colon \; Ho(\mathcal{C})^{op} \longrightarrow Ab^{\mathbb{Z}}
\end{displaymath}
(from the [[opposite category|opposite]] of the [[homotopy category of an (infinity,1)-category|homotopy category]] of $\mathcal{C}$ into $\mathbb{Z}$-[[graded abelian groups]]);


\item a [[natural isomorphisms]] (``[[suspension isomorphisms]]'') of degree +1

\begin{displaymath}
\sigma \; \colon \; H^\bullet \longrightarrow H^{\bullet+1} \circ \Sigma
\end{displaymath}


\end{enumerate}
such that $H^\bullet$

\begin{enumerate}%
\item takes small [[coproducts]] to [[products]];


\item takes [[homotopy cofiber sequences]] to [[exact sequences]].



\end{enumerate}
\end{defn}
\begin{defn}
\label{ConnectinHomomorphismForCohomologyTheoryOnInfinityCategory}\hypertarget{ConnectinHomomorphismForCohomologyTheoryOnInfinityCategory}{}
Given a generalized cohomology theory $(H^\bullet,\sigma)$ on some $\mathcal{C}$ as in def. \ref{GeneralizedCohomologyOnGeneralInfinityCategory}, and given a [[homotopy cofiber sequence]] in $\mathcal{C}$

\begin{displaymath}
X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z
  \stackrel{coker(g)}{\longrightarrow}
  \Sigma X
  \,,
\end{displaymath}
then the corresponding \textbf{[[connecting homomorphism]]} is the composite

\begin{displaymath}
\partial
    \;\colon\;
  E^\bullet(X)
   \stackrel{\sigma}{\longrightarrow}
  E^{\bullet+1}(\Sigma X)
   \stackrel{coker(g)^\ast}{\longrightarrow}
  E^{\bullet+1}(Z)
  \,.
\end{displaymath}
\end{defn}
\begin{prop}
\label{LongExactSequenceOfACohomologyTheoryOnAnInfinityCategory}\hypertarget{LongExactSequenceOfACohomologyTheoryOnAnInfinityCategory}{}
The [[connecting homomorphisms]] of def. \ref{ConnectinHomomorphismForCohomologyTheoryOnInfinityCategory} are parts of [[long exact sequences]]

\begin{displaymath}
\cdots
   \stackrel{\partial}{\longrightarrow}
  E^{\bullet}(Z)
    \longrightarrow
  E^\bullet(Y)
    \longrightarrow
  E^\bullet(X)
    \stackrel{\partial}{\longrightarrow}
  E^{\bullet+1}(Z)
   \to \cdots
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
By the defining exactness of $E^\bullet$, def. \ref{GeneralizedCohomologyOnGeneralInfinityCategory}, and the way this appears in def. \ref{ConnectinHomomorphismForCohomologyTheoryOnInfinityCategory}, using that $\sigma$ is by definition an isomorphism.

\end{proof}
\hypertarget{UnreducedCohomology}{}\subsubsection*{{Unreduced cohomology}}\label{UnreducedCohomology}

In the following a \emph{pair} $(X,A)$ refers to a [[subspace]] inclusion of [[topological spaces]] ([[CW-complexes]]) $A \hookrightarrow X$. Whenever only one space is mentioned, the subspace is assumed to be the [[empty set]] $(X, \emptyset)$. Write $Top_{CW}^{\hookrightarrow}$ for the category of such pairs (the [[full subcategory]] of the [[arrow category]] of $Top_{CW}$ on the inclusions). We identify $Top_{CW} \hookrightarrow Top_{CW}^{\hookrightarrow}$ by $X \mapsto (X,\emptyset)$.

\begin{defn}
\label{GeneralizedCohomologyTheory}\hypertarget{GeneralizedCohomologyTheory}{}
A \emph{[[cohomology theory]]} (unreduced, [[relative cohomology|relative]]) is a [[functor]]

\begin{displaymath}
E^\bullet : (Top_{CW}^{\hookrightarrow})^{op} \to Ab^{\mathbb{Z}}
\end{displaymath}
to the category of $\mathbb{Z}$-[[graded abelian groups]], as well as a [[natural transformation]] of degree +1, to be called the \textbf{[[connecting homomorphism]]}, of the form

\begin{displaymath}
\delta_{(X,A)}
    \;\colon\;
  E^\bullet(A, \emptyset) \to E^{\bullet + 1}(X, A)
  \,.
\end{displaymath}
such that:

\begin{enumerate}%
\item \textbf{(homotopy invariance)} For $f \colon (X_1,A_1) \to (X_2,A_2)$ a [[homotopy equivalence]] of pairs, then

\begin{displaymath}
E^\bullet(f)
   \;\colon\;
  E^\bullet(X_2,A_2) \stackrel{\simeq}{\longrightarrow} E^\bullet(X_1,A_1)
\end{displaymath}
is an [[isomorphism]];


\item \textbf{(exactness)} For $A \hookrightarrow X$ the induced sequence

\begin{displaymath}
\cdots
\to
E^n(X, A)
\longrightarrow
E^n(X)
\longrightarrow
E^n(A)
\stackrel{\delta}{\longrightarrow}
E^{n+1}(X, A)
\to
\cdots
\end{displaymath}
is a [[long exact sequence]] of [[abelian groups]].


\item \textbf{([[excision]])} For $U \hookrightarrow A \hookrightarrow X$ such that $\overline{U} \subset Int(A)$, then the natural inclusion of the pair $i \colon (X-U, A-U) \hookrightarrow (X, A)$ induces an isomorphism

\begin{displaymath}
E^\bullet(i)
\;\colon\;
E^n(X, A)
\overset{\simeq}{\longrightarrow}
E^n(X-U, A-U)
\end{displaymath}


\end{enumerate}
We say $E^\bullet$ is \textbf{additive} if it takes [[coproducts]] to [[products]]:

\begin{itemize}%
\item \textbf{(additivity)} If $(X, A) = \coprod_i (X_i, A_i)$ is a [[coproduct]], then the canonical comparison morphism

\begin{displaymath}
E^n(X, A) \overset{\simeq}{\longrightarrow} \prod_i E^n(X_i, A_i)
\end{displaymath}
is an [[isomorphism]] from the value on $(X,A)$ to the [[product]] of values on the summands.



\end{itemize}
We say $E^\bullet$ is \textbf{ordinary} if its value on the point is concentrated in degree 0

\begin{itemize}%
\item \textbf{(Dimension)}: $E^{\bullet \neq 0}(\ast,\emptyset) = 0$.

\end{itemize}
A [[homomorphism]] of unreduced cohomology theories

\begin{displaymath}
\eta \;\colon\; E^\bullet \longrightarrow F^\bullet
\end{displaymath}
is a [[natural transformation]] of the underlying functors that is compatible with the connecting homomorphisms, hence such that all these [[commuting square|squares commute]]:

\begin{displaymath}
\itexarray{
     E^\bullet(A,\emptyset) &\overset{\eta_{(A,\emptyset)}}{\longrightarrow}& F^\bullet(A,\emptyset)
     \\
     {}^{\mathllap{\delta_E}}\downarrow && \downarrow^{\mathrlap{\delta_F}}
     \\
     E^{\bullet +1}(X,A)
       &\overset{\eta_{(X,A)}}{\longrightarrow}&
     F^{\bullet +1}(X,A)
  }
  \,.
\end{displaymath}
\end{defn}
e.g. (\hyperlink{AguilarGitlerPrieto02}{AGP 02, def. 12.1.1}).

\begin{defn}
\label{AlternativeFormulationOfExcisionAxiom}\hypertarget{AlternativeFormulationOfExcisionAxiom}{}
The excision axiom in def. \ref{GeneralizedCohomologyTheory} is equivalent to the following statement:

For all $A,B \hookrightarrow X$ with $X = Int(A) \cup Int(B)$, then the inclusion

\begin{displaymath}
i \colon (A, A \cap B) \longrightarrow (X,B)
\end{displaymath}
induces an isomorphism,

\begin{displaymath}
i^\ast
    \;\colon\;
  E^\bullet(X, B)
    \overset{\simeq}{\longrightarrow}
  E^\bullet(A, A \cap B)
\end{displaymath}
\end{defn}
(e.g \hyperlink{Switzer75}{Switzer 75, 7.2})

\begin{proof}
In one direction, suppose that $E^\bullet$ satisfies the original excision axiom. Given $A,B$ with $X = \Int(A) \cup Int(B)$, set $U \coloneqq X-A$ and observe that

\begin{displaymath}
\begin{aligned}
     \overline{U}
        & = \overline{X-A}
     \\ & = X- Int(A)
     \\ & \subset Int(B)
  \end{aligned}
\end{displaymath}
and that

\begin{displaymath}
(X-U, B-U) = (A, A \cap B)
  \,.
\end{displaymath}
Hence the excision axiom implies $E^\bullet(X, B) \overset{\simeq}{\longrightarrow} E^\bullet(A, A \cap B)$.

Conversely, suppose $E^\bullet$ satisfies the alternative condition. Given $U \hookrightarrow A \hookrightarrow X$ with $\overline{U} \subset Int(A)$, observe that we have a cover

\begin{displaymath}
\begin{aligned}
          Int(X-U) \cup Int(A)
      & = (X - \overline{U}) \cap \Int(A)
   \\ & \supset (X - Int(A)) \cap Int(A)
   \\ & = X
  \end{aligned}
\end{displaymath}
and that

\begin{displaymath}
(X-U, (X-U) \cap A) = (X-U, A - U)
  \,.
\end{displaymath}
Hence

\begin{displaymath}
E^\bullet(X-U,A-U)
  \simeq
  E^\bullet(X-U, (X-U)\cap A)
  \simeq
  E^\bullet(X,A)
  \,.
\end{displaymath}
\end{proof}
The following lemma shows that the dependence in pairs of spaces in a generalized cohomology theory is really a stand-in for evaluation on [[homotopy cofibers]] of inclusions.

\begin{lemma}
\label{EvaluationOfCohomologyTheoryOnGoodPairIsEvaluationOnQuotient}\hypertarget{EvaluationOfCohomologyTheoryOnGoodPairIsEvaluationOnQuotient}{}
Let $E^\bullet$ be an cohomology theory, def. \ref{GeneralizedCohomologyTheory}, and let $A \hookrightarrow X$. Then there is an isomorphism

\begin{displaymath}
E^\bullet(X,A)
    \stackrel{\simeq}{\longrightarrow}
  E^\bullet(X \cup Cone(A), \ast)
\end{displaymath}
between the value of $E^\bullet$ on the pair $(X,A)$ and its value on the [[mapping cone]] of the inclusion, relative to a basepoint.

If moreover $A \hookrightarrow X$ is (the [[retract]] of) a [[relative cell complex]] inclusion, then also the morphism in cohomology induced from the [[quotient]] map $p \;\colon\; (X,A)\longrightarrow (X/A, \ast)$ is an [[isomorphism]]:

\begin{displaymath}
E^\bullet(p)
    \;\colon\;
  E^\bullet(X/A,\ast)
    \longrightarrow
  E^\bullet(X,A)
  \,.
\end{displaymath}
\end{lemma}
(e.g \hyperlink{AguilarGitlerPrieto02}{AGP 02, corollary 12.1.10})

\begin{proof}
Consider $U \coloneqq (Cone(A)-A \times \{0\}) \hookrightarrow Cone(A)$, the cone on $A$ minus the base $A$. We have

\begin{displaymath}
( X\cup Cone(A)-U, Cone(A)-U) \simeq (X,A)
\end{displaymath}
and hence the first isomorphism in the statement is given by the excision axiom followed by homotopy invariance (along the contraction of the cone to the point).

Next consider the quotient of the [[mapping cone]] of the inclusion:

\begin{displaymath}
( X\cup Cone(A), Cone(A) ) \longrightarrow (X/A,\ast)
  \,.
\end{displaymath}
If $A \hookrightarrow X$ is a cofibration, then this is a [[homotopy equivalence]] since $Cone(A)$ is contractible and since by the dual [[factorization lemma]] $X \cup Cone(A)\to X/A$ is a weak homotopy equivalence, hence a homotopy equivalence on CW-complexes.

Hence now we get a composite isomorphism

\begin{displaymath}
E^\bullet(X/A,\ast)
    \overset{\simeq}{\longrightarrow}
  E^\bullet( X\cup Cone(A), Cone(A) )
    \overset{\simeq}{\longrightarrow}
  E^\bullet(X,A)
  \,.
\end{displaymath}
\end{proof}
\begin{example}
\label{GeneralizedCohomologyOnHomotopyQuotientMaps}\hypertarget{GeneralizedCohomologyOnHomotopyQuotientMaps}{}
As an important special case of : Let $(X,x)$ be a [[pointed topological space|pointed]] [[CW-complex]]. For $p\colon (Cone(X), X) \to (\Sigma X,\{x\})$ the quotient map from the reduced cone on $X$ to the [[reduced suspension]], then

\begin{displaymath}
E^\bullet(p)
  \;\colon\;
  E^\bullet(Cone(X),X)
   \overset{\simeq}{\longrightarrow}
  E^\bullet(\Sigma X, \{x\})
\end{displaymath}
is an isomorphism.

\end{example}
\begin{prop}
\label{ExactSequenceOfATriple}\hypertarget{ExactSequenceOfATriple}{}
\textbf{(exact sequence of a triple)}

For $E^\bullet$ an unreduced generalized cohomology theory, def. \ref{GeneralizedCohomologyTheory}, then every inclusion of two consecutive subspaces

\begin{displaymath}
Z \hookrightarrow Y \hookrightarrow X
\end{displaymath}
induces a [[long exact sequence]] of cohomology groups of the form

\begin{displaymath}
\cdots
   \to
  E^{q-1}(Y,Z)
    \stackrel{\bar \delta}{\longrightarrow}
  E^q(X,Y)
    \stackrel{}{\longrightarrow}
  E^q(X,Z)
    \stackrel{}{\longrightarrow}
  E^q(Y,Z)
    \to
  \cdots
\end{displaymath}
where

\begin{displaymath}
\bar \delta
    \;\colon \;
  E^{q-1}(Y,Z)
   \longrightarrow
  E^{q-1}(Y)
   \stackrel{\delta}{\longrightarrow}
  E^{q}(X,Y)
  \,.
\end{displaymath}
\end{prop}
\begin{proof}
Apply the [[braid lemma]] to the interlocking long exact sequences of the three pairs $(X,Y)$, $(X,Z)$, $(Y,Z)$. See \href{braid+lemma#ExactSequenceForTripleInGeneralizedHomology}{here} for details.

The dual braid diagram for [[generalized homology]] is this:



(graphics from \href{http://math.stackexchange.com/a/1180681/58526}{this Maths.SE comment})

\end{proof}
\begin{remark}
\label{}\hypertarget{}{}
The exact sequence of a triple in prop. \ref{ExactSequenceOfATriple} is what gives rise to the [[Cartan-Eilenberg spectral sequence]] for $E$-cohomology of a [[CW-complex]] $X$.

\end{remark}
\begin{example}
\label{ExtractingSuspensionIsomorphismFromUnreducedCohomology}\hypertarget{ExtractingSuspensionIsomorphismFromUnreducedCohomology}{}
For $(X,x)$ a [[pointed topological space]] and $Cone(X) = (X \wedge (I_+))/X$ its reduced [[cone]], the long exact sequence of the triple $(\{x\}, X, Cone(X))$, prop. \ref{ExactSequenceOfATriple},

\begin{displaymath}
0
   \simeq
   E^q(Cone(X), \{x\})
     \longrightarrow
   E^q(X,\{x\})
     \overset{\bar \delta}{\longrightarrow}
   E^{q+1}(Cone(X),X)
     \longrightarrow
   E^{q+1}(Cone(X), \{x\})
   \simeq 0
\end{displaymath}
exhibits the [[connecting homomorphism]] $\bar \delta$ here as an [[isomorphism]]

\begin{displaymath}
\bar \delta
     \;\colon\;
   E^q(X,\{x\})
     \overset{\simeq}{\longrightarrow}
   E^{q+1}(Cone(X),X)
  \,.
\end{displaymath}
This is the \emph{[[suspension isomorphism]]} extracted from the unreduced cohomology theory, see def. \ref{FromUnreducedToReducedCohomology} below.

\end{example}
\begin{prop}
\label{MayerVietorisSequenceInGeneralizedCohomology}\hypertarget{MayerVietorisSequenceInGeneralizedCohomology}{}
\textbf{([[Mayer-Vietoris sequence]])}

Given $E^\bullet$ an unreduced cohomology theory, def. \ref{GeneralizedCohomologyTheory}. Given a topological space covered by the [[interior]] of two spaces as $X = Int(A) \cup Int(B)$, then for each $C \subset A \cap B$ there is a [[long exact sequence]] of cohomology groups of the form

\begin{displaymath}
\cdots
  \to
  E^{n-1}(A \cap B , C)
  \overset{\bar \delta}{\longrightarrow}
  E^n(X,C)
  \longrightarrow
  E^n(A,C) \oplus E^n(B,C)
  \longrightarrow
  E^n(A \cap B, C)
  \to
  \cdots
  \,.
\end{displaymath}
\end{prop}
e.g. (\hyperlink{Switzer75}{Switzer 75, theorem 7.19}, \hyperlink{AguilarGitlerPrieto02}{Aguilar-Gitler-Prieto 02, theorem 12.1.22})

\hypertarget{RelationBetweenReducedAndUnreduced}{}\subsubsection*{{The relation}}\label{RelationBetweenReducedAndUnreduced}

\begin{defn}
\label{FromUnreducedToReducedCohomology}\hypertarget{FromUnreducedToReducedCohomology}{}
\textbf{(unreduced to reduced cohomology)}

Let $E^\bullet$ be an unreduced cohomology theory, def. \ref{GeneralizedCohomologyTheory}. Define a reduced cohomology theory, def. \ref{ReducedGeneralizedCohomology} $(\tilde E^\bullet, \sigma)$ as follows.

For $x \colon \ast \to X$ a [[pointed topological space]], set

\begin{displaymath}
\tilde E^\bullet(X,x) \coloneqq E^\bullet(X,\{x\})
  \,.
\end{displaymath}
This is clearly [[functor|functorial]]. Take the [[suspension isomorphism]] to be the composite

\begin{displaymath}
\sigma
   \;\colon\;
  \tilde E^{\bullet+1}(\Sigma X)
   =
  E^{\bullet+1}(\Sigma X, \{x\})
   \overset{E^\bullet(p)}{\longrightarrow}
  E^{\bullet+1}(Cone(X),X)
    \overset{\bar \delta^{-1}}{\longrightarrow}
  E^\bullet(X,\{x\})
   =
  \tilde E^{\bullet}(X)
\end{displaymath}
of the isomorphism $E^\bullet(p)$ from example \ref{GeneralizedCohomologyOnHomotopyQuotientMaps} and the [[inverse]] of the isomorphism $\bar \delta$ from example \ref{ExtractingSuspensionIsomorphismFromUnreducedCohomology}.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
The construction in def. \ref{FromUnreducedToReducedCohomology} indeed gives a reduced cohomology theory.

\end{prop}
(e.g. \hyperlink{Switzer75}{Switzer 75, 7.34})

\begin{proof}
We need to check the exactness axiom given any $A\hookrightarrow X$. By lemma \ref{EvaluationOfCohomologyTheoryOnGoodPairIsEvaluationOnQuotient} we have an isomorphism

\begin{displaymath}
\tilde E^\bullet(X \cup Cone(A))
  =
  E^\bullet(X \cup Cone(A), \{\ast\})
    \overset{\simeq}{\longrightarrow}
  E^\bullet(X,A)
  \,.
\end{displaymath}
Unwinding the constructions shows that this makes the following [[commuting diagram|diagram commute]]:

\begin{displaymath}
\itexarray{
     \tilde E^\bullet(X\cup Cone(A))
        &\overset{\simeq}{\longrightarrow}&
     E^\bullet(X,A)
     \\
     \downarrow && \downarrow
     \\
     \tilde E^\bullet(X) &=& E^\bullet(X,\{x\})
     \\
     \downarrow && \downarrow
     \\
     \tilde E^\bullet(A) &=& E^\bullet(A,\{a\})
  }
  \,,
\end{displaymath}
where the vertical sequence on the right is exact by prop. \ref{ExactSequenceOfATriple}. Hence the left vertical sequence is exact.

\end{proof}
\begin{defn}
\label{ReducedToUnreducedGeneralizedCohomology}\hypertarget{ReducedToUnreducedGeneralizedCohomology}{}
\textbf{(reduced to unreduced cohomology)}

Let $(\tilde E^\bullet, \sigma)$ be a reduced cohomology theory, def. \ref{ReducedGeneralizedCohomology}. Define an unreduced cohomolog theory $E^\bullet$, def. \ref{GeneralizedCohomologyTheory}, by

\begin{displaymath}
E^\bullet(X,A)
  \coloneqq
  \tilde E^\bullet( X_+ \cup Cone(A_+))
\end{displaymath}
and let the connecting homomorphism be as in def. \ref{ConnectinHomomorphismForCohomologyTheoryOnInfinityCategory}.

\end{defn}
\begin{prop}
\label{}\hypertarget{}{}
The construction in def. \ref{ReducedToUnreducedGeneralizedCohomology} indeed yields an unreduced cohomology theory.

\end{prop}
e.g. (\hyperlink{Switzer75}{Switzer 75, 7.35})

\begin{proof}
Exactness holds by prop. \ref{LongExactSequenceOfACohomologyTheoryOnAnInfinityCategory}. For excision, it is sufficient to consider the alternative formulation of lemma \ref{AlternativeFormulationOfExcisionAxiom}. For CW-inclusions, this follows immediately with lemma \ref{EvaluationOfCohomologyTheoryOnGoodPairIsEvaluationOnQuotient}.

\end{proof}
\begin{theorem}
\label{}\hypertarget{}{}
The constructions of def. \ref{ReducedToUnreducedGeneralizedCohomology} and def. \ref{FromUnreducedToReducedCohomology} constitute a pair of [[functors]] between then [[categories]] of reduced cohomology theories, def. \ref{ReducedGeneralizedCohomology} and unreduced cohomology theories, def. \ref{GeneralizedCohomologyTheory} which exhbit an [[equivalence of categories]].

\end{theorem}
\begin{proof}
(\ldots{}careful with checking the respect for suspension iso and connecting homomorphism..)

To see that there are [[natural isomorphisms]] relating the two composites of these two functors to the identity:

One composite is

\begin{displaymath}
\begin{aligned}
    E^\bullet
    & \mapsto
    (\tilde E^\bullet \colon (X,x) \mapsto E^\bullet(X,\{x\}))
    \\
    & \mapsto
    ((E')^\bullet \colon (X,A) \mapsto E^\bullet( X_+ \cup Cone(A_+) ), \ast)
  \end{aligned}
  \,,
\end{displaymath}
where on the right we have, from the construction, the reduced mapping cone of the original inclusion $A \hookrightarrow X$ with a base point adjoined. That however is isomorphic to the unreduced mapping cone of the original inclusion. With this the natural isomorphism is given by lemma \ref{EvaluationOfCohomologyTheoryOnGoodPairIsEvaluationOnQuotient}.

The other composite is

\begin{displaymath}
\begin{aligned}
    \tilde E^\bullet
     & \mapsto
    (E^\bullet \colon (X,A) \mapsto \tilde E^\bullet(X_+ \cup Cone(A_+)))
    \\
    & \mapsto
    ((\tilde E')^\bullet \colon X \mapsto \tilde E^\bullet(X_+ \cup Cone(*_+)))
  \end{aligned}
\end{displaymath}
where on the right we have the reduced mapping cone of the point inclusion with a point adoined. As before, this is isomorphic to the unreduced mapping cone of the point inclusion. That finally is clearly homotopy equivalent to $X$, and so now the natural isomorphism follows with homotopy invariance.

\end{proof}
Finally we record the following basic relation between reduced and unreduced cohomology:

\begin{prop}
\label{UnreducedCohomologyIsReducedPlusPointValue}\hypertarget{UnreducedCohomologyIsReducedPlusPointValue}{}
Let $E^\bullet$ be an unreduced cohomology theory, and $\tilde E^\bullet$ its reduced cohomology theory from def. \ref{FromUnreducedToReducedCohomology}. For $(X,\ast)$ a pointed topological space, then there is an identification

\begin{displaymath}
E^\bullet(X) \simeq \tilde E^\bullet(X) \oplus E^\bullet(\ast)
\end{displaymath}
of the unreduced cohomology of $X$ with the [[direct sum]] of the reduced cohomology of $X$ and the unreduced cohomology of the base point.

\end{prop}
\begin{proof}
The pair $\ast \hookrightarrow X$ induces the sequence

\begin{displaymath}
\cdots
   \to
  E^{\bullet-1}(\ast)
    \stackrel{\delta}{\longrightarrow}
  \tilde E^\bullet(X)
    \stackrel{}{\longrightarrow}
  E^\bullet(X)
    \stackrel{}{\longrightarrow}
  E^\bullet(\ast)
    \stackrel{\delta}{\longrightarrow}
  \tilde E^{\bullet+1}(X)
    \to
  \cdots
\end{displaymath}
which by the exactness clause in def. \ref{GeneralizedCohomologyTheory} is [[exact sequence|exact]].

Now since the composite $\ast \to X \to \ast$ is the identity, the morphism $E^\bullet(X) \to E^\bullet(\ast)$ has a [[section]] and so is in particular an [[epimorphism]]. Therefore, by exactness, the [[connecting homomorphism]] vanishes, $\delta = 0$ and we have a [[short exact sequence]]

\begin{displaymath}
0
    \to
  \tilde E^\bullet(X)
    \stackrel{}{\longrightarrow}
  E^\bullet(X)
    \stackrel{}{\longrightarrow}
  E^\bullet(\ast)
    \to
  0
\end{displaymath}
with the right map an epimorphism. Hence this is a [[split exact sequence]] and the statement follows.

\end{proof}
\hypertarget{exmaple_ordinary_cohomology}{}\subsubsection*{{Exmaple: Ordinary cohomology}}\label{exmaple_ordinary_cohomology}

(\ldots{})

\hypertarget{references_5}{}\subsubsection*{{References}}\label{references_5}

\begin{itemize}%
\item \hyperlink{Wirthmuller12}{Wirthmuller 12, section 9}


\item [[Robert Switzer]], chapter 7 (and 8-12) of \emph{Algebraic Topology - Homotopy and Homology}, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, Vol. 212, Springer-Verlag, New York, N. Y., 1975.



\end{itemize}
\hypertarget{clutching_construction_and_product_theorem}{}\subsection*{{\textbf{Clutching construction and Product theorem}}}\label{clutching_construction_and_product_theorem}

\hypertarget{idea_7}{}\subsubsection*{{Idea}}\label{idea_7}

A quick way to construct [[vector bundles]] on [[n-spheres]] is to consider the trivial vector bundles on either [[hemisphere]] and then glue them by a bundle [[isomorphism]] on a small overlap of the two hemispheres. This is called the \emph{[[clutching construction]]}. This construction may be paramneterized over some topological space $X$ to construct [[vector bundles]] on the [[product topological space]] of $X$ with an [[sphere]]. A close analysis of this parameterized clutching construction allows to prove what will be the first deep theorem about [[topological K-theory]]: the [[fundamental product theorem in K-theory]], which characterizes the $K$-theory ring of [[product topological spaces]] $X \times S^2$ of some space $X$ with the [[2-sphere]] as that of $X$ with one generator for the [[basic line bundle on the 2-sphere]] adjoined, subject to a relation. This is very useful for computations.

Below this theorem is used to prove the all-important [[Bott periodicity theorem]] of [[topological K-theory]].

\hypertarget{references_6}{}\subsubsection*{{References}}\label{references_6}

\begin{itemize}%
\item \hyperlink{Wirthmuller12}{Wirthmuller 12, p. 17 to p. 29}


\item \hyperlink{Hatcher}{Hatcher, p. 41-51}



\end{itemize}
\hypertarget{splitting_principle}{}\subsection*{{\textbf{Splitting principle}}}\label{splitting_principle}

\hypertarget{idea_8}{}\subsubsection*{{Idea}}\label{idea_8}

The second deep fact about topological K-theory is the \emph{[[splitting principle]]} which says roughly that as far as K-theory is concerned, all [[vector bundles]] essentially look like [[direct sums of vector bundles]] each of whose summands is just a [[line bundle]]. This has dramatic consequences, which we see when we discuss the [[Adams operations]] below. The proof of the splitting principle involves a careful analysis of [[flag spaces]] in vector bundles.

\hypertarget{references_7}{}\subsubsection*{{References}}\label{references_7}

\hyperlink{Wirthmuller12}{Wirthmuller 12, section 10}

\hypertarget{BottPeriodicity}{}\subsection*{{\textbf{K-Cohomology theory}}}\label{BottPeriodicity}

\hypertarget{idea_9}{}\subsubsection*{{Idea}}\label{idea_9}

Finally we may put all the pieces together and show that the [[topological K-theory]] functor $K(-)$ indeed constitutes a [[generalized (Eilenberg-Steenrod) cohomology theory]]. In fact its ring structure makes it a [[multiplicative cohomology theory]]. Moreover, we find that the [[fundamental product theorem in K-theory]] implies a certain 2-periodicity in $K(-)$, called \emph{[[Bott periodicity]]}. This makes $K$ an [[even periodic cohomology theory]].

All these facts will be most useful for computing $K(X)$ and for using it to learn about [[topological spaces]] which is what we turn to next.

\hypertarget{references_8}{}\subsubsection*{{References}}\label{references_8}

\begin{itemize}%
\item \hyperlink{Wirthmuller12}{Wirthmuller 12, p. 34 and previous}


\item \hyperlink{Hatcher}{Hatcher, section 2.2}


\item \hyperlink{AguilarGitlerPrieto02}{Aguilar-Gitler-Prieto 02, appendix B}



\end{itemize}
\hypertarget{examples_of_kgroups}{}\subsection*{{\textbf{Examples of K-groups}}}\label{examples_of_kgroups}

\hypertarget{idea_10}{}\subsubsection*{{Idea}}\label{idea_10}

In the previous sessions we have accumulated some powerful tools for computing [[topological K-theory]] groups. Here we use these to consider examples, and compute K-theory groups for a range of interesting topological spaces. This will serve to see how [[topological K-theory]] is a finer invariant than [[ordinary cohomology]].

\hypertarget{references_9}{}\subsubsection*{{References}}\label{references_9}

\begin{itemize}%
\item Chris Blair, \emph{Some K-theory examples}, 2009 (\href{http://www.maths.tcd.ie/~cblair/notes/kex.pdf}{pdf})

\end{itemize}
\hypertarget{adams_operations}{}\subsection*{{\textbf{Adams operations}}}\label{adams_operations}

\hypertarget{idea_11}{}\subsubsection*{{Idea}}\label{idea_11}

So far we have used that there is the operation of [[direct sum of vector bundles]] and of [[tensor product of vector bundles]] in order to exhibit the $K$-theory functor $K(-)$ as taking values in [[commutative rings]]. But in fact there are yet more operations on [[vector bundles]]. Namely instead of just taking plain [[tensor products]], we may also form skew-symmetrized tensor products [[exterior products]]. Since these are traditionally denoted $\wedge^n(-)$, one says that $K(-)$ inherits the structure of a \emph{[[Lambda-ring]]}. A clever combination of such exterior powers makes them be an abelian group homomorphism, these are the \emph{[[Adams operations]]} on topological K-theory. We observe their basic properties, which make them most useful for characterizing topological spaces. As a first example we see that they immediately allow to prove something as fundamental to [[topology]] as the [[topological invariance of dimension]].

An even more interesting application of the [[Adams operations]] is that they allow to characterite the [[continuous functions]] of [[Hopf invariant one]]. This is the next topic.

\hypertarget{references_10}{}\subsubsection*{{References}}\label{references_10}

\begin{itemize}%
\item \hyperlink{Wirthmuller12}{Wirthmuller 12, section 11}


\item \hyperlink{Hatcher}{Hatcher, section 2.3}


\item \hyperlink{AguilarGitlerPrieto02}{Aguilar-Gitler-Prieto 02, section 10}



\end{itemize}
\hypertarget{hopf_invariant_one}{}\subsection*{{\textbf{Hopf invariant one}}}\label{hopf_invariant_one}

\hypertarget{idea_12}{}\subsubsection*{{Idea}}\label{idea_12}

A crown jewel of the application of [[topological K-theory]], is, via the [[Adams operations]], a remarkably quick proof of a deep theorem whose original solution via another tool (the [[Adams spectral sequence]]) marks the beginning of modern [[homotopy theory]]: the [[Hopf invariant one]] problem.

A remarkable range of ``exceptional'' structures in mathematics is obtained by continuing the step from the [[real numbers]] to the [[complex numbers]] further to find the [[quaternions]] and then the [[octonions]]. Using the fact that all these algebras are real [[normed division algebras]] they induce [[fibrations]] between [[spheres]]: the \emph{[[Hopf fibrations]]}.

These Hopf fibrations happen to take value +1 in a certain invariant, called the \emph{[[Hopf invariant]]}. The [[Hopf invariant one]] theorem says that they there is in fact no other fibration with this property. In particular this implies, remarkably, that the real numbers, complex numbers, quaternions and octonions are the only real [[normed division algebras]] that exist.

\hypertarget{references_11}{}\subsubsection*{{References}}\label{references_11}

\begin{itemize}%
\item \hyperlink{Hatcher}{Hatcher, section 2.3}


\item \hyperlink{Wirthmuller12}{Wirthmuller 12, section 12}


\item Marcelo Aguilar, [[Samuel Gitler]], Carlos Prieto, section 10.6 of \emph{Algebraic topology from a homotopical viewpoint}, Springer (2002) (\href{http://tocs.ulb.tu-darmstadt.de/106999419.pdf}{toc pdf})



\end{itemize}
\hypertarget{equivariant_ktheory}{}\subsection*{{\textbf{Equivariant K-theory}}}\label{equivariant_ktheory}

\hypertarget{idea_13}{}\subsubsection*{{Idea}}\label{idea_13}

We saw how [[topological K-theory]] arises from pairing [[topology]] with [[linear algebra]]. There are variaous further refinements of [[topological K-theory]] obtained by refining these ingredients. In particular, if instead of plain [[vector spaces]] we start by considering vector spaces equipped with linear [[group]] [[actions]], hence considering [[linear representations]], then the resulting topological K-theory is what is called \emph{[[equivariant K-theory]]}. This now pairs [[topology]] with [[representation theory]]. For instance this may now be evaluated on [[topological spaces]] which are themselves [[action|acted]] on by groups, and the resulting equivariant K-theory groups encode interesting information for instance about the [[fixed point]] loci of these group actions.

\hypertarget{references_12}{}\subsubsection*{{References}}\label{references_12}

\begin{itemize}%
\item \hyperlink{Wirthmuller12}{Wirthmuller 12, section 14}

\end{itemize}
\hypertarget{TheSpectrumKU}{}\subsection*{{$(\star)$ \textbf{The K-theory spectrum}}}\label{TheSpectrumKU}

This section goes beyond an introduction, in that it requires more tools from [[algebraic topology]]. We include it for completeness and as outlook.

\hypertarget{idea_14}{}\subsubsection*{{Idea}}\label{idea_14}

While we constructed [[classifying spaces]] originally for plain [[vector bundles]], one finds that with just slight modification these also yield classifying space for [[virtual vector bundles]], hence for [[topological K-theory]]. The fact that [[topological K-theory]] constitutes a [[generalized (Eilenberg-Steenrod) cohomology]] theory with [[long exact sequences in cohomology]] now implies that also these classifying spaces arrange in certain sequences. Suchsequences are called \emph{[[sequential spectra]]} or just \emph{[[spectra]]}, for short, and the spectrum that represents topoligcal K-theory of complex vector bundles is called \emph{[[KU]]}.

The main point in its construction is the incarnation of [[Bott periodicity]] in terms of the [[classifying spaces]]. This yields an alternative proof of Bott periodicity, one that makes use of basics of the [[classical model structure on topological spaces]].

The relevant background for this section is laid out in

\begin{itemize}%
\item \emph{[[Introduction to Stable homotopy theory -- P|Introduction to stable homotopy theory -- Classical homotopy theory]]}


\item \emph{[[Introduction to Stable homotopy theory -- 1-1|Introduction to stable homotopy theory -- Sequential Spectra]]}



\end{itemize}
The main point is that in terms of the [[classifying spaces]] (as \hyperlink{ClassifyingSpaces}{above})

$B U \times \mathbb{Z}$ and $U$ for $K^0$ and for $K^1$

the phenomenon of [[Bott periodicity]] (as \hyperlink{BottPeriodicity}{above}) is represented by the existence of [[weak homotopy equivalences]]

\begin{displaymath}
(B U) \times \mathbb{Z} \overset{\simeq_{whe}}{\longrightarrow} \Omega U
\end{displaymath}
and

\begin{displaymath}
U \overset{\simeq_{whe}}{\longrightarrow} \Omega((B U) \times \mathbb{Z})
\end{displaymath}
The last one is immediate, but the first one requires work, see \hyperlink{AguilarGitlerPrieto02}{Aguilar-Gitler-Prieto 02}.

Together these show that the sequence of spaces [[KU]] with

\begin{displaymath}
KU_n \coloneqq
  \left\{
    \itexarray{
      (B U) \times \mathbb{Z} & \vert n\;\text{even}
      \\
      U & \vert n \; \text{odd}
    }
  \right.
\end{displaymath}
and equipped with the above comparison maps forms a [[sequential spectrum]] which is in fact an [[Omega-spectrum]].

Under the [[Brown representability theorem]], this spectrum represents topological K-theory $K^\bullet(-)$ as a [[generalized (Eilenberg-Steenrod) cohomology]] theory, as \hyperlink{GeneralizedCohomology}{above}.

\hypertarget{references_13}{}\subsubsection*{{References}}\label{references_13}

\begin{itemize}%
\item \hyperlink{AguilarGitlerPrieto02}{Aguilar-Gitler-Prieto 02, appendix B.2}

\end{itemize}
\hypertarget{references_14}{}\subsection*{{References}}\label{references_14}

\begin{itemize}%
\item [[Klaus Wirthmüller]], \emph{Vector bundles and K-theory}, 2012 (\href{ftp://www.mathematik.uni-kl.de/pub/scripts/wirthm/Top/vbkt_skript.pdf}{pdf})


\item [[Allen Hatcher]], \emph{Vector bundles and K-theory} (\href{https://www.math.cornell.edu/~hatcher/VBKT/VBpage.html}{web})


\item Marcelo Aguilar, [[Samuel Gitler]], Carlos Prieto, \emph{Algebraic topology from a homotopical viewpoint}, Springer (2002) (\href{http://tocs.ulb.tu-darmstadt.de/106999419.pdf}{toc pdf})



\end{itemize}


\end{document}