topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
(see also Chern-Weil theory, parameterized homotopy theory)
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A topological vector bundle is a vector bundle in the context of topology: a continuously varying collection of vector space over a given topological space.
For more survey and motivation see at vector bundle. Here we discuss the details of the general concept in topology. See also differentiable vector bundle and algebraic vector bundle.
We first give the more abstract definiton in terms of slice categories (def. 1 below) and then unwind this to the traditional definition (def 2 below).
In the following
$k$ is either the topological field
$k = \mathbb{R}$ of real numbers
or $k = \mathbb{C}$ of complex numbers
equipped with the Euclidean metric topology.
(topological vector bundles in terms of slice categories)
Write Top for the category of topological spaces, and for $X \in Top$ a space, write $Top_{/X}$ for its slice category over $X$. The Cartesian product in $Top_{/X}$ is the fiber product over $X$ in $Top$, which we denote by $(-) \times_X (-)$. Observe $[X \times k \to X] \in Top_{/X}$ is canonically a field internal to $Top_{/X}$
A topological vector bundle over $X \in Top$ is
an object $[E \overset{\pi}{\to} X]$ of $Top_{/X}$
with the structure of an $X \times k$-vector space-object interal to $Top_{/X}$, hence
a morphism $(-)+(-) \;\colon\; E \times_X E \to E$
a morphism $(-)\cdot(-) \;\colon\; k \times E \to E$
which satisfy the vector space axioms
such that
(local triviality) there exists
an open cover $\{U_i \subset X\}_{i \in I}$, regarded via the disjoint union space $U \coloneqq \underset{i \in I}{\sqcup} U_i$ of the patches as the object $[U \to X] \in Top_{/X}$,
an isomorphism of vector space objects in $Top_{/U}$
for some $n \in \mathbb{N}$, where $[U \times k^n \overset{pr_1}{\to} X]$ and $[U \times_X E \overset{pr_1}{\to} U]$ are regarded as a vector space objects in $Top_{U}$ in the canonical way.
It follows that $n \in \mathbb{N}$ is constant on connected components. Often this is required to be constant on all of $X$ and then called the rank of the vector bundle.
A homomorphism of topological vector bundles is simple a homomorphism of vector space objects in $Top_{/X}$.
Topological vector bundles over $X$ and homomorphisms between them constitutes a category, usually denoted Vect(X).
Notice that viewed in Top, the last condition means that there is a diagram of the form
where the square is a pullback square and the homeomorphism in the top left is fiber-wise linear.
If we say this yet more explicitly, it yields the definition as found in the traditional textbooks:
(topological vector bundle in components)
Let $X$ be a topological space. Then a topological vector bundle over $X$ is
a topological space $E$;
a continuous function $E \overset{\pi}{\to} X$
for each $x \in X$ the stucture of a finite-dimensional $k$-vector space on the pre-image
such that this is locally trivial in that there exists
an open cover $\{U_i \subset X\}_{i \in I}$,
for each $i \in I$ an $n_i \in \mathbb{N}$ and a homeomorphism
from the product topological space of $U_i$ with the real numbers (equipped with their Euclidean space metric topology) to the restriction of $E$ over $U_i$, such that
$\phi_i$ is a map over $U_i$ in that $\pi \circ \phi_i = pr_1$, hence in that $\phi_i(\{x\} \times k^{n_i}) \subset \pi^{-1}(\{x\})$
$\phi_i$ is a linear map in each fiber in that
Often, but not always, it is required that the numbers $n_i$ are all equal to some $n \in \mathbb{N}$, for all $i \in I$, hence that the vector space fibers all have the same dimension. In this case one says that the vector bundle has rank $n$. (Over a connected topological space this is automatic, but the fiber dimension may be distinct over distinct connected components.)
For $[E_1 \overset{\pi_1}{\to} X]$ and $[E_2 \overset{\phi_2}{\to} X]$ two topological vector bundles over the same base space, then a homomorphism between them is
such that
$f$ respects the projections: $\pi_2 \circ f = \pi_1$;
for each $x \in X$ we have that $f|_x \colon (E_1)_x \to (E_2)_x$ is a linear map.
(category of topological vector bundles)
For $X$ a topological space, there is the category whose
objects are the topological vector bundles over $X$,
morphisms are the topological vector bundle homomorphisms
according to def. 2. This category usually denoted Vect(X).
We write $Vect(X)_{/\sim}$ for the set of isomorphism classes of this category.
(some terminology)
Let $k$ and $n$ be as in def. 2. Then:
For $k = \mathbb{R}$ one speaks of real vector bundles.
For $k = \mathbb{C}$ one speaks of complex vector bundles.
For $n = 1$ one speaks of line bundles, in particular of real line bundles and of complex line bundles.
(any two topologial vector bundles have local trivialization over a common open cover)
Let $[E_1 \to X]$ and $[E_2 \to X]$ be two topological vector bundles (def. 2). Then there always exists an open cover $\{U_i \subset X\}_{i \in I}$ such that both bundles have a local trivialization over this cover.
By definition we may find two possibly different open covers $\{U^1_{i_1} \subset X\}_{{i_1} \in I_1}$ and $\{U^2_{i_2} \subset X\}_{i_2 \in I_2}$ with local tivializations $\{ U^1_{i_1} \underoverset{\simeq}{\phi^1_{i_1}}{\to} E_1\vert_{U^1_{i_1}} \}_{i_1 \in I_1}$ and $\{ U^2_{i_2} \underoverset{\simeq}{\phi^2_{i_2}}{\to} E_2\vert_{U^2_{i_2}} \}_{i_2 \in I_2}$.
The joint refinement of these two covers is the open cover
The original local trivializations restrict to local trivializations on this finer cover
and
(trivial topological vector bundle and (local) trivialization)
For $X$ any topological space, and $n \in \mathbb{N}$, we have that the product topological space
canonically becomes a topological vector bundle over $X$ (def. 2). This is called the trivial vector bundle of rank $n$ over $X$.
Given any topological vector bundle $E \to X$, then a choice of isomorphism to a trivial bundle (if it exists)
is called a trivialization of $E$. A vector bundle for which a trivialization exists is called trivializable.
Accordingly, the local triviality condition in the definition of topological vector bundles (def. 2) says that they are locally isomorphic to the trivial vector bundle. One also says that the data consisting of an open cover $\{U_i \subset X\}_{i \in I}$ and the homeomorphisms
as in def. 2 constitute a local trivialization of $E$.
(section of a topological vector bundle)
Let $E \overset{\pi}{\to} X$ be a topological vector bundle (def. 2).
Then a homomorphism of vector bundles from the trivial line bundle (example 1, remark 2)
is, by fiberwise linearity, equivalently a continuous function
such that $\pi \circ \sigma = id_X$;
Such functions $\sigma \colon X \to E$ are called sections (or cross-sections) of the vector bundle $E$.
(topological vector sub-bundle)
Given a topological vector bundel $E \to X$ (def. 2), then a sub-bundle is a homomorphism of topological vector bundles over $X$
such that for each point $x \in X$ this is a linear embedding of fibers
(This is a monomorphism in the category $Vect(X)$ of topological vector bundles over $X$.)
We discuss how topological vector bundles are equivalently given by cocycles in Cech cohomology constituted by their transition functions.
(continuous functions on open subsets with values in the general linear group)
For $n \in \mathbb{N}$, regard the general linear group $GL(n,k)$ as a topological group with its standard topology, given as the Euclidean subspace topology via $GL(n,k) \subset Mat_{n \times n}(k) \simeq k^{(n^2)}$ or as the or as the subspace topology $GL(n,k) \subset Maps(k^n, k^n)$ of the compact-open topology on the mapping space. (That these topologies coincide is the statement of this prop..
For $X$ a topological space, we write
for the assignment that sends an open subset $U \subset X$ to the set of continuous functions $g \colon U \to GL(n,k)$ (for $U \subset X$ equipped with its subspace topology), regarded as a group via the pointwise group operation in $GL(n,k)$:
Moreover, for $U' \subset U \subset X$ an inclusion of open subsets, and for $g \in \underline{GL(n,k)}(U)$, we write
for the restriction of the continuous function from $U$ to $U'$.
In the language of category theory the assignment $\underline{GL(n,k)}$ from def. 3 of continuous functions to open subsets and the restriction operations between these is called a sheaf of groups on the site of open subsets of $X$.
Given a topological vector bundle $E \to X$ as in def. 2 and a choice of local trivialization $\{\phi_i \colon U_i \times k^n \overset{\simeq}{\to} E|_{U_i}\}$ (example 1) there are for $i,j \in I$ induced continuous functions
to the general linear group (as in def. 3) given by composing the local trivialization isomorphisms:
These are called the transition functions for the given local trivialization.
These functions satisfy a special property:
Let $X$ be a topological space.
A normalized Cech cocycle of degree 1 with coefficients in $\underline{GL(n,k)}$ (def. 3) is
an open cover $\{U_i \subset X\}_{i \in I}$
for all $i,j \in I$ a continuous function $g_{i j} \colon U_i \cap U_j \to GL(n,k)$ as in def. 3
such that
(normalization) $\underset{i \in I}{\forall}\left( g_{i i} = const_1 \right)$ (the constant function on the neutral element in $GL(n,k)$),
(cocycle condition) $\underset{i,j \in I}{\forall}\left( g_{j k} \cdot g_{i j} = g_{i k}\;\;\text{on}\, U_i \cap U_j \cap U_k\right)$.
Write
for the set of all such cocycles for given $n \in \mathbb{N}$ and write
for the disjoint union of all these cocycles as $n$ varies.
(transition functions are Cech cocycles)
Let $E \to X$ be a topological vector bundle (def. 2) and let $\{U_i \subset X\}_{i \in I}$, $\{\phi_i \colon U_i \times k^n \overset{\simeq}{\to} E|_{U_{i}}\}_{i \in I}$ be a local trivialization (example 1).
Then the set of induced transition functions $\{g_{i j} \colon U_i \cap U_j \to GL(n)\}$ according to def. 4 is a normalized Cech cocycle on $X$ with coefficients in $\underline{GL(k)}$, according to def. 5.
This is immediate from the definition:
and
Conversely:
(topological vector bundle constructed from a Cech cocycle)
Let $X$ be a topological space and let $c \in C^1(X, \underline{GL(k)})$ a Cech cocycle on $X$ according to def. 5, with open cover $\{U_i \subset X\}_{i \in I}$ and component functions $\{g_{i j}\}_{i,j \in I}$.
This induces an equivalence relation on the product topological space
(of the disjoint union space of the patches $U_i \subset X$ regarded as topological subspaces with the product space $k^n = \underset{\{1,\cdots, n\}}{\prod} k$) given by
Write
for the resulting quotient topological space. This comes with the evident projection
which is a continuous function (by the universal property of the quotient topological space construction, since the corresponding continuous function on the un-quotientd disjoint union space respects the equivalence relation). Moreover, each fiber of this map is identified with $k^n$, and hence canonicaly carries the structure of a vector space.
Finally, the quotient co-projections constitute a local trivialization of this vector bundle over the given open cover.
Therefore $E(c) \to X$ is a topological vector bundle (def. 2). We say it is the topological vector bundle glued from the transition functions.
(bundle glued from Cech cocycle is a coequalizer)
Stated more category theoretically, the constructure of a topological vector bundle from Cech cocycle data in example 5 is a universal construction in topological spaces, namely the coequalizer of the two morphisms
in the category of vector space objects in the slice category $Top/X$. Here the restriction of $i$ to the coproduct summands is induced by inclusion:
and the restriction of $\mu$ to the coproduct summands is via the action of the transition functions:
In fact, extracting transition functions from a vector bundle by def. 4 and constructing a vector bundle from Cech coycle data as above are operations that are inverse to each other, up to isomorphism.
(topological vector bundle reconstructed from its transition functions)
Let $[E \overset{\pi}{\to} X]$ be a topological vector bundle (def. 2), let $\{U_i \subset X\}_{i \in I}$ be an open cover of the base space, and let $\left\{ U_i \times k^n \underoverset{\simeq}{\phi_i}{\longrightarrow} E|_{U_i} \right\}_{i \in I}$ be a local trivialization.
Write
for the corresponding transition functions (def. 4). Then there is an isomorphism of vector bundles over $X$
from the vector bundle glued from the transition functions according to def. 4 to the original bundle $E$, whose components are the original local trivialization isomorphisms.
By the universal property of the disjoint union space (coproduct in Top), continuous functions out of them are equivalently sets of continuous functions out of every summand space. Hence the set of local trivializations $\{U_i \times k^n \underoverset{\simeq}{\phi_i}{\to} E|_{U_i} \subset E\}_{i \in I}$ may be collected into a single continuous function
By construction this function respects the equivalence relation on the disjoint union space given by the transition functions, in that for each $x \in U_i \cap U_j$ we have
By the universal property of the quotient space coprojection this means that $(\phi_i)_{i \in I}$ uniquely extends to a continuous function on the quotient space such that the following diagram commutes
It is clear that this continuous function is a bijection. Hence to show that it is a homeomorphism, it is now sufficient to show that this is an open map (by this prop.).
So let $O$ be an subset in the quotient space which is open. By definition of the quotient topology this means equivalently that its restriction $O_i$ to $U_i \times k^n$ is open for each $i \in I$. Since the $\phi_i$ are homeomorphsms, it follows that the images $\phi_i(O_i) \subset E\vert_{U_ i}$ are open. By the nature of the subspace topology, this means that these images are open also in $E$. Therefore also the union $f(O) = \underset{i \in I}{\cup} \phi_i(O_i)$ is open.
(coboundary between Cech cocycles )
Let $X$ be a topological space and let $c_1, c_2 \in C^1(X, \underline{GL(k)})$ be two Cech cocycles (def. 5), given by
$\{U_i \subset X\}_{i \in I}$ and $\{U'_i \subset X\}_{i' \in I'}$ two open covers,
$\{g_{i j} \colon U_i \cap U_j \to GL(k,n_)\}_{i,j \in I}$ and $\{g_'_{i',j'} \colon U'_{i'} \cap U'_{j'} \to GL(n',k) \}_{i', j'}$ the corrsponding component functions.
Then a coboundary between these two cocycles is
the condition that $n = n'$,
an open cover $\{V_\alpha \subset X\}_{\alpha \in A}$,
functions $\phi \colon A \to I$ and $\phi' \colon A \to J$ such that $\underset{\alpha \in A}{\forall}\left( \left( V_\alpha \subset U_{\phi(\alpha)} \right) \,\text{and}\, \left( V_\alpha \subset U'_{\phi'(\alpha)} \right) \right)$
a set $\{ \kappa_\alpha \colon V_\alpha \to GL(n,k) \}$ of continuous functions as in def. 5
such that
$\underset{ \alpha, \beta \in A }{\forall} \left( \kappa_{\beta} \cdot g_{\phi(\alpha) \phi(\beta)} = g'_{\phi'(\alpha) \phi'(\beta)} \cdot \kappa_{\alpha} \,\, \text{on}\,\, V_\alpha \cap V_\beta \right)$,
hence such that the following diagrams of linear maps commute for all $\alpha, \beta \in A$ and $x \in V_{\alpha} \cap V_\beta$:
Say that two Cech cocycles are cohomologous if there exists a coboundary between them.
(refinement of a Cech cocycle is a coboundary)
Let $X$ be a topological space and let $c \in C^1(X, \underline{GL(k)})$ be a Cech cocycle as in def. 5, with respect to some open cover $\{U_i \subset X\}_{i \in I}$ given by component functions $\{g_{i j}\}_{i,j \in I}$.
Then for $\{V_\alpha \subset X\}_{\alpha \in A}$ a refinement of the given open cover, hence an open cover such that there exists a function $\phi \colon A \to I$ with $\underset{\alpha \in A}{\forall}\left( V\alpha \subset U_{\phi(\alpha)} \right)$, then
are the components of a Cech cocycle $c'$ which is cohomologous to $c$.
(isomorphism of topological vector bundles induces Cech coboundary between their transition functions)
Let $X$ be a topological space, and let $c_1, c_2 \in C^1(X, \underline{GL(n,k)} )$ be two Cech cocycles as in def. 5.
Every isomorphism of topological vector bundles
between the vector bundles glued from these cocycles according to def. 5 induces a coboundary between the two cocycles,
according to def. 6.
By example 6 we may assume without restriction that the two Cech cocycles are defined with respect to the same open cover $\{U_i \subset X\}_{i \in I}$ (for if they are not, then both are cohomologous to cocycles on a joint refinement of the original covers and we may argue with these).
Accordingly, by example 5 the two bundles $E(c_1)$ and $E(c_2)$ both have local trivializations of the form
and
over this cover. Consider then for $i \in I$ the function
hence the unique function making the following diagram commute:
This induces for all $i,j \in I$ the following composite commuting diagram
By construction, the two horizonal composites of this diagram are pointwise given by the components $g^1_{i j}$ and $g^2_{i j}$of the cocycles $c_1$ and $c_2$, respectively. Hence the commutativity of this diagram is equivalently the commutativity of these diagrams:
for all $i,j \in I$ and $x \in U_i \cap U_j$. By def. 6 this exhibits the required coboundary.
Let $X$ be a topological space. The relation $\sim$ on Cech cocycles of being cohomologous (def. 6) is an equivalence relation on the set $C^1( X, \underline{GL(k)} )$ of Cech cocycles (def. 5).
Write
for the resulting set of equivalence classes. This is called the Cech cohomology of $X$ in degree 1 with coefficients in $\underline{GL(k)}$.
(degree-1 Cech cohomology computes topological vector bundles)
Let $X$ be a topological space.
The construction of gluing a topological vector bundle from a Cech cocycle (example 5) constitutes a bijection between the degree-1 Cech cohomology of $X$ with coefficients in $GL(n,k)$ (def. 7) and the set of isomorphism classes of topological vector bundles on $X$ (def. 2, remark 1):
First we need to see that the function is well defined, hence that if cocycles $c_1, c_2 \in C^1(X,\underline{GL(k)})$ are related by a coboundary, $c_1 \sim c_2$ (def. 6), then the vector bundles $E(c_1)$ and $E(c_2)$ are related by an isomorphism.
Let $\{V_\alpha \subset X\}_{\alpha \in A}$ be the open cover with respect to which the coboundary $\{\kappa_\alpha \colon V_\alpha \to GL(n,k)\}_{\alpha}$ is defined, with refining functions $\phi \colon A \to I$ and $\phi' \colon A \to I'$. Let $\left\{ \mathbb{R}^n \underoverset{\simeq}{\psi_{\phi(\alpha)}\vert_{V_\alpha} }{\to} E(c_1)\vert_{V_\alpha} \right\}_{\alpha \in A}$ and $\left\{ V_\alpha \times k^n \underoverset{\simeq}{\psi'_{\phi'(\alpha)}\vert_{V_\alpha} }{\to} E(c_2)\vert_{V_\alpha} \right\}_{\alpha \in A}$ be the corresponding restrictions of the canonical local trivilizations of the two glued bundles.
For $\alpha \in A$ define
Observe that for $\alpha, \beta \in A$ and $x \in V_\alpha \cap V_\beta$ the coboundary condition implies that
because in the diagram
the vertical morphism in the middle on the right is unique, by the fact that all other morphisms in the diagram on the right are invertible.
Therefore there is a unique vector bundle homomorphism
given for all $\alpha \in A$ by $f\vert_{V_\alpha} = f_\alpha$. Similarly there is a unique vector bundle homomorphism
given for all $\alpha \in A$ by $f^{-1}\vert_{V_\alpha} = f^{-1}_\alpha$. Hence this is the required vector bundle isomorphism.
Finally to see that the function from Cech cohomology classes to isomorphism classes of vector bundles thus defined is a bijection:
By prop. 1 the function is surjective, and by prop. 2 it is injective.
$\,$
For $n \in \mathbb{N}$ then the projective space $k P^n$ carries the tautological line bundle whose fiber over the $k$-line $[v] \in k P^n$ is that $k$-line.
For details see there
(cylinder)
Let
be the circle with its Euclidean subspace metric topology.
Then the trivial real line bundle on the circle is the the cylinder
Let
be the circle with its Euclidean subspace metric topology. Consider the open cover
with
for any $\epsilon \in (0,2\pi/6)$.
Define a Cech cohomology cocycle (remark \ref{CechCoycleCondition}) on this cover by
Since there are no non-trivial triple intersections, all cocycle conditions are evidently satisfied.
Accordingly by example 5 these functions define a vector bundle. This is the Moebius strip
(basic complex line bundle on the 2-sphere)
Let
be the 2-sphere with its Euclidean subspace metric topology. Let
be the two complements of antipodal points
Define continuous functions
Since there are no non-trivial triple intersections, the only cocycle condition is
which is clearly satisfied.
The complex line bundle this defined is called the basic complex line bundle on the 2-sphere.
With the 2-sphere identified with the complex projective space $\mathbb{C} P^1$ (the Riemann sphere), the basic complex line bundle is the tautological line bundle (example 7) on $\mathbb{C}P^1$.
Generally, for $n \in \mathbb{N}$, $n \geq 1$ then the n-sphere $S^n$ may be covered by two open hemispheres intersecting in an equator of the form $S^{n-1} \times (-\epsilon, \epsilon)$. A vector bundle is then defined by specifying a single function
This is called the clutching construction of vector bundles over n-spheres.
For $X$ the topological space underlyithe ng a differentiable manifold then its tangent bundle $T X$ is a real vector bundle over $X$ whose rank is the dimension of $X$.
For $i X \hookrightarrow Y$ an embedding of differentiable manifolds, then the normal bundle
is the real vector bundle over $Y$ whose fiber at $x \in X$ is the quotient vector space $(N_i X)_x \coloneqq T_{i(x)} Y / T_x X$.
(homomorphism of vector bundles is isomorphism as soon as it is a fiberwise isomorphism)
Let $[E_1 \to X]$ and $[E_2 \to X]$ be two topological vector bundles (def. 2).
If a homomorphism of vector bundles $f \colon E_1 \longrightarrow E_2$ restricts on the fiber over each point to a linear isomorphism
then $f$ is already an isomorphism of vector bundles.
It is clear that $f$ has an inverse function of underlying sets $f^{-1} \colon E_2 \to _E_1$ which is a function over $X$: Over each $x \in X$ it it the linear inverse $(f\vert_x)^{-1} \colon (E_2)_x \to (E_1)_x$.
What we need to show is that this is a continuous function.
By remark 3 we find an open cover $\{U_i \subset X\}_{i \in I}$ over which both bundles have a local trivialization.
Restricted to any patch $i \in I$ of this cover, the homomorphism $f|_{U_i}$ induces a homomorphism of trivial vector bundles
Also the $f_i$ are fiberwise invertible, hence are continuous bijections. We claim that these are homeomorphisms, hence that their inverse functions $(f_i)^{-1}$ are also continuous.
To this end we re-write the $f_i$ a little. First observe that by the universal property of the product topological space and since they fix the base space $U_i$, the $f_i$ are equivalently given by a continuous function
as
Moreover since $k^n$ is locally compact (as every metric space), the mapping space adjunction says (by this prop.) that there is a continuous function
(with $Maps(k^n,k^n)$ the set of continuous functions $k^n \to k^n$ equipped with the compact-open topology) which factors $h_i$ via the evaluation map as
By assumption of fiberwise linearity the functions $\tilde h_i$ in fact take values in the general linear group
and this inclusion is a homeomorphism onto its image (by this prop.).
Since passing to inverse matrices
is a rational function on its domain $GL(n,k) \subset Mat_{n \times n}(k) \simeq k^{(n^2)}$ inside Euclidean space and since rational functions are continuous on their domain of definition, it follows that the inverse of $f_i$
is a continuous function.
To conclude that also $f^{-1}$ is a continuous function we make use prop. 1 to find an isomorphism between $E_2$ and a quotient topological space of the form
Hence $f^{-1}$ is equivalently a function on this quotient space, and we need to show that as such it is continuous.
By the universal property of the disjoint union space (the coproduct in Top) the set of continuous functions
corresponds to a single continuous function of the form
These functions respect the equivalence relation, since for each $x \in U_i \cap U_j$ we have
Therefore by the universal property of the quotient topological space $E_2$, these functions extend to a unique continuous function $E_2 \to E_1$ such that the following diagram commutes:
This unique function is clearly $f^{-1}$ (by pointwise inspection) and therefore $f^{-1}$ is continuous.
(fiberwise linearly independent sections trivialize a vector bundle)
If a topological vector bundle $E \to X$ of rank $n$ admits $n$ sections (example 2)
that are linearly independent at each point $x \in X$, then $E$ is trivializable (example 1). In fact, with the sections regarded as vector bundle homomorphisms out of the trivial vector bundle of rank $n$ (according to example 2), these sections are the trivialization
This is because their linear independence at each point means precisely that this morphism of vector bundles is a fiber-wise linear isomorphsm and therefore an isomorphism of vector bundles by lemma 1.
We discuss properties of the direct sum of vector bundles for topological vector bundles.
(sub-bundles over paracompact spaces are direct summands)
Let
$X$ be a paracompact Hausdorff space,
$E \to X$ a topological vector bundle (def. 2).
Then every topological vector sub-bundle $E_1 \hookrightarrow E$ (example 3) is a direct vector bundle summand, in that there exists another vector sub-bundle $E_2 \hookrightarrow E$ (example 3) such that their direct sum of vector bundles is $E$:
Since $X$ is assumed to be paracompact Hausdorff, there exists an inner product on vector bundles
(by this prop.). This defines at each $x \in X$ the orthogonal complement $(E'_x)^\perp \subset E_x$ of $E'_x \hookrightarrow E$. The subspace of these orthogonal complements is readily checked to be a topological vector bundle $(E')^\perp \to X$. Hence by construction we have
(vector bundles over a compact Hausdorff space are direct summands of a trivial vector bundle)
Let
$X$ be a compact Hausdorff space;
$E \to X$ a topological vector bundle (def. 2).
Then there exists another topological vector bundle $\tilde E \to X$ such that the direct sum of vector bundles of the two is isomorphic to a trivial vector bundle $X \times k^n$:
Let $\{U_i \subset X\}_{i \in I}$ be an open cover of $X$ over which $E \to X$ has a local trivialization
By compactness of $X$, there is a finite sub-cover, hence a finite set $J \subset I$ such tat
is still an open cover over which $E$ trivializes.
Since paracompact Hausdorff spaces equivalently admit subordinate partitions of unity there exists a partition of unity
with support $supp(f_i) \subset U_i$. Hence the functions
extend by 0 to vector bundle homomorphism of the form
The finite pointwise direct sum of these yields a vector bundle homomorphism of the form
Observe that, as opposed to the single $f_i \cdot \phi^{-1}_i$, this is a fiber-wise injective, because at each point at least one of the $f_i$ is non-vanishing. Hence this is an injection of $E$ into a trivial vector bundle.
With this the statement follows by prop. 4.
Prop. 5 is key in the analysis of topological K-theory groups on compact Hausdorff spaces. See there for more.
We discuss that every concordance of topological vector bundles over a paracompact topological space makes the restriction of the vector bundle over the endpoints of the interval isomorphic (prop. 6 below). In particular this implies tht the pullbacks of vector bundles along two homotopic continuous functions are isomorphic (corollary 1 below). The proof below follows Hatcher, theorem 1.6.
For $X$ a topological space write $X \times I$ for the product topological space with the closed interval $[0,1]$ equipped with its Euclidean metric topology.
Write
for the two continuous projections out of the product space.
For $X$ a topological space, then a vector bundle $E \to X \times [0,1]$ is trivializable (example 1) if its restrictions to $X \times [0,1/2]$ and to $X \times [1/2,1]$ are trivializable.
For $X$ a topological space, then for every topological vector bundle $E \to X \times I$ there exists an open cover $\{U_i \subset X\}_{i \in I}$ of $X$ such that the vector bundle trivializes over $U_i \times [0,1] \subset X \times [0,1]$, for each $i \in I$.
By local trvializability of the vector bundle, there exists an open cover $\{V_j \subset X \times I\}_{j \in J}$ over which the bundle trivializes. For each point $x \in X$ this induces a cover of $\{x\} \times [0,1]$. This is a compact topological space (for instance by the Heine-Borel theorem) and hence there exists a finite subset $J_x \subset I$ such that $\{V_i \subset X\}_{i \in J_x}$ still covers $\{x\} \times [0,1]$.
By finiteness of $J_x$, the intersection
is an open neighbourhood of $x$ in $X$. Moreover
is an open cover of $[0,1]$ such that the given vector bundle trivializes over each element of $\{V_x \times p_{[0,1]}(U_i)\}_{i \in J_x}$.
By the nature of the Euclidean metric topology each open subset of $[0,1]$ is a union of intervals. So we may pass to a refinement of this cover of $[0,1]$ such that each element is a single interval. Again by compactness of $[0,1]$, this refinement has a finite subcover
each element of which is an interval. Since this is a finite cover, we may find numbers $\{0 = t_0 \lt t_1 \lt t_2 \lt \cdots \lt t_{n_x} = 1\}$ such that
is a cover of $[0,1]$, and such that the given vector bundle still trivializes over $V_x \times [t_k, t_{k+1}]$ for all $0 \leq k \lt n_x$.
By lemma 2 this implies that the vector bundle in fact trivializes over $U_x \times [0,1]$.
Applying this procedure for all points $x \in X$ yields a cover
with the required property.
(concordance of topological vector bundles)
Let $X$ be a paracompact Hausdorff space. If $E \to X \times [0,1]$ is a vector bundle, then the two endpoint-restrictions
are isomorphic vector bundles over $X$.
By lemma 3 there exists an open cover $\{U_i \subset X\}_{i \in I}$ of $X$ such that the vector bundle $E$ trivializes over $U_i \times [0,1]$ for each $i \in I$. By this lemma there exists a countable cover
such that each element is a disjoint union of open subsets that each are contained in one of the $U_i$. This means that the vector bundle $E$ still trivializes over $V_n \times [0,1]$, for each $n \in \mathbb{N}$.
Moreover, since paracompact Hausdorff spaces equivalently admit subordinate partitions of unity, there exists a partition of unity $\left\{f_n \colon X \to [0,1] \right\}_{n \in \mathbb{N}}$ subordinate to this countable cover.
For $n \in \mathbb{N}$ define
(so $\psi_0 = 0$ and by local finiteness there is for each $x \in X$ an $n_x$ such that $\psi_{n \gt n_x} = 1$.)
Now write
for the graph of the function $\psi_n$ equipped with its subspace topology, and write
for the restriction of $E$ to that subspace
Observe that the projection functions
are continuous functions: By the nature of the product topology and the subspace topology it is sufficient to check for $U \subset X$ and $V \subset \mathbb{R}$ open subsets, that every point $(x,c)$ in the preimage $p_n^{-1}( U \times V ) \subset X \times [0,1]$ is contained in an open subset of the form $U_x \times V_x \subset X \times [0,1]$ such that every point of $X_{n+1}$ that is also in $U_x \times V_x$ is still mapped to $U \times V$. Such an open subset is $\left( U \cap \psi_n^{-1}(V) \right) \times [0,1]$.
Also observe that the composites
make each $E_n$ a vector bundle over $X$: To see local trivializability over $X$ choose a local trivialization of $E$ over some open cover $\{U_i \subset X\}_{i \in I}$ and observe that then $E_n$ is trivial over the fiber product$X_n \times_X U_n$ and hence over $U_n$.
Now by the pullback definition of the $E_n$, the pasting law says that for each $n \in \mathbb{N}$ we have a pullback square of vector bundles of the form
By the nature of pullbacks, the top horizontal function $h_n$ in this diagram is on each fiber a linear isomorphism. Therefore prop. 1 implies that each $h_n$ is in fact an isomorphism of vector bundles over $X$
By local finiteness, each point $x \in X$ has a neighbourhood $U_x$ such that only a finite number $n_x$ of these $h_n$ are non-trivial, and so it makes sense to consider the infinite composition
understood to be on each $U_x$ the finite composite
Since all the $h_k$ are vector bundle isomorphisms, so are all their composites. Thus $h$ is an isomorphism of the required form
Let $X$ be a paracompact Hausdorff space, let $E \to Y$ be a topological vector bundle, let $f,g \colon X \to Y$ be two continuous functions, and let $\eta \colon f \to g$ be a left homotopy between them. Then there is an isomorphism of vector bundles over $X$ between the pullback of vector bundles of $E$ along $f$ and along $g$, respectively:
By definition, the left homotopy $\eta$ is a continuous function of the form
For $t \in [0,1]$ write $i_t$ for the continuous function
By the pasting law for pullbacks we have that
and
With this the statement follows by prop. 6.
(homotopy invariance of isomorphism classes of vector bundles)
Let $X$ and $Y$ be paracompact Hausdorff spaces and let
be a continuous function which is a homotopy equivalence. Then pullback along $f$ constitutes a bijection on sets of isomorphism classes of topological vector bundles:
By definition of homotopy equivalence, there is a continuous function $g \colon Y \longrightarrow X$ and left homotopies
Hence corollary 1 implies that
This mean that $g^\ast$ is the inverse function to $f^\ast$, and hence both are bijections.
(topological vector bundle on contractible topological space is trivializable)
If $X$ is a contractible topological space, then every topological vector bundle over $X$ is isomorphic to a trivial vector bundle.
That $X$ is contractible means by definition that there is a left homotopy of the form
By cor 1 it follows that for $E \to X$ any topological vector bundle that there is an isomorphism between $id^\ast E = E$ and the result of first restricting the bundle to the point, and then forming the pullback bundle along $X \to \ast$. But the latter operation precisely produces the trivial vector bundles over $X$.
We discuss the behavour of vector bundles with respect to closed subspaces $A \subset X$ of compact Hausdorff spaces.
(isomorphism of vector bundles on closed subset of compact Hausdorff spaces extends to open neighbourhood)
Let $k \in \{\mathbb{R}, \mathbb{C}\}$, let $X$ be a compact Hausdorff space and let $A \subset X$ a closed subspace. Let $E_i \overset{p_i}{\to} X$ be two topological vector bundles over $X$, $i \in \{1,2\}$.
If there exists an isomorphism
of the restricted vector bundles over $A$, then there also exists an open subset $U \subset X$ with $A \subset U$ such that there is also an isomorphism
of the vector bundles restricted to $U$.
A bundle isomorphism $E_1\vert_A \simeq E_2\vert_A$ is equivalently a trivializing section (example 14) of the tensor product of vector bundles $(E_1\vert_A)^\ast \otimes_A E_2\vert_A$ of $E_2\vert_A$ with the dual vector bundle $(E_2\vert_A)^\ast$. (by this prop.).
Let $\{V_i \subset X\}_{i \in I}$ be an open cover of $X$ over which this tensor product bundle trivializes with trivializations
Since compact Hausdorff spaces are normal, the shrinking lemma applies and gives a refinement of this by a cover $\{U_i \subset X\}_{i \in I}$ by closed subsets $U_i \subset X$.
Then a trivializing section $\sigma \in \Gamma_A\left( (E_1\vert_A)^\ast \otimes_A E_2 \vert_A \right)$ as above is on each $U_i \cap A$ a continuous function
to the general linear group $GL(n,k) \subset Mat_{n \times n}(k)$, such that
Regarded as a function to the $n \times n$ matrices, this is a set of $n^2$ continuous function $((\sigma_i)_{a b})$
Now since $U_i \subset X$ is closed by construction, and $A \subset X$ is closed by assumption, also the intersections $U_i \cap X$ are closed. Since compact Hausdorff spaces are normal the Tietze extension theorem therefore applies to these component functions and yields extensions of each $\sigma_i$ to a continuous function of the form
Moreover, since compact Hausdorff spaces are evidently paracompact Hausdorff spaces, and since paracompact Hausdorff spaces equivalently admit subordinate partitions of unity, it follows that we find a partition of unity $\{f_i \colon U_i \to \mathbb{R} \}_{i \in I}$.
Consider then the functions $f_i \cdot \hat \sigma_i$ given by pointwise multiplication and regarded, via extension by zero, as continuous functions on all of $X$
Summing these up yields a single section $\hat \sigma$ of $E_1^\ast \otimes_X E_2$
which by construction is an extension of the original section, in that
This is because for each $a \in A \subset X$ we have, using the above definitions,
Here the last step uses the nature of the partition of unity.
Now while $\hat \sigma$ is an extension of the section $\sigma$ to $X$, it will in general not be a trivializing section on $X$.
But since the general linear group $GL(n,k) = det^{-1}(k \setminus \{0\}) \subset Mat_{n \times n}(k)$ is an open subset of the Euclidean space $Mat_{n \times n}(k) \simeq k^{(n^2)}$, it follows that each point $x \in A$ has an open neighbourhood $U_x \subset X$ such that $\hat \sigma\vert_{U_x}$ is still a trivializing section, namely choosing $i_x \in I$ such that $x \in U_{i_x}$ set
The union of these
is hence an open subset containing $A$ such that $(E_1^\ast \otimes_X E_2)\vert_U$ has a trivializing section, extending $\sigma$, hence such that there is an isomorphism $E_1\vert_U \simeq E_2 \vert_U$ extending the original isomorphism on $A$.
As a consequence:
(vector bundle trivial over closed subspace of compact Hausdorff space is pullback of bundle on quotient space)
Let $X$ be a compact Hausdorff space and let $A \subset X$ be a closed subspace.
If a topological vector bundle $E \overset{p}{\to} X$ is such that its restriction $E\vert_A$ is trivializable, then $E$ is isomorphic to the pullback bundle $q^\ast E'$ of a topological vector bundle $E' \to X/A$ over the quotient space.
Let
be an isomorphism of vector bundles over $A$, which exists by assumption. Consider then on the total space $E\vert_A$ the equivalence relation given by
for all $x,x' \in A$ and $v \in k^n$. Let
be the corresponding quotient topological space. Observe that for $x \in X$ we have $E'_x = E_x$ while for $x \in A$ we have a canonical identification $E'_{x/A} \simeq k^n$, and over these points quotient coprojection is identified with $\phi^{-1}$:
Since the composite continuous function
respects the equivalence relation (in that it sends any two equivalent points to the same image point) the universal property of the quotient space yields a continuous function
such that the following diagram commutes
We claim that this is a pullback diagram in Top:
By the above description of the top horizontal function, it is a pullback diagram of underlying sets. Hence we need to see that the topology on $E$ has a base given by the pre-images of the open subsets in $X$ and in $E'$. Now by definition of the quotient space topology on $E'$, its open subsets are those of $E$ that either do not contain a point $(x,v)$ with $x \in A$ or if they do, then they also contain all the points of the form $(x', \phi_{x'}^{-1}(\phi_x(v)))$ for $x' \in A$. Moreover, if $(x,v)$ is in the open subset for $x \in A$, then also $(x,v')$ for all $v'$ in some open ball in $k^n$ containing $v$. Hence intersecing these pre-images with pre-images of open subsets of $X$ under $p$ yields a basis for the topology.
Hence it only remains to see that $E' \overset{p'}{\longrightarrow} X/A$ is a vector bundle. The fiberwise linearity is clear, we need to show that it is locally trivializable.
To that end, let $\{U_i \subset X\}_{i \in I}$ be an open cover over which $E \overset{p}{\to} X$ has a local trivialization. Since $A \subset X$ is assumed to be closed, it follows that
is an open cover of the complement of $A$ in $X$. By the nature of the quotient space topology, this induces an open cover of $X\setminus A$. If we adjoin the quotient $U/A$ of an open neighbourhood $U \subset X$ of $A$ in $X$, then
is an open cover of $X/A$. Moreover, by the construction of $E' \overset{p'}{\to} X/A$ it is clear that this bundle has a local trivialization over $U_i$, since $E \overset{p}{\to} X$ does, and similarly $E'$ trivializes over $U/A$ if $E$ trivializes over $U$. But such a $U$ does indeed exist by lemma 4.
Prop 7 is the reason why reduced topological K-theory satisfies the long exact sequences in cohomology that make it a generalized (Eilenberg-Steenrod) cohomology theory. See
Let $X$ be a compact Hausdorff space and $A \subset X$ a closed subspace and write $X/A$ for the corresponding quotient topological space (this example) with quotient coprojection denoted $q \colon X \longrightarrow X/A$.
If $A$ is a contractible topological space then the pullback bundle construction
is an isomorphism.
By example 16 every vector bundle $E \overset{p}{\to} X$ is trivializable over the contractible subspace $A$. Therefore prop. 7 implies that it is in the image of the pullback bundle map $q^\ast$. This says that $q^\ast$ is surjective. Finally, it is clear that it is injective. Therefore it is bijective.
Let $(X,x)$ be a pointed compact topological space.
For $[0,1] \subset \mathbb{R}$ the closed interval with its Euclidean metric topology.
There is
the ordinary cylinder, being the product space $X \times I$
the reduced cylinder $X \wedge I_+ = (X \times I)/( \{x\} \times I )$ which is the smash product with the interval that has a base point freely adjoined
and
the ordinary suspension $S X \coloneqq (X \times I)/( X \times \{0,1\} )$;
the reduced suspension $\Sigma X \coloneqq (S X)/( \{x\} \times I )$.
In both cases the reduced space is obtained from the unreduced space by quotienting out the contractible closed subspace $I \simeq \{x\} \times I$ and hence topological vector bundles do not see the difference between the reduced and the unreduced spaces, by prop. 8.
Textbook accounts include
Glenys Luke, Alexander S. Mishchenko, Vector bundles and their applications, Math. and its Appl. 447, Kluwer 1998. viii+254 pp. MR99m:55019
Dale Husemoeller, Michael Joachim, Branislav Jurco, Martin Schottenloher, Basic Bundle Theory and K-Cohomology Invariants, Lecture Notes in Physics, Springer 2008 (pdf)
Lecture notes with an eye towards topological K-theory is in
Klaus Wirthmüller, Vector bundles and K-theory, 2012 (pdf)
Allen Hatcher, chapter 1 of Vector bundles and K-Theory, (partly finished book) web