nLab stable equivalence of vector bundles

Contents

Context

Bundles

bundles

Linear algebra

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

Contents

Definition

Definition

(stable equivalence of topological vector bundles)

Let XX be a topological space. Define an equivalence relation stable\sim_{stable} on topological vector bundles over XX by declaring two vector bundles E 1E 2Vect(X)E_1 E_2 \in Vect(X) to be equivalent if there exists a trivial vector bundle X×k nX \times k^n of some rank nn such that after tensor product of vector bundles with this trivial bundle, both bundles become isomorphic

(E 1 stableE 2)n(E 1 X(X×k n)E 2 X(X×k n)). \left( E_1 \sim_{stable} E_2 \right) \;\Leftrightarrow\; \underset{n \in \mathbb{N}}{\exists} \left( E_1 \otimes_X (X \times k^n) \;\simeq\; E_2 \otimes_X (X \times k^n) \right) \,.

If E 1 stableE 2E_1 \sim_{stable} E_2 we say that E 1E_1 and E 2E_2 are stably equivalent vector bundles.

Created on May 26, 2017 at 12:40:52. See the history of this page for a list of all contributions to it.