5

I very often see the symbol "$\partial$" is used to define the boundary of a body in three-dimensional space. For example, if the body is called $\Omega$ the boundaries is labeled as $\partial\Omega$.

  • Is it any reason using this symbol?
  • What can one call it orally?
  • Is it appropriate to call the boundaries of $\partial\Omega$ (for example the path surrounding the surface $\partial\Omega$) $\partial^2\Omega$?

Thanks for sharing your thoughts.

Reza
  • 247
  • 1
    One of the responses here: https://mathoverflow.net/questions/46252/is-the-boundary-partial-s-analogous-to-a-derivative claims that $\partial$ comes from German {\it Rand}. Something like $\partial \Omega$ is usually just read out as "d-omega." – anomaly Dec 15 '17 at 01:02

1 Answers1

4

Consider the ball $B_r$ of radius $r$. This is a manifold with boundary whose boundary is the sphere of radius $r$. Now consider specifically the difference between this ball and a slightly larger ball $B_{r + dr}$. The difference is a thin spherical shell which is $dr$ thick, and as $dr \to 0$ it approaches, in some sense, the boundary sphere of $B_r$.

So the boundary is something like a "derivative." This is made somewhat more precise by Stokes' theorem, and is also related to ideas like cobordism. A simple example of the way in which the boundary behaves like a derivative is that if $M, N$ are manifolds with boundary, then loosely speaking we have the "product rule"

$$\partial(M \times N) = \left( \partial(M) \times N \right) \cup \left( M \times \partial(N) \right).$$

There's some subtlety to making this precise because $M \times N$ is generally a manifold with corners (consider for example $M = N = I$, which is perhaps the easiest case to visualize).

Qiaochu Yuan
  • 419,620
  • Have you happened to see this symbol for showing the boundary of a surface? which is, in fact, the boundary of the boundary of a body. In my problem (in applied mechanics), I have three kinds of domains to integrate over. One is the volume of a 3D body which I called $\Gamma$, one is a subset of its boundary which I called $\partial\Gamma_t$ but I do not know how to call the boundary of $\partial \Gamma_t$. – Reza Dec 15 '17 at 02:07
  • I think $\partial^2$ is fine but it would be worth explaining explicitly. I have not seen it but it makes sense. – Qiaochu Yuan Dec 15 '17 at 04:13