arxiv: v1 [math.ra] 1 Nov 2014
|
|
- Roland Simpson
- 5 years ago
- Views:
Transcription
1 CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv: v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs, there hs been lot of interest in which results of the ltter extend to the former Cyclic lgebrs, those generted by one element, re useful tool for studying these concepts In fct, they hve no Lie lgebr counterprt Their simple structure lends itself to elegnt counterexmples to the extension of severl importnt results from Lie lgebrs to Leibniz lgebrs In this pper, we give clssifiction of cyclic Leibniz lgebrs 1 Introduction Cyclic Leibniz lgebrs were introduced in [6] nd pper in the clssifiction of elementry [3] nd miniml non-elementry Leibniz lgebrs [7] They re lso used s exmples in the expository rticle [4] In this work we clssify these lgebrs Good references re [1], [2], [4], nd [5] We recll tht Leibniz lgebr is n lgebr in which left multipliction by every element is derivtion, ie, multipliction is given by x(yz) = (xy)z+y(xz) for ll x,y,z A Note tht with the further constrint xy = yx this becomes Lie lgebr One mjor difference between Leibniz nd Lie lgebrs is tht the product of n element with itself in Leibniz lgebr my not be 0 Thus it mkes sense to spek of Leibniz lgebrs generted by single element Such lgebrs re clled cyclic Leibniz lgebrs Some interesting results bout these lgebrs hve lredy been obtined, such s the fcts tht cyclic Leibniz lgebrs hve unique Crtn sublgebr, tht they hve only finitely mny mximl sublgebrs, nd tht ll of these sublgebrs cn be explicitly computed [7] 2 Bsic Structure Let A be n n-dimensionl vector spce over C contining nonzero element Choose liner opertor T : A A such tht is cyclic vector for T, ie, such tht B = {,T(),,T n 1 ()} is bsis for A Then T n () = α 1 +α 2 T()+ +α n T n 1 () for some α 1,,α n C We define product C A A s follows (c)v = ct(v) for ll v A, ie, such tht T is left multipliction by Throughout the rest of the pper we will dobt the nottion L when referringto this T Tovoidlwyswritingthe bsiselementsofain terms ofl, we let k = L k 1 () We im to extend this product linerly to ll of A A in such wy tht left multipliction is derivtion Proposition 21 In the setting defined bove, left multipliction is derivtion if nd only if (i) k j = 0 for ll 2 k n nd 1 j n, nd (ii) α 1 = 0 Proof First we ssume tht left multipliction is derivtion Then j+1 = ( j ) = 2 j + j+1 for ll 1 j n, which implies tht 2 j = 0 for ll 1 j n Now ssume k 1 j = 0 for some 3 k n nd for ll 1 j n Then ( k 1 j ) = k j + k 1 j+1 The work of the uthors ws supported by NSF grnt DMS
2 By the induction hypothesis k 1 j = k 1 j+1 = 0 Thus k j = 0 for ll j 1 This estblishes (i) To show (ii) we note tht if n = 1, then A is belin So α 1 = 0 If n > 1, then by (i) 0 = n = (α 1 +α α n n ) = α 1 2 Thus α 1 = 0 For the other impliction, ssume tht (i) nd (ii) hold Since A = spn{, 2,, n } nd L k = 0 for k > 1, it is enough to check tht L is derivtion, ie tht ( k j ) = k+1 j + k j+1 for ll 1 j,k n By (i) both sides of this eqution re 0 when k > 1 nd j+2 when k = 1 Of course, ll of wht we hve sid so fr is well-known We could hve just strted by sying tht cyclic Leibniz lgebr is n lgebr generted by single element such tht left multipliction by is derivtion We chose to include the preceding detils becuse the underlying vector spce structure is the hert of the following clssifiction 3 Clssifiction of Cyclic Leibniz Algebrs over C Let A be n n-dimensionl cyclic Leibniz lgebr over C generted by single element If n = 0, then A is the nilpotent cyclic Leibniz lgebr of dimension n of which there is only one up to isomorphism Throughout the rest of this pper, we consider only non-nilpotent cyclic Leibniz lgebrs, ie, cyclic Leibniz lgebrs where the genertor stisfies (1) n = α k k +α k+1 k+1 + +α n n for some 2 k n nd α k 0 From the discussion in the previous section, it is esy to see tht ny choice of α 2,,α n defines cyclic Leibniz lgebr However, s we will show, differing choices of these coefficients do not lwys yield nonisomorphic lgebrs A simple exmple tht illustrtes this point is when A is 2-dimensionl nd 2 = α 2 with α 0,1 Let x = 1 α Then clerly x is cyclic genertor for A nd (2) xx 2 = 1 α 32 = 1 α 22 = x 2 αx 2 Thus A itself hs genertors whose multiplictions re different We consider the question of when two cyclic Leibniz lgebrs of the sme dimension re isomorphic Lemm 31 Let A nd B be two cyclic Leibniz lgebrs of dimension n Assume A hs cyclic genertor which stisfies n = α k k +α k+1 k+1 + +α n n Then A is isomorphic to B if nd only if B hs cyclic genertor b which stisfies (3) bb n = α k b k +α k+1 b k+1 + +α n b n Proof Suppose tht A is isomorphic to B There is n isomorphism of lgebrs f : A B tht sends to some element f() = b B, so tht the following holds: bb n = f()f() n = f()f( n ) = f( n ) = f(α k k +α k+1 k+1 + +α n n ) = α k f() k +α k+1 f() k+1 + +α n f() n = α k b k +α k+1 b k+1 + +α n b n To show tht b genertes B, let b B so tht f 1 (b ) = c 1 + +c n n A for some constnts c i Observe tht f 1 (c 1 b+ +c n b n ) = c 1 f 1 (b)+ +c n f 1 (b) n = c 1 + +c n n = f 1 (b ) Since f 1 is n isomorphism, b = c 1 b+ +c n b n For the other direction, suppose B hs genertor b with the bove multipliction Let f : A B be the vector spce isomorphism tht sends i b i for 1 i n To show tht this is homomorphism 2
3 of Leibniz lgebrs, we find tht f( i ) = f( i+1 ) = b i+1 = bb i = f()f( i ) for 1 i < n nd f( n ) = f(α k k +α k+1 k+1 + +α n n ) = α k f( k )+α k+1 f( k+1 )+ +α n f( n ) = α k b k +α k+1 b k+1 + +α n b n = bb n = f()f( n ) From this we see tht f respects ll non-zero products in A Thus f is n isomorphism of lgebrs from A to B Given cyclic Leibniz lgebr A of dimension n with genertor stisfying (1), we im to find the isomorphism clss of A By Lemm 31, it is enough to find ll possible coefficients γ 2,,γ n C such tht there exists genertor x A stisfying xx n = γ 2 x 2 +γ 3 x 3 + +γ n x n In the bsis B = {, 2,, n }, the liner opertor L hs mtrix [L ] B =, α k α n which is the compnion mtrix for the chrcteristic polynomil f(t) = t n α n t n 1 α n 1 t n 2 α k t k 1 By the Cyley-Hmilton theorem f(l ) = 0 In other words (4) (L n α nl n 1 α n 1 L n 2 α k L k 1 )(x) = 0 for ll x A Now let us ssume x is cyclic genertor nd write x in terms of the bsis B: By rerrnging (4) we obtin L n (x) = α k L k 1 x = c 1 +c c n n (x)+α k+1 L k (x)+ +α n L n 1 (x) Note tht c 1 0 else x is not cyclic genertor for A We multiply by c n 1 which gives c n 1 Ln (x) = cn 1 α kl k 1 (x)+c n 1 α k+1l k (x)+ +cn 1 α nl n 1 (x) By Proposition 21 we know tht left multipliction by j is zero for ll j > 1 Thus L x = c 1 L Then which we my lso write s L n x (x) = cn k+1 1 α k Lx k 1 (x)+c1 n k α k+1 L k x (x)+ +c 1α n Lx n 1 (x), (5) xx n = c n k+1 1 α k x k +c n k 1 α k+1 x k+1 + +c 1 α n x n Thus every genertor for A stisfies (5) Since x = c 1 is genertor for ll c 1 0, there is t lest one cyclic genertor for A stisfying (5) for every c 1 0 We hve proven the following lemm: Lemm 32 Let A be n n-dimensionl cyclic Leibniz lgebr with genertor stisfying (1) Then (i) Every genertor x = c 1 + +c n n for A stisfies (6) xx n = c n k+1 1 α k x k +c n k 1 α k+1 x k+1 + +c 1 α n x n (ii) A hs t lest one genertor stisfying (6) for ech c 1 0 We cll n n-dimensionl non-nilpotent cyclic Leibniz lgebr A type k lgebr if A hs genertor x with multipliction (7) xx n = x k +γ k+1 x k+1 + +γ n x n for some ordered (n k)-tuple (γ k+1,,γ n ) C n k 3
4 Lemm 33 Every n-dimensionl non-nilpotent cyclic Leibniz lgebr is of type k for one nd only one k {2,,n} Proof Let A be non-nilpotent cyclic Leibniz lgebr hving genertor with multipliction s in (1) Let x = c 1 where c 1 = α 1 k n 1 k Then by Lemm 32 prt (i), x is genertor stisfying (7) with γ k+i = c n k+1 i 1 α k+i Thus A is of type k for t lest one k Tht this k is unique gin follows immeditely from prt (i) of Lemm 32, since c 1 0 nd α k 0 imply tht c n k+1 1 α k 0 By Lemm 33, we know tht ny non-nilpotent cyclic Leibniz lgebr of type k hs genertor stisfying (7) for some (n k)-tuple (γ k+1,,γ n ) The question remins s to whether A cn lso hve genertor stisfying (7) for some other (n k)-tuple Let d = n k We define the following reltion on C d We sy (γ 1,γ 2,,γ d ) (γ 1,γ 2,,γ d ) if (γ 1,γ 2,,γ d ) = (ω d γ 1,ωd 1 γ 2,,ωγ d ) for some (d+1)-th root of unity ω One my esily check tht is n equivlence reltion on C d Then the equivlence clsses re of the form [(γ 1,γ 2,,γ d )] = {(ω d γ 1,ω d 1 γ 2,,ωγ d ) ω is n (d+1)-th root of unity} Then we hve the following lemm Lemm 34 Fix k {2,,n} nd let (γ k+1,,γ n ) (C n k ) \0 Let A be cyclic Leibniz lgebr of dimension n contining genertor x such tht (8) xx n = x k +γ k+1 x k+1 + +γ n x n Then A lso hs genertor y such tht yy n = y k +γ k+1 yk+1 + +γ n yn if nd only if (γ k+1,,γ n) (γ k+1,,γ n ), where is the equivlence reltion on C n k defined bove Proof Write y = c 1 x+c 2 x 2 + +c n x n Then Lemm 32 sys tht c n k+1 1 = 1 Then c 1 is n (n k+1)-th root of unity nd by Lemm 32 prt (i) we hve (9) yy n = y k +c n k 1 γ k+1 y k+1 + +c 1 γ n y n Thus (γ k+1,,γ n ) (γ k+1,,γ n) For the other impliction, let (γ k+1,,γ n) [(γ k+1,,γ n )] Then (γ k+1,,γ n) = (ω n k γ k+1,,ωγ n ) for some (n k +1) th root of unity ω Then the genertor y = ωx stisfies yy n = y k +ω n k γ k+1 y k+1 + +ωγ n y n = y k +γ k+1y k+1 + +γ ny n We hve shown tht there is one-to-one correspondence between isomorphism clsses of non-nilpotent n-dimensionl cyclic Leibniz lgebrs of type k nd the nonzero elements of C n k / More precisely, we hve the following clssifiction: Theorem 35 (Clssifiction) Let A be n n-dimensionl cyclic Leibniz lgebr over C Then A is isomorphic to Leibniz lgebr spnned by {, 2,, n } with the product n given by one nd only one of the following: (1) n = 0 (nilpotent cse) (2) n = n (3) n = k +α k+1 k+1 + +α n n, 2 k n 1, (α k+1,,α n ) C n k / 4
5 Proof Tht there is only one n-dimensionl nilpotent cyclic Leibniz lgebr up to isomorphism follows from Lemm 31 Now ssume A is non-nilpotent n-dimensionl cyclic Leibniz lgebr Then by Lemm 33, A hs genertor stisfying one nd only one of (2) or (3) Now ssume A hs genertor stisfying n = k +α k+1 k+1 + +α n n Then by Lemm 34, A lso hs genertor b stisfying if nd only if (α k+1,,α n ) (α k+1,,α n ) n = k +α k+1 k+1 + +α n n Wethinkitworthnothingthtforechk = 2,,n 1thereisn(n k)-prmeterfmilyofisomorphism clsses of cyclic Leibniz lgebrs of type k, the prmeters being chosen from the uncountble set C n k / Thus for n 3 there re uncountbly mny isomorphism clsses of cyclic Leibniz lgebrs of dimension n over C 4 3 nd 4-dimensionl Clssifiction We use the 3 nd 4-dimensionl cses to illustrte Theorem 35: Corollry 41 (3-dimensionl Clssifiction) Let A be 3-dimensionl cyclic Leibniz lgebr over C Then A is isomorphic to Leibniz lgebr spnned by {, 2, 3 } with the product 3 given by one nd only one of the following: (1) 3 = 0 (nilpotent cse) (2) 3 = 3 (3) 3 = 2 +α 3 3, α 3 C/, where α α if α = ±α Corollry 42 (4-dimensionl Clssifiction) Let A be 4-dimensionl cyclic Leibniz lgebr over C Then A is isomorphic to Leibniz lgebr spnned by {, 2, 3, 4 } with the product 4 given by one nd only one of the following: (1) 4 = 0 (nilpotent cse) (2) 4 = 4 (3) 4 = 3 +α 4 4, α 4 C/, where α α if α = ±α (4) 4 = 2 +α 3 3 +α 4 4, (α 3,α 4 ) C/, where (α,β) (α,β ) if (α,β ) {(α,β),(ω 2 α,ωβ),(ωα,ω 2 β) ω = e 2πi/3 } Acknowledgements The uthors re grdute students t North Crolin Stte University Their work ws funded by n REG grnt from the Ntionl Science Foundtion The uthors would like to thnk Dr Ernest Stitzinger for his guidnce nd support References [1] Sh A Ayupov nd B A Omirov On Leibniz lgebrs Algebr nd Opertor Theory, Proceedings of the Colloquium in Tshkent, Kluwer, Dordrecht, pges 1 13, 1998 [2] DW Brnes Some theorems on Leibniz lgebrs Comm Algebr, 39(7): , 2011 [3] C Btten, L Bosko-Dunbr, A Hedges, JT Hird, K Stgg, nd E Stitzinger A Frttini theory for Leibniz lgebrs Comm Algebr, 41(4): , 2013 [4] I Demir, KC Misr, nd E Stitzinger On some structures of Leibniz lgebrs Contemporry Mthemtics, 623:41 54, 2014 [5] V Gorbtsevich On some bsic properties of Leibniz lgebrs rxiv: v2 [mthra] [6] CB Ry, A Combs, N Gin, A Hedges, JT Hird, nd L Zck Nilpotent Lie nd Leibniz lgebrs Comm Algebr, 42: , 2014 [7] CB Ry, A Hedges, nd E Stitzinger Clssifying severl clsses of Leibniz lgebrs Algebrs nd Representtion Theory, 17: , 2014 Deprtment of Mthemtics, North Crolin Stte University, Rleigh, NC E-mil ddress: dscofie@ncsuedu, smsulli4@ncsuedu 5
The Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationMATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35
MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.
More informationSimple Gamma Rings With Involutions.
IOSR Journl of Mthemtics (IOSR-JM) ISSN: 2278-5728. Volume 4, Issue (Nov. - Dec. 2012), PP 40-48 Simple Gmm Rings With Involutions. 1 A.C. Pul nd 2 Md. Sbur Uddin 1 Deprtment of Mthemtics University of
More informationResults on Planar Near Rings
Interntionl Mthemticl Forum, Vol. 9, 2014, no. 23, 1139-1147 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/imf.2014.4593 Results on Plnr Ner Rings Edurd Domi Deprtment of Mthemtics, University
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More informationTHE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p
THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS PETE L CLARK Circ 1870, Zolotrev observed tht the Legendre symbol ( p ) cn be interpreted s the sign of multipliction by viewed s permuttion of the set Z/pZ
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI
Mth. J. Okym Univ. 44(2002), 51 56 ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI Koru MOTOSE Let t(g) be the nilpotency index of the rdicl J(KG) of group lgebr KG of finite p-solvble group
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationSemigroup of generalized inverses of matrices
Semigroup of generlized inverses of mtrices Hnif Zekroui nd Sid Guedjib Abstrct. The pper is divided into two principl prts. In the first one, we give the set of generlized inverses of mtrix A structure
More informationMath 270A: Numerical Linear Algebra
Mth 70A: Numericl Liner Algebr Instructor: Michel Holst Fll Qurter 014 Homework Assignment #3 Due Give to TA t lest few dys before finl if you wnt feedbck. Exercise 3.1. (The Bsic Liner Method for Liner
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More informationSpanning tree congestion of some product graphs
Spnning tree congestion of some product grphs Hiu-Fi Lw Mthemticl Institute Oxford University 4-9 St Giles Oxford, OX1 3LB, United Kingdom e-mil: lwh@mths.ox.c.uk nd Mikhil I. Ostrovskii Deprtment of Mthemtics
More informationSelf-similarity and symmetries of Pascal s triangles and simplices mod p
Sn Jose Stte University SJSU ScholrWorks Fculty Publictions Mthemtics nd Sttistics Februry 2004 Self-similrity nd symmetries of Pscl s tringles nd simplices mod p Richrd P. Kubelk Sn Jose Stte University,
More informationIN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A2 IN GAUSSIAN INTEGERS X + Y = Z HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH Elis Lmpkis Lmpropoulou (Term), Kiprissi, T.K: 24500,
More informationLinearly Similar Polynomials
Linerly Similr Polynomils rthur Holshouser 3600 Bullrd St. Chrlotte, NC, US Hrold Reiter Deprtment of Mthemticl Sciences University of North Crolin Chrlotte, Chrlotte, NC 28223, US hbreiter@uncc.edu stndrd
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More informationSTRUCTURED TRIANGULAR LIMIT ALGEBRAS
STRUCTURED TRIANGULAR LIMIT ALGEBRAS DAVID R. LARSON nd BARUCH SOLEL [Received 5 Februry 1996 Revised 24 September 1996] 1. Introduction Suppose is unitl Bnch lgebr which contins n incresing chin n n 1
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More information1 The Lagrange interpolation formula
Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationState space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies
Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response
More informationOn the free product of ordered groups
rxiv:703.0578v [mth.gr] 6 Mr 207 On the free product of ordered groups A. A. Vinogrdov One of the fundmentl questions of the theory of ordered groups is wht bstrct groups re orderble. E. P. Shimbirev [2]
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)
10 Most proofs re left s reding exercises. Definition 10.1. Z = Z {0}. Definition 10.2. Let be the binry reltion defined on Z Z by, b c, d iff d = cb. Theorem 10.3. is n equivlence reltion on Z Z. Proof.
More informationON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT
ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT Andrej Dujell Deprtment of Mthemtics, University of Zgreb, 10000 Zgreb, CROATIA The Greek mthemticin Diophntus of Alexndri noted tht the
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More informationHere we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.
Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous
More informationElementary Linear Algebra
Elementry Liner Algebr Anton & Rorres, 1 th Edition Lecture Set 5 Chpter 4: Prt II Generl Vector Spces 163 คณ ตศาสตร ว ศวกรรม 3 สาขาว ชาว ศวกรรมคอมพ วเตอร ป การศ กษา 1/2555 163 คณตศาสตรวศวกรรม 3 สาขาวชาวศวกรรมคอมพวเตอร
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More informationDually quasi-de Morgan Stone semi-heyting algebras II. Regularity
Volume 2, Number, July 204, 65-82 ISSN Print: 2345-5853 Online: 2345-586 Dully qusi-de Morgn Stone semi-heyting lgebrs II. Regulrity Hnmntgoud P. Snkppnvr Abstrct. This pper is the second of two prt series.
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationLecture 2e Orthogonal Complement (pages )
Lecture 2e Orthogonl Complement (pges -) We hve now seen tht n orthonorml sis is nice wy to descrie suspce, ut knowing tht we wnt n orthonorml sis doesn t mke one fll into our lp. In theory, the process
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More informationZero-Sum Magic Graphs and Their Null Sets
Zero-Sum Mgic Grphs nd Their Null Sets Ebrhim Slehi Deprtment of Mthemticl Sciences University of Nevd Ls Vegs Ls Vegs, NV 89154-4020. ebrhim.slehi@unlv.edu Abstrct For ny h N, grph G = (V, E) is sid to
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More information440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam
440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP
More informationOn the Generalized Weighted Quasi-Arithmetic Integral Mean 1
Int. Journl of Mth. Anlysis, Vol. 7, 2013, no. 41, 2039-2048 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2013.3499 On the Generlized Weighted Qusi-Arithmetic Integrl Men 1 Hui Sun School
More informationBest Approximation. Chapter The General Case
Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationSTUDY GUIDE FOR BASIC EXAM
STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There
More informationReview of Riemann Integral
1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationHilbert Spaces. Chapter Inner product spaces
Chpter 4 Hilbert Spces 4.1 Inner product spces In the following we will discuss both complex nd rel vector spces. With L denoting either R or C we recll tht vector spce over L is set E equipped with ddition,
More informationREPRESENTATION THEORY OF PSL 2 (q)
REPRESENTATION THEORY OF PSL (q) YAQIAO LI Following re notes from book [1]. The im is to show the qusirndomness of PSL (q), i.e., the group hs no low dimensionl representtion. 1. Representtion Theory
More informationElements of Matrix Algebra
Elements of Mtrix Algebr Klus Neusser Kurt Schmidheiny September 30, 2015 Contents 1 Definitions 2 2 Mtrix opertions 3 3 Rnk of Mtrix 5 4 Specil Functions of Qudrtic Mtrices 6 4.1 Trce of Mtrix.........................
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
More informationMTH 5102 Linear Algebra Practice Exam 1 - Solutions Feb. 9, 2016
Nme (Lst nme, First nme): MTH 502 Liner Algebr Prctice Exm - Solutions Feb 9, 206 Exm Instructions: You hve hour & 0 minutes to complete the exm There re totl of 6 problems You must show your work Prtil
More informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box
More informationSTEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA. 0 if t < 0, 1 if t > 0.
STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA STEPHEN SCHECTER. The unit step function nd piecewise continuous functions The Heviside unit step function u(t) is given by if t
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More information1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.
1 12 Liner Vrible Coefficient Equtions Section Objective(s): Review: Constnt Coefficient Equtions Solving Vrible Coefficient Equtions The Integrting Fctor Method The Bernoulli Eqution 121 Review: Constnt
More informationEuler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )
Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s
More informationRELATIONS ON BI-PERIODIC JACOBSTHAL SEQUENCE
TJMM 10 018, No., 141-151 RELATIONS ON BI-PERIODIC JACOBSTHAL SEQUENCE S. UYGUN, H. KARATAS, E. AKINCI Abstrct. Following the new generliztion of the Jcobsthl sequence defined by Uygun nd Owusu 10 s ĵ
More informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
More informationAMATH 731: Applied Functional Analysis Fall Some basics of integral equations
AMATH 731: Applied Functionl Anlysis Fll 2009 1 Introduction Some bsics of integrl equtions An integrl eqution is n eqution in which the unknown function u(t) ppers under n integrl sign, e.g., K(t, s)u(s)
More informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationResearch Article Moment Inequalities and Complete Moment Convergence
Hindwi Publishing Corportion Journl of Inequlities nd Applictions Volume 2009, Article ID 271265, 14 pges doi:10.1155/2009/271265 Reserch Article Moment Inequlities nd Complete Moment Convergence Soo Hk
More informationMath 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008
Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More informationThe Banach algebra of functions of bounded variation and the pointwise Helly selection theorem
The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationOn the degree of regularity of generalized van der Waerden triples
On the degree of regulrity of generlized vn der Werden triples Jcob Fox Msschusetts Institute of Technology, Cmbridge, MA 02139, USA Rdoš Rdoičić Deprtment of Mthemtics, Rutgers, The Stte University of
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationNumerical radius Haagerup norm and square factorization through Hilbert spaces
J Mth Soc Jpn Vol 58, No, 006 Numericl rdius Hgerup norm nd squre fctoriztion through Hilbert spces By Tkshi Itoh nd Msru Ngis (Received Apr 7, 004) (Revised Mr, 005) Abstrct We study fctoriztion of bounded
More informationLinear Algebra 1A - solutions of ex.4
Liner Algebr A - solutions of ex.4 For ech of the following, nd the inverse mtrix (mtritz hofkhit if it exists - ( 6 6 A, B (, C 3, D, 4 4 ( E i, F (inverse over C for F. i Also, pick n invertible mtrix
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More informationWHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =
WHEN IS A FUNCTION NOT FLAT? YIFEI PAN AND MEI WANG Abstrct. In this pper we prove unique continution property for vector vlued functions of one vrible stisfying certin differentil inequlity. Key words:
More information4. Calculus of Variations
4. Clculus of Vritions Introduction - Typicl Problems The clculus of vritions generlises the theory of mxim nd minim. Exmple (): Shortest distnce between two points. On given surfce (e.g. plne), nd the
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationWell Centered Spherical Quadrangles
Beiträge zur Algebr und Geometrie Contributions to Algebr nd Geometry Volume 44 (003), No, 539-549 Well Centered Sphericl Qudrngles An M d Azevedo Bred 1 Altino F Sntos Deprtment of Mthemtics, University
More informationFrobenius numbers of generalized Fibonacci semigroups
Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:
More informationSPACES DOMINATED BY METRIC SUBSETS
Volume 9, 1984 Pges 149 163 http://topology.uburn.edu/tp/ SPACES DOMINATED BY METRIC SUBSETS by Yoshio Tnk nd Zhou Ho-xun Topology Proceedings Web: http://topology.uburn.edu/tp/ Mil: Topology Proceedings
More informationf = ae b e , i.e., ru + P = (r + P )(u + P ) = (s + P )(t + P ) = st + P. Then since ru st P and su P we conclude that r s t u = ru st
Mth 662 Spring 204 Homewor 2 Drew Armstrong Problem 0. (Drwing Pictures) The eqution y 2 = x 3 x defines curve in the complex plne C 2. Wht does it loo lie? Unfortuntely we cn only see rel things, so we
More informationConneted sum of representations of knot groups
Conneted sum of representtions of knot groups Jinseok Cho rxiv:141.6970v4 [mth.gt] 3 Mr 016 November 4, 017 Abstrct When two boundry-prbolic representtions of knot groups re given, we introduce the connected
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationMultiple Positive Solutions for the System of Higher Order Two-Point Boundary Value Problems on Time Scales
Electronic Journl of Qulittive Theory of Differentil Equtions 2009, No. 32, -3; http://www.mth.u-szeged.hu/ejqtde/ Multiple Positive Solutions for the System of Higher Order Two-Point Boundry Vlue Problems
More informationChapter 5. , r = r 1 r 2 (1) µ = m 1 m 2. r, r 2 = R µ m 2. R(m 1 + m 2 ) + m 2 r = r 1. m 2. r = r 1. R + µ m 1
Tor Kjellsson Stockholm University Chpter 5 5. Strting with the following informtion: R = m r + m r m + m, r = r r we wnt to derive: µ = m m m + m r = R + µ m r, r = R µ m r 3 = µ m R + r, = µ m R r. 4
More informationSummary: Method of Separation of Variables
Physics 246 Electricity nd Mgnetism I, Fll 26, Lecture 22 1 Summry: Method of Seprtion of Vribles 1. Seprtion of Vribles in Crtesin Coordintes 2. Fourier Series Suggested Reding: Griffiths: Chpter 3, Section
More informationVariational Techniques for Sturm-Liouville Eigenvalue Problems
Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment
More informationActa Universitatis Carolinae. Mathematica et Physica
Act Universittis Croline. Mthemtic et Physic Thoms N. Vougiouklis Cyclicity in specil clss of hypergroups Act Universittis Croline. Mthemtic et Physic, Vol. 22 (1981), No. 1, 3--6 Persistent URL: http://dml.cz/dmlcz/142458
More informationFUNCTIONS OF α-slow INCREASE
Bulletin of Mthemticl Anlysis nd Applictions ISSN: 1821-1291, URL: http://www.bmth.org Volume 4 Issue 1 (2012), Pges 226-230. FUNCTIONS OF α-slow INCREASE (COMMUNICATED BY HÜSEYIN BOR) YILUN SHANG Abstrct.
More information1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),
1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on
More informationMath 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech
Mth 6455 Oct 10, 2006 1 Differentil Geometry I Fll 2006, Georgi Tech Lecture Notes 12 Riemnnin Metrics 0.1 Definition If M is smooth mnifold then by Riemnnin metric g on M we men smooth ssignment of n
More informationRight and left solvable extensions of an associative Leibniz algebra
Communictions in Algebr ISSN: 0092-7872 Print) 1532-4125 Online) Journl homepge: http://wwwtndfonlinecom/loi/lgb20 Right nd left solvble extensions of n ssocitive Leibniz lgebr A Shbnsky To cite this rticle:
More informationIntuitionistic Fuzzy Lattices and Intuitionistic Fuzzy Boolean Algebras
Intuitionistic Fuzzy Lttices nd Intuitionistic Fuzzy oolen Algebrs.K. Tripthy #1, M.K. Stpthy *2 nd P.K.Choudhury ##3 # School of Computing Science nd Engineering VIT University Vellore-632014, TN, Indi
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationThings to Memorize: A Partial List. January 27, 2017
Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors - Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved
More information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More information