On Convolution Squares of Singular Measures

Total Page:16

File Type:pdf, Size:1020Kb

On Convolution Squares of Singular Measures On Convolution Squares of Singular Measures by Vincent Chan A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Pure Mathematics Waterloo, Ontario, Canada, 2010 ⃝c Vincent Chan 2010 I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. iii Abstract We prove that if 1 > > 1=2, then there exists a probability measure such that the Hausdorff dimension of its support is and ∗ is a Lipschitz function of class − 1=2. v Acknowledgements I would like to deeply thank my supervisor, Kathryn Hare, for her excellent supervision; her comments were useful and insightful, and led not only to finding and fixing mistakes, but also to a more elegant way of presenting various arguments. A careful comparison of earlier drafts of this document and its current version would reveal the subtle errors detected by her keen eye. This thesis would not exist at all if it were not for Professor Thomas K¨orner,whom I thank for his help in clarifying points in his paper, which is the central focus in the pages to come. I am indebted to my friends and colleagues for their support and advice, particularly that of Faisal Al-Faisal, who, being in a similar situation to myself (including the bizarre sleep schedule), has become comparable to a brother in arms. Last but certainly not least, I am grateful for the support of my fianc´eeVicki Nguyen, who, despite having no formal education in pure mathematics, suffered through reading dozens of pages while proofreading. She has never failed to provide encouragement when it was required most, and surely has kept me sane throughout the process. vii Contents 1 Preliminaries1 1.1 Introduction...................................1 1.2 A tightness condition..............................7 2 A Probabilistic Result 11 3 A Key Lemma 21 4 The Main Theorem 35 4.1 -Lipschitz functions.............................. 35 4.2 Density results................................. 41 APPENDICES 57 A Measure Theory 59 B Convergence of Fourier Series 63 C Probability Theory 65 D The Hausdorff Metric 67 Bibliography 74 ix Chapter 1 Preliminaries Unless otherwise stated, we will be working on T = R=Z = [−1=2; 1=2], and only with positive, Borel, regular measures. We will use to denote the Lebesgue measure on T (and dx, dy, dt, and so forth to denote integration with respect to Lebesgue measure), and jEj = (E). Measures that are absolutely continuous or singular are taken with respect to in the case of T, and (left) Haar measure, should we require a more general setting. When speaking of measures living in an Lp space or having other properties associated to functions, we mean the measure is absolutely continuous and we consider its Radon- Nikodym derivative to have this property. 1.1 Introduction The absolutely continuous measures form an ideal in the algebra of measures, so that for an absolutely continuous measure , ∗ is still absolutely continuous and so the Radon- Nikodym theorem gives rise to an associated function f 2 L1 such that ∗ = f. For any -finite measure , Lebesgue's Decomposition theorem decomposes as = ac + s, where ac is absolutely continuous and s is singular. It is thus natural to ask whether a similar situation holds with singular measures, that is, given a singular measure , does there exist a function f 2 L1 with ∗ = f? This is easily seen to be false, for if 1 P P = n anxn is a discrete measure, then ∗ = n;m anamxn+xm is also a discrete measure. To progress further, it may be helpful to appeal to an extension of Lebesgue's Decom- position theorem, which gives for any -finite measure three unique measures ac, cs and d which are absolutely continuous, continuous singular, and discrete, respectively, such that = ac + cs + d. Then we ask if we might recover the nice property of ∗ being absolutely continuous in the case of being a continuous singular measure. This is still not always the case, as there exist continuous singular measures on T where even their nth convolution power is singular for any n; for such an example we will need a preliminary definition. Definition 1.1. Let −1=2 ≤ ak ≤ 1=2 and define the trigonometric polynomials on T N Y k PN (t) = (1 + 2ak cos 3 t): k=1 It is a standard result that PN are probability measures which converge weak-∗ in M(T) to a probability measure with 8 >1 if n = 0; > < M M (n) = Q P kj b j=1 akj if n = j=1 j3 ; j = ±1; > :>0 otherwise: This measure is called the Riesz product measure associated to fakg. Lemma 1.2. If 1 and 2 are Riesz product measures, then so is 1 ∗ 2. Moreover, if i is associated to fak;ig, then 1 ∗ 2 is associated to fak;1ak;2g. Proof. We calculate the Fourier coefficients of the convolution: 8 >1 if n = 0; <> M M k 1 ∗ 2(n) = 1(n)2(n) = Q P j (1.1) \ b b j=1 akj ;1akj ;2 if n = j=1 j3 ; j = ±1; > :>0 otherwise: 2 Then we can define the trigonometric polynomials on T N Y k PN (t) = (1 + 2ak;1ak;2 cos 3 t); k=1 noticing that −1=2 ≤ −1=4 ≤ ak;1ak;2 ≤ 1=4 ≤ 1=2. The weak-∗ limit of PN produces a Riesz product measure whose coefficients satisfy (1.1), so we are finished by uniqueness. A standard result (see, for example, [6] Theorem 7.2.2) gives that a Riesz product P1 2 measure is singular if and only if k=1 ak = 1. In particular, suppose is a Riesz product measure associated to the constant sequence fcg for some constant 0 < c ≤ 1=2. P1 2 n Certainly k=1 c = 1, so that is singular. Inductively applying Lemma 1.2, = ∗ ∗ ⋅ ⋅ ⋅ ∗ (the nth convolution power of ) is a Riesz product measure associated to n P1 2n n fc g. Then k=1 c = 1, and so remains singular. It is also not hard to show that Riesz product measures are continuous, in general. It should be remarked that the choice of frequencies 3k is not essential, and Riesz product measures may be generalized further. In addition, the concept of Riesz product measures as a whole and the conclusion that there exist continuous singular measures whose convolution powers always remain singular can be extended to any infinite, compact, abelian group (see [6]). We now know it is impossible to hope the square convolution of a singular measure is absolutely continuous in general, even when restricting to the case of continuous singular measures. However, we may expect that are still some positive results; convolution behaves a smoothing operation, evidenced by the fact that both the continuous measures and the absolutely continuous measures form ideals in the space of measures. Indeed, a famous result due to Wiener and Wintner [16] produces a singular measure on T such that −1=2+" b(n) = o(jnj ) as n ! 1 for every " > 0. By an application of the Hausdorff-Young inequality, such a measure can be shown to have the property that its square convolution ∗ is absolutely continuous, and in fact, ∗ 2 Lp(T) for every p ≥ 1. Other authors have generalized this result; Hewitt and Zuckerman [9] constructed a singular measure on any non-discrete, locally compact, abelian group G such that ∗ 2 Lp(G) for all p ≥ 1. It is worth noting that the condition of non-discrete cannot be 3 dropped, since otherwise all measures would be absolutely continuous. Using Rademacher- Riesz products, Karanikas and Koumandos [10] prove the existence of a singular measure with ∗ 2 L1(G) for any non-discrete, locally compact group G. Shortly thereafter, Dooley and Gupta [3] produced a measure with ∗ 2 Lp(G) for every p ≥ 1 in the case of compact, connected groups and compact Lie groups using the theory of compact Lie groups. Saeki [15] took this concept further in a different direction by proving the existence of a singular measure on T with support having zero Lebesgue measure such that ∗ has a uniformly convergent Fourier series. This is an improvement on previous results; in this case the continuity of the partial Fourier sums for ∗ ensure that their limit, namely ∗ , is continuous. Then ∗ 2 L1(T) and subsequently ∗ 2 Lp(T) for p ≥ 1 since T is compact. Generalizing this, Gupta and Hare [7] show such a measure exists (now using Haar measure in place of Lebesgue measure) when replacing T with any compact, connected group. K¨orner[11] recently expanded on Saeki's work; to discuss how, we need the following definitions. Definition 1.3. For 1 ≥ ≥ 0, we say a function f : T ! C is Lipschitz of class 1, or simply -Lipschitz and write f 2 Λ if sup sup jhj− jf(t + h) − f(t)j < 1: (1.2) t2T h6=0 Some references define a function to be Lipschitz of class if there is a constant C with jf(x) − f(y)j ≤ Cjx − yj for every x; y 2 T. These definitions are in fact equivalent, with a straightforward proof. Lemma 1.4. f 2 Λ if and only if jf(x) − f(y)j ≤ Cjx − yj for a constant C, for every x; y 2 T. Proof. This is a simple matter of relabeling; use t = y and h = x − y. 1Functions with this property are also sometimes referred to as H¨olderof class .
Recommended publications
  • The Continuity of Additive and Convex Functions, Which Are Upper Bounded
    THE CONTINUITY OF ADDITIVE AND CONVEX FUNCTIONS, WHICH ARE UPPER BOUNDED ON NON-FLAT CONTINUA IN Rn TARAS BANAKH, ELIZA JABLO NSKA,´ WOJCIECH JABLO NSKI´ Abstract. We prove that for a continuum K ⊂ Rn the sum K+n of n copies of K has non-empty interior in Rn if and only if K is not flat in the sense that the affine hull of K coincides with Rn. Moreover, if K is locally connected and each non-empty open subset of K is not flat, then for any (analytic) non-meager subset A ⊂ K the sum A+n of n copies of A is not meager in Rn (and then the sum A+2n of 2n copies of the analytic set A has non-empty interior in Rn and the set (A − A)+n is a neighborhood of zero in Rn). This implies that a mid-convex function f : D → R, defined on an open convex subset D ⊂ Rn is continuous if it is upper bounded on some non-flat continuum in D or on a non-meager analytic subset of a locally connected nowhere flat subset of D. Let X be a linear topological space over the field of real numbers. A function f : X → R is called additive if f(x + y)= f(x)+ f(y) for all x, y ∈ X. R x+y f(x)+f(y) A function f : D → defined on a convex subset D ⊂ X is called mid-convex if f 2 ≤ 2 for all x, y ∈ D. Many classical results concerning additive or mid-convex functions state that the boundedness of such functions on “sufficiently large” sets implies their continuity.
    [Show full text]
  • The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic Author(S): Douglas K
    The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic Author(s): Douglas K. Brown and Stephen G. Simpson Reviewed work(s): Source: The Journal of Symbolic Logic, Vol. 58, No. 2 (Jun., 1993), pp. 557-578 Published by: Association for Symbolic Logic Stable URL: http://www.jstor.org/stable/2275219 . Accessed: 05/04/2012 09:29 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Symbolic Logic. http://www.jstor.org THE JOURNAL OF SYMBOLIC LoGic Volume58, Number2, June 1993 THE BAIRE CATEGORY THEOREM IN WEAK SUBSYSTEMS OF SECOND-ORDER ARITHMETIC DOUGLAS K. BROWN AND STEPHEN G. SIMPSON Abstract.Working within weak subsystemsof second-orderarithmetic Z2 we considertwo versionsof theBaire Category theorem which are notequivalent over the base systemRCAo. We showthat one version (B.C.T.I) is provablein RCAo whilethe second version (B.C.T.II) requiresa strongersystem. We introduce two new subsystemsof Z2, whichwe call RCA' and WKL', and show that RCA' sufficesto prove B.C.T.II. Some model theoryof WKL' and its importancein viewof Hilbert'sprogram is discussed,as well as applicationsof our resultsto functionalanalysis.
    [Show full text]
  • Math 501. Homework 2 September 15, 2009 ¶ 1. Prove Or
    Math 501. Homework 2 September 15, 2009 ¶ 1. Prove or provide a counterexample: (a) If A ⊂ B, then A ⊂ B. (b) A ∪ B = A ∪ B (c) A ∩ B = A ∩ B S S (d) i∈I Ai = i∈I Ai T T (e) i∈I Ai = i∈I Ai Solution. (a) True. (b) True. Let x be in A ∪ B. Then x is in A or in B, or in both. If x is in A, then B(x, r) ∩ A , ∅ for all r > 0, and so B(x, r) ∩ (A ∪ B) , ∅ for all r > 0; that is, x is in A ∪ B. For the reverse containment, note that A ∪ B is a closed set that contains A ∪ B, there fore, it must contain the closure of A ∪ B. (c) False. Take A = (0, 1), B = (1, 2) in R. (d) False. Take An = [1/n, 1 − 1/n], n = 2, 3, ··· , in R. (e) False. ¶ 2. Let Y be a subset of a metric space X. Prove that for any subset S of Y, the closure of S in Y coincides with S ∩ Y, where S is the closure of S in X. ¶ 3. (a) If x1, x2, x3, ··· and y1, y2, y3, ··· both converge to x, then the sequence x1, y1, x2, y2, x3, y3, ··· also converges to x. (b) If x1, x2, x3, ··· converges to x and σ : N → N is a bijection, then xσ(1), xσ(2), xσ(3), ··· also converges to x. (c) If {xn} is a sequence that does not converge to y, then there is an open ball B(y, r) and a subsequence of {xn} outside B(y, r).
    [Show full text]
  • Category Numbers of Posets and Topological Spaces
    Category numbers of posets and topological spaces Bellini, M. K.∗and Rodrigues, V. O.y September 2019 Abstract We define the concept of category numbers of posets and topological spaces and show some relations between some of them. 1 Introduction In this section we discuss the definitions of category numbers for both topological spaces and forcing posets. We expect the reader is familiarized with topological spaces, with the Baire category theorem for complete metric spaces and compact Hausdorff spaces, and with the basics of either Martin's axiom or forcing. We will not discuss forcing in this document, we will just deal with filters in partial orders and dense open subsets in them. 1.1 Topological Spaces The Baire Category Theorem is a very famous theorem that states that the intersection of a countable family of dense open subsets in a complete metric space or of a compact Hausdorff topological space is nonempty (in fact, dense). Proofs may be found in most general topology books, such as [3] or [1]. With this theorem in mind, a natural question arises: given a topological space X, what is the least cardinality κ of a family of dense open subsets of X whose intersection is empty? Such family does not exist for every topological space. The following proposition shows a necessary and sufficient condition. Proposition 1.1. Let X be a topological space. Then X has a nonempty collection of dense open subsets whose intersection is empty if and only if int clfxg = ; for every x 2 X. Proof. Let D = fD ⊆ X : D is open and denseg.
    [Show full text]
  • Baire Category Theorem
    Baire Category Theorem Alana Liteanu June 2, 2014 Abstract The notion of category stems from countability. The subsets of metric spaces are divided into two categories: first category and second category. Subsets of the first category can be thought of as small, and subsets of category two could be thought of as large, since it is usual that asset of the first category is a subset of some second category set; the verse inclusion never holds. Recall that a metric space is defined as a set with a distance function. Because this is the sole requirement on the set, the notion of category is versatile, and can be applied to various metric spaces, as is observed in Euclidian spaces, function spaces and sequence spaces. However, the Baire category theorem is used as a method of proving existence [1]. Contents 1 Definitions 1 2 A Proof of the Baire Category Theorem 3 3 The Versatility of the Baire Category Theorem 5 4 The Baire Category Theorem in the Metric Space 10 5 References 11 1 Definitions Definition 1.1: Limit Point.If A is a subset of X, then x 2 X is a limit point of X if each neighborhood of x contains a point of A distinct from x. [6] Definition 1.2: Dense Set. As with metric spaces, a subset D of a topological space X is dense in A if A ⊂ D¯. D is dense in A. A set D is dense if and only if there is some 1 point of D in each nonempty open set of X.
    [Show full text]
  • Real Analysis, Math 821. Instructor: Dmitry Ryabogin Assignment
    Real Analysis, Math 821. Instructor: Dmitry Ryabogin Assignment IV. 1. Problem 1. Definition 1. A set M ⊂ R is called closed if it coincides with its closure. In other words, M ⊂ R is closed, if it contains all of its limit points. Definition 2. A set A ⊂ R is called open if there is a closed set M ⊂ R such that A = R n M. In other words, A is open if all of its points are inner points, (a point x is called the inner point of a set A, if there exists > 0, such that the -neighbourhood U(x) of x, is contained in A, U(x) ⊂ A). Prove that any open set on the real line is a finite or infinite union of disjoint open intervals. (The sets (−∞; 1), (α, 1), (−∞; β) are intervals for us). Hint. Let G be open on R. Introduce in G the equivalence relationship, by saying that x ∼ y if there exists an interval (α, β), such that x; y 2 (α, β) ⊂ G. a) Prove at first that this is indeed the equivalence relationship, i. e., that x ∼ x, x ∼ y implies y ∼ x, and x ∼ y, y ∼ z imply x ∼ z. Conclude that G can be written as a disjoint union G = [τ2iIτ of \classes" of points Iτ , Iτ = fx 2 G : x ∼ τg, i is the set of different indices, i.e. τ 2 i if Iτ \ Ix = ?, 8x 2 G. b) Prove that each Iτ is an open interval. c) Show that there are at most countably many Iτ (the set i is countable).
    [Show full text]
  • Arxiv:1809.06453V3 [Math.CA]
    NO FUNCTIONS CONTINUOUS ONLY AT POINTS IN A COUNTABLE DENSE SET CESAR E. SILVA AND YUXIN WU Abstract. We give a short proof that if a function is continuous on a count- able dense set, then it is continuous on an uncountable set. This is done for functions defined on nonempty complete metric spaces without isolated points, and the argument only uses that Cauchy sequences converge. We discuss how this theorem is a direct consequence of the Baire category theorem, and also discuss Volterra’s theorem and the history of this problem. We give a sim- ple example, for each complete metric space without isolated points and each countable subset, of a real-valued function that is discontinuous only on that subset. 1. Introduction. A function on the real numbers that is continuous only at 0 is given by f(x) = xD(x), where D(x) is Dirichlet’s function (i.e., the indicator function of the set of rational numbers). From this one can construct examples of functions continuous at only finitely many points, or only at integer points. It is also possible to construct a function that is continuous only on the set of irrationals; a well-known example is Thomae’s function, also called the generalized Dirichlet function—and see also the example at the end. The question arrises whether there is a function defined on the real numbers that is continuous only on the set of ra- tional numbers (i.e., continuous at each rational number and discontinuous at each irrational), and the answer has long been known to be no.
    [Show full text]
  • Applications of the Baire Category Theorem to Three Topics
    Real Analysis Exchange Summer Symposium 2009, pp. 6{13 Udayan B. Darji, Department of Mathematics, University of Louisville, Louisville, Kentucky 40292, U.S.A. email: [email protected] APPLICATIONS OF THE BAIRE CATEGORY THEOREM The purpose of this talk is two-fold: we first discuss some old and new results in real analysis which involve the Baire category theorem and secondly we state some problems in real analysis and related fields which might have a chance of being resolved using real analysis techniques. The first section concerns results and problems of topological nature while the second section concerns problem of permutation groups. 1 Results and Problems Related to Topology. Let us first recall the Baire category theorem. Theorem 1. Let X be a complete metric space. • No nonempty open set is meager (the countable union of nowhere dense sets). • Countable intersection of sets open and dense in X is dense in X. We say a set is comeager if its complement is meager. A generic element of X has Property P means that fx 2 X : x has property P g is comeager in X. We have the following classical theorem of Banach and Mazurkiewicz which shows that a generic continuous function has bad differentiability property. Theorem 2 (Banach, Mazurkiewicz, 1931). A generic f 2 C[0; 1] is nowhere 0 differentiable. Moreover, we have that f (x) = 1 and f 0(x) = −∞ for all x 2 [0; 1]. Bruckner and Garg [4] showed that a generic continuous function has bad properties in the sense of level sets as well.
    [Show full text]
  • Subcompactness and the Baire Category Theorem
    MATHEMATICS SUBCOMPACTNESS AND THE BAIRE CATEGORY THEOREM BY J. DE GROOT (Communicated by Prof. H. FREUDENTHAL at the meeting of September 28, 1963) l. Introduction The Baire category theorem in its usual form states that a locally compact Hausdorff space, or a completely metrizable space is a Baire space, i.e. is not the union of countable number of nowhere dense closed subsets. This theorem is fundamental and has important applications in analysis. The unsatisfactory status of this theorem is well known and clear. Firstly, its formulation deals with two important classes of spaces of a totally different nature; secondly, why the countability of the number of subsets 1 The answer to the second question seems to be easy. Indeed, if one takes the topological product of a segment and a compact Hausdorff space containing as many points as one wants, still the product is always the union of continuously many nowhere dense subsets. So the countability is essential in a way. Nevertheless, one can get rid of the countability (and this starts to be of interest in spaces without a countable base, as one would expect) by generalizing the definition of nowhere dense subset. This has been carried out in section three, where we define, for any cardinal m, an m-thin subset, and m-Baire space. If m is countable, we obtain just the ordinary definition of nowhere dense subset and of Baire space. The first objection, however, is more serious. We propose a solution by introducing the notion of subcompactness. (Perhaps we should have used the term completeness, but this notion is already used in the theory of uniform spaces.) Roughly speaking, subcompactness of a space is a weak form of compactness relative to some open base of the space; sub­ compactness in completely regular spaces is identical to compactness if the base of all open sets is used.
    [Show full text]
  • Arxiv:1603.05121V3 [Math.GM] 31 Oct 2016 Definition of Set Derived Efc (I.E
    SOME EXISTENCE RESULTS ON CANTOR SETS Borys Alvarez-Samaniego´ N´ucleo de Investigadores Cient´ıficos Facultad de Ingenier´ıa, Ciencias F´ısicas y Matem´atica Universidad Central del Ecuador (UCE) Quito, Ecuador Wilson P. Alvarez-Samaniego´ N´ucleo de Investigadores Cient´ıficos Facultad de Ingenier´ıa, Ciencias F´ısicas y Matem´atica Universidad Central del Ecuador (UCE) Quito, Ecuador Jonathan Ortiz-Castro Facultad de Ciencias Escuela Polit´ecnica Nacional (EPN) Quito, Ecuador Abstract. The existence of two different Cantor sets, one of them contained in the set of Liouville numbers and the other one inside the set of Diophan- tine numbers, is proved. Finally, a necessary and sufficient condition for the existence of a Cantor set contained in a subset of the real line is given. MSC: 54A05; 54B05 Keywords: Cantor set; Liouville numbers; Diophantine numbers. arXiv:1603.05121v3 [math.GM] 31 Oct 2016 1. Introduction First, we will introduce some basic topological concepts. Definition 1.1. A nowhere dense set X in a topological space is a set whose closure has empty interior, i.e. int(X)= ∅. Definition 1.2. A nonempty set C ⊂ R is a Cantor set if C is nowhere dense and perfect (i.e. C = C′, where C′ := {p ∈ R; p is an accumulation point of C} is the derived set of C). Definition 1.3. A condensation point t of a subset A of a topological space, is any point t, such that every open neighborhood of t contains uncountably many points of A. Date: October 31, 2016. 1 2 B. ALVAREZ-SAMANIEGO,´ W.
    [Show full text]
  • The Axiom of Determinacy
    Virginia Commonwealth University VCU Scholars Compass Theses and Dissertations Graduate School 2010 The Axiom of Determinacy Samantha Stanton Virginia Commonwealth University Follow this and additional works at: https://scholarscompass.vcu.edu/etd Part of the Physical Sciences and Mathematics Commons © The Author Downloaded from https://scholarscompass.vcu.edu/etd/2189 This Thesis is brought to you for free and open access by the Graduate School at VCU Scholars Compass. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of VCU Scholars Compass. For more information, please contact [email protected]. College of Humanities and Sciences Virginia Commonwealth University This is to certify that the thesis prepared by Samantha Stanton titled “The Axiom of Determinacy” has been approved by his or her committee as satisfactory completion of the thesis requirement for the degree of Master of Science. Dr. Andrew Lewis, College of Humanities and Sciences Dr. Lon Mitchell, College of Humanities and Sciences Dr. Robert Gowdy, College of Humanities and Sciences Dr. John Berglund, Graduate Chair, Mathematics and Applied Mathematics Dr. Robert Holsworth, Dean, College of Humanities and Sciences Dr. F. Douglas Boudinot, Graduate Dean Date © Samantha Stanton 2010 All Rights Reserved The Axiom of Determinacy A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science at Virginia Commonwealth University. by Samantha Stanton Master of Science Director: Dr. Andrew Lewis, Associate Professor, Department Chair Department of Mathematics and Applied Mathematics Virginia Commonwealth University Richmond, Virginia May 2010 ii Acknowledgment I am most appreciative of Dr. Andrew Lewis. I would like to thank him for his support, patience, and understanding through this entire process.
    [Show full text]
  • Planetmath: Topological Space
    (more info) Math for the people, by the people. Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS Advanced search topological space (Definition) "topological space" is owned by djao. [ full author list (2) ] (more info) Math for the people, by the people. Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS Advanced search compact (Definition) "compact" is owned by djao. [ full author list (2) ] Dense set 1 Dense set In topology and related areas of mathematics, a subset A of a topological space X is called dense (in X) if any point x in X belongs to A or is a limit point of A.[1] Informally, for every point in X, the point is either in A or arbitrarily "close" to a member of A - for instance, every real number is either a rational number or has one arbitrarily close to it (see Diophantine approximation). Formally, a subset A of a topological space X is dense in X if for any point x in X, any neighborhood of x contains at least one point from A. Equivalently, A is dense in X if and only if the only closed subset of X containing A is X itself. This can also be expressed by saying that the closure of A is X, or that the interior of the complement of A is empty. The density of a topological space X is the least cardinality of a dense subset of X. Density in metric spaces An alternative definition of dense set in the case of metric spaces is the following. When the topology of X is given by a metric, the closure of A in X is the union of A and the set of all limits of sequences of elements in A (its limit points), Then A is dense in X if Note that .
    [Show full text]