On the smoothness and the totally strong properties for nearness frames

Size: px
Start display at page:

Download "On the smoothness and the totally strong properties for nearness frames"

Transcription

1 Int. Sc. Technol. J. Namba Vol 1, Issue 1, 2013 On the smoothness and the totally strong propertes for nearness frames Martn. M. Mugoch Department of Mathematcs, Unversty of Namba 340 Mandume Ndemufayo Avenue, Prvate Bag 13301, Poneerspark, Wndhoek, Namba Receved: 10th March, Accepted: 4th Aprl, Abstract In ths paper we brefly explore the propertes of smooth and totally strong nearness frames. It turns out that there s a relatonshp between them, n partcular, totally strong nearness frames are smooth. We also show that the category of smooth nearness frames s coproductve, and that, as s the case wth that of the totally strong ones, t s closed under completons. Keywords: nearness frame, nterpolatve, almost unform, strong, smooth, totally strong. Mathematcs Subject Classfcaton (2010): Prmary 06D22, Secondary 54E17, 54F50 ISTJN 2013; 1(1): Prelmnares Recall that a frame s a complete lattce L n whch the dstrbutve law a S = {a x x S} Correspondng author - E-mal: mmugoch@unam.na 35

2 holds for all a L and S L. We denote the top element and the bottom element of L by 1 L and 0 L respectvely, droppng the subscrpt L f t s clear from the context. For a general theory of frames we refer to [7], and for nearness frames we refer to [1], [2] and [3]. In ths ntroductory secton we collect a few facts that wll be relevant for our dscusson, and fx notaton. An element a of a frame L s sad to be rather below an element b, wrtten a b, f there s an element s such that a s = 0 and s b = 1. Further, a s sad to be completely below b, wrtten a b, f there exsts a doubly ndexed sequence (x nk ), known as a scale between a and b, wth n = 0,1,... and k = 0,1,...,2 n such that a = x n0, x nk x nk+1, x n2 n = b, and x nk = x n+12k, for all n = 0,1,... and k = 0,1,...,2 n. Call L regular f a = {x L x a} for each a L, and completely regular f a = {x L x a} for each a L. The pseudocomplement of an element a s the element a = {x L x a = 0}. We say a s complemented f a a = 1. A frame homomorphsm s a map between frames whch preserves fnte meets, ncludng the top element, and arbtrary jons, ncludng the bottom element. A homomorphsm s called dense f t maps only the bottom element to the bottom element. Assocated wth a homomorphsm h : L M s ts rght adjont h : M L gven by h (a) = {x L h(x) a}. A cover of a frame s a subset wth jon equal to the top. The set of all covers of L s denoted by CovL. For covers C and D of L, C s sad to refne D, wrtten C D, f for every c C there exsts d D such that c d. For any A CovL and x L, the element Ax of L s defned by Ax = {a A a x 0}. If A,B CovL, then AB s the cover gven by AB = {Ab b B}. A cover A star-refnes a cover B, wrtten A B, f AA B. For any N CovL, the relaton N (or smply ) on L s defned by x y f Cx y for some C N, 36

3 and N s sad to be admssble f a = {x L x a} for each a L. If a b, we say a s unformly below b. A nearness on L s an admssble flter N n (CovL, ). A nearness frame s a par (L,N) where N s a nearness on L. A frame has a nearness f and only f t s regular. Therefore all frames consdered here are assumed to be regular. We shall frequently abuse notaton and denote a nearness frame by ts underlyng frame. If we have not named a nearness n queston when talkng about a nearness frame L, we shall, at tmes, wrte NL for the nearness. Gven a nearness frame L, the covers n NL are called unform covers of L. If L s a nearness frame and C CovL, Č s the cover defned by Č = {x L x c for some c C}. A nearness frame L s sad to be: (1) strong f for every unform cover C, Č s also a unform cover. (2) fne f NL = CovL. Let L and M be nearness frames. A homomorphsm h: L M between the respectve underlyng frames s sad to be: (1) unform f h[c] NM for each C NL. (2) a surjecton, or quotent map, f t s onto and NM = {h[c] C NL}. In ths case we may refer to M as a quotent of L. (3) a strct surjecton f t s a dense surjecton and the unform covers h [C],C NM, generate NL. We shall need the followng results whch appear n [1]. Lemma 1.1. () If a b n L, then h(a) h(b) n M. () If h s a dense surjecton, then a b n L mples h h(a) b. () If h s a strct surjecton, then x y n M ff h (x) h (y) n L. 37

4 (v) If h s a strct surjecton, then for any a L and any x M, we have a h (x) n L ff h(a) x n M. The category of nearness frames and unform homomorphsms s denoted by NFrm. Its subcategory consstng of strong nearness frames wll here be denoted by StrNFrm. A nearness frame L s complete f any strct surjecton M L s an somorphsm, and a completon of L s any strct surjecton M L wth complete M. Fne nearness frames are complete. Any nearness frame L has a completon γ L : CL L, whch s unque up to somorphsm. In [4] a nearness frame s called quotent-fne f t s a quotent of a fne nearness frame. It s then shown that a nearness frame s quotent-fne f and only f ts completon s fne. In [5] a nearness frame L s called nterpolatve or has the nterpolaton property f, for every a, b L, a b mples a c b for some c L. An almost unform nearness frame s one whch s strong and nterpolatve. We denote the category of almost unform nearness frames by AuNFrm. We also recall from [9] how coproducts are constructed n NFrm. Gven a system {L } I of nearness frames, let L be the coproduct of the underlyng frames, and ι : L L the coproduct njectons. The frame L s generated by elements of the form a = ι (a ), where the a L are such that only fntely many of them are not equal to 1. The results n the followng lemma appear n [9]. Lemma 1.2. The elements a have the followng propertes: () a = 0 ff a = 0 for some I. 38

5 () 0 a b ff for all I, a b. () 0 a b n L ff for all I, 0 a b n L. Consder the covers C = { c c C } where each C s a unform cover of L, and only fntely many of the C are non-trval, that s, unequal to {1}. The collecton of all such C generates a nearness on L ; and the resultng nearness frame together wth the coproduct njectons ι j : L j L consttutes a coproduct n the category NFrm. 2 Smooth nearness frames Smooth nearness frames were ntroduced n [2] as an ad-hoc means to studyng completon n nearness frames. In ths secton we nvestgate some propertes of these nearness frames, culmnatng n showng that the smooth property s not changed under completons. Call a nearness frame (L, µ) smooth f for each unform cover C, the set C s = {x L x y for some y C} s also a unform cover. Wrte SmNFrm for the category of smooth nearness frames, whch, n consequence, s a full subcategory of NFrm Remark 2.1. Note here that snce x y mples x y, we have Č C s, so that, as observed n [2], Every strong nearness frame s smooth. However, a smooth nearness frame need not be strong. Thus, StrNFrm SmNFrm. It s clear that quotent-fne (and, hence, fne) nearness frames are smooth. 39

6 Let L be a nearness frame. If A s a unform cover, then the set A = {x L x A} s also a unform cover (snce A refnes A ). The followng characterzaton of smooth nearness frames follows naturally. Lemma 2.2. A nearness frame L s smooth ff for each A NL, there exsts B NL such that B refnes A. Proof. ( ) Suppose L s smooth. Let A be a unform cover. Then A s = {x L x a, some a A} s also a unform cover. By the hypothess, (A s ) s a unform cover (as observed above) of the desred knd refnng A. ( ) Conversely, assume that the condton holds. For A NL, let B refne A for some B NL. Then B A s, so that B A s. Consequently, A s NL, so that L s smooth. Example 2.3. It s worth notng here that the cover A, as ntroduced above, s not necessarly the same as the set A r = {x A x = x } of all regular elements n A. As an example, let L be a nearness frame where the underlyng frame s compact and non-boolean. (Trvally, every nearness on a Boolean frame s smooth). Let A be a unform cover of L consstng only of regular elements and let x L be a non-regular element such that x A. Put B = A {x}. Then B NL and B = A {x }, but B r = {y B y = y } = A. In order to show that SmNFrm s coproductve, we shall need the followng lemma. 40

7 Lemma 2.4. Let L be the coproduct of a famly {L } I of frames. Then for each element a L, ( a ) = (a ). Proof. Let ι : L L be the th coproduct njecton. We frst show that ( ) ( a ) = ι (a ). By defnton, for each ndex k, and for any x L k, ι k (x) = b, where b k = x and b = 1 for k. Now f c s any element of L such that ( a ) ( c ) = 0, then (a c ) = 0, so that a k c k = 0 for some ndex k. Ths mples c k a k. Consequently c ι k (a k) ι (a ). Snce the elements x generate the frame L, t follows that f any element of L does not meet a, then t s below ι (a ). Therefore ( a ) ι (a ). But, by applyng the nfnte dstrbutve law, ( ) ( a ) ι (a ) = 0. Therefore ι (a ) s the largest element of L dsjont from a. Thus, ( ) holds. Second, we apply ( ) and the fact that for each ndex k, (ι k (x)) = ι k (x ), to obtan ( ) ( a ) = ι (a ) = (ι (a )) = establshng the desred result. ι (a ) = (a ), 41

8 Proposton 2.5. SmNFrm s coproductve n NFrm. Proof. Let {L } I be a famly of smooth nearness frames. We show that ther coproduct L s also smooth. To see that, let A be a unform cover n the coproduct, and let A be a refnement of A (where each A NL ). Let A 1,...,A m covers A s. be the nontrval covers among the We construct a unform cover of the form B (n the coproduct nearness) refnng A as follows: For each { 1,..., m }, let B Then, makng use of the above lemma, NL refne A. We let B B = ( B ) = B refnes A whch refnes A. Hence the desred result follows. = {1} for the other s. In [2] t s shown that any dense surjecton h : L M wth L smooth s n fact a strct surjecton, and consequently any weak completon h : L M, where L s smooth, becomes a completon. Here we show the followng result. Proposton 2.6. If h : L M s a dense surjecton, then L s smooth ff M s smooth. Proof. ( ) Suppose L s smooth. Let C NM. To show that M s smooth, we need D NM such that D C. Snce h [C] NL, there exsts B NL such that B h [C], snce L s smooth. Snce h preserves pseudocomplements, beng a dense onto map, we have h[b ] = h[b]. Thus, h[b] s a unform cover of M such that h[b] refnes C, and therefore M s smooth. ( ) Suppose M s smooth. Let A be a unform cover of L. Snce h s a strct surjecton, there s a unform cover B of M such that h [B] A. Snce M s smooth, by the hypothess, B s a unform cover of M. Therefore h [B ] s a unform cover of L snce h s a strct surjecton. Snce h s a dense onto homomorphsm, h commutes wth pseudocomplementaton; so that h (b ) = h (b) 42

9 for each b B, and hence h [B ] = h [B]. But now h [B] refnes A ; therefore A s also a unform cover, and hence L s smooth. The followng corollary s evdent from the above result, snce the completon map s a strct surjecton. Corollary 2.7. A nearness frame s smooth ff ts completon s smooth. 3 Totally strong nearness frames By mposng a stronger refnement orderng on unform covers, n partcular, one whch uses scales n the manner n whch the completely below relaton s defned, we ntroduce, n ths secton, a type of nearness frames called the totally strong ones and establsh that ther category, namely TStrNFrm, s closed under completons, and that the nclusons AuNFrm TStrNFrm StrNFrm hold. Defnton 3.1. Let L be a nearness frame, and A, B NL. Wrte A s B f there s an nterpolatng sequence of unform covers (C nk ) between A and B, where C 00 = A, C 01 = B, C nk = C n+12k, and C nk C nk+1 for all n = 0,1,... and k = 0,1,...,2 n. In ths case we say A scale refnes B. We call a nearness frame totally strong f every unform cover s scale refned by a unform cover. Clearly, f A s B, then A B. Consequently, every totally strong nearness frame s strong. We wrte TStrNFrm for the category of totally strong nearness frames. Thus, TStrNFrm StrNFrm, and, snce StrNFrm SmNFrm, every totally strong nearness frame s smooth. In order to show that every almost unform nearness frame s totally strong, we need the followng result whch shows that nterpolaton n the underlyng frame L s transferred to ts nearness NL. Lemma 3.2. Suppose L s an nterpolatve nearness frame, and suppose A, B NL wth A B. Then there exsts C NL such that A C B. 43

10 Proof. Let A, B NL be such that A B. Then for each a A, there exsts b a B such that a b a. Snce L s nterpolatve, there exsts c a L such that a c a b a. Form the set C = {c a L a A}. Then C s a unform cover, snce A refnes t. Furthermore A C B by the way C s constructed. Proposton 3.3. If L s almost unform, then t s totally strong. Proof. Let B NL. Snce L s strong, there exsts A NL such that A B. By Lemma 3.2, nterpolates n NL, snce L s nterpolatve. Therefore A s B, snce, by the axom of countable dependent choce, a scale of unform covers wtnessng ths can be constructed n the same manner as done n [8, Lemma 1.5]. As an observaton from the above two results, t should be evdent that f L s a strong nearness frame wth the property that whenever A B n NL, there exsts C NL such that A C B, then L s totally strong. In our next set of results we am to show that the category TStrNFrm s closed under completons. Our proof wll be facltated by notng the followng: f h : L M s a unform frame homomorphsm and A scale refnes B n L, then h[a] scale refnes h[b] n M, for f (C nk ) s a scale of unform covers of L wtnessng A s B, then clearly (h[c nk ]) s a scale of unform covers of M wtnessng h[a] s h[b]. On the other hand, f h s a strct surjecton and U scale refnes V n M, then h [U] scale refnes h [V ] n L, for f (W nk ) s a scale of unform covers of M wtnessng U s V, then, by the strctness of h, (h [W nk ]) s a scale of unform covers of L wtnessng h [U] s h [V ]. Lemma 3.4. Let h : L M be a strct surjecton. Then L s totally strong ff M s totally strong. Proof. ( ) Suppose L s totally strong and let U be a unform cover of M. Then, by strctness, h [U] s a unform cover of L. Snce L s totally strong, there s a unform cover A of L that 44

11 scale refnes h [U]. By what we have observed above, h[a] s a unform cover of M scale refnng h[h [U]] = U. Therefore M s totally strong. ( ) Conversely, suppose M s totally strong and let A be a unform cover of L. By strctness, there s a unform cover U of M such that h [U] A. Snce M s totally strong, there s a unform cover V of M whch scale refnes U. Then h [V ] s a unform cover of L scale refnng h [U], and hence scale refnng A. Therefore L s totally strong. Snce completon maps are strct surjectons, we deduce the followng result. Corollary 3.5. A nearness frame s totally strong f and only f ts completon s totally strong. Acknowledgement: Parts of ths paper come from the PhD thess [6] wrtten under the supervson of Prof T. Dube of the Unversty of South Afrca. References [1] Banaschewsk B., Unform completon n pontfree topology, Topologcal and Algebrac Structures n Fuzzy Sets, Trends n Logc 20 (2003), [2] Banaschewsk B., Hong S.S. and Pultr A., On the completon of nearness frames, Quaest. Math. 28 (1998), [3] Banaschewsk B. and Pultr A., Cauchy ponts of unform and nearness frames, Quaest. Math. 19 (1996), [4] Dube T. and Mugoch M.M., Thoughts on quotent-fne nearness frames, Appl. Categor. Struct. 19 (2011), [5] Dube T. and Mugoch M.M., A note on almost unform nearness frames. Quaestones Mathematcae, 34 2 (2011), [6] Mugoch M.M., Contrbutons to the theory of nearness n pontfree topology, PhD thess, Unv. South Afrca (2009). 45

12 [7] Johnstone P.T., Stone Spaces, Cambrdge Unv. Press, Cambrdge, [8] Pultr A., Pontless unformtes I: Complete regularty. Comment. Math. Unv. Carolnae 25(1) (1984), [9] Pultr A. and Tozz A., Completon and coproducts of nearness frames, Symposum on Categorcal Topology (Rondebosch, 1994), , Unv. Cape Town, Rondebosch,

Lecture 7: Gluing prevarieties; products

Lecture 7: Gluing prevarieties; products Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth

More information

More metrics on cartesian products

More metrics on cartesian products More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of

More information

12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product

12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product 12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton

More information

On C 0 multi-contractions having a regular dilation

On C 0 multi-contractions having a regular dilation SUDIA MAHEMAICA 170 (3) (2005) On C 0 mult-contractons havng a regular dlaton by Dan Popovc (mşoara) Abstract. Commutng mult-contractons of class C 0 and havng a regular sometrc dlaton are studed. We prove

More information

Week 2. This week, we covered operations on sets and cardinality.

Week 2. This week, we covered operations on sets and cardinality. Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from

More information

APPENDIX A Some Linear Algebra

APPENDIX A Some Linear Algebra APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,

More information

REAL ANALYSIS I HOMEWORK 1

REAL ANALYSIS I HOMEWORK 1 REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α

More information

FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP

FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class

More information

20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.

20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness. 20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed

More information

A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS

A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs

More information

SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION

SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776

More information

Inner Product. Euclidean Space. Orthonormal Basis. Orthogonal

Inner Product. Euclidean Space. Orthonormal Basis. Orthogonal Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,

More information

Linear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.

Linear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space. Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +

More information

THE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION

THE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton

More information

Self-complementing permutations of k-uniform hypergraphs

Self-complementing permutations of k-uniform hypergraphs Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, 117 124 Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty

More information

Ali Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen

Ali Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout

More information

اولت ارص من نوع -c. الخلاصة رنا بهجت اسماعیل مجلة ابن الهیثم للعلوم الصرفة والتطبیقیة المجلد 22 (3) 2009

اولت ارص من نوع -c. الخلاصة رنا بهجت اسماعیل مجلة ابن الهیثم للعلوم الصرفة والتطبیقیة المجلد 22 (3) 2009 مجلة ابن الهیثم للعلوم الصرفة والتطبیقیة المجلد 22 (3) 2009 الت ارص من نوع -C- - جامعة بغداد رنا بهجت اسماعیل قسم الریاضیات - كلیة التربیة- ابن الهیثم الخلاصة قمنا في هذا البحث بتعریف نوع جدید من الت ارص

More information

An Introduction to Morita Theory

An Introduction to Morita Theory An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory

More information

STEINHAUS PROPERTY IN BANACH LATTICES

STEINHAUS PROPERTY IN BANACH LATTICES DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS

More information

Affine transformations and convexity

Affine transformations and convexity Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/

More information

Volume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].

Volume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2]. Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland

More information

DIFFERENTIAL SCHEMES

DIFFERENTIAL SCHEMES DIFFERENTIAL SCHEMES RAYMOND T. HOOBLER Dedcated to the memory o Jerry Kovacc 1. schemes All rngs contan Q and are commutatve. We x a d erental rng A throughout ths secton. 1.1. The topologcal space. Let

More information

First day August 1, Problems and Solutions

First day August 1, Problems and Solutions FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve

More information

Genericity of Critical Types

Genericity of Critical Types Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f

More information

The Pseudoblocks of Endomorphism Algebras

The Pseudoblocks of Endomorphism Algebras Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba

More information

ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction

ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of

More information

DIFFERENTIAL FORMS BRIAN OSSERMAN

DIFFERENTIAL FORMS BRIAN OSSERMAN DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne

More information

Convexity preserving interpolation by splines of arbitrary degree

Convexity preserving interpolation by splines of arbitrary degree Computer Scence Journal of Moldova, vol.18, no.1(52), 2010 Convexty preservng nterpolaton by splnes of arbtrary degree Igor Verlan Abstract In the present paper an algorthm of C 2 nterpolaton of dscrete

More information

( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.

( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out. Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are

More information

POL VAN HOFTEN (NOTES BY JAMES NEWTON)

POL VAN HOFTEN (NOTES BY JAMES NEWTON) INTEGRAL P -ADIC HODGE THEORY, TALK 2 (PERFECTOID RINGS, A nf AND THE PRO-ÉTALE SITE) POL VAN HOFTEN (NOTES BY JAMES NEWTON) 1. Wtt vectors, A nf and ntegral perfectod rngs The frst part of the talk wll

More information

FINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN

FINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There

More information

EXPANSIVE MAPPINGS. by W. R. Utz

EXPANSIVE MAPPINGS. by W. R. Utz Volume 3, 978 Pages 6 http://topology.auburn.edu/tp/ EXPANSIVE MAPPINGS by W. R. Utz Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs Department of Mathematcs & Statstcs

More information

Math 101 Fall 2013 Homework #7 Due Friday, November 15, 2013

Math 101 Fall 2013 Homework #7 Due Friday, November 15, 2013 Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group

More information

MAT 578 Functional Analysis

MAT 578 Functional Analysis MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these

More information

where a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets

where a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets 5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of

More information

On the set of natural numbers

On the set of natural numbers On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers

More information

2.3 Nilpotent endomorphisms

2.3 Nilpotent endomorphisms s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms

More information

Appendix B. Criterion of Riemann-Stieltjes Integrability

Appendix B. Criterion of Riemann-Stieltjes Integrability Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for

More information

NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules

NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules EVAN WILSON Quantum groups Consder the Le algebra sl(n), whch s the Le algebra over C of n n trace matrces together wth the commutator

More information

Problem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?

Problem Do any of the following determine homomorphisms from GL n (C) to GL n (C)? Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2

More information

The Order Relation and Trace Inequalities for. Hermitian Operators

The Order Relation and Trace Inequalities for. Hermitian Operators Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence

More information

On Tiling for Some Types of Manifolds. and their Folding

On Tiling for Some Types of Manifolds. and their Folding Appled Mathematcal Scences, Vol. 3, 009, no. 6, 75-84 On Tlng for Some Types of Manfolds and ther Foldng H. Rafat Mathematcs Department, Faculty of Scence Tanta Unversty, Tanta Egypt hshamrafat005@yahoo.com

More information

A Smashing Subcategory of the Homotopy Category of Gorenstein Projective Modules

A Smashing Subcategory of the Homotopy Category of Gorenstein Projective Modules Appl Categor Struct (2015) 23: 87 91 DOI 10.1007/s10485-013-9325-8 of Gorensten Projectve Modules Nan Gao eceved: 26 October 2012 / Accepted: 8 January 2013 / Publshed onlne: 26 July 2013 The Author(s)

More information

On the Operation A in Analysis Situs. by Kazimierz Kuratowski

On the Operation A in Analysis Situs. by Kazimierz Kuratowski v1.3 10/17 On the Operaton A n Analyss Stus by Kazmerz Kuratowsk Author s note. Ths paper s the frst part slghtly modfed of my thess presented May 12, 1920 at the Unversty of Warsaw for the degree of Doctor

More information

n α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0

n α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0 MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector

More information

A CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA

A CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA A CLASS OF RECURSIVE SETS Florentn Smarandache Unversty of New Mexco 200 College Road Gallup, NM 87301, USA E-mal: smarand@unmedu In ths artcle one bulds a class of recursve sets, one establshes propertes

More information

Discrete Mathematics. Laplacian spectral characterization of some graphs obtained by product operation

Discrete Mathematics. Laplacian spectral characterization of some graphs obtained by product operation Dscrete Mathematcs 31 (01) 1591 1595 Contents lsts avalable at ScVerse ScenceDrect Dscrete Mathematcs journal homepage: www.elsever.com/locate/dsc Laplacan spectral characterzaton of some graphs obtaned

More information

SL n (F ) Equals its Own Derived Group

SL n (F ) Equals its Own Derived Group Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu

More information

LECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.

LECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture. LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,

More information

arxiv: v1 [math.co] 1 Mar 2014

arxiv: v1 [math.co] 1 Mar 2014 Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest

More information

2 MADALINA ROXANA BUNECI subset G (2) G G (called the set of composable pars), and two maps: h (x y)! xy : G (2)! G (product map) x! x ;1 [: G! G] (nv

2 MADALINA ROXANA BUNECI subset G (2) G G (called the set of composable pars), and two maps: h (x y)! xy : G (2)! G (product map) x! x ;1 [: G! G] (nv An applcaton of Mackey's selecton lemma Madalna Roxana Bunec Abstract. Let G be a locally compact second countable groupod. Let F be a subset of G (0) meetng each orbt exactly once. Let us denote by df

More information

COUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES

COUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES COUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES by J. H. WEBB (Receved 9th December 1971) A barrel n a locally convex Hausdorff space E[x] s a closed absolutely convex absorbent set. A a-barrel

More information

Descent is a technique which allows construction of a global object from local data.

Descent is a technique which allows construction of a global object from local data. Descent Étale topology Descent s a technque whch allows constructon of a global object from local data. Example 1. Take X = S 1 and Y = S 1. Consder the two-sheeted coverng map φ: X Y z z 2. Ths wraps

More information

On Finite Rank Perturbation of Diagonalizable Operators

On Finite Rank Perturbation of Diagonalizable Operators Functonal Analyss, Approxmaton and Computaton 6 (1) (2014), 49 53 Publshed by Faculty of Scences and Mathematcs, Unversty of Nš, Serba Avalable at: http://wwwpmfnacrs/faac On Fnte Rank Perturbaton of Dagonalzable

More information

arxiv: v1 [math.ct] 17 Feb 2017

arxiv: v1 [math.ct] 17 Feb 2017 Notes on Multple Hgher Category Theory Camell Kachour February 20, 2017 arxv:1702.05206v1 [math.ct] 17 Feb 2017 Abstract These notes follows the artcles [4, 5, 8] whch show how powerful can be the method

More information

ALGEBRA SCHEMES AND THEIR REPRESENTATIONS

ALGEBRA SCHEMES AND THEIR REPRESENTATIONS ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category

More information

Case Study of Markov Chains Ray-Knight Compactification

Case Study of Markov Chains Ray-Knight Compactification Internatonal Journal of Contemporary Mathematcal Scences Vol. 9, 24, no. 6, 753-76 HIKAI Ltd, www.m-har.com http://dx.do.org/.2988/cms.24.46 Case Study of Marov Chans ay-knght Compactfcaton HaXa Du and

More information

arxiv: v1 [math.co] 12 Sep 2014

arxiv: v1 [math.co] 12 Sep 2014 arxv:1409.3707v1 [math.co] 12 Sep 2014 On the bnomal sums of Horadam sequence Nazmye Ylmaz and Necat Taskara Department of Mathematcs, Scence Faculty, Selcuk Unversty, 42075, Campus, Konya, Turkey March

More information

UNIQUE FACTORIZATION OF COMPOSITIVE HEREDITARY GRAPH PROPERTIES

UNIQUE FACTORIZATION OF COMPOSITIVE HEREDITARY GRAPH PROPERTIES UNIQUE FACTORIZATION OF COMPOSITIVE HEREDITARY GRAPH PROPERTIES IZAK BROERE AND EWA DRGAS-BURCHARDT Abstract. A graph property s any class of graphs that s closed under somorphsms. A graph property P s

More information

Affine and Riemannian Connections

Affine and Riemannian Connections Affne and Remannan Connectons Semnar Remannan Geometry Summer Term 2015 Prof Dr Anna Wenhard and Dr Gye-Seon Lee Jakob Ullmann Notaton: X(M) space of smooth vector felds on M D(M) space of smooth functons

More information

arxiv: v6 [math.nt] 23 Aug 2016

arxiv: v6 [math.nt] 23 Aug 2016 A NOTE ON ODD PERFECT NUMBERS JOSE ARNALDO B. DRIS AND FLORIAN LUCA arxv:03.437v6 [math.nt] 23 Aug 206 Abstract. In ths note, we show that f N s an odd perfect number and q α s some prme power exactly

More information

On quasiperfect numbers

On quasiperfect numbers Notes on Number Theory and Dscrete Mathematcs Prnt ISSN 1310 5132, Onlne ISSN 2367 8275 Vol. 23, 2017, No. 3, 73 78 On quasperfect numbers V. Sva Rama Prasad 1 and C. Suntha 2 1 Nalla Malla Reddy Engneerng

More information

COMPLEX NUMBERS AND QUADRATIC EQUATIONS

COMPLEX NUMBERS AND QUADRATIC EQUATIONS COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not

More information

REGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction

REGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997

More information

Representation theory and quantum mechanics tutorial Representation theory and quantum conservation laws

Representation theory and quantum mechanics tutorial Representation theory and quantum conservation laws Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac

More information

Soft Neutrosophic Bi-LA-semigroup and Soft Neutrosophic N-LA-seigroup

Soft Neutrosophic Bi-LA-semigroup and Soft Neutrosophic N-LA-seigroup Neutrosophc Sets and Systems, Vol. 5, 04 45 Soft Neutrosophc B-LA-semgroup and Soft Mumtaz Al, Florentn Smarandache, Muhammad Shabr 3,3 Department of Mathematcs, Quad--Azam Unversty, Islamabad, 44000,Pakstan.

More information

Fixed points of IA-endomorphisms of a free metabelian Lie algebra

Fixed points of IA-endomorphisms of a free metabelian Lie algebra Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ

More information

Neutrosophic Bi-LA-Semigroup and Neutrosophic N-LA- Semigroup

Neutrosophic Bi-LA-Semigroup and Neutrosophic N-LA- Semigroup Neutrosophc Sets Systems, Vol. 4, 04 9 Neutrosophc B-LA-Semgroup Neutrosophc N-LA- Semgroup Mumtaz Al *, Florentn Smarache, Muhammad Shabr 3 Munazza Naz 4,3 Department of Mathematcs, Quad--Azam Unversty,

More information

Math 205A Homework #2 Edward Burkard. Assume each composition with a projection is continuous. Let U Y Y be an open set.

Math 205A Homework #2 Edward Burkard. Assume each composition with a projection is continuous. Let U Y Y be an open set. Math 205A Homework #2 Edward Burkard Problem - Determne whether the topology T = fx;?; fcg ; fa; bg ; fa; b; cg ; fa; b; c; dgg s Hausdor. Choose the two ponts a; b 2 X. Snce there s no two dsjont open

More information

9 Characteristic classes

9 Characteristic classes THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct

More information

ALGEBRA SCHEMES AND THEIR REPRESENTATIONS

ALGEBRA SCHEMES AND THEIR REPRESENTATIONS ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category

More information

5 The Rational Canonical Form

5 The Rational Canonical Form 5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces

More information

Smooth Neutrosophic Topological Spaces

Smooth Neutrosophic Topological Spaces 65 Unversty of New Mexco Smooth Neutrosophc opologcal Spaces M. K. EL Gayyar Physcs and Mathematcal Engneerng Dept., aculty of Engneerng, Port-Sad Unversty, Egypt.- mohamedelgayyar@hotmal.com Abstract.

More information

On wgrα-continuous Functions in Topological Spaces

On wgrα-continuous Functions in Topological Spaces Vol.3, Issue.2, March-Aprl. 2013 pp-857-863 ISSN: 2249-6645 On wgrα-contnuous Functons n Topologcal Spaces A.Jayalakshm, 1 C.Janak 2 1 Department of Mathematcs, Sree Narayana Guru College, Combatore, TN,

More information

Maximizing the number of nonnegative subsets

Maximizing the number of nonnegative subsets Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum

More information

Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix

Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could

More information

MATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1

MATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1 MATH 5707 HOMEWORK 4 SOLUTIONS CİHAN BAHRAN 1. Let v 1,..., v n R m, all lengths v are not larger than 1. Let p 1,..., p n [0, 1] be arbtrary and set w = p 1 v 1 + + p n v n. Then there exst ε 1,..., ε

More information

where a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets

where a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets 11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of

More information

Randić Energy and Randić Estrada Index of a Graph

Randić Energy and Randić Estrada Index of a Graph EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 5, No., 202, 88-96 ISSN 307-5543 www.ejpam.com SPECIAL ISSUE FOR THE INTERNATIONAL CONFERENCE ON APPLIED ANALYSIS AND ALGEBRA 29 JUNE -02JULY 20, ISTANBUL

More information

DONALD M. DAVIS. 1. Main result

DONALD M. DAVIS. 1. Main result v 1 -PERIODIC 2-EXPONENTS OF SU(2 e ) AND SU(2 e + 1) DONALD M. DAVIS Abstract. We determne precsely the largest v 1 -perodc homotopy groups of SU(2 e ) and SU(2 e +1). Ths gves new results about the largest

More information

International Journal of Algebra, Vol. 8, 2014, no. 5, HIKARI Ltd,

International Journal of Algebra, Vol. 8, 2014, no. 5, HIKARI Ltd, Internatonal Journal of Algebra, Vol. 8, 2014, no. 5, 229-238 HIKARI Ltd, www.m-hkar.com http://dx.do.org/10.12988/ja.2014.4212 On P-Duo odules Inaam ohammed Al Had Department of athematcs College of Educaton

More information

THE SUMMATION NOTATION Ʃ

THE SUMMATION NOTATION Ʃ Sngle Subscrpt otaton THE SUMMATIO OTATIO Ʃ Most of the calculatons we perform n statstcs are repettve operatons on lsts of numbers. For example, we compute the sum of a set of numbers, or the sum of the

More information

FREQUENCY DISTRIBUTIONS Page 1 of The idea of a frequency distribution for sets of observations will be introduced,

FREQUENCY DISTRIBUTIONS Page 1 of The idea of a frequency distribution for sets of observations will be introduced, FREQUENCY DISTRIBUTIONS Page 1 of 6 I. Introducton 1. The dea of a frequency dstrbuton for sets of observatons wll be ntroduced, together wth some of the mechancs for constructng dstrbutons of data. Then

More information

THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS

THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS Dscussones Mathematcae Graph Theory 27 (2007) 401 407 THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS Guantao Chen Department of Mathematcs and Statstcs Georga State Unversty,

More information

Another converse of Jensen s inequality

Another converse of Jensen s inequality Another converse of Jensen s nequalty Slavko Smc Abstract. We gve the best possble global bounds for a form of dscrete Jensen s nequalty. By some examples ts frutfulness s shown. 1. Introducton Throughout

More information

ON THE JACOBIAN CONJECTURE

ON THE JACOBIAN CONJECTURE v v v Far East Journal of Mathematcal Scences (FJMS) 17 Pushpa Publshng House, Allahabad, Inda http://www.pphm.com http://dx.do.org/1.17654/ms1111565 Volume 11, Number 11, 17, Pages 565-574 ISSN: 97-871

More information

Foundations of Arithmetic

Foundations of Arithmetic Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an

More information

On fuzzification of algebraic and topological structures

On fuzzification of algebraic and topological structures On fuzzfcaton of algebrac and topologcal structures Sergejs Solovjovs Department of Mathematcs, Unversty of Latva 19 Rana Blvd., Rga LV-1586, Latva sergejs@lu.lv Abstract Gven a concrete category (A, U)

More information

R n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β

R n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back

More information

THERE ARE INFINITELY MANY FIBONACCI COMPOSITES WITH PRIME SUBSCRIPTS

THERE ARE INFINITELY MANY FIBONACCI COMPOSITES WITH PRIME SUBSCRIPTS Research and Communcatons n Mathematcs and Mathematcal Scences Vol 10, Issue 2, 2018, Pages 123-140 ISSN 2319-6939 Publshed Onlne on November 19, 2018 2018 Jyot Academc Press http://jyotacademcpressorg

More information

CONJUGACY IN THOMPSON S GROUP F. 1. Introduction

CONJUGACY IN THOMPSON S GROUP F. 1. Introduction CONJUGACY IN THOMPSON S GROUP F NICK GILL AND IAN SHORT Abstract. We complete the program begun by Brn and Squer of charactersng conjugacy n Thompson s group F usng the standard acton of F as a group of

More information

SPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS

SPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS SPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS ROBERT S. COULTER AND TODD GUTEKUNST Abstract. Ths artcle ntroduces a new approach to studyng dfference sets

More information

Subset Topological Spaces and Kakutani s Theorem

Subset Topological Spaces and Kakutani s Theorem MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered

More information

Some congruences related to harmonic numbers and the terms of the second order sequences

Some congruences related to harmonic numbers and the terms of the second order sequences Mathematca Moravca Vol. 0: 06, 3 37 Some congruences related to harmonc numbers the terms of the second order sequences Neşe Ömür Sbel Koaral Abstract. In ths aer, wth hels of some combnatoral denttes,

More information

BOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS

BOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all

More information

On intransitive graph-restrictive permutation groups

On intransitive graph-restrictive permutation groups J Algebr Comb (2014) 40:179 185 DOI 101007/s10801-013-0482-5 On ntranstve graph-restrctve permutaton groups Pablo Spga Gabrel Verret Receved: 5 December 2012 / Accepted: 5 October 2013 / Publshed onlne:

More information

arxiv: v4 [math.ac] 20 Sep 2013

arxiv: v4 [math.ac] 20 Sep 2013 arxv:1207.2850v4 [math.ac] 20 Sep 2013 A SURVEY OF SOME RESULTS FOR MIXED MULTIPLICITIES Le Van Dnh and Nguyen Ten Manh Truong Th Hong Thanh Department of Mathematcs, Hano Natonal Unversty of Educaton

More information

Ideal Amenability of Second Duals of Banach Algebras

Ideal Amenability of Second Duals of Banach Algebras Internatonal Mathematcal Forum, 2, 2007, no. 16, 765-770 Ideal Amenablty of Second Duals of Banach Algebras M. Eshagh Gord (1), F. Habban (2) and B. Hayat (3) (1) Department of Mathematcs, Faculty of Scences,

More information

The probability that a pair of group elements is autoconjugate

The probability that a pair of group elements is autoconjugate Proc. Indan Acad. Sc. (Math. Sc.) Vol. 126, No. 1, February 2016, pp. 61 68. c Indan Academy of Scences The probablty that a par of group elements s autoconjugate MOHAMMAD REZA R MOGHADDAM 1,2,, ESMAT

More information