ISSN 1937 - 1055
VOLUME 4, 2017
INTERNATIONAL JOURNAL OF
MATHEMATICAL COMBINATORICS
EDITED BY
THE MADIS OF CHINESE ACADEMY OF SCIENCES AND
ACADEMY OF MATHEMATICAL COMBINATORICS & APPLICATIONS, USA
December, 2017 Vol.4, 2017 ISSN 1937-1055
International Journal of Mathematical Combinatorics (www.mathcombin.com)
Edited By
The Madis of Chinese Academy of Sciences and Academy of Mathematical Combinatorics & Applications, USA
December, 2017 Aims and Scope: The International J.Mathematical Combinatorics (ISSN 1937-1055) is a fully refereed international journal, sponsored by the MADIS of Chinese Academy of Sci- ences and published in USA quarterly comprising 110-160 pages approx. per volume, which publishes original research papers and survey articles in all aspects of Smarandache multi-spaces, Smarandache geometries, mathematical combinatorics, non-euclidean geometry and topology and their applications to other sciences. Topics in detail to be covered are: Smarandache multi-spaces with applications to other sciences, such as those of algebraic multi-systems, multi-metric spaces, , etc.. Smarandache geometries; · · · Topological graphs; Algebraic graphs; Random graphs; Combinatorial maps; Graph and map enumeration; Combinatorial designs; Combinatorial enumeration; Differential Geometry; Geometry on manifolds; Low Dimensional Topology; Differential Topology; Topology of Manifolds; Geometrical aspects of Mathematical Physics and Relations with Manifold Topology; Applications of Smarandache multi-spaces to theoretical physics; Applications of Combi- natorics to mathematics and theoretical physics; Mathematical theory on gravitational fields; Mathematical theory on parallel universes; Other applications of Smarandache multi-space and combinatorics. Generally, papers on mathematics with its applications not including in above topics are also welcome. It is also available from the below international databases: Serials Group/Editorial Department of EBSCO Publishing 10 Estes St. Ipswich, MA 01938-2106, USA Tel.: (978) 356-6500, Ext. 2262 Fax: (978) 356-9371 http://www.ebsco.com/home/printsubs/priceproj.asp and Gale Directory of Publications and Broadcast Media, Gale, a part of Cengage Learning 27500 Drake Rd. Farmington Hills, MI 48331-3535, USA Tel.: (248) 699-4253, ext. 1326; 1-800-347-GALE Fax: (248) 699-8075 http://www.gale.com Indexing and Reviews: Mathematical Reviews (USA), Zentralblatt Math (Germany), Refer- ativnyi Zhurnal (Russia), Mathematika (Russia), Directory of Open Access (DoAJ), Interna- tional Statistical Institute (ISI), International Scientific Indexing (ISI, impact factor 1.730), Institute for Scientific Information (PA, USA), Library of Congress Subject Headings (USA). Subscription A subscription can be ordered by an email directly to
Prof.Linfan Mao PhD The Editor-in-Chief of International Journal of Mathematical Combinatorics Chinese Academy of Mathematics and System Science Beijing, 100190, P.R.China Email: [email protected]
Price: US$48.00 Editorial Board (4th)
Editor-in-Chief
Linfan MAO Shaofei Du Chinese Academy of Mathematics and System Capital Normal University, P.R.China Science, P.R.China Email: [email protected] and Xiaodong Hu Academy of Mathematical Combinatorics & Chinese Academy of Mathematics and System Applications, USA Science, P.R.China Email: [email protected] Email: [email protected]
Deputy Editor-in-Chief Yuanqiu Huang Hunan Normal University, P.R.China Guohua Song Email: [email protected] Beijing University of Civil Engineering and H.Iseri Architecture, P.R.China Mansfield University, USA Email: [email protected] Email: hiseri@mnsfld.edu Editors Xueliang Li Nankai University, P.R.China Arindam Bhattacharyya Email: [email protected] Jadavpur University, India Guodong Liu Email: [email protected] Huizhou University Said Broumi Email: [email protected] Hassan II University Mohammedia W.B.Vasantha Kandasamy Hay El Baraka Ben M’sik Casablanca Indian Institute of Technology, India B.P.7951 Morocco Email: [email protected]
Junliang Cai Ion Patrascu Beijing Normal University, P.R.China Fratii Buzesti National College Email: [email protected] Craiova Romania
Yanxun Chang Han Ren Beijing Jiaotong University, P.R.China East China Normal University, P.R.China Email: [email protected] Email: [email protected]
Jingan Cui Ovidiu-Ilie Sandru Beijing University of Civil Engineering and Politechnica University of Bucharest Architecture, P.R.China Romania Email: [email protected] ii International Journal of Mathematical Combinatorics
Mingyao Xu Peking University, P.R.China Email: [email protected]
Guiying Yan Chinese Academy of Mathematics and System Science, P.R.China Email: [email protected] Y. Zhang Department of Computer Science Georgia State University, Atlanta, USA
Famous Words:
The greatest lesson in life is to know that even fools are right sometimes.
By Winston Churchill, a British statesman. International J.Math. Combin. Vol.4(2017), 1-18
Direct Product of Multigroups and Its Generalization
P.A. Ejegwa (Department of Mathematics/Statistics/Computer Science, University of Agriculture, P.M.B. 2373, Makurdi, Nigeria)
A. M. Ibrahim (Department of Mathematics, Ahmadu Bello University, Zaria, Nigeria)
E-mail: [email protected], [email protected]
Abstract: This paper proposes the concept of direct product of multigroups and its gen- eralization. Some results are obtained with reference to root sets and cuts of multigroups. We prove that the direct product of multigroups is a multigroup. Finally, we introduce the notion of homomorphism and explore some of its properties in the context of direct product of multigroups and its generalization. Key Words: Multisets, multigroups, direct product of multigroups. AMS(2010): 03E72, 06D72, 11E57, 19A22.
§1. Introduction
In set theory, repetition of objects are not allowed in a collection. This perspective rendered set almost irrelevant because many real life problems admit repetition. To remedy the handicap in the idea of sets, the concept of multiset was introduced in [10] as a generalization of set wherein objects repeat in a collection. Multiset is very promising in mathematics, computer science, website design, etc. See [14, 15] for details. Since algebraic structures like groupoids, semigroups, monoids and groups were built from the idea of sets, it is then natural to introduce the algebraic notions of multiset. In [12], the term multigroup was proposed as a generalization of group in analogous to some non-classical groups such as fuzzy groups [13], intuitionistic fuzzy groups [3], etc. Although the term multigroup was earlier used in [4, 11] as an extension of group theory, it is only the idea of multigroup in [12] that captures multiset and relates to other non-classical groups. In fact, every multigroup is a multiset but the converse is not necessarily true and the concept of classical groups is a specialize multigroup with a unit count [5]. In furtherance of the study of multigroups, some properties of multigroups and the anal- ogous of isomorphism theorems were presented in [2]. Subsequently, in [1], the idea of order of an element with respect to multigroup and some of its related properties were discussed. A complete account on the concept of multigroups from different algebraic perspectives was outlined in [8]. The notions of upper and lower cuts of multigroups were proposed and some of
1Received April 26, 2017, Accepted November 2, 2017. 2 P.A. Ejegwa and A.M. Ibrahim their algebraic properties were explicated in [5]. In continuation to the study of homomorphism in multigroup setting (cf. [2, 12]), some homomorphic properties of multigroups were explored in [6]. In [9], the notion of multigroup actions on multiset was proposed and some results were established. An extensive work on normal submultigroups and comultisets of a multigroup were presented in [7]. In this paper, we explicate the notion of direct product of multigroups and its generaliza- tion. Some homomorphic properties of direct product of multigroups are also presented. This paper is organized as follows; in Section 2, some preliminary definitions and results are pre- sented to be used in the sequel. Section 3 introduces the concept of direct product between two multigroups and Section 4 considers the case of direct product of kth multigroups. Meanwhile, Section 5 contains some homomorphic properties of direct product of multigroups.
§2. Preliminaries
Definition 2.1([14]) Let X = x , x , , x , be a set. A multiset A over X is a cardinal- { 1 2 · · · n ···} valued function, that is, C : X N such that for x Dom(A) implies A(x) is a cardinal A → ∈ and A(x) = CA(x) > 0, where CA(x) denoted the number of times an object x occur in A. Whenever C (x)=0, implies x / Dom(A). A ∈ The set of all multisets over X is denoted by MS(X).
Definition 2.2([15]) Let A, B MS(X), A is called a submultiset of B written as A B if ∈ ⊆ C (x) C (x) for x X. Also, if A B and A = B, then A is called a proper submultiset A ≤ B ∀ ∈ ⊆ 6 of B and denoted as A B. A multiset is called the parent in relation to its submultiset. ⊂ Definition 2.3([12]) Let X be a group. A multiset G is called a multigroup of X if it satisfies the following conditions:
(i) C (xy) C (x) C (y) x, y X; G ≥ G ∧ G ∀ ∈ 1 (ii) C (x− )= C (x) x X, G G ∀ ∈ where C denotes count function of G from X into a natural number N and denotes minimum, G ∧ respectively.
By implication, a multiset G is called a multigroup of a group X if
1 C (xy− ) C (x) C (y), x, y X. G ≥ G ∧ G ∀ ∈ It follows immediately from the definition that,
C (e) C (x), x X, G ≥ G ∀ ∈ where e is the identity element of X. The count of an element in G is the number of occurrence of the element in G. While the Direct Product of Multigroups and Its Generalization 3 order of G is the sum of the count of each of the elements in G, and is given by
n G = C (x ), x X. | | G i ∀ i ∈ i=1 X We denote the set of all multigroups of X by MG(X).
Definition 2.4([5]) Let A MG(X). A nonempty submultiset B of A is called a submulti- ∈ group of A denoted by B A if B form a multigroup. A submultigroup B of A is a proper ⊑ submultigroup denoted by B ⊏ A, if B A and A = B. ⊑ 6 Definition 2.5([5]) Let A MG(X). Then the sets A and A defined as ∈ [n] (n) (i) A = x X C (x) n,n N and [n] { ∈ | A ≥ ∈ } (ii) A = x X C (x) > n,n N (n) { ∈ | A ∈ } are called strong upper cut and weak upper cut of A.
Definition 2.6([5]) Let A MG(X). Then the sets A[n] and A(n) defined as ∈ (i) A[n] = x X C (x) n,n N and { ∈ | A ≤ ∈ } (ii) A(n) = x X C (x) < n,n N { ∈ | A ∈ } are called strong lower cut and weak lower cut of A.
Definition 2.7([12]) Let A MG(X). Then the sets A and A∗ are defined as ∈ ∗
(i) A = x X CA(x) > 0 and ∗ { ∈ | } (ii) A∗ = x X C (x)= C (e) , where e is the identity element of X. { ∈ | A A }
Proposition 2.8([12]) Let A MG(X). Then A and A∗ are subgroups of X. ∈ ∗ Theorem 2.9([5]) Let A MG(X). Then A is a subgroup of X n C (e) and A[n] is a ∈ [n] ∀ ≤ A subgroup of X n C (e), where e is the identity element of X and n N. ∀ ≥ A ∈ Definition 2.10([7]) Let A, B MG(X) such that A B. Then A is called a normal ∈ ⊆1 submultigroup of B if for all x, y X, it satisfies C (xyx− ) C (y). ∈ A ≥ A Proposition 2.11([7]) Let A, B MG(X). Then the following statements are equivalent: ∈ (i) A is a normal submultigroup of B; 1 (ii) C (xyx− )= C (y) x, y X; A A ∀ ∈ (iii) C (xy)= C (yx) x, y X. A A ∀ ∈ Definition 2.12([7]) Two multigroups A and B of X are conjugate to each other if for all 1 1 x, y X, C (x)= C (yxy− ) and C (y)= C (xyx− ). ∈ A B B A Definition 2.13([6]) Let X and Y be groups and let f : X Y be a homomorphism. Suppose → A and B are multigroups of X and Y , respectively. Then f induces a homomorphism from A to B which satisfies 4 P.A. Ejegwa and A.M. Ibrahim
1 1 1 (i) C (f − (y y )) C (f − (y )) C (f − (y )) y ,y Y ; A 1 2 ≥ A 1 ∧ A 2 ∀ 1 2 ∈ (ii) C (f(x x )) C (f(x )) C (f(x )) x , x X, B 1 2 ≥ B 1 ∧ B 2 ∀ 1 2 ∈ where
(i) the image of A under f, denoted by f(A), is a multiset of Y defined by
1 x f −1(y) CA(x), f − (y) = Cf(A)(y)= ∈ 6 ∅ 0, otherwise W for each y Y and ∈ 1 (ii) the inverse image of B under f, denoted by f − (B), is a multiset of X defined by
C −1 (x)= C (f(x)) x X. f (B) B ∀ ∈
Proposition 2.14([12]) Let X and Y be groups and f : X Y be a homomorphism. If → A MG(X), then f(A) MG(Y ). ∈ ∈ Corollary 2.15([12]) Let X and Y be groups and f : X Y be a homomorphism. If B 1 → ∈ MG(Y ), then f − (B) MG(X). ∈
§3. Direct Product of Multigroups
Given two groups X and Y , the direct product, X Y is the Cartesian product of ordered pair × (x, y) such that x X and y Y , and the group operation is component-wise, so ∈ ∈ (x ,y ) (x ,y ) = (x x ,y y ). 1 1 × 2 2 1 2 1 2 The resulting algebraic structure satisfies the axioms for a group. Since the ordered pair (x, y) such that x X and y Y is an element of X Y , we simply write (x, y) X Y . In ∈ ∈ × ∈ × this section, we discuss the notion of direct product of two multigroups defined over X and Y , respectively.
Definition 3.1 Let X and Y be groups, A MG(X) and B MG(Y ), respectively. The ∈ ∈ direct product of A and B depicted by A B is a function ×
CA B : X Y N × × → defined by
CA B ((x, y)) = CA(x) CB (y) x X, y Y. × ∧ ∀ ∈ ∀ ∈
2 Example 3.2 Let X = e,a be a group, where a = e and Y = e′,x,y,z be a Klein 4-group, 2 2 2 { } { } where x = y = z = e′. Then A = [e5,a] Direct Product of Multigroups and Its Generalization 5 and 6 4 5 4 B = [(e′) , x ,y ,z ] are multigroups of X and Y by Definition 2.3. Now
X Y = (e,e′), (e, x), (e,y), (e,z), (a,e′), (a, x), (a,y), (a,z) × { } is a group such that
2 2 2 2 2 2 2 (e, x) = (e,y) = (e,z) = (a,e′) = (a, x) = (a,y) = (a,z) = (e,e′) is the identity element of X Y . Then using Definition 3.1, ×
5 4 5 4 A B = [(e,e′) , (e, x) , (e,y) , (e,z) , (a,e′), (a, x), (a,y), (a,z)] × is a multigroup of X Y satisfying the conditions in Definition 2.3. × Example 3.3 Let X and Y be groups as in Example 3.2. Let
A = [e5,a4] and 7 9 6 5 B = [(e′) , x ,y ,z ] be multisets of X and Y , respectively. Then
5 5 5 5 4 4 4 4 A B = [(e,e′) , (e, x) , (e,y) , (e,z) , (a,e′) , (a, x) , (a,y) , (a,z) ]. × By Definition 2.3, it follows that A B is a multigroup of X Y although B is not a × × multigroup of Y while A is a multigroup of X.
From the notion of direct product in multigroup context, we observe that
A B < A B | × | | || | unlike in classical group where X Y = X Y . | × | | || |
Theorem 3.4 Let A MG(X) and B MG(Y ), respectively. Then for all n N, (A B) = ∈ ∈ ∈ × [n] A B . [n] × [n] Proof Let (x, y) (A B) . Using Definition 2.5, we have ∈ × [n]
CA B ((x, y)) = (CA(x) CB (y)) n. × ∧ ≥ This implies that C (x) n and C (y) n, then x A and y B . Thus, A ≥ B ≥ ∈ [n] ∈ [n] (x, y) A B . ∈ [n] × [n] 6 P.A. Ejegwa and A.M. Ibrahim
Also, let (x, y) A B . Then C (x) n and C (y) n. That is, ∈ [n] × [n] A ≥ B ≥ (C (x) C (y)) n. A ∧ B ≥
This yields us (x, y) (A B) . Therefore, (A B) = A B n N. ¾ ∈ × [n] × [n] [n] × [n] ∀ ∈ Corollary 3.5 Let A MG(X) and B MG(Y ), respectively. Then for all n N, (A B)[n] = ∈ ∈ ∈ × A[n] B[n]. ×
Proof Straightforward from Theorem 3.4. ¾
Corollary 3.6 Let A MG(X) and B MG(Y ), respectively. Then ∈ ∈ (i) (A B) = A B ; × ∗ ∗ × ∗ (ii) (A B)∗ = A∗ B∗. × ×
Proof Straightforward from Theorem 3.4. ¾
Theorem 3.7 Let A and B be multigroups of X and Y , respectively, then A B is a multigroup × of X Y . × Proof Let (x, y) X Y and let x = (x , x ) and y = (y ,y ). We have ∈ × 1 2 1 2
CA B(xy) = CA B((x1, x2)(y1,y2)) × × = CA B((x1y1, x2y2)) × = C (x y ) C (x y ) A 1 1 ∧ B 2 2 (C (x ) C (y ), C (x ) C (y )) ≥ ∧ A 1 ∧ A 1 B 2 ∧ B 2 = (C (x ) C (x ), C (y ) C (y )) ∧ A 1 ∧ B 2 A 1 ∧ B 2 = CA B((x1, x2)) CA B((y1,y2)) × ∧ × = CA B(x) CA B(y). × ∧ × Also,
1 1 1 1 CA B(x− ) = CA B((x1, x2)− )= CA B ((x1− , x2− )) × × × 1 1 = C (x− ) C (x− )= C (x ) C (x ) A 1 ∧ B 2 A 1 ∧ B 2 = CA B((x1, x2)) = CA B(x). × ×
Hence, A B MG(X Y ). ¾ × ∈ × Corollary 3.8 Let A ,B MG(X ) and A ,B MG(X ), respectively such that A B 1 1 ∈ 1 2 2 ∈ 2 1 ⊆ 1 and A B . If A and A are normal submultigroups of B and B , then A A is a normal 2 ⊆ 2 1 2 1 2 1 × 2 submultigroup of B B . 1 × 2 Proof By Theorem 3.7, A A is a multigroup of X X . Also, B B is a multigroup 1 × 2 1 × 2 1 × 2 of X X . We show that A A is a normal submultigroup of B B . Let(x, y) X X 1 × 2 1 × 2 1 × 2 ∈ 1 × 2 Direct Product of Multigroups and Its Generalization 7
such that x = (x1, x2) and y = (y1,y2). Then we get
CA A (xy) = CA A ((x1, x2)(y1,y2)) 1× 2 1× 2 = CA A ((x1y1, x2y2)) 1× 2 = C (x y ) C (x y ) A1 1 1 ∧ A2 2 2 = C (y x ) C (y x ) A1 1 1 ∧ A2 2 2 = CA A ((y1x1,y2x2)) 1× 2 = CA A ((y1,y2)(x1, x2)) 1× 2 = CA A (yx). 1× 2
Hence A A is a normal submultigroup of B B by Proposition 2.11. ¾ 1 × 2 1 × 2
Theorem 3.9 Let A and B be multigroups of X and Y , respectively. Then
(i) (A B) is a subgroup of X Y ; × ∗ × (ii) (A B)∗ is a subgroup of X Y ; × × (iii) (A B)[n],n N is a subgroup of X Y , n CA B (e,e′); × ∈ × ∀ ≤ × [n] (iv) (A B) ,n N is a subgroup of X Y , n CA B (e,e′). × ∈ × ∀ ≥ ×
Proof Combining Proposition 2.8, Theorem 2.9 and Theorem 3.7, the results follow. ¾
Corollary 3.10 Let A, C MG(X) such that A C and B,D MG(Y ) such that B D, ∈ ⊆ ∈ ⊆ respectively. If A and B are normal, then
(i) (A B) is a normal subgroup of (C D) ; × ∗ × ∗ (ii) (A B)∗ is a normal subgroup of (C D)∗; × × (iii) (A B)[n],n N is a normal subgroup of (C D)[n], n CA B (e,e′); × ∈ × ∀ ≤ × [n] [n] (iv) (A B) ,n N is a normal subgroup of (C D) , n CA B (e,e′). × ∈ × ∀ ≥ × Proof Combining Proposition 2.8, Theorem 2.9, Theorem 3.7 and Corollary 3.8, the results
follow. ¾
Proposition 3.11 Let A MG(X), B MG(Y ) and A B MG(X Y ). Then (x, y) ∈ ∈ × ∈ × ∀ ∈ X Y , we have × 1 1 (i) CA B((x− ,y− )) = CA B((x, y)); × × (ii) CA B ((e,e′)) CA B((x, y)); × ≥ × n (iii) CA B((x, y) ) CA B((x, y)), where e and e′ are the identity elements of X and Y , × ≥ × respectively and n N. ∈ Proof For x X, y Y and (x, y) X Y , we get ∈ ∈ ∈ × 1 1 1 1 (i) CA B((x− ,y− )) = CA(x− ) CB (y− )= CA(x) CB (y)= CA B((x, y)). × ∧ ∧ × 1 1 Clearly, CA B((x− ,y− )) = CA B((x, y)) (x, y) X Y . × × ∀ ∈ × 8 P.A. Ejegwa and A.M. Ibrahim
(ii)
1 1 CA B((e,e′)) = CA B((x, y)(x− ,y− )) × × 1 1 CA B((x, y)) CA B ((x− ,y− )) ≥ × ∧ × = CA B((x, y)) CA B ((x, y)) × ∧ × = CA B((x, y)) (x, y) X Y. × ∀ ∈ ×
Hence, CA B((e,e′)) CA B ((x, y)). × ≥ × (iii)
n n n CA B ((x, y) ) = CA B((x ,y )) × × n 1 n 1 = CA B((x − ,y − )(x, y)) × n 1 n 1 CA B((x − ,y − )) CA B((x, y)) ≥ × ∧ × n 2 n 2 CA B((x − ,y − )) CA B((x, y)) CA B ((x, y)) ≥ × ∧ × ∧ × CA B((x, y)) CA B ((x, y)) ... CA B ((x, y)) ≥ × ∧ × ∧ ∧ × = CA B((x, y)), ×
n n n which implies that CA B ((x, y) )= CA B((x ,y )) CA B((x, y)) (x, y) X Y . ¾ × × ≥ × ∀ ∈ × Theorem 3.12 Let A and B be multisets of groups X and Y , respectively. Suppose that e and e′ are the identity elements of X and Y , respectively. If A B is a multigroup of X Y , then × × at least one of the following statements hold.
(i) C (e′) C (x) x X; B ≥ A ∀ ∈ (ii) C (e) C (y) y Y . A ≥ B ∀ ∈ Proof Let A B MG(X Y ). By contrapositive, suppose that none of the statements × ∈ × holds. Then suppose we can find a in X and b in Y such that
CA(a) > CB(e′) and CB (b) > CA(e).
From these we have
CA B ((a,b)) = CA(a) CB(b) × ∧ > C (e) C (e′) A ∧ B = CA B((e,e′)). ×
Thus, A B is not a multigroup of X Y by Proposition 3.11. Hence, either C (e′) × × B ≥
C (x) x X or C (e) C (y) y Y . This completes the proof. ¾ A ∀ ∈ A ≥ B ∀ ∈ Theorem 3.13 Let A and B be multisets of groups X and Y , respectively, such that C (x) A ≤ C (e′) x X, e′ being the identity element of Y . If A B is a multigroup of X Y, then A B ∀ ∈ × × is a multigroup of X. Direct Product of Multigroups and Its Generalization 9
Proof Let A B be a multigroup of X Y and x, y X. Then (x, e′), (y,e′) X Y . × × ∈ ∈ × Now, using the property C (x) C (e′) x X, we get A ≤ B ∀ ∈
C (xy) = C (xy) C (e′e′) A A ∧ B = CA B ((x, e′)(y,e′)) × CA B ((x, e′)) CA B ((y,e′)) ≥ × ∧ × = (C (x) C (e′), C (y) C (e′)) ∧ A ∧ B A ∧ B = C (x) C (y). A ∧ A Also,
1 1 1 1 1 CA(x− ) = CA(x− ) CB (e′− )= CA B((x− ,e′− )) ∧ × 1 = CA B((x, e′)− )= CA B((x, e′)) × × = C (x) C (e′)= C (x). A ∧ B A
Hence, A is a multigroup of X. This completes the proof. ¾
Theorem 3.14 Let A and B be multisets of groups X and Y , respectively, such that C (x) B ≤ C (e) x Y , e being the identity element of X. If A B is a multigroup of X Y, then B is A ∀ ∈ × × a multigroup of Y .
Proof Similar to Theorem 3.13. ¾
Corollary 3.15 Let A and B be multisets of groups X and Y , respectively. If A B is a × multigroup of X Y , then either A is a multigroup of X or B is a multigroup of Y . ×
Proof Combining Theorems 3.12 3.14, the result follows. ¾ −
Theorem 3.16 If A and C are conjugate multigroups of a group X, and B and D are conjugate multigroups of a group Y . Then A B MG(X Y ) is a conjugate of C D MG(X Y ). × ∈ × × ∈ ×
Proof Since A and C are conjugate, it implies that for g X, we have 1 ∈
1 C (x)= C (g− xg ) x X. A C 1 1 ∀ ∈ Also, since B and D are conjugate, for g Y , we get 2 ∈
1 C (y)= C (g− yg ) y Y. B D 2 2 ∀ ∈ 10 P.A. Ejegwa and A.M. Ibrahim
Now,
1 1 CA B((x, y)) = CA(x) CB (y) = CC (g1− xg1) CD(g2− yg2) × ∧ ∧ 1 1 = CC D((g1− xg1), (g2− yg2)) × 1 1 = CC D((g1− ,g2− )(x, y)(g1,g2)) × 1 = CC D((g1,g2)− (x, y)(g1,g2)). ×
1 Hence, CA B((x, y)) = CC D((g1,g2)− (x, y)(g1,g2)). This completes the proof. ¾ × ×
§4. Generalized Direct Product of Multigroups
In this section, we defined direct product of kth multigroups and obtain some results which generalized the results in Section 3.
Definition 4.1 Let A , A , , A be multigroups of X ,X , ,X , respectively. Then the 1 2 · · · k 1 2 · · · k direct product of A , A , , A is a function 1 2 · · · k
CA A A : X1 X2 Xk N 1× 2×···× k × ×···× → defined by
CA A A (x)= CA (x1) CA (x2) CA (xk 1) CA (xk) 1× 2×···× k 1 ∧ 2 ∧···∧ k−1 − ∧ k where x = (x1, x2, , xk 1, xk), x1 X1, x2 X2, , xk Xk. If we denote A1, A2, , Ak · · · − ∀ ∈ ∀ ∈ · · · ∀ ∈ · · · by A , (i I),X ,X , ,X by X , (i I), A A A by k A and X X X i ∈ 1 2 · · · k i ∈ 1× 2×···× k i=1 i 1× 2×···× k by k X . Then the direct product of A is a function i=1 i i Q
Q k
C k A : Xi N i=1 i → i=1 Q Y defined by
C k A ((xi)i I )= i I CAi ((xi)) xi Xi, I =1, , k. i=1 i ∈ ∧ ∈ ∀ ∈ · · · Q Unless otherwise specified, it is assumed that Xi is a group with identity ei for all i I, k ∈ X = i I Xi, and so e = (ei)i I . ∈ ∈ Q Theorem 4.2 Let A , A , , A be multisets of the sets X ,X , ,X , respectively and let 1 2 · · · k 1 2 · · · k n N. Then ∈ (A A A ) = A A A . 1 × 2 ×···× k [n] 1[n] × 2[n] ×···× k[n]
Proof Let (x , x , , x ) (A A A ) . From Definition 2.5, we have 1 2 · · · k ∈ 1 × 2 ×···× k [n]
CA A A ((x1, x2, , xk)) = (CA (x1) CA (x2) CA (xk)) n. 1× 2×···× k · · · 1 ∧ 2 ∧···∧ k ≥ Direct Product of Multigroups and Its Generalization 11
This implies that C (x ) n, C (x ) n, , C (x ) n and x A , x A1 1 ≥ A2 2 ≥ · · · Ak k ≥ 1 ∈ 1[n] 2 ∈ A , , x A . Thus, (x , x , , x ) A A A . 2[n] · · · k ∈ k[n] 1 2 · · · k ∈ 1[n] × 2[n] ×···× k[n] Again, let (x , x , , x ) A A A . Then x A , for i =1, 2, , k, 1 2 · · · k ∈ 1[n] × 2[n] ×···× k[n] i ∈ i[n] · · · C (x ) n, C (x ) n, , C (x ) n. That is, A1 1 ≥ A2 2 ≥ · · · Ak k ≥ (C (x ) C (x ) C (x )) n. A1 1 ∧ A2 2 ∧···∧ Ak k ≥ Implies that (x , x , , x ) (A A ... A ) . 1 2 · · · k ∈ 1 × 2 × × k [n]
Hence, (A A A ) = A A A . ¾ 1 × 2 ×···× k [n] 1[n] × 2[n] ×···× k[n] Corollary 4.3 Let A , A , , A be multisets of the sets X ,X , ,X , respectively and let 1 2 · · · k 1 2 · · · k n N. Then ∈ (i) (A A A )[n] = A[n] A[n] A[n]; 1 × 2 ×···× k 1 × 2 ×···× k (ii) (A A A )∗ = A∗ A∗ A∗ ; 1 × 2 ×···× k 1 × 2 ×···× k (iii) (A1 A2 Ak) = A1 A2 Ak . × ×···× ∗ ∗ × ∗ ×···× ∗
Proof Straightforward from Theorem 4.2. ¾
Theorem 4.4 Let A , A , , A be multigroups of the groups X ,X , ,X , respectively. 1 2 · · · k 1 2 · · · k Then A A A is a multigroup of X X X . 1 × 2 ×···× k 1 × 2 ×···× k Proof Let (x , x , , x ), (y ,y , ,y ) X X X . We get 1 2 · · · k 1 2 · · · k ∈ 1 × 2 ×···× k
CA A ((x1, , xk)(y1, ,yk)) 1×···× k · · · · · · = CA A ((x1y1, , xkyk)) 1×···× k · · · = C (x y ) C (x y ) A1 1 1 ∧···∧ Ak k k (C (x ) C (y )) (C (x ) C (y )) ≥ A1 1 ∧ A1 1 ∧···∧ Ak k ∧ Ak k = ( (C (x ), C (y )), , (C (x ), C (y )) ∧ ∧ A1 1 A1 1 · · · ∧ Ak k Ak k = ( (C (x ), , C (x )), (C (y ), , C (y ))) ∧ ∧ A1 1 · · · Ak k ∧ A1 1 · · · Ak k = CA A ((x1, , xk)) CA A ((y1, ,yk)). 1×···× k · · · ∧ 1×···× k · · · Also,
1 1 1 CA1 Ak ((x1, , xk)− ) = CA1 Ak ((x1− , , x− )) ×···× · · · ×···× · · · k 1 1 = C (x− ) C (x− ) A1 1 ∧···∧ Ak k = C (x ) C (x ) A1 1 ∧···∧ Ak k = CA A ((x1, , xk)) 1×···× k · · ·
Hence, A A A is a multigroup of X X X . ¾ 1 × 2 ×···× k 1 × 2 ×···× k Corollary 4.5 Let A , A , , A and B ,B , ,B be multigroups of X ,X , ,X , re- 1 2 · · · k 1 2 · · · k 1 2 · · · k 12 P.A. Ejegwa and A.M. Ibrahim spectively, such that A , A , , A B ,B , ,B . If A , A , , A are normal submulti- 1 2 · · · k ⊆ 1 2 · · · k 1 2 · · · k groups of B ,B , ,B , then A A A is a normal submultigroup of B B B . 1 2 · · · k 1 × 2×···× k 1 × 2×···× k Proof By Theorem 4.4, A A A is a multigroup of X ,X , ,X . Also, 1 × 2 ×···× k 1 2 · · · k B B B is a multigroup of X ,X , ,X . 1 × 2 ×···× k 1 2 · · · k Let (x , x , , x ), (y ,y , ,y ) X X X . Then we get 1 2 · · · k 1 2 · · · k ∈ 1 × 2 ×···× k
CA A ((x1, , xk)(y1, ,yk)) = CA A ((x1y1, , xkyk)) 1×···× k · · · · · · 1×···× k · · · = C (x y ) C (x y ) A1 1 1 ∧···∧ Ak k k = C (y x ) C (y x ) A1 1 1 ∧···∧ Ak k k = CA A ((y1x1, ,ykxk)) 1×···× k · · · = CA A ((y1, ,yk)(x1, , xk)). 1×···× k · · · · · ·
Thus, A A is a normal submultigroup of B B by Proposition 2.11. ¾ 1 ×···× k 1 ×···× k Theorem 4.6 If A , A , , A are multigroups of X ,X , ,X , respectively, then 1 2 · · · k 1 2 · · · k
(i) (A1 A2 Ak) is a subgroup of X1 X2 Xk; × ×···× ∗ × ×···× (ii) (A A A )∗ is a subgroup of X X X ; 1 × 2 ×···× k 1 × 2 ×···× k (iii) (A A A ) ,n N is a subgroup of X X X , n C (e ) 1 × 2 ×···× k [n] ∈ 1 × 2 ×···× k ∀ ≤ A1 1 ∧ C (e ) C (e ); A2 2 ∧···∧ Ak k (iv) (A A A )[n],n N is a subgroup of X X X , n C (e ) 1 × 2 ×···× k ∈ 1 × 2 ×···× k ∀ ≥ A1 1 ∧ C (e ) C (e ). A2 2 ∧···∧ Ak k
Proof Combining Proposition 2.8, Theorem 2.9 and Theorem 4.4, the results follow. ¾
Corollary 4.7 Let A , A , , A and B ,B , ,B be multigroups of X ,X , ,X such 1 2 · · · k 1 2 · · · k 1 2 · · · k that A , A , , A B ,B , ,B . If A , A , , A are normal submultigroups of B ,B , 1 2 · · · k ⊆ 1 2 · · · k 1 2 · · · k 1 2 ,B , then · · · k
(i) (A1 A2 Ak) is a normal subgroup of (B1 B2 Bk) ; × ×···× ∗ × ×···× ∗ (ii) (A A A )∗ is a normal subgroup of (B B B )∗; 1 × 2 ×···× k 1 × 2 ×···× k (iii) (A A A ) ,n N is a normal subgroup of (B B B ) , 1 × 2 ×···× k [n] ∈ 1 × 2 ×···× k [n] n C (e ) C (e ) C (e ); ∀ ≤ A1 1 ∧ A2 2 ∧···∧ Ak k (iv) (A A A )[n],n N is a normal subgroup of (B B B )[n], 1 × 2 ×···× k ∈ 1 × 2 ×···× k n C (e ) C (e ) C (e ). ∀ ≥ A1 1 ∧ A2 2 ∧···∧ Ak k Proof Combining Proposition 2.8, Theorem 2.9, Theorem 4.4 and Corollary 4.5, the results
follow. ¾
Theorem 4.8 Let A , A , , A and B ,B , ,B be multigroups of groups X ,X , ,X , 1 2 · · · k 1 2 · · · k 1 2 · · · k respectively. If A , A , , A are conjugate to B ,B , ,B , then the multigroup A A 1 2 · · · k 1 2 · · · k 1 × 2 × A of X X X is conjugate to the multigroup B B B of X X X . ···× k 1× 2×···× k 1× 2×···× k 1× 2×···× k
Proof By Definition 2.12, if multigroup Ai of Xi conjugates to multigroup Bi of Xi, then Direct Product of Multigroups and Its Generalization 13 exist x X such that for all y X , i ∈ i i ∈ i
1 C (y )= C (x− y x ),i =1, 2, , k. Ai i Bi i i i · · · Then we have
CA A ((y1, ,yk)) = CA (y1) CA (yk) 1×···× k · · · 1 ∧···∧ k 1 1 = C (x− y x ) C (x− y x ) B1 1 1 1 ∧···∧ Bk k k k 1 1 = CB1 Bk ((x1− y1x1, , x− ykxk)). ×···× · · · k
This completes the proof. ¾
Theorem 4.9 Let A , A , , A be multisets of the groups X ,X , ,X , respectively. Sup- 1 2 · · · k 1 2 · · · k pose that e ,e , ,e are identities elements of X ,X , ,X , respectively. If A A 1 2 · · · k 1 2 · · · k 1 × 2 ×···× A is a multigroup of X X X , then for at least one i =1, 2, , k, the statement k 1 × 2 ×···× k · · ·
CA A Ai Ai A ((e1,e2, ,ei 1,ei+1, ,ek)) CAi ((xi)), xi Xi 1× 2×···× −1× +1×···× k · · · − · · · ≥ ∀ ∈ holds.
Proof Let A A A be a multigroup of X X X . By contraposition, 1 × 2 ×···× k 1 × 2 ×···× k suppose that for none of i =1, 2, , k, the statement holds. Then we can find (a ,a , ,a ) · · · 1 2 · · · k ∈ X X X , respectively, such that 1 × 2 ×···× k
CAi ((ai)) > CA A Ai Ai A ((e1,e2, ,ei 1,ei+1, ,ek)). 1× 2×···× −1× +1×···× k · · · − · · · Then we have
CA A ((a1, ,ak)) = CA (a1) CA (ak) 1×···× k · · · 1 ∧···∧ k
> CA Ai Ai A ((e1, ,ei 1,ei+1, ,ek)) 1×···× −1× +1×···× k · · · − · · ·
= CA (e1) CAi (ei 1) CAi (ei+1) CA (ek) 1 ∧···∧ −1 − ∧ +1 ∧···∧ k = C (e ) C (e ) A1 1 ∧···∧ Ak k = CA A ((e1, ..., ek)). 1×···× k
So, A A ... A is not a multigroup of X X X . Hence, for at least one 1 × 2 × × k 1 × 2 ×···× k i =1, 2, , k, the inequality · · ·
CA Ai Ai A ((e1, ,ei 1,ei+1, ,ek)) CAi ((xi)) 1×···× −1× +1×···× k · · · − · · · ≥
is satisfied for all x X . ¾ i ∈ i
Theorem 4.10 Let A , A , , A be multisets of the groups X ,X , ,X , respectively, such 1 2 · · · k 1 2 · · · k that
CAi ((xi)) CA A Ai Ai A ((e1,e2, ,ei 1,ei+1, ,ek)) ≤ 1× 2×···× −1× +1×···× k · · · − · · · 14 P.A. Ejegwa and A.M. Ibrahim
x X , e being the identity element of X . If A A A is a multigroup of ∀ i ∈ i i i 1 × 2 ×···× k X X X , then A is a multigroup of X . 1 × 2 ×···× k i i
Proof Let A A A be a multigroup of X X X and x ,y X . Then 1 × 2 ×···× k 1 × 2 ×···× k i i ∈ i
(e1, ,ei 1, xi,ei+1, ,ek), (e1, ,ei 1,yi,ei+1, ,ek) X1 X2 Xk. · · · − · · · · · · − · · · ∈ × ×···× Now, using the given inequality, we have
CAi ((xiyi)) = CAi ((xiyi)) CA Ai Ai A ((e1, ,ei 1,ei+1, ,ek) ∧ 1×···× −1× +1×···× k · · · − · · · (e1, ,ei 1,ei+1, ,ek)) · · · − · · ·
= CA Ai A ((e1, , xi, ,ek)(e1, ,yi, ,ek)) 1×···× ×···× k · · · · · · · · · · · ·
CA Ai A ((e1, , xi, ,ek)) CA Ai A ((e1, ,yi, ,ek)) ≥ 1×···× ×···× k · · · · · · ∧ 1×···× ×···× k · · · · · ·
= (CAi ((xi)) CA Ai Ai A ((e1, ,ei 1,ei+1, ,ek)), CAi ((yi)) ∧ ∧ 1×···× −1× +1×···× k · · · − · · ·
CA Ai Ai A ((e1, ,ei 1,ei+1, ,ek)) ∧ 1×···× −1× +1×···× k · · · − · · · = C ((x )) C ((y )). Ai i ∧ Ai i Also,
1 1 1 1 1 1 CAi ((xi− )) = CAi ((xi− )) CA1 Ai−1 Ai+1 Ak ((e1− , ,ei− 1,ei−+1, ,ek− )) ∧ ×···× × ×···× · · · − · · · 1 1 1 = CA1 Ai Ak ((e1− , , x− , ,e− )) ×···× ×···× · · · i · · · k 1 = CA Ai A ((e1, , xi, ,ek)− ) 1×···× ×···× k · · · · · ·
= CA Ai A ((e1, , xi, ,ek)) 1×···× ×···× k · · · · · ·
= CAi ((xi)) CA Ai Ai A ((e1, ,ei 1,ei+1, ,ek)) ∧ 1×···× −1× +1×···× k · · · − · · ·
= CAi ((xi)).
Hence, A MG(X ). ¾ i ∈ i
Theorem 4.11 Let A , A , , A be multisets of the groups X ,X , ,X , respectively, such 1 2 · · · k 1 2 · · · k that
CA A Ai Ai A ((x1, x2, , xi 1, xi+1, , xk)) CAi ((ei)) 1× 2×···× −1× +1×···× k · · · − · · · ≤ for (x1, x2, , xi 1, xi+1, , xk) X1 X2 Xi 1 Xi+1 Xk, ei being the ∀ · · · − · · · ∈ × ×···× − × ×···× identity element of X . If A A A is a multigroup of X X X , then i 1 × 2 ×···× k 1 × 2 ×···× k A1 A2 Ai 1 Ai+1 Ak is a multigroup of X1 X2 Xi 1 Xi+1 Xk. × ×···× − × ×···× × ×···× − × ×···×
Proof Let A1 A2 Ak be a multigroup of X1 X2 Xk and (x1, x2, , xi 1, × ×···× × ×···× · · · − xi+1, , xk), (y1,y2, ,yi 1,yi+1, ,yk) X1 X2 Xi 1 Xi+1 Xk. Then · · · · · · − · · · ∈ × ×···× − × ×···×
(x1, , xi 1,ei, xi+1, , xk), (y1, ,yi 1,ei,yi+1, ,yk) Xi. · · · − · · · · · · − · · · ∈ Direct Product of Multigroups and Its Generalization 15
Using the given inequality, we arrive at
CA Ai Ai A ((x1, , xi 1, xi+1, , xk)(y1, ,yi 1,yi+1, ,yk)) 1×···× −1× +1×···× k · · · − · · · · · · − · · ·
= CA Ai Ai A ((x1, , xi 1, xi+1, , xk)(y1, ,yi 1,yi+1, ,yk)) 1×···× −1× +1×···× k · · · − · · · · · · − · · ·
CAi ((ei)) = CA Ai A ((x1, ,ei, , xk)(y1, ,ei, ,yk)) ∧ 1×···× ×···× k · · · · · · · · · · · ·
CA Ai A ((x1, ,ei, , xk)) CA Ai A ((y1, ,ei, ,yk)) ≥ 1×···× ×···× k · · · · · · ∧ 1×···× ×···× k · · · · · ·
= (CAi ((ei)) CA Ai Ai A ((x1, , xi 1, xi+1, , xk)), CAi ((ei)) ∧ ∧ 1×···× −1× +1×···× k · · · − · · ·
CA Ai Ai A ((y1, ,yi 1,yi+1, ,yk))) = CA Ai Ai A ∧ 1×···× −1× +1×···× k · · · − · · · 1×···× −1× +1×···× k
((x1, , xi 1, xi+1, , xk)) CA Ai Ai A ((y1,y2, ,yi 1,yi+1, ,yk)). · · · − · · · ∧ 1×···× −1× +1×···× k · · · − · · · Again,
1 1 1 1 CA1 Ai−1 Ai+1 Ak ((x1− , , xi− 1, xi−+1, , xk− )) ×···× × ×···× · · · − · · · 1 1 1 1 1 = CA1 Ai−1 Ai+1 Ak ((x1− , , xi− 1, xi−+1, , xk− )) CAi ((ei− )) ×···× × ×···× · · · − · · · ∧ 1 1 1 = CA1 Ai Ak ((x1− , ,ei− , , x− )) ×···× ×···× · · · · · · k 1 = CA Ai A ((x1, ,ei, , xk)− )= CA Ai A ((x1, ,ei, , xk)) 1×···× ×···× k · · · · · · 1×···× ×···× k · · · · · ·
= CA Ai Ai A ((x1, , xi 1, xi+1, , xk)) CAi ((ei)) 1×···× −1× +1×···× k · · · − · · · ∧
= CA Ai Ai A ((x1, , xi 1, xi+1, , xk)). 1×···× −1× +1×···× k · · · − · · ·
Hence, A1 A2 Ai 1 Ai+1 Ak is the multigroup of X1 X2 Xi 1 × ×···× − × ×···× × ×···× − ×
X X . ¾ i+1 ×···× k
§5. Homomorphism of Direct Product of Multigroups
In this section, we present some homomorphic properties of direct product of multigroups. This is an extension of the notion of homomorphism in multigroup setting (cf. [6, 12]) to direct product of multigroups.
Definition 5.1 Let W X and Y Z be groups and let f : W X Y Z be a homomorphism. × × × → × Suppose A B MS(W X) and C D MS(Y Z), respectively. Then × ∈ × × ∈ × (i) the image of A B under f, denoted by f(A B), is a multiset of Y Z defined by × × ×
1 (w,x) f −1((y,z)) CA B ((w, x)), f − ((y,z)) = Cf(A B)((y,z)) = ∈ × 6 ∅ × 0, otherwise, W for each (y,z) Y Z; ∈ × 1 (ii) the inverse image of C D under f, denoted by f − (C D), is a multiset of W X × × × defined by
Cf −1(C D)((w, x)) = CC D(f((w, x))) (w, x) W X. × × ∀ ∈ × 16 P.A. Ejegwa and A.M. Ibrahim
Theorem 5.2 Let W,X,Y,Z be groups, A MS(W ),B MS(X), C MS(Y ) and D ∈ ∈ ∈ ∈ MS(Z). If f : W X Y Z is a homomorphism, then × → × (i) f(A B) f(A) f(B); × ⊆ × 1 1 1 (ii) f − (C D)= f − (C) f − (D). × × Proof (i) Let (w, x) W X. Suppose (y,z) Y Z such that ∈ × ∃ ∈ × f((w, x)) = (f(w),f(x)) = (y,z).
Then we get
1 Cf(A B)((y,z)) = CA B(f − ((y,z))) × × 1 1 = CA B((f − (y),f − (z))) × 1 1 = C (f − (y)) C (f − (z)) A ∧ B = C (y) C (z) f(A) ∧ f(B) = Cf(A) f(B)((y,z)) ×
Hence, we conclude that, f(A B) f(A) f(B). × ⊆ × (ii) For (w, x) W X, we have ∈ ×
Cf −1(C D)((w, x)) = CC D(f((w, x))) × × = CC D((f(w),f(x))) × = C (f(w)) C (f(x)) C ∧ D = C −1 (w) C −1 (x) f (C) ∧ f (D) = Cf −1(C) f −1(D)((w, x)). ×
1 1 1 Hence, f − (C D) f − (C) f − (D). × ⊆ × Similarly,
Cf −1(C) f −1(D)((w, x)) = Cf −1(C)(w) Cf −1(D)(x) × ∧ = C (f(w)) C (f(x)) C ∧ D = CC D((f(w),f(x))) × = CC D(f((w, x))) × = Cf −1(C D)((w, x)). ×
1 1 1 Again, f − (C) f − (D) f − (C D). Therefore, the result follows. ¾ × ⊆ × Theorem 5.3 Let f : W X Y Z be an isomorphism, A, B, C and D be multigroups of × → × W, X, Y and Z, respectively. Then the following statements hold:
(i) f(A B) MG(Y Z); × ∈ × 1 1 (ii) f − (C) f − (D) MG(W X). × ∈ × Direct Product of Multigroups and Its Generalization 17
Proof (i) Since A MG(W ) and B MG(X), then A B MG(W X) by Theorem ∈ ∈ × ∈ × 3.7. From Proposition 2.14 and Definition 5.1, it follows that, f(A B) MG(Y Z). × ∈ × (ii) Combining Corollary 2.15, Theorem 3.7, Definition 5.1 and Theorem 5.2, the result
follows. ¾
Corollary 5.4 Let X and Y be groups, A MG(X) and B MG(Y ). If ∈ ∈ f : X X Y Y × → × be homomorphism, then
(i) f(A A) MG(Y Y ); × ∈ × 1 (ii) f − (B B) MG(X X). × ∈ ×
Proof Straightforward from Theorem 5.3. ¾
Proposition 5.5 Let X ,X , ,X and Y , Y , , Y be groups, and 1 2 · · · k 1 2 · · · k f : X X X Y Y Y 1 × 2 ×···× k → 1 × 2 ×···× k be homomorphism. If A A A MG(X X X ) and B B B 1 × 2 ×···× k ∈ 1 × 2 ×···× k 1 × 2 ×···× k ∈ MG(Y Y Y ), then 1 × 2 ×···× k (i) f(A A A ) MG(Y Y Y ); 1 × 2 ×···× k ∈ 1 × 2 ×···× k 1 (ii) f − (B B B ) MG(X X X ). 1 × 2 ×···× k ∈ 1 × 2 ×···× k
Proof Straightforward from Corollary 5.4. ¾
§6. Conclusions
The concept of direct product in groups setting has been extended to multigroups. We lucidly exemplified direct product of multigroups and deduced several results. The notion of generalized direct product of multigroups was also introduced in the case of finitely kth multigroups. Finally, homomorphism and some of its properties were proposed in the context of direct product of multigroups.
References
[1] J. A. Awolola and P. A. Ejegwa, On some algebraic properties of order of an element of a multigroup, Quasi. Related Systems, 25 (2017), 21–26. [2] J. A. Awolola and A. M. Ibrahim, Some results on multigroups, Quasi. Related Systems, 24 (2016), 169–177. [3] R. Biswas, Intuitionistic fuzzy subgroups,Mathl. Forum, 10 (1989), 37–46. [4] M. Dresher and O. Ore, Theory of multigroups, American J. Math. , 60 (1938), 705–733. 18 P.A. Ejegwa and A.M. Ibrahim
[5] P. A. Ejegwa, Upper and lower cuts of multigroups, Prajna Int. J. Mathl. Sci. Appl., 1(1) (2017), 19–26. [6] P. A. Ejegwa and A. M. Ibrahim, Some homomorphic properties of multigroups, Bul. Acad. Stiinte Repub. Mold. Mat., 83(1) (2017), 67–76. [7] P. A. Ejegwa and A. M. Ibrahim, Normal submultigroups and comultisets of a multigroup, Quasi. Related Systems, 25 (2017), 231–244. [8] A. M. Ibrahim and P. A. Ejegwa, A survey on the concept of multigroup theory, J. Nigerian Asso. Mathl. Physics, 38 (2016), 1–8. [9] A. M. Ibrahim and P. A. Ejegwa, Multigroup actions on multiset, Ann. Fuzzy Math. Inform., 14 (5)(2017), 515–526. [10] D. Knuth, The Art of Computer Programming, Semi Numerical Algorithms, Second Edi- tion, 2 (1981), Addison-Wesley, Reading, Massachusetts. [11] L. Mao, Topological multigroups and multifields, Int. J. Math. Combin., 1 (2009), 8–17. [12] Sk. Nazmul, P. Majumdar and S. K. Samanta, On multisets and multigroups, Ann. Fuzzy Math. Inform., 6(3) (2013), 643–656. [13] A. Rosenfeld, Fuzzy subgroups, J. Mathl. Analy. Appl., 35 (1971), 512–517. [14] D. Singh, A. M. Ibrahim, T. Yohanna, and J. N. Singh, An overview of the applications of multisets, Novi Sad J. of Math., 37(2) (2007), 73–92. [15] A. Syropoulos, Mathematics of Multisets, Springer-Verlag Berlin Heidelberg, (2001), 347– 358. International J.Math. Combin. Vol.4(2017), 19-45
Hilbert Flow Spaces with Operators over Topological Graphs
Linfan MAO
1. Chinese Academy of Mathematics and System Science, Beijing 100190, P.R.China 2. Academy of Mathematical Combinatorics & Applications (AMCA), Colorado, USA
E-mail: [email protected]
Abstract: A complex system S consists m components, maybe inconsistence with m ≥ 2, such as those of biological systems or generally, interaction systems and usually, a system with contradictions, which implies that there are no a mathematical subfield applicable. Then, how can we hold on its global and local behaviors or reality? All of us know that there −→ always exists universal connections between things in the world, i.e., a topological graph G −→ −→ underlying components in S . We can thereby establish mathematics over graphs G 1, G 2, · · · −→L1 −→L2 by viewing labeling graphs G 1 , G 2 , · · · to be globally mathematical elements, not only game objects or combinatorial structures, which can be applied to characterize dynamic −→ −→ behaviors of the system S on time t. Formally, a continuity flow G L is a topological graph G + + Avu associated with a mapping L :(v, u) → L(v, u), 2 end-operators Avu : L(v, u) → L (v, u) + + Auv and Auv : L(u, v) → L (u, v) on a Banach space B over a field F with L(v, u)= −L(u, v) + −→ + Avu and Avu(−L(v, u)) = −L (v, u) for ∀(v, u) ∈ E G holding with continuity equations + −→ LAvu (v, u)= L(v), ∀v ∈ V G . u∈XNG(v) The main purpose of this paper is to extend Banach or Hilbert spaces to Banach or Hilbert −→ −→ continuity flow spaces over topological graphs G 1, G 2, · · · and establish differentials on continuity flows for characterizing their globallyn change rate.o A few well-known results such as those of Taylor formula, L’Hospital’s rule on limitation are generalized to continuity flows, and algebraic or differential flow equations are discussed in this paper. All of these results form the elementary differential theory on continuity flows, which contributes mathematical combinatorics and can be used to characterizing the behavior of complex systems, particu- larly, the synchronization. Key Words: Complex system, Smarandache multispace, continuity flow, Banach space, Hilbert space, differential, Taylor formula, L’Hospital’s rule, mathematical combinatorics. AMS(2010): 34A26, 35A08, 46B25, 92B05, 05C10, 05C21, 34D43, 51D20.
§1. Introduction
A Banach or Hilbert space is respectively a linear space A over a field R or C equipped with a complete norm or inner product , , i.e., for every Cauchy sequence x in A , there k·k h · · i { n} 1Received May 5, 2017, Accepted November 6, 2017. 20 Linfan MAO exists an element x in A such that
lim xn x A = 0 or lim xn x, xn x A =0 n n →∞ k − k →∞ h − − i and a topological graph ϕ(G) is an embedding of a graph G with vertex set V (G), edge set E(G) in a space S , i.e., there is a 1 1 continuous mapping ϕ : G ϕ(G) S with − → ⊂ ϕ(p) = ϕ(q) if p = q for p, q G, i.e., edges of G only intersect at vertices in S , an embedding 6 6 ∀ ∈ of a topological space to another space. A well-known result on embedding of graphs without loops and multiple edges in Rn concluded that there always exists an embedding of G that all edges are straight segments in Rn for n 3 ([22]) such as those shown in Fig.1. ≥
Fig.1
As we known, the purpose of science is hold on the reality of things in the world. However, the reality of a thing T is complex and there are no a mathematical subfield applicable unless a system maybe with contradictions in general. Is such a contradictory system meaningless to human beings? Certain not because all of these contradictions are the result of human beings, not the nature of things themselves, particularly on those of contradictory systems in mathematics. Thus, holding on the reality of things motivates one to turn contradictory systems to compatible one by a combinatorial notion and establish an envelope theory on mathematics, i.e., mathematical combinatorics ([9]-[13]). Then, Can we globally characterize the behavior of a system or a population with elements 2, which maybe contradictory or compatible? The answer ≥ is certainly YES by continuity flows, which needs one to establish an envelope mathematical theory over topological graphs, i.e., views labeling graphs GL to be mathematical elements ([19]), not only a game object or a combinatorial structure with labels in the following sense.
Definition 1.1 A continuity flow −→G; L, A is an oriented embedded graph −→G in a topological S + space associated with a mapping L : v L(v), (v,u) L(v,u), 2 end-operators Avu : + →+ → L(v,u) LAvu (v,u) and A+ : L(u, v) LAuv (u, v) on a Banach space B over a field F → uv →
A+ + vu L(v,u) Auv L(v) ¹ L(u) v u Fig.2 Hilbert Flow Spaces with Differentials over Graphs 21
+ with L(v,u) = L(u, v) and A+ ( L(v,u)) = LAvu (v,u) for (v,u) E −→G holding with − vu − − ∀ ∈ continuity equation + LAvu (v,u)= L(v) for v V −→G ∀ ∈ u NG(v) ∈X such as those shown for vertex v in Fig.3 following
L(u1, v) L(v,u4) ¹ L(u1) ¹ L(u4) u 1 u4
A1 A4
L(u , v)
2 A2 A5 L(v,u5) ¹ L(u2) L(v) ¹ L(u5)
u2 A3 v A6 u5
L(u3, v) L(v,u6) ¹ L(u3) ¹ L(u6)
u3 Fig.3 u6 with a continuity equation
LA1 (v,u )+ LA2 (v,u )+ LA3 (v,u ) LA4 (v,u ) LA5 (v,u ) LA6 (v,u )= L(v), 1 2 3 − 4 − 5 − 6 where L(v) is the surplus flow on vertex v.
Particularly, if L(v) =x ˙ or constants v , v V −→G , the continuity flow −→G; L, A v v ∈ is respectively said to be a complex flow or an action Aflow, and −→G-flow if A = 1V , where x˙ = dx /dt, x is a variable on vertex v and v is an element in B for v E −→G . v v v ∀ ∈ Clearly, an action flow is an equilibrium state of a continuity flow −→G; L, A . We have shown that Banach or Hilbert space can be extended over topological graphs ([14],[17]), which can be applied to understanding the reality of things in [15]-[16], and we also shown that complex flows can be applied to hold on the global stability of biological n-system with n 3 ≥ in [19]. For further discussing continuity flows, we need conceptions following.
Definition 1.2 Let B , B be Banach spaces over a field F with norms and , 1 2 k·k1 k·k2 respectively. An operator T : B B is linear if 1 → 2
T (λv1 + µv2)= λT (v1)+ µT (v2) for λ, µ F, and T is said to be continuous at a vector v if there always exist such a number ∈ 0 22 Linfan MAO
δ(ε) for ǫ> 0 that ∀ T (v) T (v ) <ε k − 0 k2 if v v <δ(ε) for v, v , v , v B . k − 0k1 ∀ 0 1 2 ∈ 1 Definition 1.3 Let B , B be Banach spaces over a field F with norms and , 1 2 k·k1 k·k2 respectively. An operator T : B B is bounded if there is a constant M > 0 such that 1 → 2 T(v) T (v) M v , i.e., k k2 M k k2 ≤ k k1 v ≤ k k1 for v B and furthermore, T is said to be a contractor if ∀ ∈ T (v ) T (v ) c v v ) k 1 − 2 k≤ k 1 − 2 k for v , v B with c [0, 1). ∀ 1 2 ∈ ∈ + + We only discuss the case that all end-operators Avu, Auv are both linear and continuous. In this case, the result following on linear operators of Banach space is useful.
Theorem 1.4 Let B , B be Banach spaces over a field F with norms and , respectively. 1 2 k·k1 k·k2 Then, a linear operator T : B B is continuous if and only if it is bounded, or equivalently, 1 → 2 T(v) T := sup k k2 < + . k k 0=v B v 1 ∞ 6 ∈ 1 k k
Let −→G , −→G , be a graph family. The main purpose of this paper is to extend Ba- 1 2 · · · nach or Hilbertn spaceso to Banach or Hilbert continuity flow spaces over topological graphs −→G , −→G , and establish differentials on continuity flows, which enables one to characterize 1 2 · · · ntheir globallyo change rate constraint on the combinatorial structure. A few well-known results such as those of Taylor formula, L’Hospital’s rule on limitation are generalized to continuity flows, and algebraic or differential flow equations are discussed in this paper. All of these results form the elementary differential theory on continuity flows, which contributes math- ematical combinatorics and can be used to characterizing the behavior of complex systems, particularly, the synchronization. For terminologies and notations not defined in this paper, we follow references [1] for mechanics, [4] for functionals and linear operators, [22] for topology, [8] combinatorial geometry, [6]-[7],[25] for Smarandache systems, Smarandache geometries and Smaarandache multispaces and [2], [20] for biological mathematics.
§2. Banach and Hilbert Flow Spaces
2.1 Linear Spaces over Graphs
n Let −→G 1, −→G 2, , −→G n be oriented graphs embedded in topological space S with −→G = −→G i, · · · i=1 S Hilbert Flow Spaces with Differentials over Graphs 23 i.e., −→G is a subgraph of −→G for integers 1 i n. In this case, these is naturally an embedding i ≤ ≤ ι : −→G −→G . i → Let V be a linear space over a field F . A vector labeling L : −→G V is a mapping with → L(v),L(e) V for v V (−→G),e E(−→G). Define ∈ ∀ ∈ ∈
L1 L1+L2 L2 −→G L1 + −→G L2 = −→G −→G −→G −→G −→G −→G (2.1) 1 2 1 \ 2 1 2 2 \ 1 [ \ [ and L λ L λ −→G = −→G · (2.2) · for λ F . Clearly, if , and −→G L, −→G L1 , −→G L2 are continuity flows with linear end-operators ∀ ∈ 1 2 A+ and A+ for (v,u) E −→G , −→G L1 + −→G L2 and λ −→G L are continuity flows also. If we vu uv ∀ ∈ 1 2 · L G L consider each continuity flow −→G i a continuity subflow of −→ , where L : −→G i = L(−→G i) but L : −→G −→G i 0 for integers 1 i n, and define O : −→G b 0, then all continuity flows, \ → ≤ ≤ → b particularly, all complex flows, or all action flows on oriented graphs −→G 1, −→G 2, , −→G n naturally b V · · · form a linear space, denoted by −→G , 1 i n ;+, over a field F under operations (2.1) i ≤ ≤ · and (2.2) because it holds with: D E
(1) A field F of scalars; V (2) A set −→G , 1 i n of objects, called continuity flows; i ≤ ≤ (3) An operationD “+”, calledE continuity flow addition, which associates with each pair of V V continuity flows −→G L1 , −→G L2 in −→G , 1 i n a continuity flows −→G L1 +−→G L2 in −→G , 1 i n , 1 2 i ≤ ≤ 1 2 i ≤ ≤ L1 DL2 E D E called the sum of −→G 1 and −→G 2 , in such a way that
L1 L2 L2 L1 (a) Addition is commutative, −→G 1 + −→G 2 = −→G 2 + −→G 1 because of
L1 L1+L2 L2 −→G L1 + −→G L2 = −→G −→G −→G −→G −→G −→G 1 2 1 − 2 1 2 2 − 1 L2 [ \ L2+L1 [ L1 = −→G −→G −→G −→G −→G −→G 2 − 1 1 2 1 − 2 L2 L1 [ \ [ = −→G 2 + −→G 1 ;
L1 L2 L3 L1 L2 L3 (b) Addition is associative, −→G 1 + −→G 2 + −→G 3 = −→G 1 + −→G 2 + −→G 3 because if we let L (x), if x −→G −→G −→G i ∈ i \ j k Lj (x), if x −→G j −→G i S −→G k ∈ \ Lk(x), if x −→G k −→G i S −→G j ∈ \ + + Lijk(x)= Lij (x), if x −→G i −→G j S −→G k (2.3) ∈ \ + L (x), if x −→G i T −→G k −→G j ik ∈ \ + Ljk(x), if x −→G j T −→G k −→G i ∈ \ Li(x)+ Lj(x)+ Lk(x) if x −→G i T−→G j −→G k ∈ T T 24 Linfan MAO and L (x), if x −→G −→G i ∈ i \ j + Lij (x)= Lj(x), if x −→G j −→G i (2.4) ∈ \ L (x)+ L (x), if x −→G −→G i j ∈ i j for integers 1 i, j, k n, then T ≤ ≤ + + L12 L123 L1 L2 L3 L3 −→G 1 + −→G 2 + −→G 3 = −→G 1 −→G 2 + −→G 3 = −→G 1 −→G 2 −→G 3
+ [ L23 [ [ L1 L1 L2 L3 = −→G 1 + −→G 2 −→G 3 = −→G 1 + −→G 2 + −→G 3 ; [ (c) There is a unique continuity flow O on −→G hold with O(v,u)= 0 for (v,u) E −→G and ∀ ∈ V V V −→G in −→G , 1 i n , called zero such that −→G L +O = −→G L for −→G L −→G , 1 i n ; i ≤ ≤ ∈ i ≤ ≤ D E V D E (d) For each continuity flow −→G L −→G , 1 i n there is a unique continuity flow ∈ i ≤ ≤ L L L −→G − such that −→G + −→G − = O; D E
(4) An operation “ , called scalar multiplication, which associates with each scalar k in F · V and a continuity flow −→G L in −→G , 1 i n a continuity flow k −→G L in V , called the product i ≤ ≤ · of k with −→G L, in such a wayD that E
V (a) 1 −→G L = −→G L for every −→G L in −→G , 1 i n ; · i ≤ ≤ D E (b) (k k ) −→G L = k (k −→G L); 1 2 · 1 2 · (c) k (−→G L1 + −→G L2 )= k −→G L1 + k −→G L2 ; · 1 2 · 1 · 2 (d) (k + k ) −→G L = k −→G L + k −→G L. 1 2 · 1 · 2 · V V Usually, we abbreviate −→G , 1 i n ;+, to −→G , 1 i n if these operations i ≤ ≤ · i ≤ ≤ + and are clear in the context.D E D E · By operation (1.1), −→G L1 +−→G L2 = −→G L1 if and only if −→G −→G with L : −→G −→G 0 and 1 2 6 1 1 6 2 1 1 \ 2 6→ −→G L1 +−→G L2 = −→G L2 if and only if −→G −→G with L : −→G −→G 0, which allows us to introduce 1 2 6 2 2 6 1 2 2 \ 1 6→ the conception of linear irreducible. Generally, a continuity flow family −→G L1 , −→G L2 , , −→G Ln { 1 2 · · · n } is linear irreducible if for any integer i,
−→G −→G with L : −→G −→G 0, (2.5) i 6 l i i \ l 6→ l=i l=i [6 [6 where 1 i n. We know the following result on linear generated sets. ≤ ≤
Theorem 2.1 Let V be a linear space over a field F and let −→G L1 , −→G L2 , , −→G Ln be an 1 2 · · · n linear irreducible family, L : −→G V for integers 1 i nn with linear operatorso A+ , i i → ≤ ≤ vu A+ for (v,u) E −→G . Then, −→G L1 , −→G L2 , , −→G Ln is an independent generated set of uv ∀ ∈ 1 2 · · · n n o Hilbert Flow Spaces with Differentials over Graphs 25
V −→G , 1 i n , called basis, i.e., i ≤ ≤ D E V dim −→G , 1 i n = n. i ≤ ≤ D E V Proof By definition, −→G Li , 1 i n is a linear generated of −→G , 1 i n with i ≤ ≤ i ≤ ≤ Li : −→G i V , i.e., D E → V dim −→G , 1 i n n. i ≤ ≤ ≤ D E We only need to show that −→G Li , 1 i n is linear independent, i.e., i ≤ ≤ V dim −→G , 1 i n n, i ≤ ≤ ≥ D E which implies that if there are n scalars c ,c , ,c holding with 1 2 · · · n c −→G L1 + c −→G L2 + + c −→G Ln = O, 1 1 2 2 · · · n n then c = c = = c = 0. Notice that −→G , −→G , , −→G is linear irreducible. We are easily 1 2 · · · n { 1 2 · · · n} know −→Gi −→G l = and find an element x E(−→Gi −→G l) such that ciLi(x)= 0 for integer \ l=i 6 ∅ ∈ \ l=i 6 6 i, 1 i nS. However, L (x) = 0 by (1.5). We get thatSc = 0 for integers 1 i n. ¾ ≤ ≤ i 6 i ≤ ≤ V A subspace of −→G , 1 i n is called an A -flow space if its elements are all continuity i ≤ ≤ 0 flows −→G L with L(vD), v V −→GE are constant v. The result following is an immediately ∈ conclusion of Theorem 2.1.
Theorem 2.2 Let −→G, −→G 1, −→G 2, , −→G n be oriented graphs embedded in a space S and V · · · v v v v a linear space over a field F . If −→G , −→G 1 , −→G 2 , , −→G n are continuity flows with v(v) = 1 2 · · · n v, v (v)= v V for v V −→G , 1 i n, then i i ∈ ∀ ∈ ≤ ≤ v (1) −→G is an A0-flow space;
D vE v v (2) −→G 1 , −→G 2 , , −→G n is an A -flow space if and only if −→G = −→G = = −→G or 1 2 · · · n 0 1 2 · · · n v1 = v2 D= = vn = 0. E · · ·
v1 v2 v Proof By definition, −→G 1 + −→G 2 and λ−→G are A0-flows if and only if −→G 1 = −→G 1 or
v1 = v2 = 0 by definition. We therefore know this result. ¾
2.2 Commutative Rings over Graphs
Furthermore, if V is a commutative ring (R;+, ), we can extend it over oriented graph family · −→G , −→G , , −→G by introducing operation + with (2.1) and operation following: { 1 2 · · · n} ·
L1 L1 L2 L2 −→G L1 −→G L2 = −→G −→G −→G −→G · −→G −→G , (2.6) 1 · 2 1 \ 2 1 2 2 \ 1 [ \ [ 26 Linfan MAO where L L : x L (x) L (x), and particularly, the scalar product for Rn,n 2 for 1 · 2 → 1 · 2 ≥ x −→G −→G . ∈ 1 2 T R As we shown in Subsection 2.1, −→G , 1 i n ;+ is an Abelian group. We show i ≤ ≤ R D E −→G , 1 i n ;+, is a commutative semigroup also. i ≤ ≤ · D E In fact, define L (x), if x −→G −→G i ∈ i \ j Lij×(x)= Lj(x), if x −→G j −→G i ∈ \ L (x) L (x), if x −→G −→G i · j ∈ i j × × L12T L21 Then, we are easily known that −→G L1 −→G L2 = −→G −→G = −→G −→G = −→G L2 −→G L1 1 · 2 1 2 1 2 2 · 1 R for −→G L1 , −→G L2 −→G , 1 i n ; by definitionS (2.6), i.e., it is commutative.S ∀ 1 2 ∈ i ≤ ≤ · D E Let L (x), if x −→G −→G −→G i ∈ i \ j k Lj (x), if x −→G j −→G i S −→G k ∈ \ Lk(x), if x −→G k −→G i S −→G j ∈ \ Lijk× (x)= Lij (x), if x −→G i −→G j S −→G k ∈ \ Lik(x), if x −→G i T −→G k −→G j ∈ \ Ljk(x), if x −→G j T −→G k −→G i ∈ \ Li(x) Lj(x) Lk(x) if x −→G i T−→G j −→G k · · ∈ Then, T T
× × L12 L123 −→G L1 −→G L2 −→G L3 = −→G −→G −→G L3 = −→G −→G −→G 1 · 2 · 3 1 2 · 3 1 2 3 × [ L23 [ [ = −→G L1 −→G −→G = −→G L1 −→G L2 −→G L3 . 1 · 2 3 1 · 2 · 3 [ Thus, −→G L1 −→G L2 −→G L3 = −→G L1 −→G L2 −→G L3 1 · 2 · 3 1 · 2 · 3 R for −→G L, −→G L1 , −→G L2 −→G , 1 i n ; , which implies that it is a semigroup. ∀ 1 2 ∈ i ≤ ≤ · D E We are also need to verify the distributive laws, i.e.,
−→G L3 −→G L1 + −→G L2 = −→G L3 −→G L1 + −→G L3 −→G L2 (2.7) 3 · 1 2 3 · 1 3 · 2 and −→G L1 + −→G L2 −→G L3 = −→G L1 −→G L3 + −→G L2 −→G L3 (2.8) 1 2 · 3 1 · 3 2 · 3 Hilbert Flow Spaces with Differentials over Graphs 27
R for −→G , −→G , −→G −→G , 1 i n ;+, . Clearly, ∀ 3 1 2 ∈ i ≤ ≤ · D E + × L12 L3(21) −→G L3 −→G L1 + −→G L2 = −→G L3 −→G −→G = −→G −→G −→G 3 · 1 2 3 · 1 2 3 1 2 × × [L31 L32 [ = −→G −→G −→G −→G = −→G L3 −→G L1 + −→G L3 −→G L2 , 3 1 3 2 3 · 1 3 · 2 [ [ [ which is the (2.7). The proof for (2.8) is similar. Thus, we get the following result.
Theorem 2.3 Let (R;+, ) be a commutative ring and let −→G L1 , −→G L2 , , −→G Ln be a linear · 1 2 · · · n R n o+ + irreducible family, Li : −→G i for integers 1 i n with linear operators Avu, Auv for → R ≤ ≤ (v,u) E −→G . Then, −→G , 1 i n ;+, is a commutative ring. ∀ ∈ i ≤ ≤ · D E 2.3 Banach or Hilbert Flow Spaces
V Let −→G L1 , −→G L2 , , −→G Ln be a basis of −→G , 1 i n , where V is a Banach space with a { 1 2 · · · n } i ≤ ≤ DV E norm . For −→G L −→G , 1 i n , define k ·k ∀ ∈ i ≤ ≤ D E −→G L = L(e) . (2.9) k k e E −→G ∈X V Then, for −→G, −→G L1 , −→G L2 −→G , 1 i n we are easily know that ∀ 1 2 ∈ i ≤ ≤ D E (1) −→G L 0 and −→G L = 0 if and only if −→G L = O; ≥
ξL L (2) −→G = ξ −→G for any scalar ξ;
(3) −→G L1 + −→G L 2 −→G L1 + −→G L2 because of 1 2 ≤ 1 2
−→G L1 + −→G L2 = L (e) 1 2 k 1 k e E −→G 1 −→G 2 ∈ X\ + L (e)+ L (e) + L (e) k 1 2 k k 2 k e E −→G −→G e E −→G −→G ∈ X1 2 ∈ X2\ 1 T
L (e) + L (e) ≤ k 1 k k 1 k e E −→G −→G e E −→G −→G ∈ X1\ 2 ∈ X1 2 T
+ L (e) + L (e) = −→G L1 + −→G L2 . k 2 k k 2 k 1 2 e E −→G 2 −→G 1 e E −→G 1 −→G 2 ∈ X\ ∈ X T for L (e)+ L (e) L (e) + L (e) in Banach space V . Therefore, is also a norm k 1 2 k≤k 1 k k 2 k k · k 28 Linfan MAO
V on −→G , 1 i n . i ≤ ≤ D E V Furthermore, if V is a Hilbert space with an inner product , , for −→G L1 , −→G L2 −→G , 1 i n , h· ·i ∀ 1 2 ∈ i ≤ ≤ define D E
−→G L1 , −→G L2 = L (e),L (e) 1 2 h 1 1 i e E −→G −→G D E ∈ X1\ 2 + L (e),L (e) + L (e),L (e) . (2.10) h 1 2 i h 2 2 i e E −→G −→G e E −→G −→G ∈ X1 2 ∈ X2\ 1 T Then we are easily know also that
V (1) For −→G L −→G , 1 i n , ∀ ∈ i ≤ ≤ D E −→G L, −→G L = L(e),L(e) 0 h i≥ e E −→G D E ∈X and −→G L, −→G L = 0 if and only if −→G L = O. D E V (2) For −→G L1 , −→G L2 −→G , 1 i n , ∀ ∈ i ≤ ≤ D E
L1 L2 L2 L1 −→G 1 , −→G 2 = −→G 2 , −→G 1 D E D E because of
−→G L1 , −→G L2 = L (e),L (e) + L (e),L (e) 1 2 h 1 1 i h 1 2 i e E −→G −→G e E −→G −→G D E ∈ X1\ 2 ∈ X1 2 T + L (e),L (e) h 2 2 i e E −→G −→G ∈ X2\ 1 = L (e),L (e) + L (e),L (e) h 1 1 i h 2 1 i e E −→G −→G e E −→G −→G ∈ X1\ 2 ∈ X1 2 T + L (e),L (e) = −→G L2 , −→G L1 h 2 2 i 2 1 e E −→G −→G ∈ X2\ 1 D E for L (e),L (e) = L (e),L (e) in Hilbert space V . h 1 2 i h 2 1 i V (3) For −→G L, −→G L1 , −→G L2 −→G , 1 i n and λ, µ F , there is 1 2 ∈ i ≤ ≤ ∈ D E
L1 L2 L L1 L L2 L λ−→G 1 + µ−→G 2 , −→G = λ −→G 1 , −→G + µ −→G 2 , −→G D E D E D E Hilbert Flow Spaces with Differentials over Graphs 29 because of
L1 L2 L λL1 µL2 L λ−→G 1 + µ−→G 2 , −→G = −→G 1 + −→G 2 , −→G
D λL1 E D λL1+µL2 E µL2 = −→G −→G −→G −→G −→G −→G , −→G L . 1 \ 2 1 2 2 \ 1 [ \ [ Define L : −→G −→G V by 1λ2µ 1 2 → S λL (x), if x −→G −→G 1 ∈ 1 \ 2 L1λ2µ (x)= µL2(x), if x −→G 2 −→G 1 ∈ \ λL (x)+ µL (x), if x −→G −→G 1 2 ∈ 2 1 T Then, we know that
L1 L2 L λ−→G 1 + µ−→G 2 , −→G = L1λ2µ (e),L1λ2µ (e) e E −→G −→G −→G D E ∈ X1 2 \ S + L1λ2µ (e),L(e) e E −→G −→G −→G ∈ 1X 2 S T + L(e),L(e) . h i e E −→G −→G −→G ∈ \X1 2 S and
L1 L L2 L λ −→G 1 , −→G + µ −→G 2 , −→G =D E λL D(e), λL (e)E + λL (e),L(e) h 1 1 i h 1 i e E −→G −→G e E −→G −→G ∈ X1\ ∈ X1 T + L(e),L(e) + µL (e), µL (e) h i h 2 2 i e E −→G −→G e E −→G −→G ∈ X\ 1 ∈ X2\ + µL (e),L(e) + L(e),L(e) . h 2 i h i e E −→G −→G e E −→G −→G ∈ X2 ∈ X\ 2 T Notice that
L1λ2µ (e),L1λ2µ (e) e E −→G −→G −→G ∈ X1 2 \ S = λL (e), λL (e) + µL (e), µL (e) h 1 1 i h 2 2 i e E −→G −→G e E −→G −→G ∈ X1\ ∈ X2\
+ L1λ2µ (e),L(e) e E −→G −→G −→G ∈ 1X 2 S T 30 Linfan MAO
= λL (e),L(e) + µL (e),L(e) h 1 i h 2 i e E −→G −→G e E −→G −→G ∈ X1 ∈ X2 T T + L(e),L(e) h i e E −→G −→G ∈ X\ 2 = L(e),L(e) + L(e),L(e) . h i h i e E −→G −→G e E −→G −→G ∈ X\ 1 ∈ X\ 2 We therefore know that
L1 L2 L L1 L L2 L λ−→G 1 + µ−→G 2 , −→G = λ −→G 1 , −→G + µ −→G 2 , −→G . D E D E D E Thus, −→G V is an inner space V If −→G L1 , −→G L2 , , −→G Ln is a basis of space −→G , 1 i n , we are easily find the exact { 1 2 · · · n } i ≤ ≤ formula on L by L1.L2, ,Ln. In fact, let D E · · · −→G L = λ −→G L1 + λ −→G L2 + + λ −→G Ln , 1 1 2 2 · · · n n where (λ , λ , , λ ) = (0, 0, , 0), and let 1 2 · · · n 6 · · ·
i i L : −→G −→G λ L kl \ s → kl kl l=1 ! s=k , ,ki l=1 \ 6 [l ··· X b for integers 1 i n. Then, we are easily knowing that L is nothing else but the labeling L ≤ ≤ on −→G by operation (2.1), a generation of (2.3) and (2.4) with b n i L −→G = λkl Lkl (e) , (2.11) i=1 l=1 e E −→G i X ∈ X X n i i ′ L −→L 1 2 −→G , G′ = λkl Lkl (e), λk′ s Lks , (2.12) i=1 *l=1 s=1 + e E −→G i D E X ∈ X X X
i ′ L L1 L2 Ln where G−→′ = λ′ −→G + λ′ −→G + + λ′ −→G and −→G = −→G −→G . 1 1 2 2 · · · n n i kl \ s l=1 ! s=k , ,ki \ 6 [l ··· We therefore extend the Banach or Hilbert space V over graphs −→G , −→G , , −→G following. 1 2 · · · n
Theorem 2.4 Let −→G 1, −→G 2, , −→G n be oriented graphs embedded in a space S and V a Banach · · · V space over a field F . Then −→G , 1 i n with linear operators A+ , A+ for (v,u) i ≤ ≤ vu uv ∀ ∈ D E V E −→G is a Banach space, and furthermore, if V is a Hilbert space, −→G , 1 i n is a i ≤ ≤ Hilbert space too. D E Hilbert Flow Spaces with Differentials over Graphs 31
V Proof We have shown, −→G , 1 i n is a linear normed space or inner space if V is a i ≤ ≤ linear normed space or innerD space, and forE the later, let
−→G L = −→G L, −→G L rD E
V V for −→G L −→G , 1 i n . Then −→G , 1 i n is a normed space and furthermore, it is ∈ i ≤ ≤ i ≤ ≤ a Hilbert spaceD if it is complete.E Thus,D we are onlyE need to show that any Cauchy sequence is V converges in −→G , 1 i n . i ≤ ≤ D E V In fact, let −→H Ln be a Cauchy sequence in −→G , 1 i n , i.e., for any number ε> 0, n i ≤ ≤ there always existsn ano integer N(ε) such that D E
−→H Ln −→H Lm <ε n − m
n V G G Ln if n,m N(ε). Let be the continuity flow space on −→ = −→G i. We embed each −→H n to ≥ i=1 a −→G L −→G V by letting S ∈ b
Ln(e), if e E (Hn) Ln(e)= ∈ 0, if e E −→G −→H . ∈ \ n b Then
−→G Ln −→G Lm = L (e) + L (e) L (e) − k n k k n − m k b b e E −→G n −→G m e E −→G n −→G m ∈ X\ ∈ X T + L (e) = −→H Ln −→H Lm ε. k− m k n − m ≤ e E −→G m −→G n ∈ X\ V Thus, −→G Ln is a Cauchy sequence also in −→G . By definition, n b o L (e) L (e) −→G Ln −→G Lm < ε, n − m ≤ −
b b i.e., L (e) is a Cauchy sequence for e E −→ G , which is converges on in V by definition. { n } ∀ ∈ Let
L(e) = lim Ln(e) n →∞ for e E −→G . Then it is clear thatb lim −→G Lbn = −→G L, which implies that −→G Ln , i.e., n ∀ ∈ →∞ V { } V b b b −→H Ln is converges to −→G L −→G , an element in −→G , 1 i n because of L(e) V for n ∈ i ≤ ≤ ∈ n o n b D E
G G ¾ e E −→ and −→ = −→G i. b ∀ ∈ i=1 S 32 Linfan MAO
§3. Differential on Continuity Flows
3.1 Continuity Flow Expansion
Theorem 2.4 enables one to establish differentials and generalizes results in classical calculus in V space −→G , 1 i n . Let L be kth differentiable to t on a domain D R, where k 1. i ≤ ≤ ⊂ ≥ DefineD E t t L Ldt d−→G dL L = −→G dt and −→G dt = −→G 0 . dt R Z0 V Then, we are easily to generalize Taylor formula in −→G , 1 i n following. i ≤ ≤ D E
R Rn Theorem 3.1(Taylor) Let −→G L −→G , 1 i n × and there exist kth order derivative of ∈ i ≤ ≤ L to t on a domain D R, where Dk 1. If A+ ,EA+ are linear for (v,u) E −→G , then ⊂ ≥ vu uv ∀ ∈ k L L(t ) t t0 L′(t ) (t t0) L(k)(t ) k −→G = −→G 0 + − −→G 0 + + − −→G 0 + o (t t )− −→G , (3.1) 1! · · · k! − 0 k for t D, where o (t t )− −→G denotes such an infinitesimal term L of L that ∀ 0 ∈ − 0 L(v,u) b lim =0 for (v,u) E −→G . t t k → 0 (t t0) ∀ ∈ b−
LC Particularly, if L(v,u)= f(t)cvu, where cvu is a constant, denoted by f(t)−→G with LC : (v,u) c for (v,u) E −→G and → vu ∀ ∈ (t − t ) (t − t )2 (t − t )k f(t)= f(t )+ 0 f ′(t )+ 0 f ′′(t )+ · · · + 0 f (k)(t )+ o (t − t )k , 0 1! 0 2! 0 k! 0 0 then f(t)−→G LC = f(t) −→G LC . ·
Proof Notice that L(v,u) has kth order derivative to t on D for (v,u) E −→G . By ∀ ∈ applying Taylor formula on t0, we know that
L (v,u)(t ) L(k)(v,u)(t0) L(v,u)= L(v,u)(t )+ ′ 0 (t t )+ + + o (t t )k 0 1! − 0 · · · k! − 0 if t t , where o (t t )k is an infinitesimal term L(v,u) of L(v,u) hold with → 0 − 0 L(v,u) b lim =0 t t t → 0 (t t0) b− Hilbert Flow Spaces with Differentials over Graphs 33
for (v,u) E −→G . By operations (2.1) and (2.2), ∀ ∈ −→G L1 + −→G L2 = −→G L1+L2 and λ−→G L = −→G λ−→L because A+ , A+ are linear for (v,u) E −→G . We therefore get vu uv ∀ ∈ k L L(t ) (t t0) L′(t ) (t t0) L(k)(t ) k −→G = −→G 0 + − −→G 0 + + − −→G 0 + o (t t )− −→G 1! · · · k! − 0 k for t D, where o (t t )− −→G is an infinitesimal term L of L, i.e., 0 ∈ − 0 L(v,u) b lim =0 t t t → 0 (t t0) b− for (v,u) E −→G . Calculation also shows that ∀ ∈ k (t−t0 ) ′ (t−t0) (k) k f(t0)+ f (t0) + f (t0)+o((t t0) ) cvu LC (v,u) f(t)LC (v,u) 1! ··· k! − f(t)−→G = −→G = −→G 2 f ′(t )(t t ) f”(t )(t t ) = f(t )c −→G + 0 − 0 c −→G + 0 − 0 c −→G 0 vu 1! vu 2! vu f (k)(t ) (t t )k + + 0 − 0 c −→G + o (t t )k −→G · · · k! vu − 0 k (t t0) (t t0) (k) k = f(t0)+ − f ′(t0) + − f (t0)+ o (t t0) cvu−→G 1! · · · k! − ! = f(t)c −→G = f(t) −→G LC (v,u), vu · i.e., f(t)−→G LC = f(t) −→G LC . ·
This completes the proof. ¾
Taylor expansion formula for continuity flow −→G L enables one to find interesting results on −→G L such as those of the following.
Theorem 3.2 Let f(t) be a k differentiable function to t on a domain D R with 0 D and ⊂ ∈ f(0−→G)= f(0)−→G. If A+ , A+ are linear for (v,u) E −→G , then vu uv ∀ ∈ f(t)−→G = f t−→G . (3.2)
Proof Let t0 = 0 in the Taylor formula. We know that
f (0) f (0) f (k)(0) f(t)= f(0) + ′ t + ′′ t2 + + tk + o tk . 1! 2! · · · k! 34 Linfan MAO
Notice that
f (0) f (0) f (k)(0) f(t)−→G = f(0) + ′ t + ′′ t2 + + tk + o tk −→G 1! 2! · · · k! ′ ′′ (k) f (0) f (0) 2 f (0) k k f(0)+ t+ t + + t +o(t ) = −→G 1! 2! ··· k! (k) k f ′(0)t f (0)t = f(0)−→G + −→G + + −→G + o tk −→G 1! · · · k! and by definition,
f (0) f (0) 2 f t−→G = f 0−→G + ′ t−→G + ′′ t−→G 1! 2! f (k)(0) k k + + t−→G + o t−→G · · · k! f (0) f (0) f (k)(0) = f 0−→G + ′ t−→G + ′′ t2−→G + + tk−→G + o tk −→G 1! 2! · · · k! i i because of t−→G = −→G t = ti−→G for any integer 1 i k. Notice that f(0−→G) = f(0)−→G. We ≤ ≤ therefore get that
f(t)−→G = f t−→G . ¾ Theorem 3.2 enables one easily getting Taylor expansion formulas by f t−→G . For example, let f(t)= et. Then et−→G = et−→G (3.3) by Theorem 3.5. Notice that (et)′ = et and e0 = 1. We know that
t t2 tk et−→G = et−→G = −→G + −→G + −→G + + −→G + (3.4) 1! 2! · · · k! · · · and t−→G s−→G et es et es et+s (t+s)−→G e e = −→G −→G = −→G · = −→G = e , (3.5) · · where t and s are variables, and similarly, for a real number α if t < 1, | | α αt α(α 1) (α n + 1)tn −→G + t−→G = −→G + −→G + + − · · · − −→G + (3.6) 1! · · · n! · · · 3.2 Limitation
V Definition 3.3 Let −→G L, −→G L1 −→G , 1 i n with L,L dependent on a variable t 1 ∈ i ≤ ≤ 1 ∈ [a,b] ( , + ) and linear continuousD end-operatorsE A+ for (v,u) E −→G . For t ⊂ −∞ ∞ vu ∀ ∈ 0 ∈ [a,b] and any number ε > 0, if there is always a number δ(ε) such that if t t0 δ(ε) | − | ≤ then −→G L1 −→G L < ε, then, −→G L1 is said to be converged to −→G L as t t , denoted by 1 − 1 → 0 lim −→G L1 = −→G L. Particularly, if −→G L is a continuity flow with a constant L(v) for v V −→G t t 1 → 0 ∀ ∈ and t =+ , −→G L1 is said to be −→G-synchronized. 0 ∞ 1 Hilbert Flow Spaces with Differentials over Graphs 35
Applying Theorem 1.4, we know that there are positive constants c R such that vu ∈ A+ c+ for (v,u) E −→G . k vuk≤ vu ∀ ∈ By definition, it is clear that
−→L1 −→L G 1 − G
− − −→ −→ L1 −→ −→ L1 L −→ −→ L = G 1 \ G + G 1 G + G \ G 1 ′+ \ ′+ + + A vu A vu Avu Avu = L1 (v, u) + L1 − Lvu (v, u) + −L (v, u) u∈N (v) u∈N (v) u∈N (v) G1\G G1 G G\G1 X X X + T + + ≤ cvukL1(v, u)k + c vuk (L1 − L)(v, u)k + cvuk− L(v, u)k. u∈N (v) u∈N (v) u∈N (v) XG1\G GX1 G XG\G1 T and L(v,u) 0 for (v,u) E −→G and E −→G . Let k k≥ ∈ 1 max + + cG G = max cvu, max cvu . 1 (v,u) E(G ) (v,u) E(G ) ∈ 1 ∈ 1
L1 L max If −→G −→G < ε, we easily get that L1(v,u) < c ε for (v,u) E −→G 1 −→G , 1 − k k G1G ∈ \ (L L)(v,u) < cmax ε for (v,u) E G G and L(v,u) < cmax ε for (v,u) 1 G1G −→1 −→ G1G k − k ∈ k− k ∈ E −→G −→G . T \ 1 Conversely, if L (v,u) < ε for (v,u) E −→G −→G , (L L)(v,u) < ε for (v,u) k 1 k ∈ 1 \ k 1 − k ∈ E −→G −→G and L(v,u) <ε for (v,u) E −→G −→G , we easily know that 1 k− k ∈ \ 1 T ′+ ′+ + L1 L A vu A vu Avu −→G −→G = L (v,u) + L Lvu (v,u) 1 − 1 1 − u N (v) u N (v) ∈ XG1\G ∈ GX1 G + T + LAvu (v,u ) − u N (v) G\G1 ∈ X c+ L (v,u) + c+ (L L) (v,u) ≤ vuk 1 k vuk 1 − k u N (v) u N (v) ∈ XG1\G ∈ GX1 G T + c+ L(v,u) vuk− k u N (v) ∈ XG\G1 max max max max < −→G 1 −→G c ε + −→G 1 −→G c ε + −→G −→G 1 c ε = −→G 1 −→G c ε. \ G1G G1G \ G1G G1G
\ [ Thus, we get an equivalent condition for lim −→G L 1 = −→G L following. t t 1 → 0
Theorem 3.4 lim −→G L1 = −→G L if and only if for any number ε> 0 there is always a number δ(ε) t t 1 → 0 such that if t t δ(ε) then L (v,u) <ε for (v,u) E −→G −→G , (L L)(v,u) <ε | − 0|≤ k 1 k ∈ 1 \ k 1 − k for (v,u) E −→G −→G and L(v,u) <ε for (v,u) E −→G −→G ,i.e., −→G L1 −→G L is an ∈ 1 k− k ∈ \ 1 1 − L1 L infinitesimal or limT −→G 1 −→G = O. t t0 − → 36 Linfan MAO
L L1 L2 If lim −→G , lim −→G1 and lim −→G2 exist, the formulas following are clearly true by defi- t t0 t t0 t t0 nition: → → →
L1 L2 L1 L2 lim −→G1 + −→G2 = lim −→G1 + lim −→G2 , t t0 t t0 t t0 → → → L1 L2 L1 L2 lim −→G1 −→G2 = lim −→G1 lim −→G2 , t t0 · t t0 · t t0 → → → L L1 L2 L L1 L L2 lim −→G −→G1 + −→G2 = lim −→G lim −→G1 + lim −→G lim −→G2 , t t0 · t t0 · t t0 t t0 · t t0 → → → → → L1 L2 L L1 L L2 L lim −→G1 + −→G2 −→G = lim −→G1 lim −→G + lim −→G2 lim −→G t t0 · t t0 · t t0 t t0 · t t0 → → → → →
L2 and furthermore, if lim −→G2 = O, then t t → 0 6
L1 L lim −→G1 1 −1 −→G1 L1 L t t0 lim = lim −→G1 −→G2 2 = → . t t0 L t t0 L → −→G2 2 ! → · lim −→G2 2 t t0 →
L1 L2 Theorem 3.5(L’Hospital’s rule) If lim −→G1 = O, lim −→G2 = O and L1,L2 are differentiable t t t t → 0 → 0 respect to t with lim L1′ (v,u)=0 for (v,u) E −→G 1 −→G 2 , lim L2′ (v,u) = 0 for (v,u) t t0 ∈ \ t t0 6 ∈ → → E −→G 1 −→G 2 and lim L′ (v,u)=0 for (v,u) E −→G 2 −→G 1 , then, t t 2 → 0 ∈ \ T ′ L1 L1 lim −→G1 −→G1 t t0 → lim = ′ . t t0 L L → −→G2 2 ! lim −→G2 2 t t → 0 Proof By definition, we know that
L 1 −1 −→G1 L1 L lim = lim −→G1 −→G2 2 t t0 −→G L2 ! t t0 · → 2 → L L L−1 L 1 1· 2 2 = lim −→G 1 −→G 2 −→G 1 −→G 2 −→G 2 −→G 1 t t → 0 \ \ −1 L1 L1 L \ · 2 L−1 = lim −→G 1 −→G 2 = lim −→G 1 −→G 2 2 t t t t → 0 → 0 lim L′ \ \t→t 1 L 0 1 −1 lim −1 lim L′ t→t0 L t→t 2 = −→G 1 −→G 2 2 = −→G 1 −→G 2 0
′ ′ ′−1 ′ \ lim L1 \ lim L 1 lim L 2 lim L2 = −→G −→G t→t0 −→G −→G t→t0 ·t→t0 −→G −→G t→t0 1 \ 2 1 2 2 \ 1 L′ −1 \ 1 lim L′ lim L′ lim −→G 1 t→t 1 t→t 2 t t 0 0 → 0 = −→G 1 −→G 2 = L′ . · lim −→G 2 t t 2 → 0
This completes the proof. ¾ Hilbert Flow Spaces with Differentials over Graphs 37
L1 L2 Corollary 3.6 If lim −→G = O, lim −→G = O and L1,L2 are differentiable respect to t with t t t t → 0 → 0 lim L2′ (v,u) =0 for (v,u) E −→G , then t t0 6 ∈ → L′ L lim −→G 1 −→G 1 t t → 0 lim = ′ . t t0 L L → −→G 2 ! lim −→G 2 t t → 0 Generally, by Taylor formula
k L L(t ) t t0 L′(t ) (t t0) L(k)(t ) k −→G = −→G 0 + − −→G 0 + + − −→G 0 + o (t t )− −→G , 1! · · · k! − 0 (k 1) (k 1) if L (t ) = L′ (t ) = = L − (t ) = 0 and L (t ) = L′ (t ) = = L − (t ) = 0 but 1 0 1 0 · · · 1 0 2 0 2 0 · · · 2 0 L(k)(t ) = 0, then 2 0 6
k (k) L (t t0) L (t0) k −→G 1 = − −→G 1 + o (t t )− −→G , 1 k! 1 − 0 1 k (k) L (t t0) L (t0) k −→G 2 = − −→G 2 + o (t t )− −→G . 2 k! 2 − 0 2 We are easily know the following result.
L1 L2 (k 1) Theorem 3.7 If lim −→G1 = O, lim −→G2 = O and L1(t0) = L1′ (t0) = = L1 − (t0)=0 t t0 t t0 · · · → (k 1) → (k) and L (t )= L′ (t )= = L − (t )=0 but L (t ) =0, then 2 0 2 0 · · · 2 0 2 0 6
(k) L1 (t0) L1 lim −→G 1 −→G1 t t0 → lim = (k) . t t0 L2 L (t0) → −→G 2 lim −→G 2 t t 2 → 0
+ + Example 3.8 Let −→G 1 = −→G 2 = −→C n, Avivi+1 = 1, Avivi−1 = 2 and
i 1 f1 + 2 − 1 F (x) n! − fi = i 1 + t 2 − (2n + 1)e for integers 1 i n in Fig.4. ≤ ≤ v1 v
f1 2 ¹
?f
fn 2 6
fi f3
vn vi+1 vi v3 Fig.4 38 Linfan MAO
Calculation shows That
i i 1 f1 + 2 1 F (x) f1 + 2 − 1 F (x) L(vi) = 2fi+1 fi =2 −i i −1 − × 2 − 2 − n! = F (x)+ . (2n + 1)et
L L Calculation shows that lim L(vi) = F (x), i.e., lim −→C = −→C , where, L(vi) = F (x) for t t n n →∞ →∞ integers 1 i n, i.e., −→C L is −→G-synchronized. b ≤ ≤ n b
§4. Continuity Flow Equations
A continuity flow −→G L is in fact an operator L : −→G B determined by L(v,u) B for → ∈ (v,u) E −→G . Generally, let ∀ ∈ L L L 11 12 · · · 1n L21 L22 L2n [L]m n = · · · × ··· ··· ··· ··· Lm1 Lm2 Lmn · · · with L : −→G B for 1 i m, 1 j n, called operator matrix. Particularly, if for integers ij → ≤ ≤ ≤ ≤ 1 i m, 1 j n, Lij : −→G R, we can also determine its rank as the usual, labeled the ≤ ≤ ≤ ≤ → Rank[L] edge (v,u) by Rank[L]m n for (v,u) E −→G and get a labeled graph −→G . Then we × ∀ ∈ get a result following.
Theorem 4.1 A linear continuity flow equations
x −→G L11 + x −→G L12 + + x −→G Ln1 = −→G L1 1 2 · · · n L21 L22 L2n L2 x1−→G + x2−→G + + xn−→G = −→G · · · (4.1) ························ x −→G Ln1 + x −→G Ln2 + + x −→G Lnn = −→G Ln 1 2 · · · n is solvable if and only if −→G Rank[L] = −→G Rank[L], (4.2) where
L L L L L L L 11 12 · · · 1n 11 12 · · · 1n 1 L21 L22 L2n L21 L22 L2n L2 [L]= · · · and L = · · · . ··· ··· ··· ··· ··· ··· ··· ··· Ln1 Ln2 Lnn Ln1 Ln2 Lnn Ln · · · · · · Hilbert Flow Spaces with Differentials over Graphs 39
Proof Clearly, if (4.1) is solvable, then for (v,u) E −→G , the linear equations ∀ ∈ x L (v,u)+ x L (v,u)+ + x L (v,u0= L (v,u) 1 11 2 12 · · · n n1 1 x1L21(v,u)+ x2L22(v,u)+ + xnL21(v,u0= L2(v,u) · · · ························ x L (v,u)+ x L (v,u)+ + x L (v,u0= L (v,u) 1 n1 2 n2 · · · n nn n is solvable. By linear algebra, there must be
L (v,u) L (v,u) L (v,u) 11 12 · · · 1n L21(v,u) L22(v,u) L2n(v,u) Rank · · · = ··· ··· ··· ··· Ln1(v,u) Ln2(v,u) Lnn(v,u) · · · L (v,u) L (v,u) L (v,u) L (v,u) 11 12 · · · 1n 1 L21(v,u) L22(v,u) L2n(v,u) L2(v,u) Rank · · · , ··· ··· ··· ··· Ln1(v,u) Ln2(v,u) Lnn(v,u) Ln(v,u) · · · which implies that −→G Rank[L] = −→G Rank[L].
Conversely, if the (4.2) is hold, then for (v,u) E −→G , the linear equations ∀ ∈ x L (v,u)+ x L (v,u)+ + x L (v,u0= L (v,u) 1 11 2 12 · · · n n1 1 x1L21(v,u)+ x2L22(v,u)+ + xnL21(v,u0= L2(v,u) · · · ························ x1Ln1(v,u)+ x2Ln2(v,u)+ + xnLnn(v,u0= Ln(v,u) · · · is solvable, i.e., the equations (4.1) is solvable. ¾
Theorem 4.2 A continuity flow equation
s Ls s 1 Ls L λ −→G + λ − −→G −1 + + −→G 0 = O (4.3) · · · always has solutions −→G Lλ with L : (v,u) E −→G λvu, λvu, , λvu , where λvu, 1 i s λ ∈ →{ 1 2 · · · s } i ≤ ≤ are roots of the equation vu s vu s 1 vu αs λ + αs 1λ − + + α0 =0 (4.4) − · · · with L : (v,u) αv,u, αvu =0 a constant for (v,u) E −→G and 1 i s. i → i s 6 ∈ ≤ ≤ For (v,u) E −→G , if nvu is the maximum number i with L (v,u) = 0, then there are ∈ i 6 40 Linfan MAO
nvu solutions −→G Lλ , and particularly, if L (v,u) =0 for (v,u) E −→G , there are s 6 ∀ ∈ (v,u) E −→G ∈ Q E −→G s solutions −→G Lλ of equation (4.3).
Proof By the fundamental theorem of algebra, we know there are s roots λvu, λvu, , λvu 1 2 · · · s for the equation (4.3). Whence, Lλ−→G is a solution of equation (4.2) because of
s s 1 0 λ−→G −→G Ls + λ−→G − −→G Ls−1 + + λ−→G −→G L0 · · · · · · s s−1 0 s s−1 λ Ls λ Ls λ L λ Ls+λ Ls + +L = −→G + −→G −1 + + −→G 0 = −→G −1 ··· 0 · · · and s s 1 vu s vu s 1 vu λ Ls + λ − Ls 1 + + L0 : (v,u) αs λ + αs 1λ − + + α0 =0, − · · · → − · · · for (v,u) E −→G , i.e., ∀ ∈ s s 1 0 λ−→G −→G Ls + λ−→G − −→G Ls−1 + + λ−→G −→G L0 =0−→G = O. · · · · · · vu Count the number of different Lλ for (v,u) E −→G . It is nothing else but just n . ∈ vu Therefore, the number of solutions of equation (4.3) is n . ¾ (v,u) E −→G ∈ Q
Theorem 4.3 A continuity flow equation
d−→G L = −→G Lα −→G L (4.5) dt · with initial values −→G L = −→G Lβ always has a solution t=0
−→G L = −→G Lβ etLα −→G , · where L : (v,u) α , L : (v,u) β are constants for (v,u) E −→G . α → vu β → vu ∀ ∈ Proof A calculation shows that
L dL d−→G Lα L Lα L −→G dt = = −→G −→G = −→G · , dt · which implies that dL = α L (4.6) dt vu for (v,u) E −→G . ∀ ∈ Solving equation (4.6) enables one knowing that L(v,u)= β etαvu for (v,u) E −→G . vu ∀ ∈ Hilbert Flow Spaces with Differentials over Graphs 41
Whence, the solution of (4.5) is
tLα −→G L = −→G Lβ e = −→G Lβ etLα −→G · and conversely, by Theorem 3.2,
tLα tLα Lβe d(Lβe ) d−→G L L etLα = −→G dt = −→G α β dt tLα = −→G Lα −→G Lβ e , · i.e., d−→G L = −→G Lα −→G L dt ·
L Lβ tLα if −→G = −→G e −→G . This completes the proof. ¾ · Theorem 4.3 can be generalized to the case of L : (v,u) Rn,n 2 for (v,u) E −→G . → ≥ ∀ ∈ Theorem 4.4 A complex flow equation
d−→G L = −→G Lα −→G L (4.7) dt · with initial values −→G L = −→G Lβ always has a solution t=0
−→G L = −→G Lβ etLα −→G , · where L : (v,u) α1 , α2 , , αn , L : (v,u) β1 ,β2 , ,βn with constants α → vu vu · · · vu β → vu vu · · · vu αi , βi , 1 i n for (v,u) E −→G . vu vu ≤ ≤ ∀ ∈ Theorem 4.5 A complex flow equation
n L n 1 L d −→G d − −→G Lαn Lαn−1 Lα0 L −→G n + −→G n 1 + + −→G −→G = O (4.8) · dt · dt − · · · · with L : (v,u) αvu constants for (v,u) E −→G and integers 0 i n always has a αi → i ∀ ∈ ≤ ≤ general solution −→G Lλ with
s vu L : (v,u) 0, h (t)eλi t λ → i ( i=1 ) X for (v,u) E −→G , where h (t) is a polynomial of degree m 1 on t, m +m + +m = n ∈ mi ≤ i − 1 2 · · · s and λvu, λvu, , λvu are the distinct roots of characteristic equation 1 2 · · · s
vu n vu n 1 vu αn λ + αn 1λ − + + α0 =0 − · · · 42 Linfan MAO
with αvu =0 for (v,u) E −→G . n 6 ∈
Proof Clearly, the equation (4.8) on an edge (v,u) E −→G is ∈ n n 1 vu d L(v,u) vu d − L(v,u) αn n + αn 1 n 1 + + α0 =0. (4.9) dt − dt − · · ·
As usual, assuming the solution of (4.6) has the form −→G L = eλt−→G. Calculation shows that
d−→G L = λeλt−→G = λ−→G, dt d2−→G L = λ2eλt−→G = λ2−→G, dt2 , ························ dn−→G L = λneλt−→G = λn−→G. dtn Substituting these calculation results into (4.8), we get that
n Lα n 1 Lα Lα L λ −→G n + λ − −→G n−1 + + −→G 0 −→G = O, · · · · i.e., n n−1 (λ Lαn +λ Lα + +Lα ) L −→G · · n−1 ··· 0 · = O, which implies that for (v,u) E −→G , ∀ ∈ n vu n 1 vu λ αn + λ − αn 1 + + α0 =0 (4.10) − · · · or L(v,u)=0.
Let λvu, λvu, , λvu be the distinct roots with respective multiplicities mvu,mvu, ,mvu 1 2 · · · s 1 2 · · · s of equation (4.8). We know the general solution of (4.9) is
s λvut L(v,u)= hi(t)e i i=1 X with h (t) a polynomial of degree m 1 on t by the theory of ordinary differential equations. mi ≤ i − Therefore, the general solution of (4.8) is −→G Lλ with
s vu L : (v,u) 0, h (t)eλi t λ → i ( i=1 ) X
for (v,u) E −→G . ¾ ∈ Hilbert Flow Spaces with Differentials over Graphs 43
§5. Complex Flow with Continuity Flows
The difference of a complex flow −→G L with that of a continuity flow −→G L is the labeling L on a vertex is L(v) =x ˙ v or xv. Notice that
d + d + LAvu (v,u) = LAvu (v,u) dt dt u NG(v) u NG(v) ∈X ∈X for v V −→G . There must be relations between complex flows −→G L and continuity flows −→G L. ∀ ∈ We get a general result following. t t + + + + Theorem 5.1 If end-operators Avu, Auv are linear with , Avu = , Auv = 0 and Z0 Z0 d + d + , A = , A = 0 for (v,u) E −→G , and particularly, A+ = 1V , then −→G L dt vu dt uv ∀ ∈ vu ∈ R Rn −→G , 1 i n × is a continuity flow with a constant L(v) for v V −→G if and only if i ≤ ≤ ∀ ∈ D t E −→G Ldt is such a continuity flow with a constant one each vertex v, v V −→G . 0 ∈ Z t + + d + Proof Notice that if Avu = 1V , there always is , Avu = 0 and , Avu = 0, and by 0 dt definition, we know that Z
t t t , A+ = 0 A+ = A+ , vu ⇔ ◦ vu vu ◦ Z0 Z0 Z0 d d d , A+ = 0 A+ = A+ . dt vu ⇔ dt ◦ vu vu ◦ dt
If −→G L is a continuity flow with a constant L(v) for v V −→G , i.e., ∀ ∈ + LAvu (v,u)= v for v V −→G , ∀ ∈ u NG(v) ∈X we are easily know that
t t t + Avu + + L (v, u) dt = ◦Avu L(v, u)dt = Avu ◦ L(v, u)dt 0 0 0 Z u∈XNG(v) u∈XNG(v) Z u∈XNG(v) Z t t + v = Avu L(v, u)dt = dt 0 0 u∈XNG(v) Z Z t t for v V −→G with a constant vector vdt, i.e., −→G Ldt is a continuity flow with a ∀ ∈ 0 0 Z Z constant flow on each vertex v, v V −→G . ∈ t Conversely, if −→G Ldt is a continuity flow with a constant flow on each vertex v, v ∈ Z0 44 Linfan MAO
V −→G , i.e., t + Avu L(v,u)dt = v for v V −→G , ◦ 0 ∀ ∈ u NG(v) Z ∈X then t d −→G Ldt −→G L = Z0 dt is such a continuity flow with a constant flow on vertices in −→G because of
+ d LAvu (v,u) t u NG(v) ! d ∈ + P = Avu L(v,u)dt dt dt ◦ ◦ 0 u NG(v) Z ∈X t d + dv + Avu = Avu L(v,u)dt = L(v,u) = ◦ dt ◦ 0 dt u NG(v) Z u NG(v) ∈X ∈X dv with a constant flow on vertex v, v V −→G . This completes the proof. ¾ dt ∈ t + + + If all end-operators Avu and Auv are constant for (v,u) E −→G , the conditions , Avu = ∀ ∈ 0 t Z + d + d + , Auv = 0 and , Avu = , Auv = 0 are clearly true. We immediately get a conclu- 0 dt dt sionZ by Theorem 5.1 following.
+ + Corollary 5.2 For (v,u) E −→G , if end-operators Avu and Auv are constant cvu, cuv for ∀ ∈ n R R (v,u) E −→G , then −→G L −→G , 1 i n × is a continuity flow with a constant L(v) ∀ ∈ ∈ i ≤ ≤ D t E for v V −→G if and only if −→G Ldt is such a continuity flow with a constant flow on each ∀ ∈ 0 Z vertex v, v V −→G . ∈
References
[1] R.Abraham and J.E.Marsden, Foundation of Mechanics (2nd edition), Addison-Wesley, Reading, Mass, 1978. [2] Fred Brauer and Carlos Castillo-Chaver, Mathematical Models in Population Biology and Epidemiology(2nd Edition), Springer, 2012. [3] G.R.Chen, X.F.Wang and X.Li, Introduction to Complex Networks – Models, Structures and Dynamics (2 Edition), Higher Education Press, Beijing, 2015. [4] John B.Conway, A Course in Functional Analysis, Springer-Verlag New York,Inc., 1990. [5] Y.Lou, Some reaction diffusion models in spatial ecology (in Chinese), Sci.Sin. Math., Vol.45(2015), 1619-1634. [6] Linfan Mao, Automorphism Groups of Maps, Surfaces and Smarandache Geometries, The Hilbert Flow Spaces with Differentials over Graphs 45
Education Publisher Inc., USA, 2011. [7] Linfan Mao, Smarandache Multi-Space Theory, The Education Publisher Inc., USA, 2011. [8] Linfan Mao, Combinatorial Geometry with Applications to Field Theory, The Education Publisher Inc., USA, 2011. [9] Linfan Mao, Global stability of non-solvable ordinary differential equations with applica- tions, International J.Math. Combin., Vol.1 (2013), 1-37. [10] Linfan Mao, Non-solvable equation systems with graphs embedded in Rn, Proceedings of the First International Conference on Smarandache Multispace and Multistructure, The Education Publisher Inc. July, 2013. [11] Linfan Mao, Geometry on GL-systems of homogenous polynomials, International J.Contemp. Math. Sciences, Vol.9 (2014), No.6, 287-308. [12] Linfan Mao, Mathematics on non-mathematics - A combinatorial contribution, Interna- tional J.Math. Combin., Vol.3(2014), 1-34. [13] Linfan Mao, Cauchy problem on non-solvable system of first order partial differential equa- tions with applications, Methods and Applications of Analysis, Vol.22, 2(2015), 171-200. [14] Linfan Mao, Extended Banach −→G-flow spaces on differential equations with applications, Electronic J.Mathematical Analysis and Applications, Vol.3, No.2 (2015), 59-91. [15] Linfan Mao, A new understanding of particles by −→G-flow interpretation of differential equation, Progress in Physics, Vol.11(2015), 193-201. [16] Linfan Mao, A review on natural reality with physical equation, Progress in Physics, Vol.11(2015), 276-282. [17] Linfan Mao, Mathematics with natural reality–action flows, Bull.Cal.Math.Soc., Vol.107, 6(2015), 443-474. [18] Linfan Mao, Labeled graph – A mathematical element, International J.Math. Combin., Vol.3(2016), 27-56. [19] Linfan Mao, Biological n-system with global stability, Bull.Cal.Math.Soc., Vol.108, 6(2016), 403-430. [20] J.D.Murray, Mathematical Biology I: An Introduction (3rd Edition), Springer-Verlag Berlin Heidelberg, 2002. [21] F.Smarandache, Paradoxist Geometry, State Archives from Valcea, Rm. Valcea, Romania, 1969, and in Paradoxist Mathematics, Collected Papers (Vol. II), Kishinev University Press, Kishinev, 5-28, 1997. [22] J.Stillwell, Classical Topology and Combinatorial Group Theory, Springer-Verlag, New York, 1980. International J.Math. Combin. Vol.4(2017), 46-59
β Change of Finsler Metric by h-Vector and Imbedding − Classes of Their Tangent Spaces
O.P.Pandey and H.S.Shukla (Department of Mathematics & Statistics, DDU Gorakhpur University,Gorakhpur, India)
E-mail: [email protected], profhsshuklagkp@rediffmail.com
Abstract: We have considered the β−change of Finsler metric L given by L = f(L, β) i where f is any positively homogeneous function of degree one in L and β. Here β = bi(x,y)y , n in which bi are components of a covariant h-vector in Finsler space F with metric L. We have obtained that due to this change of Finsler metric, the imbedding class of their tangent Riemannian space is increased at the most by two. Key Words: β−Change of Finsler metric, h-vector, imbedding class. AMS(2010): 53B20, 53B28, 53B40, 53B18.
§1. Introduction
Let (M n,L) be an n-dimensional Finsler space on a differentiable manifold M n, equipped with the fundamental function L(x, y). In 1971, Matsumoto [2] introduced the transformation of Finsler metric given by L(x, y)= L(x, y)+ β(x, y), (1.1)
2 L (x, y)= L2(x, y)+ β2(x, y), (1.2)
i n where β(x, y)= bi(x)y is a one-form on M . He has proved the following.
Theorem A. Let (M n, L) be a locally Minkowskian n-space obtained from a locally Minkowskian n n n n-space (M ,L) by the change (1.1). If the tangent Riemannian n-space (Mx ,gx) to (M ,L) is n n of imbedding class r, then the tangent Riemannian n-space (Mx , gx) to (M , L) is of imbedding class at most r +2.
Theorem B. Let (M n, L) be a locally Minkowskian n-space obtained from a locally Minkowskian n n n n-space (M ,L) by the change (1.2). If the tangent Riemannian n-space (Mx ,gx) to (M ,L) is n n of imbedding class r, then the tangent Riemannian n-space (Mx , gx) to (M , L) is of imbedding class at most r +1.
Theorem B is included in theorem A due to the phrase “at most ”. In [6] Singh, Prasad and Kumari Bindu have proved that the theorem A is valid for Kropina
1Received April 18, 2017, Accepted November 8, 2017. β Change of Finsler Metric by h-Vector and Imbedding Classes of Their Tangent Spaces 47 − change of Finsler metric given by
L2(x, y) L(x, y)= . β(x, y)
In [3], Prasad, Shukla and Pandey have proved that the theorem A is also valid for expo- nential change of Finsler metric given by
L(x, y)= Leβ/L.
Recently Prasad and Kumari Bindu [5] have proved that the theorem A is valid for β change [7] given by − L(x, y)= f(L,β), where f is any positively homogeneous function of degree one in L, β and β is one-form.
In all these works it has been assumed that bi(x) in β is a function of positional coordinate only.
The concept of h vector has been introduced by H.Izumi. The covariant vector field − b (x, y) is said to be h vector if ∂bi is proportional to angular metric tensor. i − ∂yj In 1990, Prasad, Shukla and Singh [4] have proved that the theorem A is valid for the transformation (1.1) in which b in β is h vector. i − All the above β changes of Finsler metric encourage the authors to check whether the − theorem A is valid for any change of Finsler metric by h vector. − In this paper we have proved that the theorem A is valid for the β change of Finsler metric − given by L(x, y)= f(L,β), (1.3) where f is positively homogeneous function of degree one in L,β and
i β(x, y)= bi(x, y)y . (1.4)
Here b (x, y) are components of a covariant h vector satisfying i − ∂b i = ρh , (1.5) ∂yj ij where ρ is any scalar function of x, y and hij are components of angular metric tensor. The homogeneity of f gives
Lf1 + βf2 = f, (1.6) where the subscripts 1 and 2 denote the partial derivatives with respect to L and β respectively.
Differentiating (1.6) with respect to L and β respectively, we get
Lf11 + βf12 = 0 and Lf12 + βf22 =0. 48 O.P.Pandey and H.S.Shukla
Hence, we have f f f 11 = 12 = 22 β2 − βL L2 which gives f = β2ω, f = L2ω, f = βLω, (1.7) 11 22 12 − where Weierstrass function ω is positively homogeneous function of degree 3 in L and β. − Therefore
Lω1 + βω2 +3ω =0. (1.8)
Again ω1 and ω2 are positively homogeneous function of degree - 4 in L and β, so
Lω11 + βω12 +4ω1 = 0 and Lω21 + βω22 +4ω2 =0. (1.9)
Throughout the paper we frequently use equation (1.6) to (1.9) without quoting them.
§2. An h Vector −
n Let bi(x, y) be components of a covariant vector in the Finsler space (M ,L). It is called an h vector if there exists a scalar function ρ such that − ∂b i = ρh , (2.1) ∂yj ij where hij are components of angular metric tensor given by
∂2L h = g l l = L . ij ij − i j ∂yi ∂yj
Differentiating (2.1) with respect to yk, we get
1 2 ∂˙ ∂˙ b = (∂˙ ρ)h + ρL− L ∂˙ ∂˙ ∂˙ L + h l , j k i k ij { i j k ij k} ˙ ∂ where ∂i stands for ∂yi . The skew-symmetric part of the above equation in j and k gives
1 1 (∂˙ ρ + ρL− l )h (∂˙ ρ + ρL− l )h =0. k k ij − j j ik Contracting this equation by gij , we get
1 (n 2)[∂˙ ρ + ρL− l ]=0, − k k which for n> 2, gives ρ ∂˙ ρ = l , (2.2) k −L k where we have used the fact that ρ is positively homogeneous function of degree 1 in yi, i.e., − β Change of Finsler Metric by h-Vector and Imbedding Classes of Their Tangent Spaces 49 −
∂ρ yj = ρ. ∂yj −
We shall frequently use equation (2.2) without quoting it in the next article.
§3. Fundamental Quantities of (M n, L)
To find the relation between fundamental quantities of (M n,L) and (M n, L), we use the fol- lowing results 1 ∂˙iβ = bi, ∂˙iL = li, ∂˙j li = L− hij . (3.1)
The successive differentiation of (1.3) with respect to yi and yj give
li = f1li + f2bi, (3.2)
fp h = h + fL2wm m , (3.3) ij L ij i j where β p = f + Lf ρ, m = b l . 1 2 i i − L i The quantities corresponding to (M n, L) will be denoted by putting bar on the top of those quantities.
From (3.2) and (3.3) we get the following relations between metric tensors of (M n,L) and (M n, L)
fp 1 g = g L− β(f f fβLω)+ Lρff l l ij L ij − { 1 2 − 2} i j +(fL2ω + f 2)b b + (f f fβLω)(l b + l b ). (3.4) 2 i j 1 2 − i j j i The contravariant components of the metric tensor of (M n, L) will be obtained from (3.4) as follows: L Lv L4ω L2u gij = gij + lilj bibj (libj + lj bi), (3.5) fp f 3pt − fpt − f 2pt i ij i ij 2 ij where, we put b = g bj, l = g lj, b = g bibj and
u = f f fβLω + Lρf 2, 1 2 − 2 v = (f f fβLω)(fβ + f L2)+ Lρf f(f + L2ρf ) 1 2 − △ 2 2{ 2 +L2 (f 2 + fL2ω) △ 2 } and β2 t = f + L3ω + Lf ρ, = b2 . (3.6) 1 △ 2 △ − L2 50 O.P.Pandey and H.S.Shukla
Putting q = f f fβLω + Lρ(f 2 + fL2ω), s =3f ω + fω , we find that 1 2 − 2 2 2 f (a) ∂˙ f = l + f m i L i 2 i (b) ∂˙ f = βLωm i 1 − i 2 (c) ∂˙if2 = L ωmi (d) ∂˙ p = Lω(β ρL2)m i − − i 3ω (e) ∂˙ ω = l + ω m i − L i 2 i (f) ∂˙ b2 = 2C +2ρm i − ..i i 2 (g) ∂˙ = 2C (β ρL2)m , (3.7) i△ − ..i − L2 − i
(a) ∂˙ q = (β ρL2)sLm i − − i (b) ∂˙ t = 2L3ωC + [L3 ω 3(β ρL2)Lω]m i − ..i △ 2 − − i 3s (c) ∂˙ s = l + (4f ω +3ω2L2 + fω )m (3.8) i − L i 2 2 22 i
i j k where “.” denotes the contraction with b , viz. C..i = Cjkib b . Differentiating (3.4) with respect to yk and using (d that
m li =0, m mi = = m bi, h mj = h bj = m , (3.10) i i △ i ij ij i where mi = gij m = bi β li. j − L i ih To find Cjk = g Cjhk we use (3.5), (3.9), (3.10) and get
3 i q sL L C = Ci + (h mi + hi m + hi m )+ m m mi C ni jk jk 2fp jk j k k j 2fp j k − ft .jk Lq 2Lq + L4 s △ h ni △ m m ni, (3.11) −2f 2pt jk − 2f 2pt j k where ni = fL2ωbi + uli. Corresponding to the vectors with components ni and mi, we have the following:
C mi = C , C ni = fL2ωC , m ni = fL2ω . (3.12) ijk .jk ijk .jk i △ To find the v-curvature tensor of (M n, L) with respect to Cartan’s connection, we use the following: h i k i i 2 Cij hhk = Cijk , hkhj = hj , hij n = fL ωmj . (3.13)
n The v-curvature tensors Shijk of (M , L) is defined as
r r S = C C C C . (3.14) hijk hk hjr − hj ikr From (3.9)–(3.14), we get the following relation between v-curvature tensors of (M n,L) β Change of Finsler Metric by h-Vector and Imbedding Classes of Their Tangent Spaces 51 − and (M n, L): fp S = S + d d d d + E E E E , (3.15) hijk L hijk hj ik − hk ij hk ij − hj ik where d = P C Qh + Rm m , (3.16) ij .ij − ij i j
Eij = Shij + Tmimj , (3.17)
fpω 1/2 pq L(2ωq sp) P = L ,Q = , R = − , t 2L2√fpωt 2√fωpt q L(sp ωq) S = ,T = − . 2L2√fω 2p√fω
§4. Imbedding Class Numbers
n n The tangent vector space Mx to M at every point x is considered as the Riemannian n- n i j space (Mx ,gx) with the Riemannian metric gx = gij (x, y)dy dy . Then the components of the Cartan’s tensor are the Christoffel symbols associated with gx:
1 Ci = gih(∂˙ g + ∂˙ g ∂˙ g ). jk 2 k jh j hk − h jk
i n Thus Cjk defines the components of the Riemannian connection on Mx and v-covariant deriva- tive, say X = ∂˙ X X Ch i|j j i − h ij i is the covariant derivative of covariant vector Xi with respect to Riemannian connection Cjk on n n Mx . It is observed that the v-curvature tensor Shijk of (M ,L) is the Riemannian Christoffel n n curvature tensor of the Riemannian space (M ,gx) at a point x. The space (M ,gx) equipped with such a Riemannian connection is called the tangent Riemannian n-space [2].
It is well known [1] that any Riemannian n-space V n can be imbedded isometrically in a n(n+1) Euclidean space of dimension 2 . If n + r is the lowest dimension of the Euclidean space in which V n is imbedded isometrically, then the integer r is called the imbedding class number of V n. The fundamental theorem of isometric imbedding ([1] page 190) is that the tangent n Riemannian n-space (Mx ,gx) is locally imbedded isometrically in a Euclidean (n + r) space if r(r 1) − and only if there exist r number ǫ = 1, r symmetric tensors H and − covariant − P ± − (P )ij 2 vector fields H = H ; P,Q =1, 2, , r, satisfying the Gauss equations (P,Q)i − (Q,P )i · · · S = ǫ H H H H , (4.1) hijk P { (P )hj (P )ik − (P )ij (P )hk} XP The Codazzi equations
H H = ǫ H H H H , (4.2) (P )ij |k − (P )ik|j Q{ (Q)ij (Q,P )k − (Q)ik (Q,P )j } XQ 52 O.P.Pandey and H.S.Shukla and the Ricci-K¨uhne equations
H H + ǫ H H H H (P,Q)i|j − (P,Q)j |i R{ (R,P )i (R,Q)j − (R,P )j (R,Q)i} XR + ghk H H H H =0. (4.3) { (P )hi (Q)kj − (P )hj (Q)ki}
n The numbers ǫP = 1 are the indicators of unit normal vector NP to M and H(P )ij are ± n the second fundamental tensors of M with respect to the normals NP . Thus if gx is assumed to be positive definite, there exists a Cartesian coordinate system (zi,up) of the enveloping Euclidean space En+r such that ds2 in En+r is expressed as
2 i 2 p 2 ds = (dz ) + ǫp(du ) . i p X X
§5. Proof of Theorem A
In order to prove the theorem A, we put
fp (a) H(P )ij = H(P )ij , ǫP = ǫP , P =1, 2, , r r L · · · (b) H(r+1)ij = dij , ǫr+1 =1 (c) H = E , ǫ = 1. (5.1) (r+2)ij ij r+2 − Then it follows from (3.15) and (4.1) that
r+2 S = ǫ H H H H , hijk λ{ (λ)hj (λ)ik − (λ)hk (λ)ij } λX=1 n which is the Gauss equation of (Mx , gx). n Moreover, to verify Codazzi and Ricci K¨uhne equation of (Mx , gx), we put
(a) H = H = H ,P,Q =1, 2, , , r (P,Q)i − (Q,P )i (P,Q)i · · · L√Lω (b) H(P,r+1)i = H(r+1,P )i = H(P ).i, P =1, 2, , r − √t · · · (c) H = H =0, P =1, 2, , r. (P,r+2)i − (r+2,P )i · · · sp 2qω (d) H = H = − m . (5.2) (r+1,r+2)i − (r+2,r+1)i 2fω√pt i
n The Codazzi equations of (Mx , gx) consists of the following three equations:
(a) H H = ǫ H H H H (P )ij kk − (P )ikkj Q{ (Q)ij (Q,P )k − (Q)ik (Q,P )j } XQ + ǫ H H H H r+1{ (r+1)ij (r+1,P )k − (r+1)ik (r+1,P )j } + ǫ H H H H (5.3) r+2{ (r+2)ij (r+2,P )k − (r+2)ik (r+2,P )k} β Change of Finsler Metric by h-Vector and Imbedding Classes of Their Tangent Spaces 53 −
(b) H H = ǫ H H H H (r+1)ij kk − (r+1)ikkj Q{ (Q)ij (Q,r+1)k − (Q)ik (Q,r+1)j } XQ +ǫ H H H H , r+2{ (r+2)ij (r+2,r+1)k − (r+2)ik (r+2,r+1)j}
(c) H H = ǫ H H H H (r+2)ij kk − (r+2)ikkj Q{ (Q)ij (Q,r+2)k − (Q)ik (Q,r+2)j} XQ +ǫ H H H H . r+1{ (r+1)ij (r+1,r+2)k − (r+1)ik (r+1,r+2)j}
n where i denotes v-covariant derivative in (M , L), i.e. covariant derivative in tangent Rieman- k n i nian n-space (Mx , gx) with respect to its Christoffel symbols Cjk. Thus
h X = ∂˙ X X C . ikj j i − h ij
i To prove these equations we note that for any symmetric tensor Xij satisfying Xij l = j Xij l = 0, we have from (3.11), q X X = X X (h X h X ) ij kk − ikkj ij |k − ik|j − 2ft ik .j − ij .k L3ω q + (C X C X ) (X m X m ) t .ik .j − .ij .k − 2fp ij k − ik j L3(2qω sp) + − (X m X m ) m . (5.4) 2fpt .j k − .k j i
Also if X is any scalar function, then X = X = ∂˙ X. kj |j j Verification of (5.3)(a) In view of (5.1) and (5.2), equation (5.3)a is equivalent to
fp fp H(P )ij H(P )ik L ! k − L ! j r r
fp L√Lω = . ǫQ H(Q)ij H(Q,P )k H(Q)ikH(Q,P )j dij H(P ).k dikH(P ).j . (5.5) r L { − }− √t { − } XQ
fp ˙ fp q Since L = ∂k L = mk, applying formula (5.4) for H(P )ij , we get k 2√fLp q q
fp fp fp H(P )ij H(P )ik = H(P )ij k H(P )ik j L ! k − L ! j L { | − | } r r r
q fp L3ω fp hikH(P ).j hij H(P ).k + C.ikH(p).j C.ij H(p).k −2ftr L { − } t r L { − } L2√L(2qω sp) + − H mk H mj mi. (5.6) 2t√fp { (P ).j − (P ).k }
fp fp Substituting the values of L H(P )ij L H(P )ik from (5.6) and the values k − j q q of dij from (3.16) in (5.5) we find that equation (5.5) is identically satisfied due to equation
54 O.P.Pandey and H.S.Shukla
(4.2).
Verification of (5.3)(b) In view of (5.1) and (5.2), equation (5.3)b is equivalent to
fωp d d = L ǫ H H H H ij kk − ikkj t Q{ (Q)ij (Q).k − (Q)ik (Q).j } r Q X sp 2qω + − E m E m . (5.7) 2fω√pt { ij k − ik j }
To verify (5.7), we note that
C C = bhS (5.8) .ij |k − .ik|j − hijk
1 h h = L− (h l h l ), (5.9) ij |k − ik|j ij k − ik j β 1 m = C ρ h l m . (5.10) i|k − .ik − L2 − ik − L i k 1 ∂˙ (fωp)= 2L− fωpl + (qω + fpω )m . (5.11) k − k 2 k Contracting (3.16) with bi and using (3.10), we find that
fωp q(2L3ω p) L3 sp d = L C + m . (5.12) .j ..j △−2 − △ j r t 2L √fωpt
Applying formula (5.4) for dij and substituting the values of d.j from (5.12) and dij from (3.16), we get
Lq√fωp d d = d d (h C h C ) ij kk − ikkj ij |k − ik|j − 2ft3/2 ik ..j − ij ..k L4ω(2qω sp) + − (C..j mk C..kmj )mi 2√fωp.t3/2 − L4ω√fωp + (C C C C ) t3/2 .ik ..j − .ij ..k L4ω (3qω sp) + △ − (C.ikmj C.ij mk) 2√fωp.t3/2 − Lq (3qω sp) △ − (hikmj hij mk). (5.13) − 4f√fωp.t3/2 −
From (3.16), we obtain
d d = P (C C ) Q(h h ) ij |k − ik|j .ij |k − .ik|j − ij |k − ik|j +R(m m + m m m m m m ) i|k j j |k i − i|j k − k|j i +(∂˙ P )C (∂˙ P )C (∂˙ Q)h + (∂˙ Q)h ) k .ij − j .ik − k ij j ik +(∂˙ R)m m (∂˙ R)m m ). (5.14) k i j − j i k β Change of Finsler Metric by h-Vector and Imbedding Classes of Their Tangent Spaces 55 −
Since,
4 2 2 L ω√fωp Lfp pω2 +3Lω (β ρL ) ∂˙kP = C..k + { − } t3/2 2√fωp.t3/2 Lqω + mk, 2√fωpt Lpqω pq ∂˙kQ = C..k lk 2√fωp.t3/2 − 2L3√fωpt 2 (β ρL )(qω + sp) pq(qω + fpω2) − mk mk − 2L√fωpt − 4L2(fωp)3/2√t 2 2 pq 3ω(β ρL ) L ω2 + { − − △ }mk (5.15) 4L√fωpt3/2 and
L4ω(2qω sp) 2qω sp ∂˙kR = − C..k − lk + term containing mk, 2√fωp.t3/2 − 2√fωpt where we have used the equations (3.6), (3.7) and (3.8).
From equations (5.8)–(5.15), we have
fωp h dij k dik j = L ( b Shijk) | − | r t − L4ω (3qω sp) + △ − (C.ij mk C.ikmj ) 2√fωp.t3/2 − L4ω√fωp + (C C C C ) t3/2 .ij ..k − .ik ..j Lωpq + (hikC..j hij C..k) 2√fωp.t3/2 − pq[qωt + f(L3ω + t) 3Lω2(β ρL2)+ pω ] + △ { − 2} 4L2(fωpt)3/2 × L4ω(2qω sp) (hij mk hikmj )+ − (C..kmj C..j mk) mi. (5.16) − 2√fωp.t3/2 −
Substituting the value of d d from (5.16) in (5.13), then value of d d ij |k − ik|j ij kk − ikkj thus obtained in (5.7), and using equations (4.1) and (3.17), it follows that equation (5.7) holds identically.
Verification of (5.3)(c) In view of (5.1) and (5.2), equation (5.3)c is equivalent to
sp 2qω E E = − (d m d m ). (5.17) ij kk − ikkj 2fω√pt ij k − ik j
Contracting (3.17) by bi and using equation (3.10), we find that
pq + L3 (sp qω) E.j = △ − mj . (5.18) 2L2p√fω 56 O.P.Pandey and H.S.Shukla
Applying formula (5.4) for Eij and substituting the value of E.j from (5.18) and the value of Eij from (3.17), we get
qL (sp 2qω) Eij k Eik j = Eij k Eik j + △ − (hij mk hikmj) k − k | − | 4fpt√fω − Lω pq + L3 (sp qω) + { △ − }(C.ikmj C.ij mk). (5.19) 2pt√fω −
From (3.17), we get
E E = S(h h )+ T m m + m m ij |k − ik|j ij |k − ik|j { i|k j j|k i m m m m + (∂˙ S)h − i|j k − k|j i} k ij (∂˙ S)h + (∂˙ T )m m (∂˙ T )m m . (5.20) − j ik k i j − j i k Now, 2 q (β ρL )s q(fω2 + f2ω) (∂˙kS)= lk − + mk (5.21) −2L3√fω − 2L√fω 4L2(fω)3/2 and sp qω (∂˙kT )= − lk + term containing mk, − 2p√fω where we have used the equations (3.7) and (3.8).
From equation (5.9)–(5.11), (5.20) and (5.21), we get
L(sp qω) Eij k Eik j = − (C.ij mk C.ikmj ) | − | 2p√fω − q(sp 2qω) − (h m h m ). (5.22) −4L2p(fω)3/2 ij k − ik j
Substituting the value of E E from (5.22) in (5.19), then the value of E E ij |k − ik|j ij kk − ikkj thus obtained in (5.17), and then using (3.16) in the right-hand side of (5.17), we find that the equation (5.17) holds identically.
n This completes the proof of Codazzi equations of (Mx , gx). The Ricci K¨uhne equations of n (Mx , gx) consist of the following four equations
(a) H H + ǫ H H (P,Q)ikj − (P,Q)j ki R{ (R,P )i (R,Q)j XR H H + ǫ H H − (R,P )j (R,Q)i} r+1{ (r+1,P )i (r+1,Q)j H H + ǫ H H − (r+1,P )j (r+1,Q)i} r+2{ (r+2,P )i (r+2,Q)j H H + ghk H H − (r+2,P )j (r+2,Q)i} { (P )hi (Q)kj H H =0,P,Q =1, 2, , r (5.23) − (P )hj (Q)ki} · · · β Change of Finsler Metric by h-Vector and Imbedding Classes of Their Tangent Spaces 57 −
(b) H H + ǫ H H H H (P,r+1)ikj − (P,r+1)jki R{ (R,P )i (R,r+1)j − (R,P )j (R,r+1)i} XR + ǫ H H H H r+2{ (r+2,P )i (r+2,r+1)j − (r+2,P )j (r+2,r+1)i} + ghk H H H H =0, P =1, 2, , r { (P )hi (r+1)kj − (P )hj (r+1)ki} · · · (c) H H + ǫ H H H H (P,r+2)ikj − (P,r+2)jki R{ (R,P )i (R,r+2)j − (R,P )j (R,r+2)i} XR + ǫ H H H H r+1{ (r+1,P )i (r+1,r+2)j − (r+1,P )j (r+1,r+2)i} + ghk H H H H =0, P =1, 2, , r { (P )hi (r+2)kj − (P )hj (r+2)ki} · · ·
(d) H H + ǫ H H H (r+1,r+2)ikj − (r+1,r+2)jki R{ (R,r+1)i (R,r+2)j − (R,r+1)j XR H + ghk H H H H =0. × (R,r+2)i} { (r+1)hi (r+2)kj − (r+1)hj (r+2)ki}
Verification of (5.23)(a) In view of (5.1) and (5.2), equation (5.23)a is equivalent to
H H + ǫ H H H H (P,Q)ikj − (P,Q)j ki R{ (R,P )i (R,Q)j − (R,P )j (R,Q)i} XR L3ω + H H H H + ghk H H t { (P ).i (Q).j − (P ).j (Q).i} { (P )hi (Q)kj fp H H =0.P,Q =1, 2,...,r. (5.24) − (P )hj (Q)ki} L
i i Since H(P )ij l =0= H(P )jil , from (3.5), we get
fp ghk H H H H = ghk H H { (P )hi (Q)kj − (P )hj (Q)ki} L { (P )hi (Q)kj L3ω H H H H H H . − (P )hj (Q)ki}− t { (P ).i (Q).j − (P ).j (Q).i} Also, we have H H = H H . Hence equation (5.24) is (P,Q)ikj − (P,Q)j ki (P,Q)i|j − (P,Q)j |i satisfied identically by virtue of (4.3).
Verification of (5.23)(b) In view of (5.1) and (5.2), equation (5.23)b is equivalent to
L√Lω L√Lω H(P ).i H(P ).j √t ! j − √t ! i
L√Lω + ǫR H(R,P )iH(R).j H(R,P )j H(R).i √t { − } XR hk fp + g H(P )hidkj H(P )hj dki =0.P,Q =1, 2, , r. (5.25) { − }r L · · · Since bh = ghkC , H li = 0, we have |j .jk (P )hi H H = H H = H H bh (P ).ikj − (P ).j ki (P ).i|j − (P ).j|i { (P )hi|j − (P )hj |i} ghk H C H C (5.26) − { (P )hi .kj − (P )hj .ki} 58 O.P.Pandey and H.S.Shukla
L√Lω L√Lω = ∂˙j √t ! j √t !
L4ω√Lω L√Lω = C + pω +3Lω2(β ρL2) m (5.27) t3/2 ..j 2ωt3/2 { 2 − } j and
hk fp L hk g H(P )hidkj H(P )hjdki = g { − }r L sfp × L3ω√L H dkj H dki H d.j H d.i . (5.28) { (P )hi − (P )hj }− t√fp { (P ).i − (P ).j }
After using (3.16) and (5.12) the equation (5.28) may be written as
hk fp L√Lω hk g H(P )hidkj H(P )hj dki = g { − }r L √t × L4ω√Lω H C H C H C H C { (P )hi .kj − (P )hj .ki}− t3/2 { (P ).i ..j − (P ).j ..i} L√Lω [pω +3Lω2(β ρL2)] H m H m . (5.29) − 2ωt3/2 2 − { (P ).i j − (P ).j i}
From (4.2), (5.26)–(5.29) it follows that equation (5.25) holds identically.
Verification of (5.23)(c) In view of (5.1) and (5.2), equation (5.23)c is equivalent to
L√Lω(2qω sp) − H(P ).imj H(P ).jmi 2fωt√p { − }
hk fp +g H(P )hiEkj H(P )hj Eki =0, (5.30) { − }r L Since E lk =0= E lk, from (3.5), we find that the value of ghk H E H E kj jk { (P )hi kj − (P )hj ki} is 3 L hk L ω√L .g H(P )hiEkj H(P )hj Eki H(P ).iE.j H(P ).j E.i , sfp { − }− t√fp { − } which, in view of (3.17) and (5.18), is equal to
L√Lω(2qω sp) − H(P ).imj H(P ).j mi . − 2fωt√p { − }
Hence equation (5.30) is satisfied identically.
Verification of (5.23)(d) In view of (5.1) and (5.2), equation (5.23)d is equivalent to
(Nm ) (Nm ) + ghk(d E d E )=0, (5.31) i kj − j ki hi kj − hj ki
sp 2qω where N = 2fω−√pt . β Change of Finsler Metric by h-Vector and Imbedding Classes of Their Tangent Spaces 59 −
Since d lh = 0, E lk = 0, from (3.5), we find that the value of ghk d E d E is hi kj { hi kj − hj ki} L L4ω ghk d E d E d E d E , fp { hi kj − hj ki}− fpt { .i .j − .j .i} which, in view of (3.16), (3.17), (5.12) and (5.18), is equal to
L3(2qω sp) − C..imj C..j mi . − 2f√p.t3/2 { − }
Also,
(Nm ) (Nm ) = N(m m ) + (∂˙ N)m (∂˙ N)m . i kj − j ki ikj − j ki j i − i j
1 Since m m = m m = L− (l m l m ) and ikj − j ki i|j − j |i j i − i j 2qω sp L3(sp 2qω) ∂˙j N = − lj + − C..j, −2Lfω√pt 2f√p.t3/2 we have L3(sp 2qω) (Nmi) j (Nmj ) i = − (C..j mi C..imj ). (5.32) k − k 2f√p.t3/2 − n Hence equation (5.31) is satisfied identically. Therefore Ricci K¨uhne equations of (Mx , gx) given in (5.23) are satisfied. Hence the Theorem A given in introduction is satisfied for the β change (1.3) of Finsler − metric given by h vector. ¾ −
References
[1] Eisenhart L. P., Riemannian Geometry, Princeton, 1926. [2] Matsumoto M., On transformations of locally Minkowskian space, Tensor N. S., 22 (1971), 103-111. [3] Prasad B. N., Shukla H. S. and Pandey O. P., The exponential change of Finsler metric and relation between imbedding class numbers of their tangent Riemannian spaces, Romanian Journal of Mathematics and Computer Science, 3 (1), (2013), 96-108. [4] Prasad B. N., Shukla H. S. and Singh D. D., On a transformation of the Finsler metric, Math. Vesnik, 42 (1990), 45-53. [5] Prasad B. N. and Kumari Bindu, The β change of Finsler metric and imbedding classes − of their tangent spaces, Tensor N. S., 74 (1), (2013), 48-59. [6] Singh U. P., Prasad B. N. and Kumari Bindu, On a Kropina change of Finsler metric, Tensor N. S., 64 (2003), 181-188. [7] Shibata C., On invariant tensors of β changes of Finsler metrics, J. Math. Kyoto Univer- − sity, 24 (1984), 163-188. International J.Math. Combin. Vol.4(2017), 60-67
A Note on Hyperstructres and Some Applications
B.O.Onasanya (Department of Mathematics, University of Ibadan, Ibadan, Oyo State, Nigeria)
E-mail: [email protected]
Abstract: In classical group theory, two elements composed yield another element. This theory, definitely, has limitations in its use in the study of atomic reactions and reproduction in organisms where two elements composed can yield more than one. In this paper, we partly give a review of some properties of hyperstructures with some examples in chemical sciences. On the other hand, we also construct some examples of hyperstructures in genotype, extending the works of Davvaz (2007) to blood genotype. This is to motivate new and collaborative researches in the use of hyperstructures in these related fields. Key Words: Genotype as a hyperstructure, hypergroup, offspring. AMS(2010): 20N20, 92D10.
§1. Introduction
The theory of hyperstructures began in 1934 by F. Marty. In his presentation at the 8th congress of Scandinavian Mathematicians, he illustrated the definition of hypergroup and some applications, giving some of its uses in the study of groups and some functions. It is a kind of generalization of the concept of abstract group and an extension of well-known group theory and as well leading to new areas of study. The study of hypergroups now spans to the investigation and studying of subhyper- groups, relations defined on hyperstructures, cyclic hypergroups, canonical hypergroups, P- hypergroups, hyperrings, hyperlattices, hyperfields, hypermodules and Hν -structures but to mention a few. A very close concept to this is that of HX Group which was developed by Li [11] in 1985. There have been various studies linking HX Groups to hyperstructures. In the late 20th century, the theory experienced more development in the applications to other mathematical theories such as character theory of finite groups, combinatorics and relation theory. Researchers like P. Corsini, B. Davvaz, T. Vougiouklis, V. Leoreanu, but to mention a few, have done very extensive studies in the theory of hyperstructures and their uses.
§2. Definitions and Examples of Hyperstrutures
Definition 2.1 Let H be a non empty set. The operation : H H ∗(H) is called a ◦ × −→ P 1Received May 13, 2017, Accepted November 12, 2017. A Note on Hyperstructres and Some Applications 61
hyperoperation and (H, ) is called a hypergroupoid, where ∗(H) is the collection of all non ◦ P empty subsets of H. In this case, for A, B H, A B = a b a A, b B . ⊆ ◦ ∪{ ◦ | ∈ ∈ } Remark 2.1 A hyperstructure is a set on which a hyperoperation is defined. Some major kinds of hyperstructures are hypergroups, HX groups, Hν groups, hyperrings and so on.
Definition 2.2 A hypergroupoid (H, ) is called a semihypergroup if ◦ (a b) c = a (b c) a,b,c H (Associativity) ◦ ◦ ◦ ◦ ∀ ∈ . Definition 2.3 A hypergroupoid (H, ) is called a quasihypergroup if ◦ a H = H = H a a H (Reproduction Axiom). ◦ ◦ ∀ ∈
Definition 2.4 A hypergroupoid (H, ) is called a hypergroup if it is both a semihypergroup and ◦ quasihypergroup.
Example 2.1 (1) For any group G, if the hyperoperation is defined on the cosets, it generally yields a hypergroup.
(2) If we partition H = 1, 1, i, i by K∗ = 1, 1 , i, i , then (H/K∗, ) is a { − − } {{ − } { − }} ◦ hypergroup. (3)([8]) Let (G, +) = (Z, +) be an abelian group with an equivalence relation ρ partitioning G into x = x, x . Then, if x y = x + y, x y x, y G/ρ, (G/ρ, ) is a hypergroup. { − } ◦ { − } ∀ ∈ ◦ Definition 2.5 A hypergroupoid (H, ) is called a H group if it satisfies ◦ ν (1) (a b) c a (b c) = a,b,c H (Weak Associativity); ◦ ◦ ∩ ◦ ◦ 6 ∅ ∀ ∈ (2) a H = H = H a a H (Reproduction Axiom). ◦ ◦ ∀ ∈ Remark 2.2 An H group may not be a hypergroup. A subset K H is called a subhy- ν ⊆ pergroup if (K, ) is also a hypergroup. A hypergroup (H, ) is said to have an identity e if ◦ ◦ a H a e a a e = . ∀ ∈ ∈ ◦ ∩ ◦ 6 ∅
Example 2.2 Davvaz [8] has given an example of a Hν group as the chemical reaction
A2 + B2 energy 2AB ←−−−→ in which A◦ and B◦ are the fragments of A ,B , AB and = A◦,B◦, A ,B , AB . 2 2 H { 2 2 }
Definition 2.6 Let G be a group and : G G ∗(G) a hyperoperation. Let ∗(G) ◦ × −→ P C⊆P and A, B . If , under the product A B = a b a A, b B , is a group, then ( , ) is ∈C C ◦ ∪{ ◦ | ∈ ∈ } C ◦ a HX group on G with unit element E such that E A = A = A E A . ⊆C ◦ ◦ ∀ ∈C It is important to study HX group separately because some hypergroups exist but are not 62 B.O.Onasanya
HX groups. An example is ( 0 , (0, + ), ( , 0) , +); it a hypergroup but not a HX group. {{ } ∞ −∞ } Note that if the unit element E of the quotient group of G by E is a normal subgroup of G, then the quotient group is a HX group.
Definition 2.7 If for the identity element e G we have e E, then ( , ) is a regular HX ∈ ∈ C ◦ group on G.
Theorem 2.1([10]) If is a HX group on G, then A, B C ∀ ∈C (1) A = B ; | | | | (2) A B = = A B = E . ∩ 6 ∅ ⇒ | ∩ | | | Remark 2.3 Corsini [4] has shown that a HX group, also referred to as Chinese Hyper- structure is a Hν Group and that, under some condition, is a hypergroup. But, trivially, a hypergroup is a Hν Group since only that associativity was relaxed in a hypergroup to obtain a Hν Group. Besides, Onasanya [12] has shown that no additional condition is needed by a Chinese Hyperstructure, that is a HX group, to become a hypergroup.
§3. Applications and Occurrences of Hyperstrutures in Biological and Chemical Sciences
The chain reactions that occur between hydrogen and halogens, say iodine (I), give interesting examples of hyperstructures [8]. This can be seen in Table 1. Many properties of these reactions can be seen from the study of hyperstructures.
Table 1. Reaction of Hydrogen with Iodine
o o + H I H2 I2 HI o o o o o o o o o H H ,H2 H ,I ,HI H ,H2 H ,I ,HI,I2 H ,I ,H2,HI o o o o o o o o o I I ,H ,HI I ,I2 I ,H ,HI,H2 I ,I2 H ,I ,HI,I2 o o o o o o o o H2 H ,H2 H ,I ,HI,H2 H ,H2 H ,I ,HI,H2,I2 H ,I ,H2,HI o o o o o o o o I2 I ,H ,I2,HI I ,I2 H ,I ,HI,H2,I2 I ,I2 H ,I ,HI,I2 o o o o o o o o o o HI H ,I ,H2,HI H ,I ,HI,I2 H ,I ,HI,H2 H ,I ,HI,I2 H ,I ,HI,I2,H2
Let G = Ho, Io, H , I , HI so that (G, ) is such that A, B G, we have that A B are { 2 2 } ◦ ∀ ∈ ◦ the possible product(s) representing the reaction between A and B. Then, (G, )isa H -group. ◦ v The subsets G = Ho, H and G = Io, I are the only H -subgroups of (G, ) and indeed 1 { 2} 2 { 2} v ◦ they are trivial hypergroups. Davvaz [6] has the following examples: Dismutation is a kind of chemical reaction. Com- proportionation is a kind of dismutation in which two different reactants of the same element having different oxidation numbers combine to form a new product with intermediate oxidation number. An example is the reaction
Sn + Sn4+ 2Sn2+. → A Note on Hyperstructres and Some Applications 63
In this reaction, letting = Sn,Sn2+,Sn4+ , the following table shows all possible occur- G { } rences.
Table 2. Dismutation Reaction of Tin Sn Sn2+ Sn4+ ◦ Sn Sn Sn,Sn2+ Sn2+ Sn2+ Sn,Sn2+ Sn2+ Sn2+,Sn4+ Sn4+ Sn2+ Sn2+,Sn4+ Sn4+
While it is agreeable that ( , ) is weak associative as claimed by [6], we say further G ◦ that it is a H group. Also, while ( Sn,Sn2+ , ) is agreed to be a hypergroup, we say that ν { } ◦ ( Sn2+,Sn4+ , ) is not just a H semigroup as claimed by [6] but a H group. { } ◦ ν ν Furthermore, Cu(0), Cu(I), Cu(II) and Cu(III) are the four oxidation states of copper. Its different species can react with themselves (without energy) as defined below (1) Cu3+ + Cu+ Cu2+; 7→ (2) Cu3+ + Cu Cu2+ + Cu+. 7→
Table 3. Redox (Oxidation-Reduction) reaction of Copper Cu Cu+ Cu2+ Cu3+ ◦ Cu Cu Cu,Cu+ Cu,Cu2+ Cu+,Cu2+ Cu+ Cu,Cu+ Cu+ Cu+,Cu2+ Cu2+ Cu2+ Cu,Cu2+ Cu+,Cu2+ Cu2+ Cu2+,Cu3+ Cu3+ Cu+,Cu2+ Cu2+ Cu2+,Cu3+ Cu3+
Let G = Cu,Cu+,Cu2+,Cu3+ . Then (G, ) is weak associative and { } ◦ Cu+ X = X Cu+ = X ◦ ◦ 6 so that (G, ) is an H semigroup. Cu,Cu+ , Cu,Cu2+ Cu+,Cu2+ and Cu2+,Cu3+ ◦ v { } { }{ } { } are hypergroups with respect to . From Table 4 we also have that ( Cu,Cu+,Cu2+ , ) is a ◦ { } ◦ hypergroup.
Table 4. Another Redox reaction of Cu Cu Cu+ Cu2+ ◦ Cu Cu Cu,Cu+ Cu,Cu2+ Cu+ Cu,Cu+ Cu+ Cu+,Cu2+ Cu2+ Cu,Cu2+ Cu+,Cu2+ Cu2+
It should be noted that Cu,Cu+ , Cu,Cu2+ and Cu+,Cu2+ are subhypergroups of { } { } { } ( Cu,Cu+,Cu2+ , ). { } ◦ 64 B.O.Onasanya
§4. Identities of Hyperstructures
Definition 4.1([8]) The set I = e H x H such that x x e e x is refered to as p { ∈ |∃ ∈ ∈ ◦ ∪ ◦ } partial identities of H.
Definition 4.2([3]) An element e H is called the right (analogously the left) identity of H if ∈ x x e(x e x) x H. It is called an identity of H if it is both right and left identity. ∈ ◦ ∈ ◦ ∀ ∈ Definition 4.3([3]) A hypergroup H is semi regular if each x H has at least one right and ∈ one left identity.
It can be seen that every right or left identity of H is in Ip.
4.1 Blood Genotype as a Hyperstructure
Let G = AA, AS, SS and the hyperoperation denote mating. The blood genotype is a kind { } ⊕ of hyperstructure.
Table 5. Genotype Table [12] AA AS SS ⊕ AA AA AA, AS AS { } { } { } AS AA, AS AA, AS, SS AS,SS { } { } { } SS AS AS,SS SS { } { } { }
In Table 5, AA G = G = G AA ; the reproduction axiom is not satisfied. Also, it { }⊕ 6 6 ⊕{ } is weak associative. It is a Hν semigroup. Note that a lot has been discussed on the occurrence of hyperstructure algebra in inheri- tance [7]. For most of the monohybrid and dihybrid crossing of the pea plant, they are hyper- groups in the second generation. Take for instance, the monohybrid Crossing in the Pea Plant , the parents has the RR(Round) and rr(Wrinkled) genes. The first generation has Rr(Round). The second generation has RR(Round), Rr(Round) and rr(Wrinkled). Now consider the set G = R, W ; R for Round and W for Wrinkled. Crossing this generation under the operation { } for mating, [7] already established it is a hypergroup. ⊕ In the following section, a little more information about their properties would be given and an extension to cases which are hypergroups in earlier generations are made.
§5. Main Results
5.1 Hyperstructures in Group Theory
The following example is a construction of an HX group which is also a hypergroup and a Hν Group by Remark 2.1.
Example 5.1 Let us partition (Z , +) by ρ = 0, 5 , 1, 6 , 2, 7 , 3, 8 , 4, 9 . Then we 10 {{ } { } { } { } { }} A Note on Hyperstructres and Some Applications 65 can see that E = 0, 5 is a normal subgroup of (Z , +) and that E2 = E. (Z /ρ, ) is also a { } 10 10 ◦ regular HX group since 0 E. ∈
We give some further clarifications on Table 5, that this is a Hν cyclic semigroup, with generator AS . It has no H subsemigroups. The set of partial identites I of (G, ) is G { } ν p ⊕ itself by Definition 4.1, and the identity (which is both right and left identity) of G is AS by { } Definition 4.2. Then, (G, ) is also a semi regular hypergroupoid by Defnition 4.3. Note that ⊕ if the parents’ genotype are AA, AS or AA, SS or AS,SS , the first generations of each { } { } { } of these are Hν semigroups. These can be seen in the tables below.
Table 6. Parents with the genotype AA and AS AA AS ⊕ AA AA AA, AS { } { } AS AA, AS AA, AS, SS { } { }
The first generation H = AA, AS, SS is a H semigroup under . 1 { } ν ⊕ Table 7. Parents with the genotype AA and SS AA SS ⊕ AA AA AS { } { } SS AS SS { } { }
The first generation H = AA, AS, SS is a H semigroup under . 2 { } ν ⊕ Table 8. Parents with the genotype AA and SS AS SS ⊕ AS AA, AS, SS AS,SS { } { } SS AS,SS SS { } { }
The first generation H = AA, AS, SS is a H semigroup under . 3 { } ν ⊕ It is established in this work that the case of crossing between organism which have lethal genes (i.e. the genes that cause the death of the carrier at homozygous condition), such as the crossing of mice parents with traits Yellow(Yy) and Grey(yy), is a semi regular hypergroup at all generations, including the parents’ generation. However, the parents with traits Yellow(Yy) and Yellow(Yy) have their first generation and the generations of all other offsprings to be semi regular hypergyoups. These are summarized in the tables below.
Table 9. Parents with the genotype Yellow(Yy) and Grey(yy) Yy yy ⊕ Yy Yy,yy Yy,yy { } { } yy Yy,yy yy { } { } 66 B.O.Onasanya
They produce the offspring Yy and yy like themselves in the first generation in the ratio 2:3. Let G = Yy,yy , (G, ) is a semi regular hypergroup. { } ⊕ Table 10. Parents with the genotype Yellow(Yy) and Yellow(Yy) Yy Yy ⊕ Yy Yy,yy Yy,yy { } { } Yy Yy,yy yy { } { }
They produce the offspring Yy and yy in the first generation in the ratio 2:1 but is not a hypergroupoid for the occurrence of yy. But crossing this first generation produces the result of Table 9, showing that the first generation with is a hypergroup. This same result is obtained ⊕ for all other generations in this crossing henceforth. It is important to note that the monohybrid and dihybrid mating of pea plant considered in [7] are not just hypergroups but semi regular hypergroups. The particular case mentioned above has a right and a left identity I = W . { }
§6. Conclusions
The following is just to make some conclusions. Far reaching ones can be made from the in- depth studies and applications of the theory of hyperstructures. The algebraic properties of these hyperstructures can be used to gain insight into what happens in the biological situations and chemical reactions which they have modelled. For instance, the weak associativity, in case it is a case of Hν group, of some of the chemical reactions suggests that, given reactants A, B, and C, one must be careful in the order of mixture as you may not always have the same product when A + B is done before adding C as in when B + C is done before adding A. In other words, A+(B +C) does not always equal (A+B)+C. Moreover, the strong associativity, in the case of hypergroup, indicates that same products are obtained in both orders. From blood the genotype table of G = AA, AS, SS , reproduction axiom is not satisfied { } with the element SS , meaning that if marriages are only contracted between any member of { } the group and someone with SS genotype, all offsprings shall be carriers of sickle cell in all { } subsequent generations. Besides, its weak associativity property indicates that if there were to be marriages between individuals with genotypes A, B, and C so that those with the genotypes A and B marry and produce offsprings which now marry those with genotype C, then some of the offsprings of this marriage will always have the same genotype as some of the offsprings of those with genotype A marrying the offsprings produced by the marriages of people with the genotypes B and C. If the operation denotes cross breeding, it should also be noted that genetic crossing (in ⊕ terms of genotype or phenotype) is not always, at the parents level, a hyperstructure. This is because in the collection of all traits ∗(T ) of Parents, there sometimes will be trait A and P trait B which combine to form a trait C but such that C/ ∗(T ). An example is in the ∈ P incomplete dominance reported when Mendel crossed the four O’ clock plant (Mirabilis jalapa) which produced an intermediate flower colour (Pink) from parents having Red and White A Note on Hyperstructres and Some Applications 67 colours. Not even at any generation will it be a hyperstructure as long as there is incomplete dominance. Hence, the theory of hyperstructures should not be applied in this case.
Acknowledgment
The author seeks to thank the reviewer(s) of this paper.
References
[1] Z. Chengyi and D. Pingan, On regular representations of hypergroups, BUSEFAL, 81(2007), 42-45. [2] Z. Chengyi, D. Pingan and F. Haiyan, The groups of infinite invertible matrices and the regular representations of infinite power groups, Int J. of Pure and Applied Mathematics, 10(4) (2004), 403–412. [3] G.M. Christos and G.G. Massouros, Transposition hypergroups with identity, Int Journal of Algebraic Hyperstructures and its Applications, 1(1) (2014), 15–27. [4] P. Corsini, On Chinese hyperstructures, Journal of Discrete Mathematical Sciences and Cryptography, 6(2-3) (2003), 133–137. [5] P. Corsini, Prolegomena of Hypergroups Theory, Aviani Editore, 1993. [6] B. Davvaz, Weak algebraic hyperstructures as a model for interpretation of chemical reac- tions, Int. J. Math. Chemistry, 7(2) (2016), 267–283. [7] B. Davvaz, A. D. Nezhad and M.M. Heidari, Inheritance examples of algebraic hyperstruc- tures, Information Sciences, 224 (2013), 180–187. [8] B. Davvaz and V. Leoreanu Fotea, Hyperring theory and applications, Int. Academic Press, Palm Harbor USA (2007). [9] M. Honghai, Uniform HX group, Section of Math. Hebei Engineering Inst, Yeas?. [10] L. Hongxing, HX group, BUSEFAL, 33 (1987), 31–37. [11] L. Hongxing and W. Peizhuang, Hypergroups,BUSEFAL, 23 (1985) 22–29. [12] K. H. Manikandan and R. Muthuraj, Pseudo fuzzy cosets of a HX group, Appl. Math. Sci., 7(86) (2013), 4259–4271.
[13] B. O. Onasanya, Some Connecting Properties of HX and Hν groups with some other hyperstructures, Submitted.
[14] T. Vougiouklis, Finite Hν -structure and their representations, Rendiconti del Seminario Matematico di Messina, Series II - Volume N.9 (2013), 45–265. International J.Math. Combin. Vol.4(2017), 68-74
A Class of Lie-admissible Algebras
Qiuhui Mo, Xiangui Zhao and Qingnian Pan (Department of Mathematics, Huizhou University Huizhou 516007, P. R. China)
E-mail: [email protected], [email protected], [email protected]
Abstract: In this paper, we study nonassociative algebras which satisfy the following iden- tities: (xy)z = (yx)z,x(yz) = x(zy). These algebras are Lie-admissible algebras i.e., they become Lie algebras under the commutator [f,g] = fg − gf. We obtain a nonassociative Gr¨obner-Shirshov basis for the free algebra LA(X) with a generating set X of the above va- riety. As an application, we get a monomial basis for LA(X). We also give a characterization of the elements of S(X) among the elements of LA(X), where S(X) is the Lie subalgebra, generated by X, of LA(X). Key Words: Nonassociative algebra, Lie admissible algebra, Gr¨obner-Shirshov basis. AMS(2010): 17D25, 13P10, 16S15.
§1. Introduction
In 1948, A. A. Albert introduced a new family of (nonassociative) algebras whose commutator algebras are Lie algebras [1]. These algebras are called Lie-admissible algebras, and they arise naturally in various areas of mathematics and mathematical physics such as differential geome- try of affine connections on Lie groups. Examples include associative algebras, pre-Lie algebras and so on. Let k X be the free associative algebra generated by X. It is well known that the Lie h i subalgebra, generated X, of k X is a free Lie algebra (see for example [6]). Friedrichs [15] h i has given a characterization of Lie elements among the set of noncommutative polynomials. A proof of characterization theorem was also given by Magnus [18], who refers to other proofs by P. M. Cohn and D. Finkelstein. Later, two short proofs of the characterization theorem were given by R. C. Lyndon [17] and A. I. Shirshov [21], respectively. Pre-Lie algebras arise in many areas of mathematics and physics. As was pointed out by D. Burde [8], these algebras first appeared in a paper by A. Cayley in 1896 (see [9]). Survey [8] contains detailed discussion of the origin, theory and applications of pre-Lie algebras in geometry and physics together with an extensive bibliography. Free pre-Lie algebras had already
1Supported by the NNSF of China (Nos. 11401246; 11426112; 11501237), the NSF of Guangdong Province (Nos. 2014A030310087; 2014A030310119; 2016A030310099), the Outstanding Young Teacher Training Program in Guangdong Universities (No. YQ2015155), the Research Fund for the Doctoral Program of Huizhou University (Nos. C513.0210; C513.0209; 2015JB021) and the Scientific Research Innovation Team Project of Huizhou University (hzuxl201523). 2Received May 25, 2017, Accepted November 15, 2017. A Class of Lie-admissible Algebras 69 been studied as early as 1981 by Agrachev and Gamkrelidze [2]. They gave a construction of monomial bases for free pre-Lie algebras. Segal [20] in 1994 gave an explicit basis (called good words in [20]) for a free pre-Lie algebra and applied it for the PBW-type theorem for the universal pre-Lie enveloping algebra of a Lie algebra. Linear bases of free pre-Lie algebras were also studied in [3, 10, 11, 14, 25]. As a special case of Segal’s latter result, the Lie subalgebra, generated by X, of the free pre-Lie algebra with generating set X is also free. Independently, this result was also proved by A. Dzhumadil’daev and C. L¨ofwall [14]. M. Markl [19] gave a simple characterization of Lie elements in free pre-Lie algebras as elements of the kernel of a map between spaces of trees. Gr¨obner bases and Gr¨obner-Shirshov bases were invented independently by A.I. Shirshov for ideals of free (commutative, anti-commutative) non-associative algebras [22, 24], free Lie algebras [23, 24] and implicitly free associative algebras [23, 24] (see also [4, 5, 12, 13]), by H. Hironaka [16] for ideals of the power series algebras (both formal and convergent), and by B. Buchberger [7] for ideals of the polynomial algebras. In this paper, we study a class of Lie-admissible algebras. These algebras are nonassociative algebras which satisfy the following identities: (xy)z = (yx)z, x(yz) = x(zy). Let LA(X) be the free algebra with a generating set X of the above variety. We obtain a nonassociative Gr¨obner-Shirshov basis for the free algebra LA(X). Using the Composition-Diamond lemma of nonassociative algebras, we get a monomial basis for LA(X). Let S(X) be the Lie subalgebra, generated by X, of LA(X). We get a linear basis of S(X). As a corollary, we show that S(X) is not a free Lie algebra when the cardinality of X is greater than 1. We also give a characterization of the elements of S(X) among the elements of LA(X). For the completeness of this paper, we formulate the Composition-Diamond lemma for free nonassociative algebras in Section 2.
§2. Composition-Diamond Lemma for Nonassociative Algebras
Let X be a well ordered set. Each letter x X is a nonassociative word of degree 1. Sup- ∈ pose that u and v are nonassociative words of degrees m and n respectively. Then uv is a nonassociative word of degree m + n. Denoted by uv the degree of uv, by X∗ the set of all | | associative words on X and by X∗∗ the set of all nonassociative word on X. If u = (p(v)q), where p, q X∗,u,v X∗∗, then v is called a subword of u. Denote u by u , if this is the case. ∈ ∈ |v The set X∗∗ can be ordered by the following way: u > v if either
(1) u > v ; or | | | | (2) u = v and u = u u , v = v v , and either | | | | 1 2 1 2
(2a) u1 > v1; or
(2b) u1 = v1 and u2 > v2. This ordering is called degree lexicographical ordering and used throughout this paper. Let k be a field and M(X) be the free nonassociative algebra over k, generated by X. Then 70 Qiuhui Mo, Xiangui Zhao and Qingnian Pan each nonzero element f M(X) can be presented as ∈
f = αf + αiui, i X where f >u , α, α k, α = 0, u X∗∗. Then f, α are called the leading term and leading i i ∈ 6 i ∈ coefficient of f respectively and f is called monic if α = 1. Denote by d(f) the degree of f, which is defined by d(f)= f¯ . | | Let S M(X) be a set of monic polynomials, s S and u X∗∗. We define S-word (u) ⊂ ∈ ∈ s in a recursive way:
(i) (s)s = s is an S-word of s-length 1;
(ii) If (u)s is an S-word of s-length k and v is a nonassociative word of degree l, then
(u)sv and v(u)s are S-words of s-length k + l.
Note that for any S-word (u) = (asb), where a,b X∗, we have (asb) = (a(¯s)b). s ∈ Let f,g be monic polynomials in M(X). Suppose that there exist a,b X∗ such that ∈ f¯ = (a(¯g)b). Then we define the composition of inclusion
(f,g) ¯ = f (agb). f − ¯ The composition (f,g)f¯ is called trivial modulo (S, f), if
(f,g)f¯ = αi(aisibi) i X where each α k, a ,b X∗, s S, (a s b ) an S-word and (a (¯s )b ) < f¯. If this is the i ∈ i i ∈ i ∈ i i i i i i case, then we write (f,g) ¯ 0 mod(S, f¯). In general, for p, q M(X) and w X∗∗, we write f ≡ ∈ ∈ p q mod(S, w) ≡ which means that p q = α (a s b ), where each α k,a ,b X∗, s S, (a s b ) an − i i i i i ∈ i i ∈ i ∈ i i i S-word and (a (¯s )b ) < w. i i i P
Definition 2.1([22,24]) Let S M(X) be a nonempty set of monic polynomials and the ⊂ ordering > defined as before. Then S is called a Gr¨obner-Shirshov basis in M(X) if any composition (f,g) ¯ with f,g S is trivial modulo (S, f¯), i.e., (f,g) ¯ 0 mod(S, f¯). f ∈ f ≡ Theorem 2.2([22,24]) (Composition-Diamond lemma for nonassociative algebras) Let S ⊂ M(X) be a nonempty set of monic polynomials, Id(S) the ideal of M(X) generated by S and the ordering > on X∗∗ defined as before. Then the following statements are equivalent:
(i) S is a Gr¨obner-Shirshov basis in M(X);
(ii) f Id(S) f¯ = (a(¯s)b) for some s S and a,b X∗, where (asb) is an S-word; ∈ ⇒ ∈ ∈ A Class of Lie-admissible Algebras 71
(iii) Irr(S) = u X∗∗ u = (a(¯s)b) a,b X∗, s S and (asb) is an S-word is a linear { ∈ | 6 ∈ ∈ } basis of the algebra M(X S)= M(X)/Id(S). |
§3. A Nonassociative Gr¨obner-Shirshov Basis for the Algebra LA(X)
Let be the variety of nonassociative algebras which satisfy the following identities: (xy)z = LA (yx)z, x(yz) = x(zy). Let LA(X) be the free algebra with a generating set X of the variety . It’s clear that the free algebra LA(X) is isomorphic to M(X (uv)w (vu)w, w(uv) LA | − − w(vu),u,v,w X∗∗). ∈
Theorem 3.1 Let S = (uv)w (vu)w, w(uv) w(vu),u > v,u,v,w X∗∗ . Then S is a { − − ∈ } Gr¨obner-Shirshov basis of the algebra M(X (uv)w (vu)w, w(uv) w(uv),u,v,w X∗∗). | − − ∈ Proof It is clear that Id(S) is the same as the ideal generated by the set (uv)w { − (vu)w, w(uv) w(vu),u,v,w X∗∗ of M(X). Let f = (u u )u (u u )u ,g = − ∈ } 123 1 2 3 − 2 1 3 123 v (v v ) v (v v ),u > u , v > v ,u , v X∗∗, 1 i 3. Clearly, f = (u u )u 1 2 3 − 1 3 2 1 2 2 3 i i ∈ ≤ ≤ 123 1 2 3 and g123 = v1(v2v3). Then all possible compositions in S are the following:
(c1) (f123,f456)(u u )u ; 1|(u4u5)u6 2 3 (c2) (f123,f456)(u u )u ; 1 2|(u4u5)u6 3 (c3) (f123,f456)(u u )u ; 1 2 3|(u4u5)u6
(c4) (f123,f456)((u4u5)u6)u3 ,u1u2 = (u4u5)u6;
(c5) (f123,f456)(u1u2)u3 , (u1u2)u3 = (u4u5)u6;
(c6) (f123,g123)(u u )u ; 1|v1(v2v3) 2 3 (c7) (f123,g123)(u u )u ; 1 2|v1(v2v3) 3 (c8) (f123,g123)(u u )u ; 1 2 3|v1(v2v3)
(c9) (f123,g123)(v1(v2v3))u3 ,u1u2 = v1(v2v3);
(c10) (f123,g123)(u1u2)(v2v3),u1u2 = v1,u3 = v2v3;
(c11) (g123,f123)v (v v ); 1|(u1u2)u3 2 3 (c12) (g123,f123)v (v v ); 1 2|(u1u2)u3 3 (c13) (g123,f123)v (v v ); 1 2 3|(u1u2)u3
(c14) (g123,f123)v1((u1u2)u3), v2v3 = (u1u2)u3;
(c15) (g123,g456)v (v v ); 1|v4(v5v6) 2 3 (c16) (g123,g456)v (v v ); 1 2|v4(v5v6) 3 (c17) (g123,g456)v (v v ); 1 2 3|v4(v5v6)
(c18) (g123,g456)v1(v4(v5v6)), v2v3 = v4(v5v6);
(c19) (g123,g456)v1(v2v3), v1(v2v3)= v4(v5v6). The above compositions in S all are trivial module S. Here, we only prove the following cases: (c1), (c4), (c9), (c10), (c14), (c18). The other cases can be proved similarly.
(f123,f456)(u1 u2)u3 (u2u1 (u4u5)u6 )u3 (u1′ (u5u4)u6 u2)u3 |(u4u5)u6 ≡ | − | (u u′ )u (u′ u )u 0, ≡ 2 1|(u5u4)u6 3 − 1|(u5u4)u6 2 3 ≡ 72 Qiuhui Mo, Xiangui Zhao and Qingnian Pan
(f ,f ) ,u u = (u u )u =(u (u u ))u ((u u )u )u 123 456 ((u4u5)u6)u3 1 2 4 5 6 6 4 5 3 − 5 4 6 3 (u (u u ))u ((u u )u )u 0, ≡ 6 5 4 3 − 5 4 6 3 ≡
(f ,g ) ,u u = v (v v ) =((v v )v )u (v (v v ))u 123 123 (v1(v2v3))u3 1 2 1 2 3 2 3 1 3 − 1 3 2 3 ((v v )v )u (v (v v ))u 0, ≡ 3 2 1 3 − 1 3 2 3 ≡
(f ,g ) ,u u = v ,u = v v =(u u )(v v ) (u u )(v v ) 123 123 (u1u2)(v2v3) 1 2 1 3 2 3 2 1 2 3 − 1 2 3 2 (u u )(v v ) (u u )(v v )=0, ≡ 2 1 3 2 − 2 1 3 2
(g ,f ) , v v =(u u )u = v (u (u u )) v ((u u )u ) 123 123 v1((u1u2)u3) 2 3 1 2 3 1 3 1 2 − 1 2 1 3 v (u (u u )) v ((u u )u ) 0, ≡ 1 3 2 1 − 1 2 1 3 ≡
(g ,g ) , v v =(v (v v )) = v ((v v )v ) v (v (v v )) 123 456 v1(v4(v5v6)) 2 3 4 5 6 1 5 6 4 − 1 4 6 5 v ((v v )v ) v (v (v v )) 0. ≡ 1 6 5 4 − 1 4 6 5 ≡ Therefore S is a Gr¨obner-Shirshov basis of the algebra M(X (uv)w (vu)w, w(uv) | − − w(uv),u,v,w X∗∗). ¾ ∈
Definition 3.2 Each letter x X is called a regular word of degree 1. Suppose that u = vw i ∈ is a nonassociative word of degree m,m > 1. Then u = vw is called a regular word of degree m if it satisfies the following conditions:
(S1) both v and w are regular words; (S2) if v = v v , then v v ; 1 2 1 ≤ 2 (S3) if w = w w , then w w . 1 2 1 ≤ 2 Lemma 3.3 Let N(X) be the set of all regular words on X. Then Irr(S)= N(X).
Proof Suppose that u Irr(S). If u = 1, then u = x N(X). If u > 1 and u = vw, ∈ | | ∈ | | then by induction v, w N(X). If v = v v , then v v , since u Irr(S). If w = w w , then ∈ 1 2 1 ≤ 2 ∈ 1 2 w w , since u Irr(S). Therefore u N(X). 1 ≤ 2 ∈ ∈ Suppose that u N(X). If u = 1, then u = x Irr(S). If u = vw, then v, w are regular ∈ | | ∈ and by induction v, w Irr(S). If v = v v , then v v , since u N(X). If w = w w , then ∈ 1 2 1 ≤ 2 ∈ 1 2 w w , since u N(X). Therefore u Irr(S). ¾ 1 ≤ 2 ∈ ∈ From Theorems 2.2, 3.1 and Lemma 3.3, the following result follows.
Theorem 3.4 The set N(X) of all regular words on X forms a linear basis of the free algebra LA(X). A Class of Lie-admissible Algebras 73
§4. A Characterization Theorem
Let X be a well ordered set, S(X) the Lie subalgebra, generated by X, of LA(X) under the commutator [f,g]= fg gf. Let T = [x , x ] x > x , x , x X where [x , x ]= x x x x . − { i j | i j i j ∈ } i j i j − j i Lemma 5.1 The set X T forms a linear basis of the Lie algebra S(X).
Proof Let u X TS. If u = x , thenu ¯ = x . If u = [x , x ], x > x , then u = x x x x ∈ i i i j i j i j − j i and thusu ¯ = x x . Then we may conclude that if u, v X T and u = v, thenu ¯ =¯v. Therefore i j S ∈ 6 6 the elements in X T are linear independent. Since [[f,g],h] = (fg)h (gf)h h(fg)+h(gf)= S − − 0 = [h, [f,g]], then all the Lie words with degree 3 equal zero. Therefore, the set X T − S ≥ forms a linear basis of the Lie algebra S(X). ¾ S
Corollary 5.2 Let X > 1. Then the Lie subalgebra S(X) of LA(X) is not a free Lie algebra. | | Theorem 5.3 An element f(x , x , , x ) of the algebra LA(X) belongs to S(X) if and only 1 2 · · · s if d(f) < 3 and the relations x x′ = x′ x ,i, j = 1, 2, ,n imply the equation f(x + x′ , x + i j j i · · · 1 1 2 x′ , , x + x′ )= f(x , x , , x )+ f(x′ , x′ , , x′ ). 2 · · · s s 1 2 · · · s 1 2 · · · s Proof Suppose that an element f(x , x , , x ) of the algebra LA(X) belongs to S(X). 1 2 · · · s From Lemma 4.1, it follows that d(f) < 3 and it suffices to prove that if u(x , x , , x ) 1 2 · · · s ∈ X T , then the relations x x′ = x′ x imply the equation u(x + x′ , x + x′ , , x + x′ ) = i j j i 1 1 2 2 · · · s s u(x , x , , x )+ u(x′ , x′ , , x′ ). This holds since d(f) < 3 and [x′ , x ] = [x , x′ ] = 0, S1 2 · · · s 1 2 · · · s i j j i x′ , x , 1 i, j s. i j ≤ ≤ Let d1 be an element of the algebra LA(X) that does not belong to S(X). If d¯1 = xixj where x > x , then let d = d [x , x ]. Clearly, d is also an element of the algebra LA(X) i j 2 1 − i j 2 that does not belong to S(X). Then after a finite number of steps of the above algorithm, we will obtain an element d whose leading term is u where u = x x , x x . It’s easy to see t t t p q p ≤ q that in the expression
d (x + x′ , x + x′ , , x + x′ ) d (x , x , , x ) d (x′ , x′ , , x′ ) t 1 1 2 2 · · · s s − t 1 2 · · · s − t 1 2 · · · s
the element xq′ xp occurs with nonzero coefficient. ¾
References
[1] A. A. Adrian, Power-associative rings, Transactions of the American Mathematical Society, 64 (1948), 552-593. [2] A. Agrachev and R. Gamkrelidze, Chronological algebras and nonstationary vector fields, J. Sov. Math., 17 (1981), 1650-1675. [3] M. J. H. AL-Kaabi, Monomial bases for free pre-Lie algebras, S´eminaire Lotharingien de Combinatoire, 17 (2014), Article B71b. [4] G.M. Bergman, The diamond lemma for ring theory, Adv. in Math., 29 (1978), 178-218. [5] L.A. Bokut, Imbeddings into simple associative algebras, Algebra i Logika, 15 (1976), 117- 142. 74 Qiuhui Mo, Xiangui Zhao and Qingnian Pan
[6] L. A. Bokut and Y. Q. Chen, Gr¨obner-Shirshov bases for Lie algebras: after A. I. Shirshov, Southeast Asian Bull. Math., 31 (2007), 1057-1076. [7] B. Buchberger, An algorithmical criteria for the solvability of algebraic systems of equations (in German), Aequationes Math., 4 (1970), 374-383. [8] D. Burde, Left-symmetric algebras, or pre-Lie algebras in geometry and physics, Central European J. of Mathematics, 4 (3) (2006), 323-357. [9] A. Cayley, On the theory of analitical forms called trees, Phil. Mag., 13 (1857), 19-30. [10] F. Chapoton and M. Livernet, Pre-Lie Algebras and the Rooted Trees Operad, Interna- tional Mathematics Research Notices, 8 (2001), 395-408. [11] Y. Q. Chen and Y. Li, Some remarks on the Akivis algebras and the pre-Lie algebras, Czechoslovak Mathematical Journal 61 (136) (2011), 707-720. [12] Y.Q. Chen and Q.H. Mo, A note on Artin-Markov normal form theorem for braid groups, Southeast Asian Bull. Math., 33 (2009), 403-419. [13] Y.Q. Chen and J.J. Qiu, Groebner-Shirshov basis for free product of algebras and beyond, Southeast Asian Bull. Math., 30 (2006), 811-826. [14] A. Dzhumadil’daev and C. L¨ofwall, Trees, free right-symmetric algebras, free Novikov algebras and identities, Homology, Homotopy and Applications, 4 (2) (2002), 165-190. [15] K. O. Friedrichs, Mathematical aspects of the quantum theory of fields, V. Comm. Pure Appl. Math., 6 (1953), 1-72. [16] H. Hironaka, Resolution of singularities of an algebraic variety over a field if characteristic zero, I, II, Ann. of Math., 79 (1964), 109-203, 205-326. [17] R. C. Lyndon, A theorem of Friedrichs, Michigan Math. J., 3 (1) (1955), 27-29. [18] W. Magnus, On the exponential solution of differential equations for a linear operator, Comm. Pure Appl. Math., 7 (1954), 649-673. [19] M. Markl, Lie elements in pre-Lie algebras, trees and cohomology operations, Journal of Lie Theory, 17 (2007), 241-261. [20] D. Segal, Free left-symmetric algebras and an analogue of the Poincar´e-Birkhoff-Witt The- orem, J. Algebra, 164 (1994), 750-772. [21] A. I. Shirshov, On free Lie rings, Sibirsk. Mat. Sb., 45 (1958), 113-122. [22] A.I. Shirshov, Some algorithmic problem for ε-algebras, Sibirsk. Mat. Z., 3 (1962), 132-137. [23] A.I. Shirshov, Some algorithmic problem for Lie algebras, Sibirsk. Mat. Z., 3 (1962), 292-296 (in Russian); English translation in SIGSAM Bull., 33(2) (1999), 3-6. [24] Selected Works of A. I. Shirshov, Eds. L. A. Bokut, V. Latyshev, I. Shestakov, E. Zelmanov, Trs. M. Bremner, M. Kochetov, Birkh¨auser, Basel, Boston, Berlin, (2009). [25] E. A. Vasil’eva and A. A. Mikhalev, Free left-symmetric superalgebras, Fundamental and Applied Mathematics, 2 (1996), 611-613. International J.Math. Combin. Vol.4(2017), 75-83
Intrinsic Geometry of the Special Equations in Galilean 3 Space G − 3 Handan Oztekin (Firat University, Science Faculty, Department of Mathematics, Elazig, Turkey)
Sezin Aykurt Sepet (Ahi Evran University, Art and Science Faculty, Department of Mathematics, Kirsehir, Turkey)
E-mail: [email protected]
Abstract: In this study, we investigate a general intrinsic geometry in 3-dimensional
Galilean space G3. Then, we obtain some special equations by using intrinsic derivatives of
orthonormal triad in G3. Key Words: NLS Equation, Galilean Space. AMS(2010): 53A04, 53A05.
§1. Introduction
A Galilean space is a three dimensional complex projective space, where w,f,I , I consists { 1 2} of a real plane w (the absolute plane), real line f w (the absolute line) and two complex ⊂ conjugate points I , I f (the absolute points). We shall take as a real model of the space 1 2 ∈ G , a real projective space P with the absolute w,f consisting of a real plane w G and a 3 3 { } ⊂ 3 real line f w on which an elliptic involution ε has been defined. The Galilean scalar product ⊂ between two vectors a = (a1,a2,a3) and b = (b1,b2,b3) is defined [3]
a1b1, ifa1 =0 or b1 =0, (a.b)G = 6 6 a b + a b , if a = b =0. 2 2 3 3 1 1 and the Galilean vector product is defined
0 e2 e3
a1 a2 a3 , ifa1 =0 or b1 =0, 6 6 b1 b2 b3 (a b) = G ∧ e1 e2 e3 a a a , ifa1 = b1 =0. 1 2 3 b b b 1 2 3 1Received May 4, 2017, Accepted November 16, 2017. 76 Handan Oztekin and Sezin Aykurt Sepet
Let α : I G , I R be an unit speed curve in Galilean space G parametrized by the → 3 ⊂ 3 invariant parameter s I and given in the coordinate form ∈ α (s) = (s,y (s) ,z (s)). Then the curvature and the torsion of the curve α are given by
1 κ (s)= α′′ (s) , τ (s)= Det (α′ (s) , α′′ (s) , α′′′ (s)) k k κ2 (s) respectively. The Frenet frame t,n,b of the curve α is given by { }
t (s) = α′ (s)=(1,y′ (s) ,z′ (s)) ,
α′′ (s) 1 n (s) = = (1,y′′ (s) ,z′′ (s)) , α (s) κ (s) k ′′ k 1 b (s) = (t (s) n (s)) = (1, z′′ (s) ,y′′ (s)) , ∧ G κ (s) − where t (s) , n (s) and b (s) are called the tangent vector, principal normal vector and binormal vector, respectively. The Frenet formulas for α (s) given by [3] are
t′ (s) 0 κ (s) 0 t (s)
n′ (s) = 0 0 τ (s) n (s) . (1.1)
b′ (s) 0 τ (s) 0 b (s) − The binormal motion of curves in the Galilean 3-space is equivalent to the nonlinear Schr¨odinger equation (NLS−) of repulsive type
1 iq + q q, q 2 q¯ = 0 (1.2) b ss − 2 |h i| where s s q = κ exp σds , σ=κexp rds . (1.3) Z0 Z0
§2. Basic Properties of Intrinsic Geometry
Intrinsic geometry of the nonlinear Schrodinger equation was investigated in E3 by Rogers and Schief. According to anholonomic coordinates, characterization of three dimensional vector field was introduced in E3 by Vranceau [5], and then analyse Marris and Passman [3].
Let φ be a 3-dimensional vector field according to anholonomic coordinates in G3. The t, n, b is the tangent, principal normal and binormal directions to the vector lines of φ. In- trinsic derivatives of this orthonormal triad are given by following
t 0 κ 0 t δ n = 0 0 τ n (2.1) δs b 0 τ 0 b − Intrinsic Geometry of the Special Equations in Galilean 3 Space G3 77 −
t 0 θns (Ωb + τ) t δ n = θ 0 divb n (2.2) δn − ns − b (Ω + τ) divb 0 b − b t 0 (Ωn + τ) θbs t δ − n = (Ω + τ) 0 divn n , (2.3) δb n b θ divn 0 b − bs − δ δ δ where δs , δn and δb are directional derivatives in the tangential, principal normal and binormal directions in G3. Thus, the equation (2.1) show the usual Serret-Frenet relations, also (2.2) and (2.3) give the directional derivatives of the orthonormal triad t, n, b in the n- and b-directions, { } respectively. Accordingly, δ δ δ grad = t + n + b , (2.4) δs δn δb where θbs and θns are the quantities originally introduced by Bjorgum in 1951 [2] via
δt δt θ = n , θ = b . (2.5) ns · δn bs · δb
From the usual Serret Frenet relations in G3, we obtain the following equations
δ δ δ δt δt divt = (t + n + b )t = t(κn)+ n + b = θ + θ , (2.6) δs δn δb δn δb ns bs δ δ δ δn δn δn divn = (t + n + b )n = t(τb)+ n + b = b , (2.7) δs δn δb δn δb δb δ δ δ δb δb δb divb = (t + n + b )b = t( τn)+ n + b = n . (2.8) δs δn δb − δn δb δn Moreover, we get
δ δ δ curlt = t + n + b t × δs × δn × δb δt δt = t (κn)+ n + b × × δn × δb δt δt = b n (1, 0, 0)+ κb δn − δb curlt =Ω (1, 0, 0)+ κb, (2.9) ⇒ s where δt δt Ω = t curlt = b n (2.10) s · · δn − · δb is defined the abnormality of the t-field. Firstly, the relation (2.9) was obtained in E3 by 78 Handan Oztekin and Sezin Aykurt Sepet
Masotti. Also, we find
δ δ δ curln = t + n + b n × δs × δn × δb δn δn = t (τb)+ n + b × × δn × δb δn δn δn = t τ n + b (1, 0, 0) t b · δb − δn − δn curln = (divb) (1, 0, 0)+Ω n + θ b, (2.11) ⇒ − n ns where δn Ω = n curln = t τ (2.12) n · · δb − is defined the abnormality of the n-field and
δ δ δ curlb = t + n + b b × δs × δn × δb δb δb δb = t ( τn)+ n t t + b t t + n n × − × δn × δb δb δb δb δn = τ + t b + t n + b (1, 0, 0), − · δn δb δb curlb =Ω b θ n + (divn) (1, 0, 0) , (2.13) ⇒ b − bs where δb Ω = b curlb = τ + t (2.14) b · − · δn is defined the abnormality of the b-field. By using the identity curlgradϕ = 0, we have
δ2ϕ δ2ϕ δ2ϕ δ2ϕ δ2ϕ δ2ϕ t + n + b δnδb − δbδn δbδs − δsδb δsδn − δnδs δϕ δϕ δϕ + curlt + curln + curlb =0. (2.15) δs δn δb Substituting (2.9), (2.11) and (2.13) in (2.15), we find
δ2φ δ2φ δφ δφ δφ = Ω + (divb) (divn) δnδb − δnδb − δs s δn − δb δ2φ δ2φ δφ δφ = Ω + θ δbδs − δsδb −δn n δb bs δ2φ δ2φ δφ δφ δφ = κ θ Ω . (2.16) δsδn − δnδs − δs − δn ns − δb b By using the linear system (2.1), (2.2) and (2.3) we can write the following nine relations in terms of the eight parameters κ, τ, Ωs, Ωn, divn,divb, θns and θbs. But we take (2.20), Intrinsic Geometry of the Special Equations in Galilean 3 Space G3 79 −
(2.21) and (2.22) relations for this work.
δ δ θ + (Ω + τ) = (divn) (Ω 2Ω 2τ) + (θ θ ) divb + κΩ , (2.17) δb ns δn n s − n − bs − ns s δ δ (Ω Ω + τ)+ θ = divn (θ θ )+ divb (Ω 2Ω 2τ) , (2.18) δb n − s δn bs ns − bs s − n −
δ δ (divb)+ (divn) = (τ +Ω ) (τ +Ω Ω ) θ θ τΩ δb δn n n − s − ns bs − s (divb)2 (divn)2 , (2.19) − − δ δκ (τ +Ω )+ = Ω θ (2τ +Ω ) θ , (2.20) δs n δb − n ns − n bs δ θ = θ2 + κdivn Ω (τ +Ω Ω )+ τ (τ +Ω ) , (2.21) δs bs − bs − n n − s n δ δτ (divn) = Ω (divb) θ (κ + divn) , (2.22) δs − δb − n − bs δκ δ θ = κ2 + θ2 + (τ +Ω ) (3τ +Ω ) Ω (2τ +Ω ) , (2.23) δn − δs ns ns n n − s n δ (τ +Ω Ω )= θ (Ω Ω )+ θ ( 2τ Ω +Ω )+ κdivb, (2.24) δs n − s − ns n − s bs − − n s δτ δ + (divb)= κ (Ω Ω ) θ divb + (divn) ( 2τ +Ω +Ω ) . (2.25) δn δs − n − s − ns − n s
§3. General Properties
The relation δn = κ n = θ t (divb) b (3.1) δn n n − ns − gives that the unit normal to the n-lines and their curvatures are given, respectively, by
θ t (divb) b θ t (divb) b n = − ns − = − ns − , (3.2) n θ (divb) b θ k− ns − k − ns κ = θ . (3.3) n − ns In addition, from the relation (2.11) can be written,
curln =Ωnn + κnbn, (3.4) where (divb)(1, 0, 0)+ θ b b = n n = − ns (3.5) n × n θ − ns 80 Handan Oztekin and Sezin Aykurt Sepet gives the unit binormal to the n-lines. Similarly, the relation
δb = κ n = θ t (divn) n (3.6) δb b b − bs − gives that the unit normal to the b-lines and their curvature are given, respectively, by
θbst + (divn) n n b = , (3.7) θbs
κ = θ . (3.8) b − bs Moreover, from the relation (2.13) we can be written as
curlb =Ωbb + κbbb, (3.9) where θbsn (divn) (1, 0, 0) bb = b nb = − (3.10) × θbs is the unit binormal to the b-line. To determine the torsions of the n-lines and b-lines, we take the relations δb n = τ n , (3.11) δn − n n δb b = τ n , (3.12) δb − b b respectively. Thus, from (3.11) we have
δ δ (ln κ ) (divb) (divb) θ (Ω + τ)= τ θ , (3.13) −δn | n| − δn − ns b n ns δ δ ln κ θ + θ = τ (divb) . (3.14) −δn | n| ns δn ns n Accordingly,
divb δ θns (Ωb + τ)+ ln b if divb =0, θns =0 − θns δn div 6 6 τn = (Ωb + τ) if divb =0, θns =0 (3.15) − 6 or θ =0, divb =0. ns 6 Similarly, from (3.12) we have
δ δ (ln κ ) (divn)+ (divn) θ (Ω + τ)= τ θ , (3.16) −δb b δb − bs n b bs δ δ (ln κ ) θ θ = τ (divn) . (3.17) δb b bs − δb bs b Intrinsic Geometry of the Special Equations in Galilean 3 Space G3 81 −
Thus, n (div ) δ θbs (Ωn + τ) ln n if divn =0, θbs =0, − − θbs δb div 6 6 τb = (Ωn + τ) if divn =0,θbs =0 (3.18) 6 or θ =0, divn =0. bs 6 Also, we obtain an important relation
1 Ω τ = (Ω +Ω +Ω ) (3.19) s − 2 s n b is obtained by combining the equations (2.10), (2.12) and (2.14). Ωs, Ωn and Ωb are defined the total moments of the t, n and b congruences, respectively. In conclusion, we see that the relation (3.19) has cognate relations
1 Ω τ = (Ω +Ω +Ω ) , (3.20) n − n 2 n nn bn 1 Ω τ = (Ω +Ω +Ω ) , (3.21) b − b 2 b nb bb where Ωn = n n curlnn, Ωb = bn curlbn, n · n · (3.22) Ω = n curln , Ω = b curlb . nb b · b bb b · b
§4. The Nonlinear Schr¨odinger Equation
In geometric restriction
Ωn =0 (4.1) imposed. Here, our purpose is to obtain the nonlinear Schrodinger equation with such a restric- tion in G3. The condition indicate the necessary and sufficient restriction for the existence of a normal congruence of Σ surfaces containing the s-lines and b-lines. If the s-lines and b-lines are taken as parametric curves on the member surfaces U = constant of the normal congruence, then the surface metric is given by [4]
2 2 IU = ds + g (s,b) db . (4.2) where g11 = g(s,s),g12 = g(s,b),g22 = g(b,b), and
δ δ ∂ b ∂ grad = t + b = t + . (4.3) U δs δb ∂s g1/2 ∂b
Therefore, from equation (2.1) and (2.3), we have
t 0 κ 0 t ∂ n = 0 0 τ n (4.4) ∂s b 0 τ 0 b − 82 Handan Oztekin and Sezin Aykurt Sepet
t 0 (Ω + τ) θ t − n bs 1/2 ∂ g− n = (Ω + τ) 0 divn n . (4.5) ∂b n b θ divn 0 b − bs − Also, if r shows the position vector to the surface then (4.4) and (4.5) implies that
∂t r = = g1/2 [ τn + θ b] (4.6) bs ∂b − bs and ∂ ∂g1/2 r = g1/2b = g1/2τn + b. (4.7) sb ∂s − ∂s Thus, we obtain 1 ∂ ln g θ = . (4.8) bs 2 ∂s
In the case Ωn = 0, the compatibility conditions equations (2.20)-(2.22) become the non- linear system ∂τ ∂κ + = 2τθ , (4.9) ∂s ∂b − bs ∂ θ = θ2 + κdivn + τ 2, (4.10) ∂s bs − bs ∂ ∂τ (divn) = θ (κ + divn). (4.11) ∂s − ∂b − bs The Gauss-Mainardi-Codazzi equations become with (4.8)
∂ ∂ ∂τ (g1/2divn)+ κ (g1/2) =0, (4.12) ∂s ∂s − ∂b ∂ ∂κ (gτ)+ g1/2 =0, (4.13) ∂s ∂b 1/2 1/2 2 (g )ss = g (κdivn + τ ). (4.14)
With elimination of divn of between (4.12) and (4.14), we have
∂τ ∂ g1/2 τ 2g1/2 ∂ = ss − + κ g1/2 . (4.15) ∂b ∂s " κ # ∂s If we accept g1/2 = λκ, where λ varies only in the direction normal congruence, then λb b, thus the pair equations → (4.13) and (4.15) reduces to
κb =2κsτ + κτs, (4.16) κ κ2 τ = τ 2 ss + . (4.17) b − κ 2 s Intrinsic Geometry of the Special Equations in Galilean 3 Space G3 83 −
By using equations (4.16) and (4.17), we obtain
1 iq + q q, q 2 q¯ Φ (b) q =0, (4.18) b ss − 2 |h i| −
2 2 κss κ where Φ(b)= τ κ + 2 . This is nonlinear Schrodinger equation of repulsive type. − s=s0
References
[1] C. Rogers and W.K. Schief, Intrinsic geometry of the NLS equation and its auto-B¨acklund transformation, Studies in Applied Mathematics, 101(1998), 267-287. [2] N.Gurbuz, Intrinsic geometry of the NLS equation and heat system in 3-dimensional Minkowski space, Adv. Studies Theor. Phys., Vol. 4, 557-564, (2010).
[3] A.T. Ali, Position vectors of curves in the Galilean space G3, Matematiˇcki Vesnik, 64, 200-210, (2012). [4] D.W. Yoon, Some classification of translation surfaces in Galilean 3-space, Int. Journal of Math. Analysis, Vol.6, 1355-1361, (2012). [5] M.G. Vranceanu, Les espaces non-holonomes et leurs applications mecaniques, Mem. Sci., Math., (1936), Comput. Math. Appl., 61, 1786-1799, (2011). International J.Math. Combin. Vol.4(2017), 84-90
Some Lower and Upper Bounds on the Third ABC Co-index
Deepak S. Revankar1, Priyanka S. Hande2, Satish P. Hande3 and Vijay Teli3
1. Department of Mathematics, KLE, Dr. M. S. S. C. E. T., Belagavi - 590008, India 2. Department of Mathematics, KLS, Gogte Institute of Technology, Belagavi - 590008, India 3. Department of Mathematics,KLS, Vishwanathrao Deshpande Rural, Institute of Technology, Haliyal - 581 329, India
E-mail: [email protected], [email protected], [email protected], [email protected]
Abstract: Graonac defined the second ABC index as
1 1 2 ABC2(G)= + − . s ni nj ninj vivjX∈E(G) Dae Won Lee defined the third ABC index as
1 1 2 ABC3(G)= + − s ei ej eiej vivjX∈E(G) and studied lower and upper bounds. In this paper, we defined a new index which is called third ABC Coindex and it is defined as
1 1 2 ABC3(G)= + − s ni nj ninj vivjX∈/E(G)
and we found some lower and upper bounds on ABC3(G) index.
Key Words: Molecular graph, the third atom - bond connectivity (ABC3) index, the
third atom - bond connectivity co-index (ABC3).
AMS(2010): 05C40, 05C99.
§1. Introduction
The topological indices plays vital role in chemistry, pharmacology etc [1]. Let G = (V, E) be a simple connected graph with vertex set V (G)= v , v , , v and the edge set E(G), with { 1 2 · · · n} V (G) = n and E(G) = m. Let u, v V (G) then the distance between u and v is denoted by | | | | ∈ d(u, v) and is defined as the length of the shortest path in G connecting u and v. The eccentricity of a vertex v V (G) is the largest distance between v and any other i ∈ i vertex vj of G. The diameter d(G) of G is the maximum eccentricity of G and radius r(G) of G is the minimum eccentricity of G.
1Received May 17, 2017, Accepted November 19, 2017. Some Lower and Upper Bounds on the Third ABC Co-index 85
The Zagreb indices have been introduced by Gutman and Trinajstic [2]-[5]. They are defined as, 2 M1(G)= di ,M2(G)= didj .
vi V (G) vivj V (G) ∈X X∈ The Zagreb co-indices have been introduced by Doslic [6],
2 2 M1(G)= (di + dj ), M2(G)= (didj ).
vivj /E(G) vivj /E(G) X∈ X∈ Similarly Zagreb eccentricity indices are defined as
2 E1(G)= ei , E2(G)= eiej .
vi V (G) vivj V (G) ∈X X∈ Estrada et al. defined atom bond connectivity index [7-10]
1 1 2 ABC(G)= + di dj − didj vivj E(G) s X∈ and Graovac defined second ABC index as
1 1 2 ABC2(G)= + , ni nj − ninj vivj E(G) s X∈ which was given by replacing di, dj to ni, nj where ni is the number of vertices of G whose distance to the vertex vi is smaller than the distance to the vertex vj [11-14]. Dae and Wan Lee defined the third ABC index [16]
1 1 2 ABC3(G)= + . ei ej − eiej vivj E(G) s X∈
In this paper, we have defined the third ABC co - index; ABC3(G) as
1 1 2 ABC3(G)= + ei ej − eiej vivj /E(G) s X∈ found some lower and upper bounds on ABC3(G).
§2. Lower and Upper Bounds on ABC3(G) Index
Calculation shows clearly that
(i) ABC3(Kn)=0; 1 n (ii) ABC3(K1,n 1)= ; − 2 2 86 Deepak S. Revankar, Priyanka S. Hande, Satish P. Hande and Vijay Teli
(iii) ABC (C )=2(n 3)√n 2; 3 2n − − 4n 12 (iv) ABC (C )= n(n 3) − . 3 2n+1 − (n 1)2 r −
1 Theorem 2.1 Let G be a simple connected graph. Then ABC3(G) , where E2(G) is ≥ √E2(G) the second zagreb eccentricity coindex.
Proof Since G ≇ K , it is easy to see that for every e = v v in E(G), e + e 3. By the n i j i j ≥ definition of ABC3 coindex
1 1 2 ABC3(G) = + ei ej − eiej vivj /E(G) s X∈ 1 1 1
= . ¾ ≥ √eiej ≥ e e vivj /E(G) i j E2(G) X∈ vivj /E(G) r P∈ q
Theorem 2.2 Let G be a connected graph with m edges, radius r = r(G) 2, diameter ≥ d = d(G). Then, √2m √2m √d 1 ABC (G) √r 1 d − ≤ 3 ≤ r − with equality holds if and only if G is self-centered graph.
Proof For 2 r e , e d, ≤ ≤ i j ≤ 1 1 2 1 1 2 2 1 1 2 + + (1 ) (as ej d, 1 0= + (1 )) ei ej − eiej ≥ ei ej − ej ≤ − ei ≥ d ej − d 1 1 2 2 + (1 ) (as e d and (1 ) 0) ≥ d d − d i ≤ − d ≥ 1 1 2 + ≥ d d − d2 2 2 2 (d 1) ≥ d − d2 ≥ d2 − with equality holds if and only if ei = ej = d.
Similarly we can easily show that,
1 1 2 2 + 2 (r 1) ei ej − eiej ≤ r −
for 2 r e , e d with equality holding if and only if e = e = r. ¾ ≤ ≤ i j ≤ i j
The following lemma can be verified easily.
Lemma 2.1 Let (a ,a , ,a ) be a positive n-tuple such that there exist positive numbers 1 2 · · · n Some Lower and Upper Bounds on the Third ABC Co-index 87