Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

Recipe

Work with the full Grassmann algebra \Lambda V

Use when: you're asked either for \dim(\Lambda V), the total dimension of the full exterior algebra, or to say what a differential k-form adds beyond this chapter's own \Lambda^k(V^{*})

Goal: the numeric total 2^n, or a one-line statement of the smooth-variation ingredient a differential form adds

Taught in The Grassmann algebra and where differential forms pick up

Quick recipe

  1. Decide whether the question is computational or conceptual
  2. Sum \binom nk across every degree, or use the shortcut 2^n
  3. Compare a fixed element of \Lambda^k(V^{*}) against a smoothly-varying assignment of one
  1. 1

    Read the question: does it ask for a NUMBER (a dimension), or does it ask you to NAME an ingredient (what's genuinely new)?

    • asks for \dim(\Lambda V) — go to Step 2.
    • asks what a differential form adds — go to Step 3.

    Why: both question types use the identical Grassmann-algebra setup, but one wants a computation and the other wants a one-sentence comparison -- conflating them produces a number where a sentence was wanted, or vice versa.

  2. 2

    Add \binom n0+\binom n1+\cdots+\binom nn directly, or skip straight to 2^n.

    Example

    n=3: \binom30+\binom31+\binom32+\binom33=1+3+3+1=8=2^3.

    Why: \dim(\Lambda^kV)=\binom nk (section 8) and \Lambda V is the direct sum across every degree, so its dimension is the ordinary sum of each piece's -- and the binomial theorem's own identity turns that sum into one power of 2, with no addition required.

  3. 3

    State the contrast directly: this chapter's own object is one FIXED element of \Lambda^k(V^{*}); a differential k-form is a smooth CHOICE of one such element at every point of a region.

    Example

    "A differential form is not a single fixed element. It is a smoothly-varying choice of one such element at every point of a region."

    Why: this exact contrast -- fixed algebraic object versus a smoothly-varying field of such objects -- is the one ingredient advanced-multivariable-calculus's calculus adds on top of this chapter's pure algebra.

Common mistakes

  • Answering a "what does a differential form add" question with a dimension count instead of naming the smooth-variation ingredient.
  • Forgetting the k=0 and k=n boundary terms (\binom n0=\binom nn=1) when summing by hand instead of using the 2^n shortcut.
  • Describing a differential form as "a new kind of vector space" rather than a smoothly-varying element of the ALREADY-BUILT space \Lambda^k(V^{*}).