Bundle Calculus

A bundle is a space that, up close, looks like a base with a little fiber attached at every point — think of a comb (a line of teeth) or a cylinder (a circle of vertical segments). This first lesson takes the very simplest case, where the fiber is the same everywhere, and nails down the bookkeeping before any twisting is allowed.

Lesson Goal

Learn the trivial (product) bundle: a point stores a base coordinate and a fiber coordinate, projection recovers each part, and changing one part never disturbs the other.

The Idea

A point of a trivial bundle is just an ordered pair (base, fiber). Two projections read it back:

projectBase (b, f) = b
projectFiber(b, f) = f

The two facts that make this a bundle and not just a pair: the base projection ignores the fiber entirely, and the fiber projection ignores the base entirely. A transition that only relabels fibers (a base-preserving map) leaves every base coordinate exactly where it was. That is the safe vocabulary — base, fiber, projection, transition — that harder bundle geometry will later build on.

Worked Example

Take the point (b, f) = (3, 7):

projectBase (3, 7) = 3
projectFiber(3, 7) = 7

Now change only the fiber, (3, 7) → (3, 9):

projectBase (3, 9) = 3     ← base is unchanged

The base stayed 3 even though the fiber moved. Apply a base-preserving transition that, say, adds 2 to the fiber: the point becomes (3, 11), and the base is still 3. Nothing the fiber does can leak into the base.

Common Mistake

This is deliberately the trivial case. Nontrivial atlases, overlaps, cocycles, connections, curvature, and holonomy are not claimed here — they are future work; only product-bundle projection and base-preserving transition facts are proved. See What “Proved” Means Here.

Checkpoint

For the point (5, 2), what does each projection return, and what is the base after a transition that doubles the fiber? (Answer: base 5, fiber 2; base stays 5.)

Source Trail

Paper source: Bundle Calculus