Skip to main content
2 of 4
deleted 32 characters in body
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

This should be a comment to the answer of Andreas Blass, but was too long.

The Lusternik-Schnirelmann category $\operatorname{cat}(X)$ of a space $X$ is the smallest number $k$ such that $X$ has a cover by open sets $U_1,\ldots , U_k$ which are contractible in $X$. This means the inclusions $U_i\hookrightarrow X$ are null-homotopic. Note that the $U_i$ need not be connected themselves (although each $U_i$ should be contained within a connected component $X_i$). Note also that $\operatorname{cat}(X)$ is greater than or equal to the minimum number of open sets needed to trivialize any vector bundle on $X$, by the bundle creeping lemma and the fact that any bundle over a point is trivial.

One of the first theorems about LS-category is that if $X$ is paracompact, then $\operatorname{cat}(X)\le \operatorname{dim}(X)+1$, where $\operatorname{dim}$ denotes the Lebesgue covering dimension (which for manifolds agrees with the usual dimension). So Andreas Blass is correct.

If you want the minimum number of sets in a trivializing cover for your bundle $E$, you can do better, using the notion of sectional category of a fibre bundle (also known as the Schwarz genus). The sectional category $\operatorname{secat}(p)$ of a fibre bundle $p\colon\thinspace E\to B$ is the smallest number $k$ such that $B$ has a cover by open sets $U_1,\ldots , U_k$ on each of which $p$ admits a local section. Then the minimum number of sets in a trivializing cover for $E\to B$ is the sectional category of the frame bundle of $F(E)\to B$.

Mark Grant
  • 35.9k
  • 8
  • 95
  • 198