On Ω-Connectedness and Ω-Continuity in the Product Space Mhelmar A

Total Page:16

File Type:pdf, Size:1020Kb

On Ω-Connectedness and Ω-Continuity in the Product Space Mhelmar A EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 11, No. 3, 2018, 834-843 ISSN 1307-5543 { www.ejpam.com Published by New York Business Global On !-Connectedness and !-Continuity in the Product Space Mhelmar A. Labendia1,∗, Jan Alejandro C. Sasam1 1 Department of Mathematics and Statistics, College of Science and Mathematics, Mindanao State University-Iligan Institute of Technology, 9200 Iligan City, Philippines Abstract. In this paper, the concepts of !-open and !-closed functions between topological spaces will be introduced and characterized. Moreover, related concepts such as !-connectedness and !- continuity from an arbitarary topological space into the product space will also be characterized. 2010 Mathematics Subject Classifications: 54A05 Key Words and Phrases: !-open, !-closed, !-connected, !-continuous 1. Introduction One of the attempts to substitute numerous concepts in topology with concepts pos- sessing either weaker or stronger properties was done by N. Levine [4]. He introduced the concepts of semi-open, semi-closed set and semi-continuity of a function, which gener- ated new results, some of which are generalization of existing ones. After this noteworthy work of Levine several mathematicians became attracted in presenting other topological concepts which can substitute the concepts of open sets. In [5], Velicko introduced the concepts of θ-continuity between topological spaces and subsequently defined the concepts of θ-closure and θ-interior of a subset of topological space. In [1], Al-Hawary characterized θ-continuity and the other well-known variations of continuity such as strong continuity, semi-continuity and closure-continuity. Let (X; T) be a topological space and A ⊆ X. The θ-closure and θ-interior of A are, respectively, denoted and defined by Cls(A) = fx 2 X : Cl(U) \ A 6= ? for every open set U containing xg and Ints(A) = fx 2 X : Cl(U) ⊆ A for some open set U containing xg; ∗Corresponding author. DOI: https://doi.org/10.29020/nybg.ejpam.v11i3.3293 Email addresses: [email protected] (M. Labendia), [email protected] (J. A. Sasam) http://www.ejpam.com 834 c 2018 EJPAM All rights reserved. M. Labendia, J. A. Sasam / Eur. J. Pure Appl. Math, 11 (3) (2018), 834-843 835 where Cl(U) is the closure of U in X. A subset A of X is θ-closed if Cls(A) = A and θ-open if Ints(A) = A. Equivalently, A is θ-open if and only if XnA is θ-closed. In [2], Hdeib introduced the concepts of !-open and !-closed sets and !-closed map- pings on a topological space. He showed that !-closed mappings are strictly weaker than closed mappings and also showed that the Lindel¨ofproperty is preserved by counter im- ages of !-closed mappings with Lindel¨ofcounter image of points. In 2010, Ekici et al. [3] introduced the concepts of !θ-open and !θ-closed sets on a topological space. They showed that the family of all !θ-open sets in a topological space X forms a topology on X. They also introduced the notions of !θ-interior and !θ-closure of a subset of a topological space. A point x of a topological space X is called a condensation point of A ⊆ X if for each open set G containing x, G \ A is uncountable. A subset B of X is !-closed if it contains all of its condensation points. The complement of B is !-open. Equivalently, a subset U of X is !-open (resp., !θ-open [3]) if and only if for each x 2 U, there exists an open set O containing x such that OnU (resp., OnInts(U)) is countable. A subset B of X is !θ-closed [3] if its complement XnB is !θ-open. The !-closure (resp., !θ-closure [3]) and !-interior (resp., !θ-interior [3]) of A ⊆ X are, respectively, denoted and defined by Cl!(A) = \fF : F is an !-closed set containing Ag (resp., Cl!θ (A) = \fF : F is an !θ-closed set containing Ag) and Int!(A) = [fG : G is an !-open set contained in Ag (resp., Int!θ (A) = [fG : G is an !θ-open set contained in Ag): It is worth noting that A ⊆ Cl!(A) (resp., A ⊆ Cl!θ (A) [3]) and Int!(A) ⊆ A (resp., Int!θ (A) ⊆ A [3]). Let T! (resp., T!θ ) be the family of all !-open (resp., !θ-open) subsets of a topological space X. Since T! (resp., T!θ ) is a topology on X, for any set A ⊆ X, Int!(A) (resp., Int!θ (A)) is !-open (resp., !θ-open) and the largest !-open (resp., !θ-open set) contained in A. Moreover, for any set A ⊆ X, Cl!(A) (resp., Cl!θ (A)) is !-closed (resp., !θ-closed) and the smallest !-closed (resp., !θ-closed) set containing A. A topological space X is said to be !-connected (resp., θ-connected, !θ-connected [3]) if X cannot be written as the union of two nonempty disjoint !-open (resp., θ-open, !θ- open) sets. Otherwise, X is !-disconnected (resp., θ-disconnected, !θ-disconnected [3]). A subset B of X is !-connected (resp., θ-connected, !θ-connected) if it is !-connected (resp., θ-connected, !θ-connected) as a subspace of X. Throughout the paper, related results of !θ-open, !θ-closed, !θ-closure, !θ-interior, and !θ-connectedness are due to [3]. A function f from a topological space X to another topological space Y is said to be (i) !-open (resp., θ-open, !θ-open) if f(G) is !-open (resp., θ-open, !θ-open) in Y for every open set G in X; (ii) !-closed (resp., θ-closed, !θ-closed) if f(G) is !-closed (resp., θ-closed, !θ-closed) in Y for every closed set G in X; M. Labendia, J. A. Sasam / Eur. J. Pure Appl. Math, 11 (3) (2018), 834-843 836 −1 (iii) !-continuous if f (V ) is !-open (resp., θ-open, !θ-open) in X for every open subset V of Y ; (iv) !-irresolute if for every x 2 X and every !θ-open set A containing f(x), there exists an !-open set U containing x such that f(U) ⊆ A. Let A be an indexing set and fYα : α 2 Ag be a family of topological spaces. For each α 2 A, let Tα be the topology on Yα. The Tychonoff topology on ΠfYα : α 2 Ag −1 is the topology generated by a subbase consisting of all sets pα (Uα), where the projec- tion map pα :ΠfYα : α 2 Ag ! Yα is defined by pα(hyβi) = yα, Uα ranges over all members of Tα, and α ranges over all elements of A. Corresponding to Uα ⊆ Yα, denote −1 pα (Uα) by hUαi. Similarly, for finitely many indices α1; α2; : : : ; αn; and sets Uα1 ⊆ Yα1 , Uα2 ⊆ Yα2 ;:::;Uαn ⊆ Yαn ; the subset −1 −1 −1 hUα1 i \ hUα2 i \ · · · \ hUαn i = pα1 (Uα1 ) \ pα2 (Uα2 ) \···\ pαn (Uαn ) is denoted by hUα1 ;Uα2 ;:::;Uαn i. We note that for each open set Uα subset of Yα, hUαi = −1 pα (Uα) = Uα × Πβ6=αYβ. Hence, a basis for the Tychonoff topology consists of sets of the form hBα1 ;Bα2 ; :::; Bαk i, where Bαi is open in Yαi for every i 2 K = f1; 2; :::; kg. Now, the projection map pα :ΠfYα : α 2 Ag ! Yα is defined by pα(hyβi) = yα for each α 2 A. It is known that every projection map is a continuous open surjection. Also, it is well known that a function f from an arbitrary space X into the Cartesian product Y of the family of spaces fYα : α 2 Ag with the Tychonoff topology is continuous if and only if each coordinate function pα ◦f is continuous, where pα is the α-th coordinate projection map. 2. !-Open and !-Closed Functions In this section, we investigate the connection of !-open (resp., !-closed) function to the other well-known functions such as open, θ-open, and !θ-open (resp., closed, θ-closed, !θ- closed) functions. We also give some characterizations of !-open and !-closed functions. Throughout, if no confusion arises, let X and Y be topological spaces. We shall be using the following lemma later. Lemma 1. Let f : X ! Y be a bijective function. Then f is !-open on X if and only if it is !-closed on X. Remark 1. [3, Remark 4] Let A ⊆ X. Then (i) If A is open, then A is !-open; (ii) If A is θ-open, then A is open; (iii) If A is θ-open, then A is !θ-open; and (iv) If A is !θ-open, then A is !-open. M. Labendia, J. A. Sasam / Eur. J. Pure Appl. Math, 11 (3) (2018), 834-843 837 It is shown in [3, p.295] that the implications above are not reversible. Remark 2. Let f : X ! Y be a function. Then (i) If f is open (resp., closed), then f is !-open (resp., !-closed). (ii) If f is !θ-open (resp., !θ-closed), then f is !-open (resp., !-closed). Remark 3. The converses of Remark 2 (i) and (ii) do not necessarily hold. (i): First, consider the topological spaces X = Z = Y = fa; b; c; dg with respective topologies TX = f?; X; fa; b; cgg, TZ = f?; Z; fa; bgg, and TY = f?; Y; fag; fdg; fa; dg; fa; bg; fa; b; dgg. Define f : X ! Y by f(a) = a, f(b) = b, f(c) = c, and f(d) = a. Define g : Z ! Y by g(a) = g(b) = g(c) = g(d) = d. Since Y is countable, f(A) is !-open in Y for every open set A of X.
Recommended publications
  • Convergence of Functions: Equi-Semicontinuity
    transactions of the american mathematical society Volume 276, Number 1, March 1983 CONVERGENCEOF FUNCTIONS: EQUI-SEMICONTINUITY by szymon dolecki, gabriella salinetti and roger j.-b. wets Abstract. We study the relationship between various types of convergence for extended real-valued functionals engendered by the associated convergence of their epigraphs; pointwise convergence being treated as a special case. A condition of equi-semicontinuity is introduced and shown to be necessary and sufficient to allow the passage from one type of convergence to another. A number of compactness criteria are obtained for families of semicontinuous functions; in the process we give a new derivation of the Arzelá-Ascoli Theorem. Given a space X, by Rx we denote the space of all functions defined on X and with values in R, the extended reals. We are interested in the relationship between various notions of convergence in Rx, in particular, but not exclusively, between pointwise convergence and that induced by the convergence of the epigraphs. We extend and refine the results of De Giorgi and Franzoni [1975] (collection of "equi-Lipschitzian" functions with respect to pseudonorms) and of Salinetti and Wets [1977] (sequences of convex functions on reflexive Banach spaces). The range of applicability of the results is substantially enlarged, in particular the removal of the convexity, reflexivity and the norm dependence assumptions is significant in many applications; for illustrative purposes an example is worked out further on. The work in this area was motivated by: the search for " valid" approximations to extremal statistical problems, variational inequalities and difficult optimization problems, cf. the above mentioned articles.
    [Show full text]
  • Compactness of a Topological Space Via Subbase Covers
    Compactness of a Topological Space Via Subbase Covers France Dacar, Joˇzef Stefan Institute [email protected] February 29, 2012 Exercise 1 for §9 of Chapter I in Bourbaki’s General Topology: Let X be a topological space and S a subbase of the topology of X. If every open cover of X by sets belonging to S contains a finite subcover, then X is compact. This result is known as the Alexander subbase theorem. The exercise provides a hint how to go about proving the theorem. Here we shall approach it from a different direction, using the following special case of Tychonoff’s theorem: The product of any family of finite topological spaces is a compact topological space. We will actually need only the compactness of the product of finite discrete topological spaces. It is easily seen that this even more special case of Tychonoff’s theorem implies X ι ∈ I O the special case above: given any finite topological spaces ι, , the topology of the product space ι∈I Xι is cruder than (i.e. is a subset of) the topology of the product of discrete topological spaces on the sets Xι; since (we are assuming that) the latter topology is compact, the topology O is also compact. For a start, observe that the exercise becomes trivial if “subbase” is replaced by “base”. Let B be a base of the topology of X, and suppose that every cover V⊆B of X has a finite subcover. Given any open cover U of X, assemble the set V of all sets B ∈Bfor which there exists an U ∈Uthat contains B.ThenV⊆Bcovers X, it has a finite subcover W, and we obtain a finite subset of U that covers X by selecting (and collecting) for each set B ∈W asetUB ∈Uthat contains B.
    [Show full text]
  • Strongly Summable Ultrafilters: Some Properties and Generalizations
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by YorkSpace STRONGLY SUMMABLE ULTRAFILTERS: SOME PROPERTIES AND GENERALIZATIONS DAVID J. FERNANDEZ´ BRETON´ A DISSERTATION SUBMITTED TO THE FACULTY OF GRADUATE STUDIES IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY GRADUATE PROGRAM IN DEPARTMENT OF MATHEMATICS AND STATISTICS YORK UNIVERSITY TORONTO, ONTARIO DECEMBER 2014 c David J. Fern´andezBret´on,2014 Abstract This dissertation focuses on strongly summable ultrafilters, which are ultrafilters that are related to Hindman's theorem in much the same way that Ramsey ul- trafilters are related to Ramsey's theorem. Recall that Hindman's theorem states that whenever we partition the set of natural numbers into two (or any finite num- ber of) cells, one of the cells must entirely contain a set of the form FS(X) for some infinite X ⊆ N (here FS(X) is the collection of all finite sums of the form P x2a x where a ⊆ X is finite and nonempty). A nonprincipal ultrafilter on N is said to be strongly summable if it has a base of sets of the form FS(X), this is, if (8A 2 p)(9X 2 [N]@0 )(FS(X) ⊆ A and FS(X) 2 p). These ultrafilters were first introduced by Hindman, and subsequently studied by people such as Blass, Eis- worth, Hindman, Krautzberger, Matet, Protasov and others. Now, from the view- point of the definitions, there is nothing special about N, and analogous definitions for FS(X) and strongly summable ultrafilter can be considered for any semigroup (in the non-abelian case, one must first fix an ordering for X on order-type !).
    [Show full text]
  • Math 344-1: Introduction to Topology Northwestern University, Lecture Notes
    Math 344-1: Introduction to Topology Northwestern University, Lecture Notes Written by Santiago Can˜ez These are notes which provide a basic summary of each lecture for Math 344-1, the first quarter of “Introduction to Topology”, taught by the author at Northwestern University. The book used as a reference is the 2nd edition of Topology by Munkres. Watch out for typos! Comments and suggestions are welcome. Contents Lecture 1: Topological Spaces 2 Lecture 2: More on Topologies 3 Lecture 3: Bases 4 Lecture 4: Metric Spaces 5 Lecture 5: Product Topology 6 Lecture 6: More on Products 8 Lecture 7: Arbitrary Products, Closed Sets 11 Lecture 8: Hausdorff Spaces 15 Lecture 9: Continuous Functions 16 Lecture 10: More on Continuity 18 Lecture 11: Quotient Spaces 19 Lecture 12: More on Quotients 20 Lecture 13: Connected Spaces 21 Lecture 14: More on Connectedness 22 Lecture 15: Local Connectedness 23 Lecture 16: Compact spaces 24 Lecture 17: More on Compactness 25 Lecture 18: Local Compactness 27 Lecture 19: More on Local Compactness 28 Lecture 20: Countability Axioms 29 Lecture 21: Regular Spaces 30 Lecture 22: Normal spaces 31 Lecture 23: Urysohn’s Lemma 31 Lecture 24: More on Urysohn 32 Lecture 25: Tietze Extension Theorem 32 Lecture 26: Tychonoff’s Theorem 33 Lecture 27: Alexander Subbase Theorem 36 Lecture 1: Topological Spaces Why topology? Topology provides the most general setting in which we can talk about continuity, which is good because continuous functions are amazing things to have available. Topology does this by providing a general setting in which we can talk about the notion of “near” or “close”, and it is this perspective which I hope to make more precise as we go on.
    [Show full text]
  • Kevin Michael Drees a Dissertation Submitted to the Graduate College
    Cp(X; Z) Kevin Michael Drees A Dissertation Submitted to the Graduate College of Bowling Green State University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY August 2009 Committee: Warren Wm. McGovern, Advisor Christopher Rump, Graduate Faculty Representative Rieuwert J. Blok Kit C. Chan ii ABSTRACT Warren Wm. McGovern, Advisor We examine the ring of continuous integer-valued continuous functions on a topological space X, denoted C(X; Z), endowed with the topology of pointwise convergence, denoted Cp(X; Z). We first deal with the basic properties of the ring C(X; Z) and the space Cp(X; Z). We find that the concept of a zero-dimensional space plays an important role in our studies. In fact, we find that one need only assume that the domain space is zero-dimensional; this is similar to assume the space to be Tychonoff when studying C(X), where C(X) is the ring of real-valued continuous functions. We also find the space Cp(X; Z) is itself a zero-dimensional space. Next, we consider some specific topological properties of the space Cp(X; Z) that can be characterized by the topological properties of X. We show that if Cp(X; Z) is topologically isomorphic to Cp(Y; Z), then the spaces X and Y are homeomorphic to each other, this is much like a the theorem by Nagata from 1949. We show that if X is a zero-dimensional space, then there is a zero-dimensional space Y such that X is embedded in Cp(Y; Z).
    [Show full text]
  • Complete Regularity As a Separation Axiom
    COMPLETE REGULARITY AS A SEPARATION AXIOM J. DE GROOT AND J. M. AARTS 1. Introduction. Although the axiom of complete regularity ought to be a separation axiom, in none of its usual forms does it look like an intrinsic separation axiom. Our aim in this paper is to establish such characterizations of complete regularity which naturally fit in between regularity and normality and which already have proved to be fundamental and useful. This can simply be achieved by replacing the family of all open sets (as used in the formulation of the separation axioms) by some suitable (sub)base of open sets. For the sake of simplicity, we assume all our spaces to be 7\ and we shall operate with (sub)bases of closed sets (instead of open sets). It is appropriate to define the notion of a screening. Two subsets A and B of a set X are said to be screened by the pair (C, D) if CU D = X,A r\D = 0 and C C\ B = 0. (Consequently, A C C and BCD.) Then we have the following result. THEOREM 1. A space X is completely regular if and only if there is a base S3 for the closed subsets of X such that 1. {Base-regularity) If B Ç S3 and x ÇL B, then {%} and B are screened by a pair from S3; 2. (Base-normality) Every two disjoint elements of S3 are screened by a pair from S3. Two subsets A and B of a space X are said to be screened by a finite family S if 6 covers X and each element of 6 meets1 at most one of A and B.
    [Show full text]
  • Chapter 11. Topological Spaces: General Properties
    11.1. Open Sets, Closed Sets, Bases, and Subbases 1 Chapter 11. Topological Spaces: General Properties Section 11.1. Open Sets, Closed Sets, Bases, and Subbases Note. In this section, we define a topological space. In this setting, since we have a collection of open sets, we can still accomplish a study of the standard topics of analysis (such as limits, continuity, convergence, and compactness). Definition. Let X be a nonempty set. A topology T on X is a collection of subsets of X, called open sets, possessing the following properties: (i) The entire set X and the empty-set ∅ are open. (ii) The intersection of any finite collection of open sets is open. (iii) The union of any collection of open sets is open. A nonempty set X, together with a topology on X, is called a topological space, denoted (X, T ). For a point x ∈ X, an open set that contains x is called a neighborhood of x. Note. Of course, with X = R and T equal to the set of all “traditionally” open sets of real numbers, we get the topological space (R, T ). T is called the usual topology on R. Another topology on R is given by taking T equal to the power set of R, T = P(R). 11.1. Open Sets, Closed Sets, Bases, and Subbases 2 Proposition 11.1. A subset E of a topological space X is open if and only if for each point x ∈ E there is a neighborhood of x that is contained in E. Example. If you are familiar with metric spaces then for (X, ρ) a metric space, define O ⊂ X to be open if for each x ∈O there is an open ball {y ∈ X | ρ(x, y) < ε} centered at x contained in O.
    [Show full text]
  • Real Analysis (4Th Edition)
    Preface The first three editions of H.L.Royden's Real Analysis have contributed to the education of generations of mathematical analysis students. This fourth edition of Real Analysis preserves the goal and general structure of its venerable predecessors-to present the measure theory, integration theory, and functional analysis that a modem analyst needs to know. The book is divided the three parts: Part I treats Lebesgue measure and Lebesgue integration for functions of a single real variable; Part II treats abstract spaces-topological spaces, metric spaces, Banach spaces, and Hilbert spaces; Part III treats integration over general measure spaces, together with the enrichments possessed by the general theory in the presence of topological, algebraic, or dynamical structure. The material in Parts II and III does not formally depend on Part I. However, a careful treatment of Part I provides the student with the opportunity to encounter new concepts in a familiar setting, which provides a foundation and motivation for the more abstract concepts developed in the second and third parts. Moreover, the Banach spaces created in Part I, the LP spaces, are one of the most important classes of Banach spaces. The principal reason for establishing the completeness of the LP spaces and the characterization of their dual spaces is to be able to apply the standard tools of functional analysis in the study of functionals and operators on these spaces. The creation of these tools is the goal of Part II. NEW TO THE EDITION This edition contains 50% more exercises than the previous edition Fundamental results, including Egoroff s Theorem and Urysohn's Lemma are now proven in the text.
    [Show full text]
  • The Axiom of Choice in Topology Ruoxuan Jia Union College - Schenectady, NY
    Union College Union | Digital Works Honors Theses Student Work 6-2017 The Axiom of Choice in Topology Ruoxuan Jia Union College - Schenectady, NY Follow this and additional works at: https://digitalworks.union.edu/theses Part of the Geometry and Topology Commons Recommended Citation Jia, Ruoxuan, "The Axiom of Choice in Topology" (2017). Honors Theses. 46. https://digitalworks.union.edu/theses/46 This Open Access is brought to you for free and open access by the Student Work at Union | Digital Works. It has been accepted for inclusion in Honors Theses by an authorized administrator of Union | Digital Works. For more information, please contact [email protected]. The Axiom of Choice in Topology Ruoxuan Jia March 15, 2017 Abstract Cantor believed that properties holding for finite sets might also hold for infinite sets. One such property involves choices; the Ax- iom of Choice states that we can always form a set by choosing one element from each set in a collection of pairwise disjoint non-empty sets. Since its introduction in 1904, this seemingly simple statement has been somewhat controversial because it is magically powerful in mathematics in general and topology in particular. In this paper, we will discuss some essential concepts in topology such as compactness and continuity, how special topologies such as the product topology and compactification are defined, and we will introduce machinery such as filters and ultrafilters. Most importantly, we will see how the Axiom of Choice impacts topology. Most significantly, the Axiom of choice in set theory is the founda- tion on which rests Tychonoff's Infinite Product Theorem, which peo- ple were stuck on before the axiom of choice was applied.
    [Show full text]
  • Axioms, Definitions, and Proofs
    Proofs Definitions (An Alternative to Discrete Mathematics) G. Viglino Ramapo College of New Jersey January 2018 CONTENTS Chapter 1 A LOGICAL BEGINNING 1.1 Propositions 1 1.2 Quantifiers 14 1.3 Methods of Proof 23 1.4 Principle of Mathematical Induction 33 1.5 The Fundamental Theorem of Arithmetic 43 Chapter 2 A TOUCH OF SET THEORY 2.1 Basic Definitions and Examples 53 2.2 Functions 63 2.3 Infinite Counting 77 2.4 Equivalence Relations 88 2.5 What is a Set? 99 Chapter 3 A TOUCH OF ANALYSIS 3.1 The Real Number System 111 3.2 Sequences 123 3.3 Metric Space Structure of 135 3.4 Continuity 147 Chapter 4 A TOUCH OF TOPOLOGY 4.1 Metric Spaces 159 4.2 Topological Spaces 171 4.3 Continuous Functions and Homeomorphisms 185 4.4 Product and Quotient Spaces 196 Chapter 5 A TOUCH OF GROUP THEORY 5.1 Definition and Examples 207 5.2 Elementary Properties of Groups 220 5.3 Subgroups 228 5.4 Automorphisms and Isomorphisms 237 Appendix A: Solutions to CYU-boxes Appendix B: Answers to Selected Exercises PREFACE The underlying goal of this text is to help you develop an appreciation for the essential roles axioms and definitions play throughout mathematics. We offer a number of paths toward that goal: a Logic path (Chapter 1); a Set Theory path (Chapter 2); an Analysis path (Chapter 3); a Topology path (Chapter 4); and an Algebra path (Chapter 5). You can embark on any of the last three independent paths upon comple- tion of the first two: pter 3 Cha alysis h of An .
    [Show full text]
  • 1980 Upper Semi-Continuity of Subdifferential Mappings 1
    Canad. Math. Bull. Vol. 23 (1), 1980 UPPER SEMI-CONTINUITY OF SUBDIFFERENTIAL MAPPINGS BY DAVID A. GREGORY ABSTRACT. Characterizations of the upper semi-continuity of the subdifferential mapping of a continuous convex function are given. 1. Notation. The following notation will be used throughout the paper. Let (E, T) denote a vector space E (over the real numbers R) with a locally convex Hausdorff topology r. We shall also use T to denote the product topology on ExR. Let E* be the space of all continuous linear functional x* on E. For x in E and x* in E* let <x, x*) = x*(x). Let si be a class of weakly bounded absolutely convex subsets A of E such that E = UAG^ A and ÀA e si whenever Aesd and À > 0. Let r^ be the locally convex topology on E* of uniform convergence on the members of si; that is, the topology determined by the seminorms pA, Aei where pA(y*) = sup(A, y*) for each y* in E*. Equivalently, rA is the vector space topology that has the sets A° = {y*eE*:sup(A, y*)<l}, Aeiasa neighborhood subbase of the origin in E*. In particular, if si is the class of all balanced line segments in E, then r^ is the weak* topology. Let $ be the class of all finite closed subintervals of R and let si x 3 = {A x I : A e si, I e $}. If J is an index set, we say that a net yy, je J r ^-converges to y if pA(y7- — y), j eJ converges to zero for each A in se.
    [Show full text]
  • J. K. Kohli, Jeetendra Aggarwal CLOSEDNESS of CERTAIN CLASSES of FUNCTIONS in the TOPOLOGY of UNIFORM CONVERGENCE 1. Introductio
    DEMONSTRATIO MATHEMATICA Vol.XLV No4 2012 J. K. Kohli, Jeetendra Aggarwal CLOSEDNESS OF CERTAIN CLASSES OF FUNCTIONS IN THE TOPOLOGY OF UNIFORM CONVERGENCE Abstract. In this paper, closedness of certain classes of functions in Y X in the topol- ogy of uniform convergence is observed. In particular, we show that the function spaces SC(X, Y ) of quasi continuous (≡semi-continuous) functions, Cα(X, Y ) of α-continuous X functions and L(X, Y ) of cl-supercontinuous functions are closed in Y in the topology of uniform convergence. 1. Introduction It is well known that the function space C(X,Y ) of continuous func- tions from a topological space X into a uniform space Y is closed in Y X in the topology of uniform convergence but not necessarily closed in the topol- ogy of pointwise convergence. Moreover, it is of fundamental importance in topology, analysis and other branches of mathematics to know that whether a given function space is closed in Y X in the topology of pointwise conver- gence/the topology of uniform convergence. So the question arises: are there other classes of functions besides continuous functions which are closed in Y X in the topology of pointwise convergence or in the topology of uniform convergence? Sierpinski [19] showed that uniform limit of a sequence of con- nected (Darboux) functions need not be a connected function. So, in general, the set of all connected functions from a space X into a uniform space Y is not necessarily closed in Y X in the topology of uniform convergence. In con- trast, Naimpally [14] proved that the set of all connectivity functions from a space X into a uniform space Y is closed in Y X in the topology of uni- form convergence.
    [Show full text]