SYMMETRIZABLE SPACES AND SEPARABILITY
|
|
- Shanon Martin
- 5 years ago
- Views:
Transcription
1 Volume 4, 1979 Pges SYMMETRIZABLE SPACES AND SEPARABILITY by R. M. Stephenson, Jr. Topology Proceedings Web: Mil: Topology Proceedings Deprtment of Mthemtics & Sttistics Auburn University, Albm 36849, USA E-mil: ISSN: COPYRIGHT c by Topology Proceedings. All rights reserved.
2 TOPOLOGY PROCEEDINGS Volume SYMMETRIZABLE SPACES AND SEPARABILITY R. M. Stephenson, Jr. For severl yers topologists hve been interested in discovering properties of feebly compct syrnmetrizble spces nd in lerning if they must ll be seprble nd e-countbly compct (defined below), s is the cse with the well-known feebly compct Moore spce ~ in [GJ, 51] (see lso [M3, p. 66 nd p. 381]). Some of the recent results which hve been obtined will be given here, nd exmples will be constructed in order to prove tht (1) there exists feebly compct Moore spce which is not e-countbly compct, nd (2) there exists feebly compct semimetrizble Husdorff spce which is not seprble. Recll tht topologicl spce is clled feebly compct if every loclly finite system of open sets is finite. It is well-known tht in completely regulr spces feeble compctness nd pseudocompctness (every continuous rel vlued function is bounded) re equivlent concepts, nd in norml spces feeble compctness,nd countble compctness re equivlent. A topologicl spce X is sid to be symmetrizble [All if there exists mpping d: X x X ~ [0,00) such tht: i) d(x,y) d(y,x) for ll x,y E Xi ii) d(x,y) 0 i-f nd only if x = Yi nd iii) for every set V c X, V is open if nd only if for ech point v E V, there exists e > 0 such tht V => B(v,e) - {x: d(x,v) < e}.
3 590 Stephenson In cse d cn be chosen so tht, in ddition, ech B(v,e) is neighborhood of v, then X is clled semimetrizble. Let us first consider seprbility nd then e-countble compctness. 1. Seprbility nd Feeble Compctness The first result I know of linking these concepts for symmetrizble spces is the following. Theorem 1.1 (Reed [R]). Every Moore-closed spce is seprble. Recll tht if P is property of topologies, P-spce X is clled P-closed if X is closed subspce of every P-spce in which it cn be embedded. By result of J. Green [G] Moore spce is Mooreclosed if nd only if it is feebly compct. Severl yers fter Theorem 1.1 ws discovered, R. W. Heth obtined the following result. Theorem 1.2 (Heth). Every regulr, feebly compct semimetrizble spce is Moore spce. Thus, the hypothesis of 1.1 could be t lest formlly wekened to regulr, feebly compct, nd semimetrizble. Then in 1977 the next result ws obtined. Theorem 1.3 ([52]). Every Bire, feebly compct semimetrizble spce is seprble. Becuse every regulr, feebly cpmpct spce is Bire
4 TOPOLOGY PROCEEDINGS Volume ([M2], see lso [CN]), Theorem 1.3 is n extension of Theorem 1.1. A construction given in [53] showed tht "semimetrizble" could not be replced by "symmetrizble" in 1.3. It ws proved there tht for every crdinl number n, there exists Bire, feebly compct, symmetrizble Husdorff spce hving no dense subset of crdinlity ~ n. One direction in which 1.3 cn be extended is indicted by the following result concerning the fmily J studied in [D], [DGN], [DS], nd [HS]. Theorem 1.4 ([DS]). Let X be Bire, feebly compct neighborhood J-spce, nd let I be the set of isolted points of x. Then X hs dense subset D with IDI < mx{ii!,h }. - 0 We will now give n exmple which provides negtive nswer to the question [52]: Is every feebly compct semimetrizble spce seprble? Theorem 1.5. Let n be n infinite crdinl number. Then there exists Husdorff, feebly compct developble spce X which hs no dense subset of crdinlity < n. Construction. Let Q be the set of rtionl numbers, with its usul topology, let the crdinl number n hve the discrete topology, nd let Y = Q x n hve the product topology. Let N denote the set of nturl numbers nd list the members of Q s {qi: i EN}. For ech i E N let F i = {qk: k < i} x n. Let 5 be the set of ll countble clopen filter bses V on Y such tht: i) V hs no dherent point in Y, i.e., n {V: V E V} $1 nd
5 592 Stephenson ii) the sets comprising V cn be lbeled {Vi: i EN}, where for ech i, V. ~ V. 1 nd V. n F. =~. Next, let T be mximl subset of S such tht whenever V,W E! with V ~ W, then there exist disjoint sets V E V nd W E W. Select distinct points PV f. Y for ech V E!, nd let X = Y U {PV: V E!}, topologized s follows: ech open subset of Y is open in Xi nd neighborhood of pointp V is ny set U c X such tht for some V E V, one hs U ~ {PV} u V. Proof. Becuse no merr~er of T hs n dherent point in Y, nd becuse two distinct members of T contin t lest two disjoint sets, it is esy to see tht X is Husdorff spce. A development for X will now be given. For ech i E N, men, nd point qk E Q let { (q, m) E Y: Iq - qk I < 1/i} Lbel the members of members of T s in ii) nd for ech i E N nd VET let B (PV' i) = {PV} u v 1. Define lj. = {B ( (qk ' m), i) : (qk,m) E Y)} U {B (PV' i) : V E!}, 1 i E N. Tht lj., i E N, is development for the spce X is 1 cler except possibly t the points of Y. For point (qk,m) nd n open neighborhood U of (qk,m), find j E N with B(qk,m),j) c U, nd note tht for i > mx{2.,k}, one hs - J str «qk,m),lj i ) c U, since (qk,m) E F nd hence (qk,m) ~ i B(PV,i) for ny V E!. Suppose X fils to be feebly compct. Then [BCM] there exists pirwise disjoint, loclly finite, countbly
6 TOPOLOGY PROCEEDINGS Volume infinite fmily {U : i E N} of nonempty open subsets of X. i For ech i E N, F i is closed nowhere dense subset of Y nd Y is dense subset of X, so there exists nonempty clopen subset C. of Y with C. c U.\F. Let V ' = U{C : k > i} nd k V = {V.: i E N} nd note tht V hs no dherent point in X 1 since {C : ken} is loclly finite. But clerly i) nd ii) k re stisfied nd so V E S. By the mximlity of!, there must exist WE! such tht V n w ~ ~ for ll sets V E V nd W E W. From the ltter, however, it would follow tht Pw is n dherent point of V, in contrdiction of the fct tht V hs no dherent point in X. To complete the proof, it suffices to observe tht Y is n open subset of X hving no dense subset of crdinlity < n, nd so X cnnot hve dense subset of crdinlity < n. Let us conclude this section with question. Question 1.6. Is ~very regulr, feebly compct symmetrizble spce seprble? As noted in [S3], n exmple providing negtive nswer to 1.6 would lso provide negtive nswer to the question of E. Michel: Is every point of regulr symmetrizble spce Go? (Becuse, by result of I. Glicksberg, every Go point of regulr feebly compct spce hs countble neighborhood bse, nd it is known tht Husdorff first countble symmetrizble spce is ctully semimetrizble.). The reder interested in countble chin nd completeness type xioms which imply tht Moore spce be seprble is referred to [A2], [H], [Ml], [M4], nd [R].
7 594 Stephenson 2. e-countble'compctness nd Feeble Compctness A topologicl spce X is clled e-countbly compct with respect to dense subset D if every infinite subset of D hs limit point in X. A spce X is clled e-countbly compct if there exists dense subset of X with respect to which X is e-countbly compct. Like every feebly compct spce hving dense set of isolted points, the noncompct Moore-closed spce ~ of [GJ, 5I] must be e-countbly compct (with respect to its set of isolted points). An interesting question rised by J. Green is the following. Question 2.1 (Green [G]). Does every noncompct Moore-closed spce contin noncompct 3 e-countbly compct subspce? The construction below provides prtil nswer Exmple 2.2. There exists loclly compct, zerodimensionl Moore-closed spce X which fils to be e-countbly compct. Description of X. Let C be the Cntor set, N = the set of nturl numbers, nd Y = C x N, with the product topology. Let c = 2~o nd {M : < c} be 1-1 listing of the members of mximl infinite fmily mof lmost disjoint infinite subsets of N. Let 0 = {D : < c} be the fmily of ll countble dense subsets of Y, nd for ech ordinl < c nd nturl number n E M, choose one point nd let d,n E D n (C x {n}),
8 TOPOLOGY PROCEEDINGS Volume J {d n EM}.,n Next, for ech < c, let! be mximl fmily such tht: i) ech] E T is countbly infinite, pirwise dis - joint, loclly finite collection of compct open subsets of C x M ; ii) if ]1 nd ]2 E! nd ]1 ~ finite sets ]i c J i, (U(]2']2)) = ~; nd ]2' then there exist i = 1,2, so tht (U(]l']l)) n iii) ech] E T stisfies J n (U]) =~. Finlly, --. select distinct points PJ~, t Y nd let X = Y U {PJ~ : < c nd] E T },, --. topologized s follows: ech open subset of Y is open in X; nd neighborhood of point PJ~ is, ny set V C X such tht for some finite set] c ], one hs V~{PJ~ } U (U(]V)), Proof. To see tht X is Husdorff, consider distinct points x,y E X. If x,y E Y, it follows from the openness of Y in X tht x,y hve disjoint neighborhoods. Suppose x E Y nd y = P],; then by the locl finiteness of J in Y there exist n open neighborhood V of x in Y nd finite subset ] of ] such tht V n ({PJ,} U (U(J\]))) =~. If x = p], nd y = PV, ' where ] ~ V, then by ii), one cn esily find disjoint neighborhoods of x nd y. Finlly, consider the cse x = p], nd y = PV,b' where ~ b. The set F = M n M is finite, so C x F is compct nd there must exist b finite subsets] of ] nd ~ of V such tht (U (]\])) n (C x F) = <p = (U (V\~)) n (C x F).
9 596 Stephenson Then {x} U (U(],]» nd {y} U (u(v'9) re disjoint neighborhoods of x nd y. Since Y is loclly compct nd zero-dimensionl subspce of the Husdorff spce X, nd since ech point of X\Y clerly hs neighborhood bse consisting of compct open subsets of X, the spce X is loclly compct nd zero-dimensionl. A development y,n E N, will now be defined for X. n For ech n E N, point (x,k) E Y, nd point p], E X\Y, let nd B ( (x, k), n) = {(y,k) E Y: Ix - y I < ~} B (pjr-:,,n) {P],} U (U{T E ]: T n (c x {1,2,,n}) <I> } ) It suffices to tke, for ech n E N, y n = {B ( (x,k), n): (x, k) E Y} U {B (pjr-:,, n) : pjr-:, E X\Y}. To verify tht X fils to be e-countbly compct, note tht if D is ny dense subset of X, then D n Y is dense subset of the second countble spce y (since y is open in X) nd so for some < c., D c: D. Then J is n infinite subset of D which by i) nd iii) hs no limit point in X. To complete the proof, suppose there exists n infinite loclly finite fmily C of open subsets of X. Then, becuse Y is dense in X, one cn find set M E m, n infinite set H c: M, nd 1-1 mpping f: H ~ C such tht for ech n E H, (C x {n}) n f(n) ~ <1>. Further, for ech n E H one cn find compct open set K c: (C x {n}) n (f(n)\{d }). Then n,n K = {K : n E H} is countbly infinite, pirwise disjoint n fmily of compct open subsets of (C x M)\J which is
10 TOPOLOGY PROCEEDINGS Volume loclly finite in X nd Y. But then, by the mxim1ity of T, there must exist JET such tht for every finite sub - -- set] of ], one hs (U{]\]» n K # for infinitely mny n n E H. Thus K nd, hence, C fil to be loclly finite t the point PJ~,which is contrdiction., We will conclude by stting some results which relte e-countb1e compctness nd seprbility. Theorem 2.3 ([Sl]). (i) Every e-countbly compct semimetrizble spce is seprble. (ii) If symmetrizble spce is e-countbly compct with respect to set D, then every discrete subspce of D is countble. Theorem 2.4 (Nedev [N]). Every countbly compct (Husdorff) symmetrizble spce is compct (nd metrizble). Question 2.5. Is every e-countbly compct symmetrizble spce seprble? References [A1] [A2] [BCM] A. V. Arhnge1'skii, "Mppings nd spces, Russin Mth. Surveys 21 (1966), S. Armentrout, Completing Moore spces, Proc. Top. Conf. Arizon Stte University (1967), R. W. Bgley, E. H. Connell, nd J. D. McKnight, Jr., On properties chrcterizing pseudocompct spces, Proc. Arner. Mth. Soc. 9 (1958), 500~506. [en] W. W. ~omfort nd S. Negrepontis, Continuous pseudometrics, Lecture Notes in Pure nd Applied Mthemtics, Vol. 14 (1975), Mrcel Dekker, New York. [D] S. W. Dvis, On ] -spces, Generl Topology nd Its r App1.9 (1978),
11 598 Stephenson [DGN] [DS] [GJ] [G] [H] [HS] [MIl [M2l [M3] [M4] [N] [R] [Sl] S. W. Dvis, G. Gruenhge, nd P. J. Nyikos, Go-sets in symmetrizble nd relted spces, Generl Topology nd Its App1. 9 (1978), S. W. Dvis nd R. M. Stephenson, Jr., Seprbility nd miniml wek bse topologies, Proc. Amer. Mth. Soc. 74 (1979), L. Gillmn nd M. Jerison, Rings of continuous functions, Vn Nostrnd, Princeton, N.J. (1960). J. W. Green, Moore-closed spces, completeness, nd centered bses, Generl Topology nd Its App1. 4 (1974), R. W. Heth, Semi-metric spces nd relted spces, Proc. Top. Conf. Arizon Stte University (1967), P. W. Hrley III nd R. M. Stephenson, Jr., Symmetrizble nd relted spces, Trns. Amer. Mth. Soc. 219 (1976), L. F. McAuley, A reltion between seprbility, completeness nd normlity in semi-metric spces, Pcific J. Mth. 6 (1956), R. A. McCoy, A filter chrcteriztion of regulr Bire spces, Proc. Amer. Mth. Soc. 40 (1973), R. L. Moore, Foundtions of point set theory, Amer. Mth. Soc. Colloq. Pub1. 13 (1932)., Concerning seprbility, Proc. Nt. Acd. Sci. U.S.A. 28 (1942), Nedev, Symmetrizble spces nd finl compctness, Soviet Mth. Dok1 8 (1967), G. M. Reed, On chin conditions in Moore spces, Generl Topology nd Its App1. 4 (1974), R. M. Stephenson, Jr., Symmetrizble, J-, nd wekly first countble spces, Cn. J. Mth. 29 (1977), [S2], Symmetrizble-closed spces, Pcific J. Mth. 68 (1977), [53], Ner compctness nd seprbility of symmetrizble spces, Proc. Amer. Mth. Soc. 68 (1978),
12 TOPOLOGY PROCEEDINGS Volume University of South Crolin Columbi, South Crolin 29208
SPACES 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 informationA NOTE ON PREPARACOMPACTNESS
Volume 1, 1976 Pges 253 260 http://topology.uburn.edu/tp/ A NOTE ON PREPARACOMPACTNE by J. C. mith Topology Proceedings Web: http://topology.uburn.edu/tp/ Mil: Topology Proceedings Deprtment of Mthemtics
More informationDISCRETE SEQUENCES OF POINTS
Volume 3, 1978 Pges 237 265 http://topology.uburn.edu/tp/ DISCRETE SEQUENCES OF POINTS by J. E. Vughn Topology Proceedings Web: http://topology.uburn.edu/tp/ Mil: Topology Proceedings Deprtment of Mthemtics
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 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 informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationON THE C-INTEGRAL BENEDETTO BONGIORNO
ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives
More informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj 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 informationRudin s Principles of Mathematical Analysis: Solutions to Selected Exercises. Sam Blinstein UCLA Department of Mathematics
Rudin s Principles of Mthemticl Anlysis: Solutions to Selected Exercises Sm Blinstein UCLA Deprtment of Mthemtics Mrch 29, 2008 Contents Chpter : The Rel nd Complex Number Systems 2 Chpter 2: Bsic Topology
More informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
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 informationTHE NORMAL MOORE SPACE PROBLEM
Volume 3, 1978 Pges 473 493 http://topology.uburn.edu/tp/ THE NORMAL MOORE SPACE PROBLEM by Peter Nyikos Topology Proceedings Web: http://topology.uburn.edu/tp/ Mil: Topology Proceedings Deprtment of Mthemtics
More informationA HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction
Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1
More informationMath Solutions to homework 1
Mth 75 - Solutions to homework Cédric De Groote October 5, 07 Problem, prt : This problem explores the reltionship between norms nd inner products Let X be rel vector spce ) Suppose tht is norm on X tht
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 informationA PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES
INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
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 informationTheory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38
Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control
More informationThe 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 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 information2 Fundamentals of Functional Analysis
Fchgruppe Angewndte Anlysis und Numerik Dr. Mrtin Gutting 22. October 2015 2 Fundmentls of Functionl Anlysis This short introduction to the bsics of functionl nlysis shll give n overview of the results
More informationA NOTE ON NORMALITY AND COLLECTIONWISE NORMALITY
Volume 7, 1982 Pges 267 277 http://topology.uburn.edu/tp/ A NOTE ON NORMALITY AND COLLECTIONWISE NORMALITY by Frnklin D. Tll Topology Proceedings Web: http://topology.uburn.edu/tp/ Mil: Topology Proceedings
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 informationarxiv: v1 [math.ra] 1 Nov 2014
CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv:14110170v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs,
More informationCMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014
CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA
More informationLecture Notes on Functional Analysis. Kai-Seng Chou Department of Mathematics The Chinese University of Hong Kong Hong Kong
Lecture Notes on Functionl Anlysis Ki-Seng Chou Deprtment of Mthemtics The Chinese University of Hong Kong Hong Kong My 29, 2014 2 Contents 1 Normed Spce: Exmples 5 1.1 Vector Spces of Functions...................................
More informationTheory of Computation Regular Languages
Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of
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 informationTheory of the Integral
Spring 2012 Theory of the Integrl Author: Todd Gugler Professor: Dr. Drgomir Sric My 10, 2012 2 Contents 1 Introduction 5 1.0.1 Office Hours nd Contct Informtion..................... 5 1.1 Set Theory:
More informationA Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions
Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch
More informationMAT 215: Analysis in a single variable Course notes, Fall Michael Damron
MAT 215: Anlysis in single vrible Course notes, Fll 2012 Michel Dmron Compiled from lectures nd exercises designed with Mrk McConnell following Principles of Mthemticl Anlysis, Rudin Princeton University
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 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 informationUniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that
Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de
More informationHarvard University Computer Science 121 Midterm October 23, 2012
Hrvrd University Computer Science 121 Midterm Octoer 23, 2012 This is closed-ook exmintion. You my use ny result from lecture, Sipser, prolem sets, or section, s long s you quote it clerly. The lphet is
More informationMath 231E, Lecture 33. Parametric Calculus
Mth 31E, Lecture 33. Prmetric Clculus 1 Derivtives 1.1 First derivtive Now, let us sy tht we wnt the slope t point on prmetric curve. Recll the chin rule: which exists s long s /. = / / Exmple 1.1. Reconsider
More informationCHAPTER 4 MULTIPLE INTEGRALS
CHAPTE 4 MULTIPLE INTEGAL The objects of this chpter re five-fold. They re: (1 Discuss when sclr-vlued functions f cn be integrted over closed rectngulr boxes in n ; simply put, f is integrble over iff
More informationOn the Continuous Dependence of Solutions of Boundary Value Problems for Delay Differential Equations
Journl of Computtions & Modelling, vol.3, no.4, 2013, 1-10 ISSN: 1792-7625 (print), 1792-8850 (online) Scienpress Ltd, 2013 On the Continuous Dependence of Solutions of Boundry Vlue Problems for Dely Differentil
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 informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
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 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 informationSOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set
SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
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 informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
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 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 informationFurther Topics in Analysis
Further Topics in Anlysis Lecture Notes 2012/13 Lecturer: Prof. Jens Mrklof Notes by Dr. Vitly Moroz School of Mthemtics University of Bristol BS8 1TW Bristol, UK c University of Bristol 2013 Contents
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 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 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 informationHouston Journal of Mathematics. c 1999 University of Houston Volume 25, No. 4, 1999
Houston Journl of Mthemtics c 999 University of Houston Volume 5, No. 4, 999 ON THE STRUCTURE OF SOLUTIONS OF CLSS OF BOUNDRY VLUE PROBLEMS XIYU LIU, BOQING YN Communicted by Him Brezis bstrct. Behviour
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 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 informationof Banach spaces Abstract of the Banach space, which is at least the cardinality of the continuum.
The crdinlity of Hmel bses of Bnch spces Lorenz Hlbeisen 1 nd Norbert Hungerbühler Abstrct We show tht in n infinite dimensionl Bnch spce, every Hmel bse hs the crdinlity of the Bnch spce, which is t lest
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 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 informationNon Deterministic Automata. Linz: Nondeterministic Finite Accepters, page 51
Non Deterministic Automt Linz: Nondeterministic Finite Accepters, pge 51 1 Nondeterministic Finite Accepter (NFA) Alphbet ={} q 1 q2 q 0 q 3 2 Nondeterministic Finite Accepter (NFA) Alphbet ={} Two choices
More informationdf dt f () b f () a dt
Vector lculus 16.7 tokes Theorem Nme: toke's Theorem is higher dimensionl nlogue to Green's Theorem nd the Fundmentl Theorem of clculus. Why, you sk? Well, let us revisit these theorems. Fundmentl Theorem
More informationProperties of the Riemann Integral
Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2
More informationEntrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim
1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your
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 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 informationUNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE
UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence
More informationFirst Midterm Examination
Çnky University Deprtment of Computer Engineering 203-204 Fll Semester First Midterm Exmintion ) Design DFA for ll strings over the lphet Σ = {,, c} in which there is no, no nd no cc. 2) Wht lnguge does
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationLineability and spaceability of sets of functions on R
Linebility nd spcebility of sets of functions on R Richrd Aron, V. I. Gurriy, J. B. Seone Abstrct We show tht there is n infinite dimensionl vector spce of differentible functions on R, every non-zero
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 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 informationNote 16. Stokes theorem Differential Geometry, 2005
Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion
More informationInfinite Geometric Series
Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
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 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 informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationHandout 4. Inverse and Implicit Function Theorems.
8.95 Hndout 4. Inverse nd Implicit Function Theorems. Theorem (Inverse Function Theorem). Suppose U R n is open, f : U R n is C, x U nd df x is invertible. Then there exists neighborhood V of x in U nd
More informationA Note on Heredity for Terraced Matrices 1
Generl Mthemtics Vol. 16, No. 1 (2008), 5-9 A Note on Heredity for Terrced Mtrices 1 H. Crwford Rhly, Jr. In Memory of Myrt Nylor Rhly (1917-2006) Abstrct A terrced mtrix M is lower tringulr infinite mtrix
More informationBinding Numbers for all Fractional (a, b, k)-critical Graphs
Filomt 28:4 (2014), 709 713 DOI 10.2298/FIL1404709Z Published by Fculty of Sciences nd Mthemtics, University of Niš, Serbi Avilble t: http://www.pmf.ni.c.rs/filomt Binding Numbers for ll Frctionl (, b,
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 information1 Sets Functions and Relations Mathematical Induction Equivalence of Sets and Countability The Real Numbers...
Contents 1 Sets 1 1.1 Functions nd Reltions....................... 3 1.2 Mthemticl Induction....................... 5 1.3 Equivlence of Sets nd Countbility................ 6 1.4 The Rel Numbers..........................
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 informationMapping the delta function and other Radon measures
Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support
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 information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
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 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 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 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 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 informationNumerical Methods I Orthogonal Polynomials
Numericl Methods I Orthogonl Polynomils Aleksndr Donev Cournt Institute, NYU 1 donev@cournt.nyu.edu 1 MATH-GA 2011.003 / CSCI-GA 2945.003, Fll 2014 Nov 6th, 2014 A. Donev (Cournt Institute) Lecture IX
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationMath 426: Probability Final Exam Practice
Mth 46: Probbility Finl Exm Prctice. Computtionl problems 4. Let T k (n) denote the number of prtitions of the set {,..., n} into k nonempty subsets, where k n. Argue tht T k (n) kt k (n ) + T k (n ) by
More informationDually quasi-de Morgan Stone semi-heyting algebras I. Regularity
Volume 2, Number, July 204, 47-64 ISSN Print: 2345-5853 Online: 2345-586 Dully qusi-de Morgn Stone semi-heyting lgebrs I. Regulrity Hnmntgoud P. Snkppnvr Abstrct. This pper is the first of two prt series.
More information13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS
33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in
More informationSection 14.3 Arc Length and Curvature
Section 4.3 Arc Length nd Curvture Clculus on Curves in Spce In this section, we ly the foundtions for describing the movement of n object in spce.. Vector Function Bsics In Clc, formul for rc length in
More informationA NOTE ON ESTIMATION OF THE GLOBAL INTENSITY OF A CYCLIC POISSON PROCESS IN THE PRESENCE OF LINEAR TREND
A NOTE ON ESTIMATION OF THE GLOBAL INTENSITY OF A CYCLIC POISSON PROCESS IN THE PRESENCE OF LINEAR TREND I WAYAN MANGKU Deprtment of Mthemtics, Fculty of Mthemtics nd Nturl Sciences, Bogor Agriculturl
More information