Linear Algebra
13.510 min read

The 2×2 Case

Consider a function f:R2→R2\mathbf{f}: \mathbb{R}^2 \to \mathbb{R}^2, f(x,y)=(f1(x,y),f2(x,y))\mathbf{f}(x,y) = (f_1(x,y), f_2(x,y)). This is the simplest nontrivial case of a vector-valued function with the same input and output dimension.

The Jacobian is a 2×22\times 2 matrix: Jf=[∂f1/∂x∂f1/∂y∂f2/∂x∂f2/∂y]J\mathbf{f} = \begin{bmatrix}\partial f_1/\partial x & \partial f_1/\partial y \\ \partial f_2/\partial x & \partial f_2/\partial y\end{bmatrix}. The determinant det⁡(Jf)\det(J\mathbf{f}) is called the Jacobian determinant and has a beautiful geometric meaning: it measures the signed area scaling factor of the map f\mathbf{f} near the point.

If ∣det⁡(Jf(a))∣=2|\det(J\mathbf{f}(\mathbf{a}))| = 2, then the map f\mathbf{f} locally doubles areas. If the determinant is 0, the map collapses a 2D region to a lower-dimensional set — and by the inverse function theorem, f\mathbf{f} is not locally invertible there.

Formal View

Definition 13.4 — Jacobian Determinant
For f:Rn→Rn\mathbf{f}: \mathbb{R}^n \to \mathbb{R}^n (same input and output dimension), the Jacobian determinant at a\mathbf{a} is det⁡(Jf(a))\det(J\mathbf{f}(\mathbf{a})). It measures the signed volume scaling factor of the linear map Jf(a)J\mathbf{f}(\mathbf{a}).

Change-of-variables formula: ∫f(U)g(y) dy=∫Ug(f(x))∣det⁡Jf(x)∣ dx\int_{\mathbf{f}(U)} g(\mathbf{y})\,d\mathbf{y} = \int_U g(\mathbf{f}(\mathbf{x}))|\det J\mathbf{f}(\mathbf{x})|\,d\mathbf{x}.

Theorem 13.2 (Inverse Function Theorem) — Local Invertibility
If f:D⊆Rn→Rn\mathbf{f}: D \subseteq \mathbb{R}^n \to \mathbb{R}^n is C1C^1 at a\mathbf{a} and det⁡(Jf(a))≠0\det(J\mathbf{f}(\mathbf{a})) \neq 0, then f\mathbf{f} is locally invertible near a\mathbf{a}: there exists a neighborhood UU of a\mathbf{a} on which f\mathbf{f} has a C1C^1 inverse.

Interactive Visualization

Linear Transformation Visualizer

Why This Matters

The 2×2 case builds intuition for how Jacobians encode local geometry of maps.

  • Computer graphics: 2D transformation matrices (rotation, scaling, shear) are Jacobians of linear maps
  • Fluid dynamics: the Jacobian determinant gives local area/volume changes under flow maps
  • Economics: equilibrium conditions in 2-good markets use the Jacobian of a 2-variable system

Quiz

Question 1

If det⁡(Jf(a))=−3\det(J\mathbf{f}(\mathbf{a})) = -3, the map f\mathbf{f} locally:

Question 2

If det⁡(Jf(a))=0\det(J\mathbf{f}(\mathbf{a})) = 0, then by the Inverse Function Theorem, f\mathbf{f} is locally invertible near a\mathbf{a}.

Common Mistakes

  • Confusing the Jacobian matrix with the Jacobian determinant — they are distinct objects.
  • Forgetting the sign of the determinant: negative means orientation-reversing.
  • Applying the inverse function theorem when the Jacobian determinant is zero.