When enough matter is condensed in a small region, gravitational effects will be strong enough to cause collapse and a black hole will be formed. We formulate and prove here such a statement in the language of general relativity. (This is Theorem 2 of this paper.)

Let M be a compact Criemannian manifold of nonpositive curvature1 and with fundamental group . It is well known [8, p. 102] that M is a K (, 1) and thus completely determined up to homotopy type by . In light of this fact it is natural to ask to what extent the riemannian structure of M is determined by the structure of , and the intent of this paper is to demonstrate that rather strong implications of this sort exist. In the case that M has strictly negative curvature, the group is known to be highly noncommutative. Every abelian, in fact, every solvable, subgroup of is cyclic [3]. It is therefore a plausible conjecture that in the nonpositive curvature case, will possess large amounts of commutativity only under special geometric circumstances. We shall show that this is true, that indeed those properties of which involve commutativity have a dramatic reflection in the riemannian structure of M.

A multilevel quality-guided phase unwrapping algorithm for real-time 3D shape measurement is presented. The quality map is generated from the gradient of the phase map. Multilevel thresholds are used to unwrap the phase level by level. Within the data points in each level, a fast scan-line algorithm is employed. The processing time of this algorithm is approximately 18.3 ms for an image size of 640480 pixels in an ordinary computer. We demonstrate that this algorithm can be implemented into our real-time 3D shape measurement system for real-time 3D reconstruction. Experiments show that this algorithm improves the previous scan-line phase unwrapping algorithm significantly although it reduces its processing speed slightly.

NRODUCTION LET y be a rectifiable Jordan curve in three-dimensional euclidean space. Answering an old question, whether y can bound a surface with minimal area, Douglas [l I] and Rad6 [45](independently) found a minimal surface spanning y which is parametrized by the disk. This minimal surface has minimal area among all Lipschitz maps from the disk into R3 which span y. The question whether this solution has branch points or not was finally settled by Osserman [42], who proved that there are no interior true branch points, and by Gulliver [lS], who proved that there are no interior false branch points.

We shall consider the following Dirichlet eigenvalue problem on a smooth bounded domain S~ eRn, I where V is a nonnegative function defined on,~. As is well-known, the eigenvalues of problem (1.1) can be interpreted as the energy levels of a particle travelling under an external force field of a potential q in Rn, where and the corresponding eigenfunctions are wave functions of the Schrodinger equation-J~+ qu= lu. Furthermore, the set of eigenvalues {A,} of (1.1) are nonnegative and can be arranged in a nondecreasing order as follows, It is a significant problem to find a lower bound for~, 1 in terms of the geometry of Q. This subject has been studied extensively by many authors. A rather precise bound in the case V== 0 was worked out not only for a bounded domain in but actually valid for a general Riemannian manifold with certain curvature conditions; we refer to [4] for these recent develop-ments. Nevertheless, very little is known about the obvious interesting question of how big the gap is between 2 and l. There are both physical