Generalisation of elementary result for embedded surfaces

46 Views Asked by At

If we have a triangle $T$ in $\mathbb{R}^3$ and we consider the 3 canonical projections $$\pi_{xy}(x,y,z)=(x,y)$$ $$\pi_{xz}(x,y,z)=(x,z)$$ $$\pi_{yz}(x,y,z)=(y,z)$$ Then we have a pythagoras-type relation for the area of the triangle with respect to its projections $T_{xy}=\pi_{xy}(T)$, $T_{xz}=\pi_{xz}(T)$ and $T_{yz}=\pi_{yz}(T)$, as follows:

$$A(T)=A(T_{xy})^2+A(T_{xz})^2+A(T_{yz})^2$$ In fact, this is actually the pythagorean theorem when considering bivectors, but this is irrelevant for the question. The fact is that this result still holds true when considering other parallelepipeds apart from triangles. My question is: is this result true for embedded surfaces $S\hookrightarrow\mathbb{R}^3$? or, if it is not true in this sense, is there any kind of generalization?. I think the framework of differential forms should have something to say. I am really interested in the general case, specially when considering seifert surfaces of knots. Thanks in advance.

1

There are 1 best solutions below

1
On BEST ANSWER

If you have a surface like a portion of the "drop wave function", then by increasing the number of waves you can make the surface area as large as you want while keeping the areas of the three projections constant. So, under my interpretation of your question of whether it holds for embedded surfaces, "no."

But, if you approximate the surface with a triangulation, then you can project each triangle individually, use the Pythagorean-type equation, and add up all the results. If you take the limit of finer and finer triangulations, it converges to the true surface area.

This is similar to using differential forms to compute the area of a surface in $\mathbb{R}^3$. If you take the standard volume form $dx\wedge dy\wedge dz$, you can specialize it to the surface by using the surface's normal vector field to partially evaluate the $3$-form to get a $2$-form. This $2$-form is in some way tangent to the surface, and one can imagine that it covers the surface in infinitesimal parallelograms, whose total area is that of the surface. $2$-forms and bivectors are related. The $2$-form can be written in terms of the basis $dx\wedge dy$, $dx\wedge dz$, $dy\wedge dx$, which correspond to the three projections you give.

Anyway, the point of this impressionistic account of differential forms is to suggest that they do have something to say about surface area of embedded surfaces.