Ways to think about vector bundle

Question

I'm studying manifold theory and I've got to the point of discussing the definition of a vector bundle. The definition is quite long and a bit confusing and I was wondering if someone with a bit more intiution in this topic could explain it prehaps using a nice example.

For completeness this is the definition I have:

A smooth real vector bundle $(E,M,\pi)$ of rank $k\in\mathbb{N}_0$ is a smooth manifold $E$ of dimension $m+k$ ($E$ is the total space), another smooth manifold $M$ of dimension $m$ ($M$ is the base manifold) and a smooth surjective map $\pi:E\rightarrow M$ (projection map) such that

1. $\exists$ an open cover $\{U_{\alpha}\}$ of $M$ and diffeomorphisms $\psi_\alpha:\pi^{-1}(U_\alpha)\rightarrow U_\alpha\times\mathbb{R}^k$,

2. $\forall p \in M$, $\psi_\alpha(\pi^{-1}(p)) = \{p\}\times\mathbb{R}^k,$

3. Whenever $U_\alpha\cap U_\beta \not= \emptyset$, the map $$\psi_\alpha\circ\psi_\beta^{-1}:(U_\alpha\cap U_\beta) \times\mathbb{R}^k\rightarrow(U_\alpha\cap U_\beta) \times\mathbb{R}^k$$ has to take the form $(x,v)\rightarrow(x,A_{\alpha\beta}v)$, where $A_{\alpha\beta}:U_\alpha\cap U_\beta\rightarrow GL_{\mathbb{R}}(k)$ is smooth.

Thanks in advance.

Answer 1

A rank $k$ vector bundle over a manifold $M$ can be viewed as a twisted version of the Cartesian product $M \times \Bbb R^k$. Given an appropriate cover $U_\alpha$ of $M$, the transition functions $A_{\alpha\beta}$ tell us how to glue together the local products $U_\alpha \times R^k$ to get the total space $E$. If all transition functions map all overlap points to the identity $I \in \mathrm{GL}(k, \Bbb R)$, then there is no twisting and we just get the Cartesian product $M \times \Bbb R^k$.

One example is as follows. Consider the circle $S^1$, thought of as the set $\Bbb R/2\pi \Bbb Z$. We will construct two rank $1$ vector bundles on $S^1$. Cover $S^1$ by the open sets $U_1 = (0, 2\pi)$ and $U_2 = (-\pi, \pi)$. We have that $$U_1 \cap U_2 = (0, \pi) \cup (\pi, 2\pi).$$ Assume that on the component $(0, \pi)$, the transition function is given by $$A_{12}(x) = 1 \text{ for all } x \in (0, \pi).$$ Since a transition function must be continuous, we see that the only possibilities for $A_{12}|_{(\pi, 2\pi)}$ are \begin{align*} \text{(a)} & \quad A_{12}(x) = 1 \text{ for all } x \in (\pi, 2\pi), \\ \text{(b)} & \quad A_{12}(x) = -1 \text{ for all } x \in (\pi, 2\pi). \end{align*} Case (a) gives the trivial rank $1$ vector bundle over $S^1$, $E = S^1 \times \Bbb R$.. In case (b), we have that the total space $E$ is the (infinite) Möbius band.