|
Victor N.Tolstykh
12/02/98
A new technology of 3D object description is realized via VRML 2.0
language (Virtual Reality Modeling Language). This tool allow us to develop
high quality computer models of 3D objects. A high expansion the technology
is in the field of Virtual Cities and Virtual Multiuser Chats development.
It’s role for a scientific goals is not so important yet. At the same time
one of problems of modern geometry and topology is analityc description
and visual representation of geometric objects.
It is more rationally to get ones from user program by direct calculations. On the pic.1 you can see the presentation of VRML program result whish was obtained from user’s VBasic program (CosmoPlayer 2.0). ![]() In principle any polyhedron building algorithm which approximate the surface, is a complex (cell-like or simplicial) of this surface with orientation. In this connection we have some features of construction, especially in the critical and singular points as well. On the pic.2 we have a complex of sphere. In common rectangular cells attach one to other during parallels by the one choice algorithm. Such points and cells which cover them we shall name common. Close to a pole the algorithm of construction must be changed: either the pole is covered by polygon or in the pole we have set of triangular cells -simplexes. The variant of solveng depends of concrete algorithm realization. But in any case we have two points with neighborhoods for algorithm construction changing. We shall name such points by singular points of algorithm construction. Here we have some questions: which sort are such points, how much them, can we decrease their number and how to change algorithm construction in their neighborhood. Some definitions:
Theorem 1. Exist one-to-one correspondence between indexed complex of oriented surface Q and tangent vector fields continuous everywhere except finite number points. In other words for any algorithm construction we can find the tangent vector field which definite it and back to front – for any tangent vector field we can find algorithm construction of surface this field submitting. The Hopf theorem [3]. If on the closed oriented surface Q is defined non-zero tangent vector field continuous everywhere except finite singular points then sum of all indexes of singular points equal c (Q). So, according to this theorem, if we confine to closed surfaces only, then non-singular vector fields are exist on the torus only. And, according to the theorem 1, the algorithm of construction without singularities is possible for a torus only. Proof of theorem 1. Let A={ ai}- complex of
surface Q. With any cell ai we shall linked unit tangent
turbulent vector field which goes along the edges in positive direction
of vertexes index. In view of the simple connectivity of cell, the field
can be prolonged continuously inside cell with one simple pole – center
of turbulence. Thus we can construct the tangent field with n poles
and c (Q)-n saddle points, according
Hopf theorem.
From these theorems we have the minimal number of points are defined
on the surface Q by Euler characteristic c
(Q). It is well known that closed oriented non-singular manifold
has homeomorphism to sphere with handles set. Adding one handle decrease
Euler’s characteristic by 2. Therefore beginning with second handle we
can construct the tangent vector field with settle points only. And it
was minimal their number m=2k-2, where k is number
of handles.
But by this way we can’t past more than one handle. In general case we should choice a rectangle with laminar flux and replace it by other one with two cutting polygons and some reconstructions in their neighboring as it is shown on the pic.4 and pic.5.
![]() We suppose the indexed complex existence on the sphere wich is induced
by vector field with two pole outside selected square.
Classical way of vector field construction with finite number of singular points is to definite the Morse function [5] on the surface, wich uniquely define the gradient vector field (vectors tangent to steepest descent). By the Morse theorem the non-singular critical points of Morse function unique associate with singular points of induced vector field and Euler characteristic of surface c (Q). Thus the effective Morse function definition on the surface we can take for most perspective first stage for algorithm of surface construction develop. A torus is topological multiplication of two circles S x S. His homological
group Z + Z has two generating homological loops C1 and
C2. Their linear combination define new loop wich generates
vector field on the torus. So the loop 2C1+3C2
is knotted on the torus. The closed knot is well known as a torical knot
or a three-leaf.
Among surfaces with edge we can select as most interest non-oriented
manifolds. A simplest example Mebius band you can see on the pic 7.
We don’t consider theories of non-oriented surfaces in the paper. But for our goals here is one usefull feature – double covered r : Y® X of such non-oriented surface X. Under the covered manifold Y is oriented and Y hasn’t any difference with X by appearance. Set of Y vertexes are congruent to set of X vertexes, but faces in the VRML-description of Y we have done twice – with direct and inversed index of vertexes. Thus we have no troubles about inverse pasting edges of surface together in the pointline of the contact. Instead we can prolong our construction up to next contact. With a “Klein bottle” case the covering manifold is a topological equivalence for a torus wich twice envelop one. In the conclusion we can mark that for a smooth geometric surfaces construction it doesn’t necessary indefinite subdivision of model by a set of small polygons. In last versions of VRML browsers is realized the Normal node which allow us to define the smooth field of surface’s reflection normals on the set of polyhedron’s faces. Thus we can have a good appearance with a real number of polygons in the model. 2. Fomenko A.T., Fuks D.B., Homotopic topology. M, 1989 3. Dubrovin B.A., Novikov S.V., Fomenko A.T. Modern geometry. M.1979 4. Arnold V.I., Varchenko A.N., Hussein-Zade S.M. Singularities of differentiable maps. M.1982. 5. Postnikov M.M.,. Introduction in Morse theory. M.,1971 6. Hilbert D., Kon-Fossen C. Visual geometry M.,1981 7. Boltiansky V.G., Efremovich V.A. Visual topology. M.,1982 8. Tamura I. Laminaries topology. M., 1979 9. Krowl R., Fox R, Knots theory introduction. M., 1967 10. Preperata F.,Shamos M. Computational geometry. An introduction. M.,1989 |