Surfaces

Abstract

A surface in R3 can be defined in several ways in terms of functions of several variables. For a surface S, we may have a real-valued function f : R3 → R, such that S = (x,y,z) | f (x,y,z) = 0. Alternatively, we may have a vector-valued function p : Q , R2 → R3, such that S = p(u, v) | (u, v) ∈ Q , R2. The component functions of p are identified separately as p1(u, v), p2(u, v), and p3(u, v). We thus have the surface S defined parametrically in terms of three separate coordinate functions of two independent parameters, u and v, as S = (P1(u, v), p2(u, v), p3(u, v) | (u, v) ∈ Q , R2, where the coordinate functions p1 p2, and p3 map from Q , ∈2 into ∈. The variables u and u are the coordinates of a parameter point in Q , R,2, and we can imagine the surface S is formed by distorting the region Q. The variables u and v can also be considered to be coordinate values of a point on the surface S located with respect to a curvilinear coordinate grid inscribed on the surface. This coordinate grid is composed of the space curves p(u,v) with u or u fixed and the remaining variable v or u changing in order to trace out a grid curve on S. When S is a so-called single-valued surface, then there is a real-valued function z, such that S = (x, y, z(x, y)) | (x, y) ∈ U , R2, where z : U , R2 → R. By single-valued, we mean that a line parallel to the z-axis intersects the surface at most once. This latter case is a trivial form of parametric representation with p1(u,v) = u, p2(u,v) = v, and p3(u, v) = z(u, v). Generally, we shall suppose that all the partial derivatives of the functions we consider exist, and that all mixed partials are invariant with respect to the order of differentiation.