CC BY
2BULLETIN OF OSH STATE UNIVERSITY MATHEMATICS. PHYSICS. TECHNOLOGY. 2024, № 1(4)
UDC 004.946
DOI: https://doi.org/10.52754/16948645 2024 1(4) 49
AXIOMATIZATION OF MOTION IN VIRTUAL TOPOLOGICAL SPACES
Zhoraev Adahamzhan Khamitzhanovich, Cand. Sci.
adaham_67@mail. ru KUIU named after B.Sydykov Osh, Kyrgyzstan
Abstract. The goal of this paper is to survey problems of axiomatization in general, to survey of axiomatization of motion in various spaces and to present a system of axioms to present controlled motion of stretched objects with bounded velocity. Survey of peculiarities of axiomatization in mathematics based on works by A.A. Borubaev and G.M. Kenenbaeva, axiomatization of kinematical spaces is presented in the paper. A new notion of generalized kinematical space is defined: given a family of connected sets of a kinematical space (passes) and a family of connected (isomorphic) sets (things); "passes" contain continuous sequences of "objects ".
Keywords: axiomatization, topological space, kinematical space, virtual space, velocity, motion.
ЭЛЕСТЕТИЛГЕН ТОПОЛОГИЯЛЫК МЕЙКИНДИКТЕРДЕ КЫЙМЫЛДООНУ
АКСИОМАЛАШТЫРУУ
Жораев Адахамжан Хамитжанович, ф.-м.и.к., доцент
adaham_67@mail.ru Б. Сыдыков атындагы КОЭА У Ош, Кыргызстан
Аннотация. Макаланын максаты - жалпысынан аксиомалаштыруу маселелерин карап чыгуу, ар тYрдYY мейкиндиктерде кыймылдын аксиомалаштыруусун карап чыгуу, мейкиндикте чектелген ылдамдыктагы объекттердин башкарылуучу кыймылы YЧYн аксиомалардын системасын кврсвтуу. Макалада А.А. Борубаев менен Г.М. Кененбаеванын эмгектеринин негизинде математикадагы аксиомалаштыруунун взгвчвЛYктврY жана кинематикалык мейкиндиктерди аксиомалаштыруу боюнча жалпы маалымат кврсвтYлгвн. Жалпыланган кинематикалык мейкиндиктин жацы тYШYHYгY аныкталды: кинематикалык мейкиндиктеги квптYктврдYH топтому (втмвктвр) жана квптYктврдYH (объекттердин) топтомдору (изоморфтук) берилет; "втмвктвр" "объекттердин" YзгYлтYксYз ырааттуулугун камтыйт.
Ачкыч свздвр: аксиомалаштыруу, топологиялык мейкиндик, кинематикалык мейкиндик, элестетилген мейкиндик, ылдамдык, кыймылдоо.
АКСИОМАТИЗАЦИЯ ДВИЖЕНИЯ В ВИРТУАЛЬНОМ ТОПОЛОГИЧЕСКОМ
ПРОСТРАНСТВЕ
Жораев Адахамжан Хамитжанович, к.ф.-м.н., доцент
adaham_67@mail. ru КУМУ имени Б. Сыдыкова Ош, Кыргызстан
Аннотация. Цель статьи - обзор проблем аксиоматизации в целом, обзор аксиоматизации движения в различных пространствах, представление системы аксиом для управляемого движения объектов в пространстве с ограниченной скоростью. В статье представлены обзор особенностей
аксиоматизации в математике на основе работ А.А. Борубаева и Г.М. Кененбаевой и аксиоматизация кинематических пространств. Определено новое понятие обобщенного кинематического пространства: даны семейство множеств в кинематическом пространстве (проходов) и семейство (изоморфных) множеств (объектов); «проходы» содержат непрерывные последовательности «объектов».
Ключевые слова: аксиоматизация, топологическое пространство, кинематическое пространство, виртуальное пространство, скорость, движение.
1. Introduction In [1] virtual reality was defined as a computer presentation of various spaces known in mathematics in ways close to ways of presenting real (3D-Euclidean) space. This initiated new capacities for investigation.
Nevertheless, in various publications only real space is considered. For instance, [2]: the virtual reality technology, which has provided a powerful tool for people to experience the virtual world.
The goal of this work is to survey problems of axiomatization in general, to survey of axiomatization of motion in various spaces and to present a system of axioms to present controlled motion of stretched objects with bounded velocity.
The second section presents a survey of axiomatization. A.A.Borubaev [3] considered ideas and axiomatization of topology and uniform topology. On this base, in the series of works [4-6] a general survey of mathematics was proposed: firstly, some ideas appeared, effects and phenomena had been discovered; further, systems of axioms were developed.
The third section contains a survey of axiomatization of controlled motion of points in a topological space.
The fourth section presents controlled motion of stretched objects with bounded velocity. Topological structures on sets are built by introducing families of subsets meeting some properties. To generalize the notion of a kinematical space we propose to use a family of subsets having "length" (we will call them "passes") and a family of subsets (we will call them "things") which are to be moved along "passes".
2. Survey of axiomatization in mathematics. We cite [3]: Axiomatization of the notion of continuity had led to the notion of a topological space. There were two ways of axiomatization of the notion of uniform continuity: 1) through the proximity relation of two sets A and B (distance(A,B) is zero in a metric space) as development of P.S. Alexandroff's and K. Kuratowski's viewpoint on a topological space; 2) through axiomatization of properties of the system of s-neighborhoods in a metric space as development of Hausdorff's viewpoint. The first way had led to the construction of proximity spaces (V.A. Efremovich), the analysis of proximity spaces was held by Ju.M. Smirnov, the second way had led to the construction of uniform spaces (A. Weyl).
The first systematic exposition of the theory of uniform spaces in terms of entourages was given in Bourbaki's book. Another, but equivalent to the previous concept of a uniform space and defined in terms of a family of coverings was introduced and studied by Tukey. Later, a broad and important study of uniform spaces in the terms of coverings was carried by Yu.M. Smirnov. Isbell 's book, in which the theory of uniform spaces got an important development, was also written in terms of the coverings. One can see that the uniform spaces can also be described in terms of pseudometrics ...; in terms of metrics over semifields ...; in terms of equivalent nets ... and small sets ... and others.
On the base of this, in the series of works [4-6] a general survey of mathematics was done: firstly, some ideas appeared, effects and phenomena had been discovered; further, systems of
axioms were developed. As different systems of axioms codify the same idea, they are equivalent (and proof of their equvalence.
3. Survey of axiomatization of motion of points. The first idea was Gauss's notion of shortest ways along any smooth surfaces (geodesic lines).
As a codifying the ancient idea of controlled motion with bounded velocity, the notion of kinematical space was introduced [1].
Definition 3.1. A computer program is said to be a presentation of a computer kinematical space if:
P1) there is an (infinite) metrical space X of points and a set Xi of display-presentable points being sufficiently dense in X;
P2) the user can pass from any point xi in Xi to any other point x2 by a sequence of adjacent points in Xi by their will;
P3) the minimal time to reach x2 from xi is (approximately) equal of the minimal time to reach x2 from xi.
The space X is said to be a kinematic space; the space Xi is said to be a computer kinematic space; this minimal time is said to be the kinematical distance pX between xi and x2; a sequence of adjacent points is said to be a route. Passing to a limit as Xi tends to X we obtain the following.
There is a set K of routes; each route M, in turn, consists of the positive real number TM (time of route) and the function mM: [0, TM] —X (trajectory of route);
(K1) For xi ^x2eX there exists such MeK that mM(0) = xi and mM(TM) = x2, and the set of values of such TM is bounded with a positive number below;
(K2) If M= {TM, mM(t)} e K then the pair {TM, mM (TM - t)} is also a route of K (the reverse motion with same speed is possible); (cf. P3).
(K3) If M= {TM, mM(t)} e K and T*e (0, TM) then the pair: T* and function m*(t)=mM(t) (0 <t <T*) is also a route of K (one can stop at any desired moment);
(K4) concatenation of routes for three distinct points xi, x2, x3.
If there exists a kinematic consistent with the given metric then the metric space is said to be kinematizable.
A similar definition also based on the notion of path was proposed in [7].
Denote the set of connected subsets of R as In. A path is a continuous map y :In — X (a topological space).
The following definition is composed of some definitions in [7] reduced to a "a priori" bounded, path-connected space X.
Definition 3.2 (briefly). A length structure in X consists of a class A of admissible paths together with a function (length) L: A — R+.
(A1) The class A is closed under restrictions: if ye A, y: [a, b]— X and [u, v] a [a, b] then the restriction y\[u, v] e A and the function L is continuous with respect to u,v;
(A2) The class A is closed under concatenations of paths and the function L is additive correspondingly. If a path y: [a, b] — X is such that its restrictions y i, y 2 to [a, c] and [c, b] belong to A, then so is y.
(A3) The class A is closed under linear reparameterizations and the function L is invariant correspondingly: for a path ye A, y: [a, b]— X and a homeomorphism p : [c, d] — [a, b] of the form p(t) = at + P, the composition y(p(t)) is also a path.
(A4) [similar to (Kl)].
The metric in X is defined as
Pb(zo, zi) := inf(L(y) \y: [a, b] -X; у £ A; у (a) = zo; y(b) = z}
4. Axiomatization of motion of points with bounded velocity. We [8] proposed controlled motion of stretched sets in topological spaces with bounded velocity based on motion of points as [1].
We propose more general definition.
Consider the following task. Let there be a "thing" and "obstacles". It is necessary to move the thing to another place. Is it possible? If "yes" then in what minimal time it can be done?
The following definition improves one in [9].
Definition 4.1. Let there be a family P of connected subsets of the kinematical space X (passes); each pass has the positive length (time) and a family Q of connected (isomorphic) subsets of the set X (things). [i.e. a thing moves along a pass].
(G1) For each xe peP there exists such qeQ that xe q [a thing can be in each place of a
pass].
(G2) For each x1 ^ x2eX there exists such pass peP that x1 , x2 eP and the set of lengths of such p is bounded with a positive number below; this infimum is said to be the generalized kinematical distance pX between points x1 and x2.
(G3) For each q1 ^ q2eQ there exists such pass peP that q1 , q2 eP and they are continuously connected by elements of Q; the set of lengths of such p is bounded with a positive number below; this infimum is said to be the generalized kinematical distance pX between things p1 and p2.
(G4) If x1 , x2 ep1 and x2 , x3 ep2 then there exists such pass p3eP that x1 , x2, x3 ep3 and length(p3) < length(pO+ length^).
The space X is said to be a generalized kinematic space.
If Q=X then Definition 4.1 generalizes Definition 3.1.
5. Conclusion. We hope that the new definitions in this paper would provide effective computer presentations for motion of things in virtual and real spaces.
References
1. Борубаев А.А., Панков П.С. Компьютерные представления кинематических топологических пространств. - Бишкек: КГНУ, 1999.
2. Liu X., Zhang J., Hou G., Wang Z. Virtual Reality and Its Application in Military // Conference Series Earth and Environmental Science, 2018, Vol. 170, issue 3. - P. 32-41.
3. Борубаев А.А. Равномерная топология. - Бишкек: Илим, 2013.
4. Кененбаева Г.М. Обзор эффектов и явлений в различных разделах математики // Вестник Жалал-Абадского государственного университета, 2016, № 1(32). - С. 46-51.
5. Pankov P., Kenenbaeva G. Effect of "numerosity" and other effects in mathematics // Abstracts of the Third BULLETIN OF OSH STATE UNIVERSITY "Actual problems of the theory of control, topology and operator equations" / Ed. by Academician A. Borubaev. - Bishkek: Kyrgyz Mathematical Society, 2017. - P. 87.
6. Pankov P. S., Kenenbaeva G. M. Hypothesis on effect of "numerosity" and other effects in mathematics // Наука, новые технологии и инновации Кыргызстана. - Бишкек, 2017, № 5. - С. 60-62.
7. Burago D., Burago Yu., Ivanov S. A Course in Metric Geometry // Graduate Studies in Mathematics, Volume 33, American Mathematical Society. Providence, Rhode Island, 2001.
8. Zhoraev A.H. Motion of sets and orientation dimension of kinematical spaces // Abstracts of the VI Congress of the Turkic World Mathematical Society. - Astana: L.N. Gumilyov Eurasian National University, 2017. - P. 124.
9. Zhoraev A.H. Axiomatization of kinematical spaces // Herald of Institute of Mathematics of NAS of KR, 2021, No. 1. - P. 16-21.
