140
$\begingroup$

Without prethought, I mentioned in class once that the reason the symbol $\partial$ is used to represent the boundary operator in topology is that its behavior is akin to a derivative. But after reflection and some research, I find little support for my unpremeditated claim. Just sticking to the topological boundary (as opposed to the boundary of a manifold or of a simplicial chain), $\partial^3 S = \partial^2 S$ for any set $S$. So there seems to be no possible analogy to Taylor series. Nor can I see an analogy with the fundamental theorem of calculus. The only tenuous sense in which I can see the boundary as a derivative is that $\partial S$ is a transition between $S$ and the "background" complement $\overline{S}$.

I've looked for the origin of the use of the symbol $\partial$ in topology without luck. I have only found references for its use in calculus. I've searched through History of Topology (Ioan Mackenzie James) online without success (but this may be my poor searching). Just visually scanning the 1935 Topologie von Alexandroff und Hopf, I do not see $\partial$ employed.

I have two questions:

Q1. Is there a sense in which the boundary operator $\partial$ is analogous to a derivative?

Q2. What is the historical origin for the use of the symbol $\partial$ in topology?

Thanks!

Addendum (2010). Although Q2 has not been addressed [was subsequently addressed by @FrancoisZiegler], it seems appropriate to accept one among the wealth of insightful responses to Q1. Thanks to all!

$\endgroup$
11
  • 23
    $\begingroup$ Vague answer that needs to be explained in more detail: The boundary operator $\partial$ is analogous to the exterior derivative $d$ acting on differential forms. I think they can be viewed as adjoints of each other, which act on complexes (submanifolds versus differential forms) that are dual to each other (via integration). $\endgroup$
    – Deane Yang
    Commented Nov 16, 2010 at 16:36
  • 72
    $\begingroup$ As Deane says, it's Stoke's theorem: $$\int_M d\omega = \int_{\partial M} \omega$$ If you write integration as a pairing, then $$\langle d\omega, M\rangle = \langle \omega, \partial M\rangle$$ shows that $\partial$ is the adjoint of the de Rham $d$. $\endgroup$ Commented Nov 16, 2010 at 16:49
  • 9
    $\begingroup$ I think the analogy between the boundary operator and differentiation is a lot stronger in the context of singular homology or cell complexes. In that setting you can map a cell to its boundary taken with orientation which ensures that the boundary of a boundary vanishes. And of course in this setting the boundary is really just the differential of the complex computing the homology of your space, which shows the connection to the classical "d", since you could also have computed the cohomology of the space using the de Rham complex where the differential is just the ordinary differential. $\endgroup$ Commented Nov 16, 2010 at 16:54
  • 7
    $\begingroup$ Oops -- I should have written Stokes's Theorem. (For the Nth time, I wish I could edit comments.) $\endgroup$ Commented Nov 16, 2010 at 17:04
  • 7
    $\begingroup$ @Willie: such as ... this one? Seriously, that's "Qn2" in the original post! $\endgroup$ Commented Nov 16, 2010 at 18:40

7 Answers 7

141
$\begingroup$

The surface area $|\partial S|$ of a (bounded, smooth) body $S$ is the derivative of the volume $|S_r|$ of the $r$-neighbourhoods $S_r$ of $S$ at $r=0$:

$$ |\partial S| = \frac{d}{dr} |S_r| |_{r=0}.$$

Thus, for instance, the boundary $\partial D_r$ of the disk $D_r$ of radius $r$ has circumference $\frac{d}{dr} (\pi r^2) = 2\pi r$.

More generally, one intuitively has the Newton quotient-like formula

$$ \partial S = \lim_{h \to 0^+} \frac{S_h \backslash S}{h};$$

the right-hand side does not really make formal sense, but certainly one can view $S_h \backslash S$ as a $[0,h]$-bundle over $\partial S$ for $h$ sufficiently small (in particular, smaller than the radius of curvature of $S$).

In a similar spirit, one informally has the "chain rule"

$$ {\mathcal L}_X S "=" (X \cdot n) \partial S $$

for the "Lie derivative" of $S$ along a vector field $X$, where $n$ is the outward normal. (There may also be a divergence term, depending on whether one is viewing $S$ as a set, a measure, or a volume form.) Again, this does not really make formal sense, although Stokes' theorem already captures most of the above intuition rigorously (and, as noted in the comments, Stokes' theorem is probably the clearest way to link boundaries and derivatives together).

EDIT: A more rigorous way to link boundaries with derivatives proceeds via the theory of distributions. The weak derivative $\nabla 1_S$ of the indicator function of a smooth body $S$ is equal to $-n d\sigma$, where $n$ is the outward normal and $d\sigma$ is the surface measure on $\partial S$. (This is really just a fancy way of restating Stokes' theorem, after one unpacks all the definitions.) This can be used, for instance, to link the Sobolev inequality with the isoperimetric inequality.

In a similar spirit, $\frac{1_{S_h} - 1_S}{h}$ converges in the sense of distributions as $h \to 0$ to surface measure $d\sigma$ on $\partial S$, thus providing a rigorous version of the intuitive difference formula given previously.

$\endgroup$
2
  • 24
    $\begingroup$ I really like your definition of the boundary as the limit of a "difference quotient". This is a good example of what "morally correct" means to me. $\endgroup$
    – Deane Yang
    Commented Nov 16, 2010 at 21:10
  • 3
    $\begingroup$ I second Deane's comment. This erudite and enlightening response is more than my question deserves, and I am appreciative! In fact all the comments and answers are illuminating. Thanks! $\endgroup$ Commented Nov 17, 2010 at 0:21
85
$\begingroup$

A partial answer to Q1 -- apologies if this is obvious, but I don't see it written here yet, and this is the thing that made me sit up and take notice of the fact that there's some sort of connection between the boundary operator $\partial$ and differentiation. If $X$ and $Y$ are two topological spaces and $A \subset X$, $B\subset Y$ are closed, then they satisfy a product rule of sorts: $$ \partial(A\times B) = ((\partial A)\times B) \cup (A \times (\partial B)). $$ This also works without the assumption that $A$ and $B$ are closed if you're willing to weaken the analogy a bit by replacing the right-hand side with $\partial(A\times B) = ((\partial A)\times \overline{B}) \cup (\overline{A} \times (\partial B))$.

$\endgroup$
2
  • 4
    $\begingroup$ Very nice observation!!! $\endgroup$ Commented Nov 17, 2010 at 21:44
  • $\begingroup$ For CAT(0) spaces, there is a compactification also denoted by $\partial$ and this rule only holds non-equivariantly in this context. This is a bit of a flaw of the analogy. $\endgroup$ Commented Nov 17, 2010 at 22:22
55
$\begingroup$

Q1. Is there a sense in which the boundary operator $\partial$ is analogous to a derivative?

It may be worth noting that de Rham in (1936) and especially (1938, pp. 317–323) already spelled out most of the other replies’ analogies. Indeed the latter answers the title question with (my bold):

We already observed (...) an analogy between the boundary operation and differentiation: Both are linear, and performed twice, both give zero: $$ \begin{align} f(c_1\pm c_2)&=fc_1\pm fc_2,& f(fc)&=0,\tag1\\ d(\omega_1\pm\omega_2)&=d\omega_1\pm d\omega_2,& d(d\omega)&=0.\tag2 \end{align} $$ This analogy actually goes much further (...). The differential of a product is given by the rule $$ d(\omega_1\omega_2)= d\omega_1\omega_2+(-1)^p\omega_1d\omega_2, %\quad %\style{font-family:sans-serif}{\text{where }} p= %\style{font-family:sans-serif}{\text{degree of }}\omega_1. %\style{font-family:sans-serif}{\text{ ...}} \tag3 $$ where $p=$ degree of $\omega_1$. (...) Our analogy’s starting point is the fact that chains, like forms, make an alternating ring (...) and to the differentiation rule for products corresponds the formula which gives the boundary of an intersection: $$ f(c_2c_1)=c_2fc_1+(-1)^{n-p}fc_2\cdot c_1. \tag4 $$ The formula is an exact match if we let the intersection $c_2\cdot c_1$ of two chains of dimensions $p_2$ and $p_1$ correspond to the product $\omega_1\omega_2$ of two forms of degrees $n-p_1$ and $n-p_2$. I followed the usual definitions, which is why one must reverse the order of factors. (...) To the index [sum of coefficients] of a $0$-chain there corresponds the number $I(\omega)=\smash{\int_V\omega}$ attached to any $n$-form, and one can show that all matching properties hold.

But I would now like to show that, much more than a mere formal duality, there is a deeper identity between $p$-chains and $(n-p)$-forms; or in other words, that on an $n$-dimensional manifold, a $p$-chain and an $(n-p)$-form are two instances of one and the same concept. This idea (...) is suggested by physical considerations, actually cases where physical quantities occur which can be represented, sometimes by a chain, sometimes by a form.

As @BS. said, de Rham goes on to unify both in the idea of a current $(c,\omega)$ (pre-distribution theory). Also, the formulas of @DenisSerre and @VaughnClimenhaga are ungraded versions of (4) and $$ f(c_1\times c_2)=c_1\times fc_2+(-1)^{\dim c_1}fc_1\times c_2. \tag5 $$ Both (4) and (5) are attributed to Lefschetz (1925, §1; 1926, 16.1, 49.2; cf. 1942, IV.2.3, IV.5.6, V.8.4) by e.g. van der Waerden (1929, p. 343; 1930, p. 129), de Rham (1932), Steenrod (1957, pp. 29, 40). But of these authors, only Steenrod uses $\partial$ and not some variant of $B$, $F$, or $R$. So...


Q2. What is the historical origin for the use of the symbol $\partial$ in topology?

Michèle Audin writes in Henri Cartan & André Weil: du vingtième siècle et de la topologie (2012, p. 46):

$d$ is for differential, no doubt, but what is $\partial$ for? Neither boundary nor frontier, in neither French nor German (nor even English), so? Well, Rand, in German, written in Gothic and abbreviated $\mathfrak{Rd}$, then $\mathfrak d$ (two letters, that was too much), then $\partial$ !

She doesn’t quote sources, but indeed we find in §16 of Seifert & Threlfall’s Lehrbuch der Topologie (1934), the following:

der Rand von $E^k$ [ist] hiernach die $(k-1)$-Kette $$ \mathscr R\partial E^k = \varepsilon\sum_{i=0}^k(-1)^i(P_0P_1\cdots P_{i-1}P_{i+1}\cdots P_k)\tag6 $$ (...) Der Rand wird mit dem Symbole $\mathscr R\partial$ bezeichnet.

They still use the same notation in Variationsrechnung im Grossen (1938, p. 17 sq). The earliest I find using $\partial$ alone in combinatorial topology are Eilenberg (1938, p. 180) and Whitney (1937, pp. 38, 40, 46, 51). In point-set topology — your initial concern — it may also be Whitney: (1944, pp. 221, 247).

Question: has anyone anywhere seen the Gothic (Fraktur) spellings Audin alludes to?

$\endgroup$
3
  • 2
    $\begingroup$ Interesting question re: $\mathfrak{Rd}$! $\endgroup$ Commented Aug 31, 2019 at 1:25
  • 1
    $\begingroup$ Alexandroff (1932, footnotes 13, 17) also observes that (6) can be written as the derivative $\sum_{i=0}^k(-1)^i\frac{\partial E^k}{\partial P_i}$ “if one imagines” the simplex $E^k=(P_0P_1\dots P_k)$ as “a kind of symbolic product” of “variables” $P_0,\dots,P_k$. $\endgroup$ Commented Sep 2, 2019 at 13:31
  • $\begingroup$ The Wikipedia page seems of no help in your query. When you reach a (temporary?) resolution, I suggest you edit Wikipedia appropriately. $\endgroup$ Commented Sep 8, 2019 at 0:08
50
$\begingroup$

I like Vaughn's answer, but it seems to me that another form of product rule holds. If $A$ and $B$ are reasonnable subsets of $\mathbb R^n$ (perhaps one needs only that they are the closure of their interior), then $$\partial(A\cap B)=(\partial A\cap B)\cup(A\cap\partial B).$$ Here, $\cap$ and $\cup$ are the boolean operators, which are the analogues of $\times$ and $+$.

$\endgroup$
20
$\begingroup$

I think that there are (at least) two occurences of boundary in your question. One is the notion of frontier in general topology (closure minus interior) the other in differential (or geometric) topology, namely the set of points where the space under consideration is like $\mathbb{R}_+\times\mathbb{R}^{n-1}$ rather than like $\mathbb{R}^n$. The second is the one related to derivative in de Rham's theory of currents. These are functionals (continuous in a suitable topology) on differential forms (maybe twisted) on a smooth manifold $M$. The boundary of a current $T$ is then defined by Stokes formula as the adjoint of exterior differential : $\partial T$ on $\alpha$ is $T$ on $d\alpha$. And that's it ! For example, a current might be integration on some submanifold with boundary inside $M$, and its $\partial$ is then integration on the boundary of the submanifold. De Rham himself wrote a book on the subject, but I suspect that the ideas have now evolved to much higher depths (so to speak), with all this higher categories stuff, which I'm not competent to discuss.

$\endgroup$
0
11
$\begingroup$

Another, not too mathematical, analogy comes from image processing. There you can consider an image $u$ as a real valued function on a rectangle, say. A basic method for edge detection is to calculate the absolute value of the gradient of $u$ and consider all points where this value is large enough as an edge point. If your image is a (smoothed) characteristic function, then this will give you an approximation to the boundary of the set by thresholding the absolute value of the gradient of the image.

Similarly, the morphological gradient also gives the boundary of an object. Here, you consider the object as the support of an indication function. For this function you calculate the so-called closing with some parameter $\epsilon>0$ (which is nothing else as the indicator function of the $\epsilon$-enlaged object). The morphological gradient is then the difference of this closing and the function itself and encodes the boundary of the object.

$\endgroup$
6
$\begingroup$

I am way out of my depth here, but the subdifferential of a convex function $f$ at a point $x$ is often denoted by $\partial f$ and consists of all the supporting hyperplanes for $f$. I'm not sure but I think this could be generalized to non-convex functions if you just look at planes that are tangential in local neighborhoods.

In either case, if you look at the boundary of a set as the intersection of all its tangent planes, you can see the connection between derivatives and the boundary pretty clearly.

$\endgroup$
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .