U of T · Analysis II · Full Year

MAT257Y1: calculus, rebuilt on manifolds.

One year, one credit, and the hardest second-year course in the department. Everything from first-year calculus returns in $n$ dimensions with proofs attached, and the whole thing converges on a single theorem that contains the fundamental theorem of calculus, Green's, Gauss's and Stokes's as special cases.

About this course

Where the pieces become one theorem.

MAT257Y1 "Analysis II": topology of $\mathbb{R}^n$, compactness, functions and continuity, the extreme value theorem; derivatives, the inverse and implicit function theorems, maxima and minima, Lagrange multipliers; integration, Fubini's theorem, partitions of unity, change of variables; differential forms; manifolds in $\mathbb{R}^n$, integration on manifolds, and Stokes' theorem in both its differential-form and classical versions. Prerequisites: MAT158H1 + MAT159H1 and MAT247H1 — the linear algebra is not optional here, since the derivative is a linear map. This guide uses Spivak's Calculus on Manifolds with Munkres' Analysis on Manifolds as the gentler companion.

01

Chapters

In course order, across both terms. Each page has definitions, theorems, worked proofs, pitfalls, and practice.

MAT257Y1Analysis II · full year MAT158H1Analysis 1A · prerequisite MAT247H1Algebra II · prerequisite

  1. The topology of $\mathbb{R}^n$

    Norms, open and closed sets, limit points, closure.

    Open →

  2. Compactness

    Open covers, Heine–Borel, sequential compactness.

    Open →

  3. Continuity & connectedness

    Extreme and intermediate value theorems in $\mathbb{R}^n$.

    Open →

  4. The derivative as a linear map

    Differentiability, the Jacobian, partial derivatives.

    Open →

  5. Chain rule & higher derivatives

    Composition, equality of mixed partials, Taylor.

    Open →

  6. The inverse function theorem

    Local invertibility from an invertible derivative.

    Open →

  7. The implicit function theorem

    Solving $F(x,y)=0$ for $y$, locally.

    Open →

  8. Extrema & Lagrange multipliers

    The Hessian test and constrained optimisation.

    Open →

  9. The Riemann integral in $\mathbb{R}^n$

    Measure zero, Lebesgue's criterion, Fubini.

    Open →

  10. Partitions of unity & change of variables

    Localising an integral; the Jacobian factor.

    Open →

  11. Tensors & differential forms

    Alternating tensors, the wedge product.

    Open →

  12. The exterior derivative

    $d^2=0$, closed and exact, the Poincaré lemma.

    Open →

  13. Manifolds in $\mathbb{R}^n$

    Charts, tangent spaces, boundary, orientation.

    Open →

  14. Stokes' theorem

    One theorem; Green, Gauss and classical Stokes as corollaries.

    Open →
02

Textbook Spine

The calendar lists MAT257Y1's topics in exactly the order used here, and that order is Spivak's Calculus on Manifolds. Spivak is terse to the point of cruelty; Munkres' Analysis on Manifolds covers the same ground at three times the length and is the better first read. Check the current syllabus for the assigned text and problems.

Unit-to-textbook alignment
The topological base

Units 1-3 pair with Spivak's opening chapter and Munkres' first sections: norms, open sets, compactness, continuity. Almost none of this is calculus yet — it is the machinery every later proof stands on.

Differentiation

Units 4-8 pair with the differentiation chapter. The load-bearing results are the inverse and implicit function theorems, and everything about constrained optimisation follows from them.

Integration

Units 9-10 pair with the integration chapter: measure zero, Fubini, partitions of unity, change of variables. Partitions of unity look like a technicality and turn out to be the tool that makes integration on manifolds possible at all.

Forms and manifolds

Units 11-14 pair with the final chapters. This is the part with no first-year analogue, and the part the whole course exists to reach.

LINEARISE

The derivative is a map

$Df(a)$ is a linear transformation, not a number and not a list of partials. Every theorem in the middle of this course is really a statement about that linear map, which is why MAT247H1 is a prerequisite.

LOCALISE

Everything is local

Inverse function, implicit function, and manifold charts are all statements about a neighbourhood. Get in the habit of asking "on what neighbourhood?" before believing any claim.

ORIENT

Signs are structure

Orientation is not bookkeeping. Stokes' theorem is false without it, and most lost marks in the last third of the course are sign errors from an unstated orientation.

SPECIALISE

Check against Year 1

Every general theorem should reduce to something familiar in low dimension. If Stokes in $\mathbb{R}^1$ does not give you the fundamental theorem of calculus, you have misread it.

03

Practice Plan

A full-year course with a famously heavy problem set load. The unit pages give guided questions; use this course-level mix across both terms.

01

Counterexample library

Keep a running file: partials exist but not differentiable, mixed partials unequal, closed and bounded but not compact in an infinite dimensional space. This course is taught through its pathologies.

02

Low-dimensional checks

Before trusting a general statement, test it in $\mathbb{R}^1$ and $\mathbb{R}^2$ where you can draw it. Most sign and index errors surface immediately.

03

Theorem dependency map

Draw which theorems feed which. Inverse function implies implicit function implies the manifold charts implies Stokes. Knowing the order is most of knowing the course.

04

Compute the forms

Wedge products and exterior derivatives are mechanical but error-prone. Do enough by hand that the antisymmetry becomes reflex before the manifold material arrives.

Course-wide challenge bank

These mix proof and computation in the style expected from a specialist analysis course.

Challenge 1 · Partials are not enough

Give $f:\mathbb{R}^2\to\mathbb{R}$ whose partial derivatives both exist at the origin but which is not differentiable there.

Solution sketch
Take $f(x,y)=\dfrac{xy}{x^2+y^2}$ for $(x,y)\ne0$ and $f(0,0)=0$. Both partials at the origin are $0$ since $f$ vanishes on both axes, but $f$ is not even continuous: along $y=x$ it equals $\tfrac12$ throughout.
Challenge 2 · Compactness in action

Prove a continuous $f:K\to\mathbb{R}$ on compact $K$ attains a maximum.

Solution sketch
$f(K)$ is compact, hence closed and bounded, so $\sup f(K)$ is finite and belongs to $f(K)$. Any preimage of it is a maximiser.
Challenge 3 · Implicit function

Near which points does $x^2+y^2=1$ define $y$ as a function of $x$?

Solution sketch
With $F(x,y)=x^2+y^2-1$, $\partial F/\partial y=2y$ is nonzero exactly when $y\ne0$. So everywhere except $(\pm1,0)$ — precisely the two points where the circle is vertical.
Challenge 4 · Stokes reduces

Show Stokes' theorem on $[a,b]\subset\mathbb{R}$ is the fundamental theorem of calculus.

Solution sketch
Take the $0$-form $\omega=f$. Then $d\omega=f'\,dx$, and the boundary of $[a,b]$ is the two points $b$ and $a$ with signs $+$ and $-$. Stokes reads $\int_a^bf'\,dx=f(b)-f(a)$.
04

Resources

MAT257Y1 — official calendar listing
Department of Mathematics

Companion texts used by this guide: Spivak, Calculus on Manifolds, and Munkres, Analysis on Manifolds. The public calendar confirms the MAT257Y1 topic list but does not publish a current instructor textbook. Verify the assigned text, edition, and problem numbers against the active syllabus each year.