Extrinsics vs Intrinsics geometry, intuitive explanation

differential-geometryriemannian-geometrysoft-question

I was wondering if anyone can give me an insight of what is meant with "Intrinsics Geometry" and "Extrinsics Geometry". At the beginning I thought this was like a distinction between differentiation and integration (in order to distiguish local analysis from global analysis), however I have the feeling I might have got this completely wrong.

So I looked this up on wikipedia and I quote what I've found:

From the beginning and through the middle of the 18th century,
differential geometry was studied from the extrinsic point of view:
curves and surfaces were considered as lying in a Euclidean space of
higher dimension (for example a surface in an ambient space of three
dimensions). The simplest results are those in the differential
geometry of curves and differential geometry of surfaces. Starting
with the work of Riemann, the intrinsic point of view was developed,
in which one cannot speak of moving "outside" the geometric object
because it is considered to be given in a free-standing way. The
fundamental result here is Gauss's theorema egregium, to the effect
that Gaussian curvature is an intrinsic invariant.

The intrinsic point of view is more flexible. For example, it is
useful in relativity where space-time cannot naturally be taken as
extrinsic (what would be "outside" of it?). However, there is a price
to pay in technical complexity: the intrinsic definitions of curvature
and connections become much less visually intuitive.

These two points of view can be reconciled, i.e. the extrinsic
geometry can be considered as a structure additional to the intrinsic
one. (See the Nash embedding theorem.) In the formalism of geometric
calculus both extrinsic and intrinsic geometry of a manifold can be
characterized by a single bivector-valued one-form called the shape
operator.

I still don't think like I get it, can anyone clarify? From the quote above what I'm getting is that intrinsics geometry assumes that the geometry analyzed is embedded in a bigger space (for example in differential geometry of curve and surface when we define the first fundamental form we rely on the euclidean metric of $\mathbb{R}^3$ to provide a definition, while we don't do this in Riemannian geometry where we define the Riemann tensor).

I'm not sure again though I fully understand the difference.

Best Answer

The mean curvature of a surface at a point is an extrinsic quantity. The Gaussian curvature is an intrinsic quantity. The mean curvature is the average of the two principal curvatures; the Gaussian curvature is the product of the principal curvatures. The principle curvatures are extrinsic quantities.

It is not at all obvious that the Gaussian curvature is an intrinsic property, but it is.

You asked (in a comment) for a formal definition of extrinsic vs. intrinsic. Here goes, at least for scalar-valued functions on surfaces. Suppose we have a definition for such a function, so for any surface $S$ the definition gives us a function $f_S$ on $S$. For an intrinsic function (like Gaussian curvature), the following holds:

For any distance-preserving bijection $\psi:S\rightarrow T$ to another surface, and for any point $p$ on $S$, the value of $f_S$ at $p$ will equal the value of $f_T$ at $\psi(p)$: $f_S(p)=f_T(\psi(p))$.

For example, let $S$ be a (flat) rectangle, and let $T$ be half a cylinder, obtained by bending the rectangle along one axis, so that that axis becomes a semi-circle of radius $r$. So we have a bijection $\psi:S\rightarrow T$ (the "bending map"). Let $p$ be a point in the middle of the rectangle. The principal curvatures at $p$ are 0 and 0, since any two lines through $p$ are straight. The principal curvatures at $\psi(p)$ are 0 and $1/r$. The Gaussian curvature is 0 in both cases, but the mean curvature is 0 on the rectangle and $1/2r$ on the semi-cylinder. (Of course, this example doesn't prove in general that the Gaussian curvature is intrinsic, but it does show that mean curvature is not intrinsic---i.e., extrinsic.)

Caveat: the definition above is clumsy and crude (though not wrong) in ways that would take too long to explain fully. Briefly, intrinsic vs. extrinsic still makes sense locally. (Curvature after all can be defined locally.) Also, dealing only with scalar-valued functions is too restrictive. However, we need a coordinate-independent definition of tensors for a "good" definition, which is another whole story.

The definition for general manifolds is pretty much the same: isometric invariants. In other words, just replace the word "surface" with "$n$-dimensional manifold".

You also asked for a reference. I looked in a few books, but they don't provide formal definitions of intrinsic vs. extrinsic. Here is a typical discussion from Tu's Differential Geometry: Connections, Curvature, and Characteristic Classes:

For a surface in $\mathbb{R}^3$ we defined its Gaussian curvature $K$ at a point $p$ by taking normal sections of the surface, finding the maximum $\kappa_1$ and the minimum $\kappa_2$ of the curvature of the normal sections, and setting $K$ to be the product of $\kappa_1$ and $\kappa_2$. So defined, the Gaussian curvature evidently depends on how the surface is isometrically embedded in $\mathbb{R}^3$.

On the other hand, an abstract Riemannian manifold has a unique Riemannian connection. The curvature tensor $R(X,Y)$ of the Riemannian connection is then completely determined by the Riemannian metric and so is an intrinsic invariant of the Riemannian manifold, independent of any embedding...

You'll also find good discussions in Gravitation (Misner, Thorne, and Wheeler, $\S21.5$, "Intrinsic and Extrinsic Curvature"), and a historical treatment in Ch.4 of Wells, Differential and Complex Geometry: Origins, Abstractions and Embeddings.

The basic idea is that anything defined using only the metric (and the differential manifold structure) must be an isometric invariant. That's why you'll find the phrase "intrinsically defined" often used.

Finally, let me address one possible source of your confusion. I've been talking about "intrinsic" vs. "extrinsic" in the context of differential geometry, and for local properties (like curvature). But the terms are generally used informally, to contrast properties that depend only on the "abstract manifold" vs. an imbedding of the manifold. The other answer to your question (by gandalf61) gives a couple of good topological illustrations. The knottedness property depends on the imbedding of the circle in $\mathbb{R}^3$. Orientability on the other hand is a homeomorphism invariant, depending only on the topology of the space.

Related Question