f(x) = f-1(x) (*) 343
|
|
- Scot Turner
- 5 years ago
- Views:
Transcription
1 RETRACTING MULTIFUNCTIONS BY GORDON T. WHYBUIIN UNIVERSITY OF VIRGINIA, CHARLOTTESVILLE, VIRGINIA Communicated December 12, 1967 (1) Nonmingled Multifunctions.-If X and Y are sets, a multifunction (setvalued) f: X -- Y is nonmingled provided the images of any two points in X are either disjoint or identical; that is, x1,x2 e X gives either f(x,) f(x2) = c or f(x1) f(x2). It is not difficult to verify that such a multifunction f is nonmingled if and only if any one of the following conditions is satisfied: (a) ff-1f fonx. (b) f-f-1 - f-1 on f(x). (c) For each image set Bcf(X), ff-1(b) = B. (d) For each inverse set A CX, f-lf(a) = A. (e) For any inverse set AcX, f(x - A) = f(x) - f(a). For example, to show that (c) implies nonmingledness, let Xl,X2 e X and choose B = f(x1). Then if f(x2) meets B, x2 e f-1(b); and we have f(x2)cb = f(xi). Similarly f(xi) cf(x2). On the other hand, suppose f is nonmingled and take any image set B in f(x), say B = f(a) for ACX. If, contrary to (c), there existed a point X2 in f-i(b) with f(x2) not a subset of B, we could take a point xl in A with f(x1) containing a point of f(x2) * B. Since f(x1) cf(a) = B, this gives f(xl) X f(x2) contrary to nonmingledness. We note also that from (a) and (b) it results at once that if f is nonmingled, so also is f-1. We remark further that the nonmingled condition is not transitive for multifunctions. It does not follow that if f: X =) Y and g: Y-=) Z are nonmingled, then gf: X ==) Z is nonmingled. (The double arrow ==) means that the relation is onto.) For let f map a pair of distinct points into disjoint intervals A1 and 12. Then let g identify one end of I, with one end of I2. In this case gf is mingled even though g is single-valued and continuous. However, if f (as above) is single-valued and g is nonmingled, then gf is necessarily nonmingled. (2) Retracting Multifunctions.-If YCX a multifunction, f: X -0 Y is said to be retracting provided that y e f(y) for each y e Y. It results from this definition, of course, that all retracting multifunctions are onto. Also it is seen at once that f is retracting if and only if y e f-1(y) for each y e Y. Thus in particular in case X = Y, f-1 is retracting if and only if f is retracting. Iff: X Y is retracting, so also is fix0 for any subset Xo of X. In particular fj Y is retracting if and only if f is retracting. Thus if ft Y is retracting, so also is fix no matter how f be defined on X - Y. In view of 'this fact it is clear that we may as well limit our study to the case in which Y = X, since no additional interest is inherent in the more general situation. Thus we consider only multifunctions of the type f: X =) X. (2.1) If f: X ) X is nonmingled and retracting, then for each x E X we have f(x) = f-1(x) (*) 343
2 344 MATHEMATICS: G. T. WHYBURN PRoc. N. A. S. Proof: For any x' ef-1(x) we have f(x') Dx + x'. Thus x' e f(x') = f(x), sincef is nonmingled. Whencef-1(x)cf(x). On the other hand, x Ef(x) gives Af(x') = f(x) so that x' ef-'(x). Thusf-'(x) Df(x). This proves (*). Remark: The converse of (2.1) does not hold. The involutionf(x) = -x on the real axis is nonmingled and satisfies (*) but is not retracting. Other relevant examples are given below. (2.2) A nonmingled multifunction f: X ==) X is retracting if and only if for each x ex, f(x) = ff(x). (t) Proof: Suppose (t) holds and take any y e X. Find x e X so that y e f(x). Then f(y) cff(x) = f(x). Whence, f(y) = f(x) since f is nonmingled. Accordingly, y e f(y). On the other hand, suppose f is retracting and take any x e X. Then ff(x) D f(x) since f is retracting. Suppose contrary to ff(x) cf(x) that for some y ef(x), f(y) is not contained in f(x). Then f(y) # f(x) whereas y e f(x).f(y); and this is impossible because f is nonmingled. Examples: For mingled multifunctions neither of these implications necessarily holds. For if we define f(x) = (x, co) (the open interval from x to co), for x on (0, ac), then f(x) = ff(x) for all x but f is not retracting. Again if we define f(x) = [x,2x] for x e [0, co), thenf is retracting but ff(x) $ f(x) for all x > 0. (2.3) THEOREM. A multifunctionff: X=)Xisnonmingled and retracting if and only if both (*) and (t) hold for each x e X, i.e., f(x) = ff(x) = f-1(x). (;) Proof: If f is nonmingled and retracting, (*) holds by (2.1) and (2.2). Thus we suppose (*) holds. Then to complete our proof it suffices, in view of (2.2), to show that f is nonmingled. To that end we take any x, y e X. Then if y e f(x), we have (i) f(y) cff(x) = f(x). Also (ii) x e f1(y) = f(y). Thus (ii) and (i) give f(x) cf(y) so that f(x) = f(y). Hence y e f(x) implies f(y) = f(x). Now suppose that for some x, y e X, there is a point z e f(x) -f(y). By what was just shown we have f(z) = f(x) = f(y). Hence f is nonmingled. Examples: Nonmingledness does not follow from either (*) or (t) alone even though f is retracting. For let A be any triangle and define f(x) to be the union of all sides of A containing x for x e A. Then (*) holds and f is retracting but mingled. On the other hand, for x e [0,1 ] if we define f(x) = [x, 1 ], (t) holds and f is retracting but mingled. As an easy consequence of (2.4) together with the fact noted earlier that f-1 is retracting if and only if f is retracting and likewise f-1 is nonmingled if and only if f is nonmingled, we obtain the following result. (2.5) If f: X =) X is nonmingled and retracting, then for any image or inverse set I, we have f(i) = I = f-, V) - (*)
3 VOL..59, 1968 MATHEMA TICS: G. T. WHYBURN 345 (3) Decompositions and Retractions.-It is now clear that a retracting multifunction ff: X =) X simply defines the decomposition of X into the sets [f(x) ], x e X. Thus such a multifunction could be called the decomposing function for a given decomposition. In case f has nonmingled images, the decomposition G,generated is into disjoint sets and conversely. Assuming X to be a topological space, we now consider the question: How is the semicontinuity of f related to that of G? We recall that a decomposition G of X is upper (lower) semicontinuous, written use (lsc), provided that the union of all elements of G intersecting any closed (open) set is closed (open). Also, a multifunction f: X -) Y is upper (lower) semicontinuous if and only if for each closed (open) set Cc Y, f-1(c) is closed (open). Let G be any decomposition of X into disjoint sets. Define the multifunction 0D: X ==) X by 4,(x) = the element of G containing x. Then 4, is retracting and noniningled and is called the natural retraction of (or generated by) G. For CcX, let K be the union of all g e G intersecting C. Then since x e ckg-'(c) SC K is means 4,(x) -C X A, we have ck-'(c) = K. Accordingly, if G is (closedn h C {closedn that.lsci Conversely, y if 5, is ( open J open l JDSC +,-1(C) is closed when C is closed so that G is SC Now let us reverse the process. Let 0: X-) X be a nonmingled retracting multifunction. Then for each x e X we have x e +(x) and we let G,, be the collection of all distinct sets [+(x) ], x e X. Then G,, is a decomposition of X into disjoint sets and is called the natural decomposition of (generated by) 4. By the discussion in the preceding paragraph, G,, is {isc} if and only if qc is {usc}. Thus we have established the following. THEOREM. The semicontinuity (upper or lower) of a domgposirti.into decomposition into multifunction) multfuntio 5 decomposition ) agrees exactly with that of its natural disjoint sets a eretracting multifunctionf (4) Quasi-Compact Multifunctions.-A nonmingled multifunction f: X Y is quasi-compact provided the image of every open inverse set is open. Since, by (e) of 1, f(x - A) = f(x) - f(a) for inverse sets A cx when f is nonmingled, it is clear that f is quasi-compact if and only if the image of every closed inverse set is closed. Thus "closed" may be substituted for "open" in the definition of quasi-compactness. For mingled multifunctions this would no longer remain valid. Thus we have (4.1) Every open or closed nonmingled multifunction is quasi-compact. Likewise, since compactness is invariant under upper semicontinuous multifunctions, we have (4.2) If X and Y are Hausdorff spaces and X is compact, every upper semicontinuous nonmingled multifunction f: X -- Y is quasi-compact. Not quite so apparent, however, is S
4 346 MATHEMATICS: G. T. WHYBURN PROC. N..A. S. (4.3) The inverse of every nonmingled upper or lower seinicontinuous multifunction f: X ==) Y is quasi-compact. To see this we note first that f-1: Y==) X also is nonmingled. Let Bc Y be an inverse set for f-1, that is, B = f(a) for some set ACX, and suppose B is closed. Then if f is use, f-'(b) is closed by upper semicontinuity. Also if f is Ise, openness of Y - B gives thatf-1(y - B) is open; and sincef-1(b) = f-1(y) - f1(y - B) = X - f-1(y - B), it follows that f-1(b) is closed. Definition: Iff: X=) Y is a multifunction, a set A cx is a cross section for f if and only if f(a) = Y. (4.4) THEOREM. If a nonmingled multifunction f: X ==) Y is quasi-compact on some cross section A off, thenf is quasi-compact. Proof: Let U be any open inverse set for f in X. Then A. U is an open inverse set for fia: A ==) Y. For if U = f-1(z), ZcY, we have A * U = A *f-1(z) = (fla)-1(z) Hence f(a * U) is open in Y. However, f(a- U) = f(u). For let p e f(u). Then f-1(p) cu because f-1f(u) = U by 1(d); and A f-1(p) is nonempty, since A is a cross section for f. Thus p e f(a * U). (4.5) THEOREM. Every nonmingled retracting multifunction is quasi-compact. For let f: X -) Y be nonmingled and retracting. Set g = fi Y. Then g: Y ==) Y is nonmingled and retracting. Thus since, by (2.5), every inverse set in Y is its own image under g, it follows that fi Y is quasi-compact. Thus our conclusion follows from (4.4) since Y is a cross section for f. (5) Relative Local Connectedness.-A topological space Y will be said to be locally connected relative to a multifunction f: X=) Y provided that components of open image sets in Y are open. Remarks: (i) A space Y which is locally connected relative to any function f: X =) Y is locally connected in the ordinary sense. (ii) A topological space X is locally connected if and only if it is locally connected relative to the identity function on X. (iii) If a space Y is locally connected, then Y is locally connected relative to any multifunction f: X ==) Y whatever. (5. 1) THEOREM. Let f: X =) Y be a nonmingled doubly quasi-compact multifunction which preserves connectedness. Then if f is locally connected relative to f-1, Y is locally connected relative to f. Proof: Being doubly quasi-compact means that both f and f-1 are quasicompact. Our theorem asserts that if components of open inverse sets are open, then components of open image sets are open. To prove this, let U be any open image set in Y and let Q be any component of U. To show that Q is open, let R be the union of all components C of f-1(u) which meet f-1(q). For each such C, f(c) is connected since f preserves connectedness. Thus since by 1(c), f(c)c U and f(c). Q #5A', we have f(c) cq for each such C. Hence R = f-'(q) and f(r) = Q. Now f-(u) is open by the quasi-compactness of f1. Thus R is open because
5 VOL. 59, 1968 MATHEMATICS: G. T. WHYBURN 347 it is a union of components of f- (U) and X is locally connected relative to f-1. Since R is also an inverse set for f, its image Q is open by the quasi-compactness off. (5.11) COROLLARY. If ff: X ==) Y is nonmingled, quasi-compact, and (upper or lower) semicontinuous and has connected point values, then X locally connected relative to f-1 implies Y locally connected relative to f. (5.12) COROLLARY. If f is nonmingled, retracting, and semicontinuous and has connected point values, the same assertion holds. (5.13) COROLLARY. Iff: X =) Y is a quasi-compact mapping (i.e., single valued and continuous) and if X is locally connected relative to f'1, Y is locally connected. In particular, if X is locally connected so also is Y. Note: The last statement in this corollary is a known result (see Whyburn, G. T., Duke Math. J., 19, 445 (1952)) and it includes as special cases the fact that local connectedness is invariant under all open or closed mappings as well as under all retracting mappings and all quotient mappings. (6) Analysis of Nonmingled Multifunctions.-Let f: X =) Y be any nonmingled multifunction where X and Y are topological spaces. Let 4: X =) X' and At: Y ==) Y' be the natural mappings for the decompositions of X and Y, respectively, into (point) inverse sets and (point) image sets for f. Define h: X'-=) Y' by h(x') = #,f0i-1(x'), x' e X'. Then it is apparent that 4, 46, and h are onto functions and 4 and Vp are continuous and quasi-compact. Likewise, ifwedefineg: X=)Y'ands: Y==)X'by g(x) = 4'f(x), x e X; s(y) =,f-i(y), e Y, then g and s are onto functions. Thus we have the following commutative diagram: f Y Xi4 Y The following additional conclusions are readily verified. (6. 1) (a) h: X' ) Y' is 1 to 1 and is quasi-compact when f is quasi-compact; also h-1 is quasi-compact when f-1 is quasi-compact. (b) h is a homeomorphism when both f and f-1 are quasi-compact. Conversely, if h is a homeomorphism both f and f-1 are quasi-compact. (c) The function g: X ==) Y' is quasi-compact when f is quasi-compact and continuous when f-1 is quasi-compact. (d) The function s: Y =-) X' is quasi-compact when f-i is quasi-compact and continuous when f is quasi-compact. Thus if we define Z to be X' or Y', in turn, and look at the pairs o,s and g,4
6 348 MA TIEMA TICS: G. T. WHYBURN PROC. N. A. S. we see that in either case f has generated a topological space Z and a pair of functions from X onto Z one of which is continuous and both of which will be quasi-compact and continuous whenever f is doubly quasi-compact. Now it is readily seen, conversely, that if we start with a pair of functions 4: X =) Z, yt: Y =) Z of X and Y, respectively, onto a topological space Z, then f(x) = A-l+(x), x e X, defines a nonmingled multifunction f: X =) Y. Further, f will be doubly quasi-compact if both g and 4, are continuous and quasi-compact; and in this case f will generate a pair of mappings 4/',' equivalent to the given pair Xx, under the procedure outlined above, because h is a homeomorphism. Thus we have (6.2) THEOREM. For any nonmingled doubly quasi-compact multifunction f: X =) Y there exists a topological space Z and a pair of quasi-compact mappings 4: X=- Z and 1: Y=) Z satisfying f = I-10, f-1 = Thus f is closed (open) if and only if 4 is closed (open); equivalently, f is usc (lsc) if and only if ^t1 is closed (open). Conversely, any pair of quasi-compact mappings 4: X =) Z and V: Y =;) Z generate a nonmingled doubly quasi-compact multifunction under the definition f(x) = +-1+(x), x e X, which in turn generates a pair 4/4' equivalent to 4,+. Note: The relation f generated here associates the points (xy), x e X, y e Y such that +(x) = A(y). (*) In other words, y ef(x) if and only if (*) holds. This situation is of especial interest in connection with functions of a complex variable. For suppose z = +(x) and z = P(y) are entire functions without exceptional values where X and Y are complex planes. Then both 0 and 4& are open, and hence quasi-compact mappings onto the plane Z, and the associated multifunction f is defined by the equation (*). For example, consider the equation 2= y3 In this case, for each z E Z the associated multifunction f sends each of the square roots in X of z onto the set of three cube roots of z in Y and, of course, f-1 does just the reverse.
function provided the associated graph function g:x -) X X Y defined
QUASI-CLOSED SETS AND FIXED POINTS BY GORDON T. WHYBURN UNIVERSITY OF VIRGINIA Communicated December 29, 1966 1. Introduction.-In this paper we develop new separation and intersection properties of certain
More information(a) If om = [MI is a directed family in X, 9i = f(m) ], M E An, is a directed family
DIRECTED FAMILIES OF SETS AND CLOSEDNESS OF FUNCTIONS* BY G. T. WHYBURN UNIVERSITY OF VIRGINIA Communicated July 12, 1965 1. Introduction.If X and Y are topological spaces, a (singlevalued) transformation
More informationSpring -07 TOPOLOGY III. Conventions
Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we
More informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
More informationHomework 5. Solutions
Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B is
More informationTOPOLOGY HW 2. x x ± y
TOPOLOGY HW 2 CLAY SHONKWILER 20.9 Show that the euclidean metric d on R n is a metric, as follows: If x, y R n and c R, define x + y = (x 1 + y 1,..., x n + y n ), cx = (cx 1,..., cx n ), x y = x 1 y
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationTerminal continua and quasi-monotone mappings
Topology and its Applications 47 (1992) 69-77 North-Holland 69 Terminal continua and quasi-monotone mappings J.J. Charatonik Mathematical Institute, University of Wroclaw, pl. Grunwaldzki 2/4, 50-384 Wroclaw,
More informationMetric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)
Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More information3 Hausdorff and Connected Spaces
3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.
More informationReal Analysis. Joe Patten August 12, 2018
Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.
More informationTopology Homework Assignment 1 Solutions
Topology Homework Assignment 1 Solutions 1. Prove that R n with the usual topology satisfies the axioms for a topological space. Let U denote the usual topology on R n. 1(a) R n U because if x R n, then
More informationINTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS
INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationSOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2
SOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2 Here are the solutions to the additional exercises in betsepexercises.pdf. B1. Let y and z be distinct points of L; we claim that x, y and z are not
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationA NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS
An. Şt. Univ. Ovidius Constanţa Vol. 18(2), 2010, 161 172 A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS Ivan Lončar Abstract For every Hausdorff space X the space X Θ is introduced. If X is H-closed, then
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationTOPOLOGY TAKE-HOME CLAY SHONKWILER
TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.
More informationOn z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)
F U N D A M E N T A MATHEMATICAE 160 (1999) On z -ideals in C(X) by F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz) Abstract. An ideal I in a commutative ring
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationQ & A in General Topology, Vol. 16 (1998)
Q & A in General Topology, Vol. 16 (1998) QUESTIONS ON INDUCED UNIVERSAL MAPPINGS JANUSZ J. CHARATONIK AND WLODZIMIERZ J. CHARATONIK University of Wroclaw (Wroclaw, Poland) Universidad Nacional Aut6noma
More informationProblems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;
Math 553 - Topology Todd Riggs Assignment 2 Sept 17, 2014 Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9; 17.2) Show that if A is closed in Y and
More informationA Tourist s Guide to The General Topology of Dynamical Systems
A Tourist s Guide to The General Topology of Dynamical Systems Graduate Studies in Mathematics, V. 1, American Mathematical Society Providence, R.I. Ethan Akin Mathematics Department The City College 137
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationLecture 2. x if x X B n f(x) = α(x) if x S n 1 D n
Lecture 2 1.10 Cell attachments Let X be a topological space and α : S n 1 X be a map. Consider the space X D n with the disjoint union topology. Consider further the set X B n and a function f : X D n
More informationContra θ-c-continuous Functions
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 1, 43-50 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.714 Contra θ-c-continuous Functions C. W. Baker
More informationFinal Exam Solutions June 10, 2004
Math 0400: Analysis in R n II Spring 004 Section 55 P. Achar Final Exam Solutions June 10, 004 Total points: 00 There are three blank pages for scratch work at the end of the exam. Time it: hours 1. True
More informationC -ALGEBRAS MATH SPRING 2015 PROBLEM SET #6
C -ALGEBRAS MATH 113 - SPRING 2015 PROBLEM SET #6 Problem 1 (Positivity in C -algebras). The purpose of this problem is to establish the following result: Theorem. Let A be a unital C -algebra. For a A,
More informationFREUDENTHAL SUSPENSION THEOREM
FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG Abstract. In this paper, I will prove the Freudenthal suspension theorem, and use that to explain what stable homotopy groups are. All the results stated in
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationANALYSIS WORKSHEET II: METRIC SPACES
ANALYSIS WORKSHEET II: METRIC SPACES Definition 1. A metric space (X, d) is a space X of objects (called points), together with a distance function or metric d : X X [0, ), which associates to each pair
More information54.1 Definition: Let E/K and F/K be field extensions. A mapping : E
54 Galois Theory This paragraph gives an exposition of Galois theory. Given any field extension E/K we associate intermediate fields of E/K with subgroups of a group called the Galois group of the extension.
More informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationUNIVERSALITY OF WEAKLY ARC-PRESERVING MAPPINGS
UNIVERSALITY OF WEAKLY ARC-PRESERVING MAPPINGS Janusz J. Charatonik and W lodzimierz J. Charatonik Abstract We investigate relationships between confluent, semiconfluent, weakly confluent, weakly arc-preserving
More informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationApplications of Homotopy
Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationMath 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008
Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Closed sets We have been operating at a fundamental level at which a topological space is a set together
More informationSOME STRUCTURE THEOREMS FOR INVERSE LIMITS WITH SET-VALUED FUNCTIONS
http://topology.auburn.edu/tp/ TOPOLOGY PROCEEDINGS Volume 42 (2013) Pages 237-258 E-Published on January 10, 2013 SOME STRUCTURE THEOREMS FOR INVERSE LIMITS WITH SET-VALUED FUNCTIONS M. M. MARSH Abstract.
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
More informationCHAPTER 9. Embedding theorems
CHAPTER 9 Embedding theorems In this chapter we will describe a general method for attacking embedding problems. We will establish several results but, as the main final result, we state here the following:
More information("-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp.
I l ("-1/'.. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS R. T. Rockafellar from the MICHIGAN MATHEMATICAL vol. 16 (1969) pp. 397-407 JOURNAL LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERATORS
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationLOCAL CONNECTEDNESS AND CONNECTED OPEN FUNCTIONS
PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 4 1996 LOCAL CONNECTEDNESS AND CONNECTED OPEN FUNCTIONS J.J. Charatonik Abstract: Localized versions are proved of some results concerning preservation of local connectivity
More informationChapter 1 Vector Spaces
Chapter 1 Vector Spaces Per-Olof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 110 Linear Algebra Vector Spaces Definition A vector space V over a field
More informationSolve EACH of the exercises 1-3
Topology Ph.D. Entrance Exam, August 2011 Write a solution of each exercise on a separate page. Solve EACH of the exercises 1-3 Ex. 1. Let X and Y be Hausdorff topological spaces and let f: X Y be continuous.
More informationINVERSE LIMITS WITH SET VALUED FUNCTIONS. 1. Introduction
INVERSE LIMITS WITH SET VALUED FUNCTIONS VAN NALL Abstract. We begin to answer the question of which continua in the Hilbert cube can be the inverse limit with a single upper semi-continuous bonding map
More informationf(a)(\c = f(f l(c)c A). K.1 Compactly generated spaces
K.1 Compactly generated spaces Definition. A space X is said to be compactly generated if it satisfies the following condition: A set A is open in X if An C is open in C for each compact subspace C of
More informationLocally Lipschitzian Guiding Function Method for ODEs.
Locally Lipschitzian Guiding Function Method for ODEs. Marta Lewicka International School for Advanced Studies, SISSA, via Beirut 2-4, 3414 Trieste, Italy. E-mail: lewicka@sissa.it 1 Introduction Let f
More informationON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS. Hyungsoo Song
Kangweon-Kyungki Math. Jour. 11 (2003), No. 2, pp. 161 167 ON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS Hyungsoo Song Abstract. The purpose of this paper is to study and characterize the notions
More information1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and
Topology MT434P Problems/Homework Recommended Reading: Munkres, J.R. Topology Hatcher, A. Algebraic Topology, http://www.math.cornell.edu/ hatcher/at/atpage.html For those who have a lot of outstanding
More informationThe Fundamental Group and Covering Spaces
Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may
More informationEconomics 204 Fall 2011 Problem Set 2 Suggested Solutions
Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit
More informationMath General Topology Fall 2012 Homework 13 Solutions
Math 535 - General Topology Fall 2012 Homework 13 Solutions Note: In this problem set, function spaces are endowed with the compact-open topology unless otherwise noted. Problem 1. Let X be a compact topological
More informationTOPOLOGICAL GROUPS MATH 519
TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as
More informationMetric Spaces Lecture 17
Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationAN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES
AN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES MASSIMO FURI AND ALFONSO VIGNOLI Abstract. We introduce the class of hyper-solvable equations whose concept may be regarded
More informationCW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.
CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological
More informationMath General Topology Fall 2012 Homework 6 Solutions
Math 535 - General Topology Fall 202 Homework 6 Solutions Problem. Let F be the field R or C of real or complex numbers. Let n and denote by F[x, x 2,..., x n ] the set of all polynomials in n variables
More informationDimension and Continuity on T 0 -Alexandroff Spaces
International Mathematical Forum, 5, 2010, no. 23, 1131-1140 Dimension and Continuity on T 0 -Alexandroff Spaces Hisham Mahdi Islamic University of Gaza Department of Mathematics P.O. Box 108, Gaza, Palestine
More informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More information3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.
Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More information3 COUNTABILITY AND CONNECTEDNESS AXIOMS
3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first
More informationA NOTE ON 5-CONTINUITY AND PROXIMATE FIXED POINTS FOR MULTI-VALUED FUNCTIONS
A NOTE ON 5-CONTINUITY AND PROXIMATE FIXED POINTS FOR MULTI-VALUED FUNCTIONS RAYMOND E. SMITHSON 1. Introduction. Let I be a topological space and let Y be a metric space with metric d. Let/: X >F be a
More information"In presenting the dissertation as a partial fulfillment of the requirements for an advanced degree from the Georgia Institute of Technology, I agree
"In presenting the dissertation as a partial fulfillment of the requirements for an advanced degree from the Georgia Institute of Technology, I agree that the Library of the Institution shall make it available
More informationMath 396. Bijectivity vs. isomorphism
Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationTopology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng
Topology Part of the Qualify Exams of Department of Mathematics, Texas A&M University Prepared by Zhang, Zecheng Remark 0.1. This is a solution Manuel to the topology questions of the Topology Geometry
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationA SECOND COURSE IN GENERAL TOPOLOGY
Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND
More informationINSERTION OF A FUNCTION BELONGING TO A CERTAIN SUBCLASS OF R X
Bulletin of the Iranian Mathematical Society, Vol. 28 No. 2 (2002), pp.19-27 INSERTION OF A FUNCTION BELONGING TO A CERTAIN SUBCLASS OF R X MAJID MIRMIRAN Abstract. Let X be a topological space and E(X,
More informationDUALITY FOR BOOLEAN EQUALITIES
DUALITY FOR BOOLEAN EQUALITIES LEON LEBLANC Introduction. Boolean equalities occur naturally in Logic and especially in the theory of polyadic algebras. For instance, they have been used in [2] under the
More informationDef. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationMathematics for Business and Economics - I. Chapter 5. Functions (Lecture 9)
Mathematics for Business and Economics - I Chapter 5. Functions (Lecture 9) Functions The idea of a function is this: a correspondence between two sets D and R such that to each element of the first set,
More informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationInstitutionen för matematik, KTH.
Institutionen för matematik, KTH. Contents 7 Affine Varieties 1 7.1 The polynomial ring....................... 1 7.2 Hypersurfaces........................... 1 7.3 Ideals...............................
More information