Quasi-uniform spaces April 28, 2001
|
|
- Edmund Newman
- 5 years ago
- Views:
Transcription
1 Quasi-uniform spaces April 28, 2001 A quasi-uniformity on a set X is a filter U on X X satisfying the conditions: Each U U is reflexive, and for each U U there is V U such that V 2 := V V U. Here V V := {(x, z) X X : there is y X such that (x, y) V and (y, z) V }. For each quasi-uniformity U the filter U 1 consisting of the inverse relations U 1 = {(y, x) X X : (x, y) U} where U U is called the conjugate quasi-uniformity of U. A quasi-uniformity U is said to be a uniformity if U 1 = U (see [E, Chapter 8]). If U 1 and U 2 are quasi-uniformities on X such that U 1 U 2, then U 1 is called coarser than U 2. The coarsest uniformity U s finer than U is generated by the subbase U U 1. A map f : (X, U) (Y, V) between quasi-uniform spaces (X, U) and (Y, V) is called quasi-uniformly continuous if for each V V there is U U such that (f f)u V. Basic facts about the category Quu of quasi-uniform spaces and quasi-uniformly continuous maps can be found in [3]. The theory of quasiuniform spaces represents a generalization of the theories of metric spaces and partial orders, which allows one to unify common features of these theories like fixed point theorems and completions. The survey article [4] provides a comprehensive exposition (without proofs) of the area. Omitting many interesting topics like fuzzy quasi-uniformities, quasi-uniformities on frames and approach quasi-uniformities and not discussing applications of quasi-uniform spaces outside topology we shall concentrate in the following on some major aspects of the theory. Each quasi-uniformity U on a set X induces a topology τ(u) determined by the neighborhood filters U(x) = {U(x) : U U} (x X), where U(x) = {y X : (x, y) U}. Each quasi-uniformly continuous map between quasi-uniform spaces is continuous. A quasi-uniformity U is called small-set symmetric if τ(u 1 ) τ(u); its conjugate is then called point-symmetric [3, Definition 2.22]. J. Marín and S. Romaguera proved that every continuous map from a Lebesgue [3, Definition 5.1] quasi-uniform space to a small-set symmetric quasi-uniform space is quasi-uniformly continuous. Similarly, each continuous open map from a compact uniform space to any quasi-uniform space is quasi-uniformly open. Each topological space (X, τ) is quasi-uniformizable, since τ coincides with the topology induced by the Pervin quasi-uniformity generated by the subbase {[(X \ G) X] [X G] : G τ}, and admits a finest compatible quasi-uniformity called its fine quasi-uniformity. H. Künzi proved that a topological space admits a unique quasi-uniformity if and only if all its interior-preserving open collections are finite. The condition implies hereditary compactness and is equivalent to this property in quasi-sober spaces. A topological space X of network weight nw(x) admits at most 2 2nw(X) quasiuniformities. H. Künzi also characterized internally the topological spaces admitting a coarsest quasi-uniformity. His condition is implied by local compactness (i.e. each point has a neighborhood base consisting of compact sets) and is equivalent to it in spaces in which the limit set of each convergent ultrafilter is the closure of some unique singleton (i.e., supersober spaces). Let [0, ) denote the set of the nonnegative reals. A quasi-pseudometric 1
2 d on a set X is a function d : X X [0, ) that satisfies d(x, x) = 0 and d(x, z) d(x, y)+d(y, z) whenever x, y, z X. Then d 1 defined by d 1 (x, y) = d(y, x) whenever x, y X is the conjugate quasi-pseudometric of d. A quasipseudometric d on X is called a quasi-metric if x, y X and d(x, y) = 0 imply x = y; it is called non-archimedean if d(x, z) max{d(x, y), d(y, z)} whenever x, y, z X. Each quasi-pseudometric d on X generates a quasi-uniformity U d with base {{(x, y) X X : d(x, y) < ɛ} : ɛ > 0}. For each quasi-uniformity U possessing a countable base there is a quasi-pseudometric d such that U = U d. Every quasi-uniformity can be represented as the supremum of a family of quasi-pseudometric quasi-uniformities (see e.g. I. Reilly s work cited in [4]). Other approaches to quasi-uniformities use pair-covers, or concepts of quasipseudometrics taking values in structures more general than the reals (see e.g. R. Kopperman s continuity spaces). Many classical counterexamples in topology like the Sorgenfrey plane, the Niemytzki plane or the Michael line are quasi-metrizable, i.e., their topology is equal to τ(u d ) for some quasi-metric d. A γ-space is a topological T 1 -space admitting a local quasi-uniformity [3, Definition 7.15] with a countable base. R. Fox and J. Kofner constructed γ- spaces that are not quasi-metrizable. A topological space is non-archimedeanly quasi-pseudometrizable if and only if it possesses a σ-interior-preserving base; it is quasi-pseudometrizable if and only if it admits a local quasi-uniformity with a countable base so that the conjugate filter is also a local quasi-uniformity. No completely satisfactory characterization of quasi-pseudometrizability in topological terms seems to be known. H. Junnila established that each developable γ-space is quasi-metrizable. Several kinds of γ-spaces are known to be nonarchimedeanly quasi-metrizable, e.g., the suborderable γ-spaces and γ-spaces having an orthobase. J. Kofner showed that a first-countable image of a quasimetrizable space under a continuous closed map is quasi-metrizable; hence perfect surjections preserve quasi-metrizability. He also proved that a Moore space that is an image of a quasi-metrizable space under a continuous open map with compact fibers need not be quasi-metrizable. A quasi-uniform space (X, U) is called precompact (resp. totally bounded) if for each U U, {U(x) : x X} has a finite subcover (resp. U s is precompact). The concept of a totally bounded quasi-uniform space is (in the categorical sense) equivalent to the notion of a quasi-proximity space (see [3]). For any topological space, the Pervin quasi-uniformity is its finest compatible totally bounded quasi-uniformity. Each quasi-uniformity U contains a finest totally bounded quasi-uniformity U ω coarser than U, which induces the same topology as U. If the quasi-proximity class {V is quasi-uniformity on X: V ω = U ω } of a quasi-uniformity U on X possesses more than one member, then it contains at least 2 c quasi-uniformities. H. Künzi proved that a topological space (X, τ) admits a unique totally bounded quasi-uniformity if and only if its topology τ is the unique base of open sets for τ that is closed under finite unions and finite intersections. (Here the convention = X is used.) The condition is strictly weaker than hereditary compactness, even in T 1 -spaces, but is equivalent to this property in supersober compact spaces. For each nonzero cardinal κ there exists a (T 0 -)space admitting exactly κ totally bounded quasi-uniformities. 2
3 A quasi-uniformity is called transitive if it has a base consisting of transitive relations. Each topological space that does not admit a unique quasi-uniformity admits at least 2 c nontransitive and at least 2 c transitive quasi-uniformities. Each infinite Tychonoff space admits at least 2 c transitive totally bounded and at least 2 c nontransitive totally bounded quasi-uniformities. Let (X, τ) be a topological space and let A be a collection of interior-preserving open covers C of X such that A is a subbase for τ. For any C set U C = x X ({x} {D : x D C}). Then {U C : C A} is a subbase for a compatible transitive quasi-uniformity U A on X (the so-called Fletcher construction). If A is the collection of all finite (resp. locally finite; interior-preserving) open covers of X, then U A is the Pervin (resp. locally finite; fine transitive) quasiuniformity of X (see [3]). Similarly, if A is the collection of all well-monotone open covers, i.e., covers well-ordered by set-theoretic inclusion, then U A is the well-monotone quasi-uniformity of X. Its conjugate is always hereditarily precompact. A quasi-uniform space (X, U) is totally bounded if and only if it is doubly hereditarily precompact, i.e., both U and U 1 are hereditarily precompact. The quasi-uniformity generated by a preorder is hereditarily precompact if and only if is a well-quasi-order (i.e. has neither infinite antichains nor infinite strictly descending chains). A topological space is called transitive if its fine quasi-uniformity is transitive. The property is neither finitely productive nor hereditary. Countable unions of closed (resp. open) transitive topological spaces are transitive. Transitivity is preserved under continuous closed surjections. Kofner s plane is a nontransitive topological space, since it is quasi-metrizable, but not non-archimedeanly quasi-metrizable. Various topological spaces are known to be transitive (compare [4]): e.g., the orthocompact semistratifiable; suborderable; hereditarily metacompact locally compact regular; and T 1 -spaces having an orthobase. A quasi-uniform space (X, U) is called bicomplete provided that U s is a complete (see [E, Chapter 8.3]) uniformity. Each quasi-uniform T 0 -space (X, U) has an (up to quasi-uniform isomorphism) unique bicompletion ( X, Ũ) in the sense that the space ( X, Ũ) is a bicomplete extension of (X, U) in which (X, U) is τ(ũ s )-dense. The uniformities (Ũ)s and Ũ s coincide. Furthermore if f : (X, U) (Y, V) is a quasi-uniformly continuous map into a bicomplete quasi-uniform T 0 -space (Y, V), then there exists a (unique) quasi-uniformly continuous extension f : X Y of f. Each quasi-pseudometric T 0 -space possesses a quasi-pseudometric bicompletion. Much work was devoted to spaces admitting bicomplete quasi-pseudometrics (quasi-uniformities). We mention only two results: A metrizable space admits a bicomplete quasi-metric if and only if it is an absolute metric F σδ ; the fine quasi-uniformity of each quasi-pseudometrizable and each quasi-sober space is bicomplete. Bicompletions of totally bounded T 0 -quasi-uniformities U yield joincompactifications, i.e., τ(ũ s ) is compact. The first thorough investigations of this concept were conducted by Á. Császár and S. Salbany. The Fell compactification of a locally compact (T 0 -)space can be constructed as the bicompletion of its coarsest compatible quasi-uniformity. The locally compact supersober compact (also called skew compact) spaces 3
4 provide an analogue in the category of T 0 -spaces to the class of compact spaces in the category of Hausdorff spaces. They are characterized as the T 0 -spaces that admit a totally bounded bicomplete quasi-uniformity; it is their coarsest compatible quasi-uniformity. Let T denote the (obvious) forgetful functor from the category Quu to the category Top of topological spaces and continuous maps. A functorial quasiuniformity is a functor F : Top Quu such that T F = 1, i.e., F is a T -section. (All the quasi-uniformities constructed above by Fletcher s method satisfy this criterion.) G. Brümmer showed that the coarsest functorial quasiuniformity is the Pervin quasi-uniformity. Using the idea of initiality, he built functorial quasi-uniformities by the spanning construction (see [1]). In the following discussion about the bicompletion functor K, we restrict ourselves to T 0 -spaces. G. Brümmer called a T -section F lower (resp. upper) K-true if KF X F T KF X (resp. KF X F T KF X) for any space X; sections that satisfy both conditions are called K-true. (Here corresponds to the coarser relation for quasi-uniformities.) If F is K-true, then T KF is a reflection. G. Brümmer showed that a T -section F is lower K-true if and only if F is spanned by some class of bicomplete quasi-uniform spaces and H. Künzi noted that F is upper K-true if and only if F is finer than the well-monotone quasi-uniformity. The fine (resp. Pervin; locally finite) quasi-uniformity is K-true (resp. lower K-true, but not upper K-true; neither lower nor upper K-true); see [5]. The categories Top and Quu are related to two other categories, namely the category of bitopological spaces (= bispaces) and bicontinuous maps and the category of topological ordered spaces and continuous increasing maps. Many concepts can be transferred (often with some difficulties) between these four categories. We next give some examples: Each quasi-uniform space (X, U) induces the bispace (X, τ(u), τ(u 1 )). Exactly the (pairwise) completely regular bispaces can be obtained in this way. L. Nachbin observed that for any quasiuniform T 0 -space (X, U), the triple (X, T (U s ), U) determines a topological T 2 -ordered space (i.e., the partial order U is τ(u s ) τ(u s )-closed); his construction determines exactly the completely regularly (T 2 -)ordered spaces. The theory of the bicompletion allows one to build bicompactifications (resp. ordered compactifications) in these two categories. A completely regularly ordered space (X, T, ) is said to be strictly completely regularly ordered (in the sense of J. Lawson) if the bispace (X, T, T ) is pairwise completely regular. Here T resp. T denotes the upper resp. lower topology of X. H. Künzi and S. Watson constructed completely regularly ordered spaces that are not strictly completely regularly ordered; e.g., such spaces cannot be topological lattices. R. Fox characterized quasi-metrizable bispaces as the pairwise stratifiable doubly γ-bispaces, but pointed out that there are pairwise stratifiable, pairwise developable bispaces which are not quasi-metrizable. The search continues for completions based on a less symmetric idea than the bicompletion. Originally the interest was directed towards Pervin-Sieber completeness. A filter F on a quasi-uniform space (X, U) is called a P S-filter if for each U U there is x X such that U(x) F. A quasi-uniform space (X, U) is called P S-complete provided that each P S-filter has a cluster point. 4
5 For locally symmetric [3, Definition 2.24] quasi-uniform spaces the property is equivalent to convergence completeness, i.e., each P S-filter converges. P. Fletcher and H. Künzi showed that the fine quasi-uniformity of any nontrivial Tychonoff Σ-product is not P S-complete. To date no regular quasi-metrizable space is known whose fine quasi-uniformity is not P S-complete. Each Tychonoff sequentially P S-complete quasi-metric space is Čech complete. Moreover each Tychonoff orthocompact Čech complete space with a G δ-diagonal admits a convergence complete (non-archimedean) quasi-metric. Unfortunately, P S-filters are often difficult to handle and no satisfactory theory of P S-completions exists. In recent investigations P S-completeness was often abandoned in favour of S- or left K-completeness. The latter concepts discussed below allow involved combinatorial arguments and with their help many classical results could be generalized satisfactorily. Any net (x d ) d D in a quasi-uniform space (X, U) is called left K-Cauchy (resp. right K-Cauchy) if for any U U there is d D such that d 2, d 1 D and d 2 d 1 d imply that (x d1, x d2 ) U (resp. (x d2, x d1 ) U). A filter F on a quasi-uniform space (X, U) is said to be left (resp. right) K-Cauchy if for each U U there is F F such that U(x) F (resp. U 1 (x) F) whenever x F. A quasi-uniformity is called left (resp. right) K-complete provided that each left (resp. right) K-Cauchy filter converges. A filter F on a quasi-uniform space (X, U) is called stable if F F U(F ) F whenever U U. We next mention some observations (mainly due to H. Künzi and S. Romaguera) about the introduced concepts that extend classical results, whose proofs however often need nontrivial modifications: P S-completeness implies left K-completeness. Any right K-Cauchy filter is stable; the converse holds for ultrafilters. A filter on a quasi-uniform space (X, U) is both stable and left K-Cauchy if and only if it is Cauchy in (X, U s ). Left (resp. right) K-completeness is equivalent to left (resp. right) K-completeness defined with nets. For a quasi-pseudometric quasiuniform space (X, U d ) left K-sequential completeness, left K-completeness and the condition that each co-stable filter has a τ(u d )-cluster point are equivalent. Here a filter is called co-stable if it is stable in the conjugate space. A quasiuniform space (X, U) is hereditarily precompact if and only if each ultrafilter is left K-Cauchy (equivalently, each filter is co-stable); τ(u) is compact if and only if U is precompact and left K-complete. The property that each co-stable filter clusters is preserved under quasi-uniformly open continuous surjections between quasi-uniform spaces. This property implies left K-completeness and for uniform spaces is equivalent to supercompleteness (i.e., completeness of the Hausdorff uniformity). Each regular left K-complete quasi-pseudometric space is a Baire space. A quasi-metrizable space admits a left K-complete quasimetric if and only if it possesses a λ-base in the sense of H. Wicke and J. Worrell (see [5]). Although many classical results on completeness do not generalize to right K-completeness, that property behaves better than left K-completeness in function spaces and hyperspaces. From the point of view of category theory besides the bicompletion at least two further satisfactory asymmetric completions for quasi-uniform spaces are known: The theory of the Smyth-completion of topological quasi-uniform 5
6 spaces (in a quasi-pseudometric variant often called the Yoneda-completion) and the theory of the Doitchinov-completion of quiet quasi-uniform spaces (with its quasi-metric variant for balanced quasi-metrics). M. Smyth endowed a quasi-uniform space (X, U) with a topology τ that is not necessarily its standard topology τ(u), but is linked to U by some additional axioms. He defined the (now called) Smyth- or S-completion for a topological quasi-uniform T 0 -space (X, U, τ). P. Sünderhauf called a quasi-uniform T 0 -space equipped with its standard topology S-completable if its Smythcompletion also carries the standard topology; e.g. each weightable T 0 -quasipseudometric in the sense of S. Matthews induces an S-completable quasiuniformity. For S-completable spaces the construction of the Smyth-completion coincides with the bicompletion. A quasi-uniform T 0 -space (X, U) is S-completable (S-complete) if and only if each left K-Cauchy filter is Cauchy in (X, U s ) (τ(u s )- converges). Hence each S-complete quasi-uniform space is left K-complete and bicomplete. The Smyth-completion can be interpreted as a kind of K- completion. Since convergent filters in a quasi-uniform space are not left K- Cauchy in general, a simple theory of left K-completion is unlikely to exist. N. Ferrario and H. Künzi showed that if we equip an arbitrary T 0 -space with the well-monotone quasi-uniformity (and its standard topology), then we obtain the sobrification equipped with its well-monotone quasi-uniformity as its Smyth-completion (= bicompletion). Extending this result, R. Flagg, R. Kopperman and P. Sünderhauf introduced the concept of a well-monotone quasiuniformity W τ for any topological quasi-uniform T 0 -space and proved that its Smyth-completion can be obtained via the bicompletion of W τ. A kind of bitopological extension of the bicompletion for a subclass of quasiuniform spaces was found by D. Doitchinov. Call a filter G on a quasi-uniform space (X, U) a D-Cauchy filter if there exists a co-filter F on X (i.e., for each U U there are F F and G G such that F G U). Then (F, G) is said to be a Cauchy filter pair on (X, U). The quasi-uniformity U is called D-complete if each D-Cauchy filter converges in (X, τ(u)). Of course, each convergence complete quasi-uniform space is D-complete. A quasi-uniform space (X, U) is called quiet if for each U U there is V U such that for each Cauchy filter pair (F, G) on (X, U) and all x, y X with V 1 (y) F and V (x) G we have (x, y) U. Each quiet quasi-uniform T 0 -space (X, U) has a standard D-completion, now called its Doitchinov-completion, i.e., there is an (up to quasi-uniform isomorphism) uniquely determined quiet D-complete quasi-uniform T 0 -space (X +, U + ) in which X is doubly dense; X + has the reflection property for quasi-uniformly continuous maps into quiet D-complete quasi-uniform T 0 -spaces. The Doitchinov-completion of the conjugate of a quiet quasi-uniform T 0 -space can be identified with the conjugate of its Doitchinovcompletion. Unfortunately quietness is a rather restrictive property, since e.g. each quiet totally bounded quasi-uniform space is uniform by an observation due to P. Fletcher and W. Hunsaker. Extension theories for (more) general quasiuniformities (and quasi-pseudometrics) were mainly developed in Hungary, e.g. by J. Deák (see [2]). D. Doitchinov himself also investigated a D-complete extension for stable (i.e. each D-Cauchy filter is stable) quasi-uniform T 0 -spaces. 6
7 For quasi-pseudometric spaces stability is a strong property; e.g. each regular doubly stable quasi-pseudometric space is subparacompact and closed sets are G δ -sets. The completeness properties discussed above were studied extensively for functorial quasi-uniformities; e.g., the well-monotone quasi-uniformity of any topological space X is left K-complete; it is S-complete if and only if X is quasi-sober (see [5]). The fine quasi-uniformity need neither be right K- nor D-complete. We next deal with two further interesting classes of quasi-uniform spaces investigated in recent years. A quasi-uniformity U on a set X is called uniformly regular if for each U U there is V U such that cl τ(u) V (x) U(x) whenever x X. Quiet quasi-uniform spaces are doubly uniformly regular. For a topological space the property of admitting a uniformly regular quasi-uniformity lies strictly between regularity and complete regularity. Each uniformly regular quasi-uniformity is bicomplete if D-complete, and S-complete if left K-complete. P. Fletcher and W. Hunsaker established that the fine transitive quasi-uniformity of a topological space is quiet and convergence complete if it is uniformly regular. The fine quasi-uniformity of each regular preorthocompact semistratifiable space and each regular T 1 -space with an orthobase is uniformly regular (see [5]). A quasi-uniformity U is called monotonic if there exists an operator M : U U such that M(U) M(V ) whenever U, V U and U V, and such that M(U) 2 U whenever U U. H. Junnila and H. Künzi established that each T 1 -space with an orthobase admits a monotonic quasi-uniformity. Only few results about uniformities on function spaces and hyperspaces generalize without complications to quasi-uniformities, as e.g. work of J. Cao, S. Naimpally, B. Papadopoulos and H. Render showed. The following results may serve as examples: For a topological space X and a quasi-uniform space (Y, V) the quasi-uniformity of quasi-uniform convergence on the set Y X of all functions from X to Y is right K-complete if and only if V is right K-complete; the corresponding result does not hold for left K-completeness. The subspace C(X, Y ) of continuous maps from X to Y is closed in Y X if V is locally symmetric, but not in general. The quasi-uniformity of quasiuniform convergence on compacta induces on C(X, Y ) the compact-open topology if V is small-set symmetric, but not for arbitrary V. Let (X, U) be a quasi-uniform space. On the set P 0 (X) of nonempty subsets of X the Hausdorff quasi-uniformity U H is generated by the base {U H : U U} where U H = {(A, B) : B U(A) and A U 1 (B)}. The Hausdorff quasi-uniformity is precompact (resp. totally bounded; joincompact) if and only if the underlying space has the corresponding property. Bicompleteness and left K-completeness (even for quasi-pseudometric spaces) behave rather badly under the Hausdorff hyperspace construction. Generalizing a well-known result due to B. Burdick and J. Isbell on supercompleteness of uniform spaces, H. Künzi and C. Ryser established that U H is right K-complete if and only if each stable filter on (X, U) clusters. H. Künzi and S. Romaguera characterized those quasi-uniformities U for which τ(u H ) is compact (resp. U H is hereditarily precompact); both results rely on combinatorial facts about well-quasi-ordering. Studies were con- 7
8 ducted about those quasi-uniformities for which U H induces on the set K 0 (X) of nonempty τ(u)-compact sets the Vietoris topology and about quasi-uniform variants of K. Morita s result that (K 0 (X), U H K 0 (X)) is complete for any complete uniform space (X, U) (see [5]). Furthermore authors studied the multifunction space (equipped with its natural Hausdorff quasi-uniformity) and considered asymmetric versions of the result that each almost uniformly open (multivalued) map with closed graph from a supercomplete uniform space into an arbitrary uniform space is uniformly open. Quasi-uniformities were also investigated in topological algebraic structures. The study of paratopological groups and asymmetric normed (real) vector spaces and cones with the help of canonical quasi-uniformities was particularly fruitful. A paratopological group is a group equipped with a topology such that the group multiplication is continuous; an asymmetric norm possibly satisfies ax = a x only for nonnegative real a. We shall concentrate here on paratopological groups, but note in passing that asymmetric norms provide e.g. an efficient approach to the complexity spaces introduced by M. Schellekens. Among other things, J. Marín and S. Romaguera showed that the ground set of the bicompletion of the two-sided quasi-uniformity of a paratopological (T 0 -)group naturally carries the structure of a paratopological group; the quasi-uniformity of the bicompletion yields its two-sided quasi-uniformity. Furthermore they observed that each first-countable paratopological group admits a left-invariant quasi-pseudometric compatible with its left quasi-uniformity. Together with H. Künzi they generalized parts of their theory about paratopological groups to topological semigroups (with neutral element). H. Künzi, S. Romaguera and O. Sipacheva noted that the two-sided quasi-uniformity of a regular paratopological group G is quiet. They established that its Doitchinovcompletion can be considered a paratopological group if G is abelian; in general however the multiplication does not extend to the completion. S. Romaguera, M. Sanchis and M. Tkachenko proved that for any topological (resp. quasiuniform) space X the free and the free abelian paratopological group over X exist (see [5]). H. Künzi continued work of P. Fletcher and K. Porter by showing that the group of all quasi-uniform isomorphisms of a bicomplete quasi-uniform (T 0 -)space equipped with the quasi-uniformity of quasi-uniform convergence yields a paratopological group whose two-sided quasi-uniformity is bicomplete. References [1] G.C.L. Brümmer, Categorical aspects of the theory of quasi-uniform spaces, Rend. Ist. Mat. Univ. Trieste 30 Suppl. (1999), [2] Á. Császár, Old and new results on quasi-uniform extension, Rend. Ist. Mat. Univ. Trieste 30 Suppl. (1999), [3] P. Fletcher and W.F. Lindgren, Quasi-Uniform Spaces, Lecture Notes Pure Appl. Math. 77, Dekker, New York,
9 [4] H.-P.A. Künzi, Nonsymmetric distances and their associated topologies: about the origins of basic ideas in the area of asymmetric topology, in Handbook of the History of General Topology, Vol. 3, eds. C. Aull and R. Lowen, Kluwer, Dordrecht (to appear). [5] H.-P.A. Künzi, Quasi-uniform spaces in the year 2001, preprint. Hans-Peter A. Künzi University of Cape Town, SA 9
Document downloaded from:
Document downloaded from: http://hdl.handle.net/10251/55701 This paper must be cited as: Romaguera Bonilla, S.; Sanchez Granero, MA.; Sanchis Lopez, M. (2014). On the construction of domains of formal
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 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 informationImprovements of quasi-metrization theorems of Ribeiro and Pareek
Improvements of quasi-metrization theorems of Ribeiro and Pareek Eliza Wajch Faculty of Mathematics and Computer Science University of Lodz Bukowina Tatrzańska, June 2010 Axioms of set theory I assume
More informationCOMPLETION OF SEMI-UNIFORM SPACES AND QUASI-TOPOLOGICAL GROUPS (Doctoral Thesis)
Charles University in Prague Faculty of Mathematics and Physics Department of Mathematical Analysis Barbora Batíková COMPLETION OF SEMI-UNIFORM SPACES AND QUASI-TOPOLOGICAL GROUPS (Doctoral Thesis) Supervisor:
More informationSPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS. Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods
SPACES WHOSE PSEUDOCOMPACT SUBSPACES ARE CLOSED SUBSETS Alan Dow, Jack R. Porter, R.M. Stephenson, Jr., and R. Grant Woods Abstract. Every first countable pseudocompact Tychonoff space X has the property
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationTHE SEMICONTINUOUS QUASI-UNIFORMITY OF A FRAME
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 03 27 THE SEMICONTINUOUS QUASI-UNIFORMITY OF A FRAME MARIA JOÃO FERREIRA AND JORGE PICADO Abstract: The aim of this
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationMATEMATIQKI VESNIK 47 (1995), 11{18 UDC originalni nauqni rad research paper SOME PROPERTIES OF SEMI-CONTINUOUS FUNCTIONS AND QUASI-UNIFORM
MATEMATIQKI VESNIK 47 (1995), 11{18 UDC 515.123.2 originalni nauqni rad research paper SOME PROPERTIES OF SEMI-CONTINUOUS FUNCTIONS AND QUASI-UNIFORM SPACES J. Ferrer, V. Gregori and I. L. Reilly Abstract.
More informationExtending Algebraic Operations to D-Completions
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Extending Algebraic Operations to D-Completions Klaus
More informationby Harold R. Bennett, Texas Tech University, Lubbock, TX and David J. Lutzer, College of William and Mary, Williamsburg, VA
The β-space Property in Monotonically Normal Spaces and GO-Spaces by Harold R. Bennett, Texas Tech University, Lubbock, TX 79409 and David J. Lutzer, College of William and Mary, Williamsburg, VA 23187-8795
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
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 informationarxiv: v1 [math.gn] 6 Jul 2016
COMPLETENESS PROPERTIES OF THE OPEN-POINT AND BI-POINT-OPEN TOPOLOGIES ON C(X) arxiv:1607.01491v1 [math.gn] 6 Jul 2016 ANUBHA JINDAL, R. A. MCCOY, S. KUNDU, AND VARUN JINDAL Abstract. This paper studies
More informationGeneral Topology. Summer Term Michael Kunzinger
General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More information10 J. Rodrguez-Lopez A quasi-pseudo-metric on a set X is a nonnegative real valued function d on X X such that for all x; y; z 2 X : (i) d(x; x) = 0 a
@ Applied General Topology Universidad Politecnica de Valencia Volume 2, No. 1, 2001 pp. 9-25 Fell type topologies of quasi-pseudo-metric spaces and the Kuratowski-Painleve convergence Jesus Rodrguez-Lopez
More informationINDEX C K(X),266. ~-uniformity, 70 Birkhoff, G., 83 bonding map, 126 C~(X), 325
INDEX Abelian group, 273 absolute continuity, 372 absolutely closed, 42 abstract category, 147 accumulation point, complete, 74 additive set function, 235 Alexandrov, P., 73 algebra, 230 algebra, measure,
More informationExtensions Of S-spaces
University of Central Florida Electronic Theses and Dissertations Doctoral Dissertation (Open Access) Extensions Of S-spaces 2013 Bernd Losert University of Central Florida Find similar works at: http://stars.library.ucf.edu/etd
More informationComparing cartesian closed categories of (core) compactly generated spaces
1 Comparing cartesian closed categories of (core) compactly generated spaces By MARTÍN ESCARDÓ School of Computer Science University of Birmingham, UK JIMMIE LAWSON Department of Mathematics Louisiana
More informationA. ANDRIKOPOULOS and J. N. STABAKIS
IJMMS 25:8 (2001) 549 558 PII. S0161171201004951 http://ijmms.hindawi.com Hindawi Publishing Corp. COVERING PROPERTIES FOR LQ s WITH NESTED BASES A. ANDRIKOPOULOS and J. N. STABAKIS (Received 15 August
More informationA bitopological point-free approach to compactifications
A bitopological point-free approach to compactifications Olaf Karl Klinke a, Achim Jung a, M. Andrew Moshier b a School of Computer Science University of Birmingham Birmingham, B15 2TT England b School
More informationOn Uniform Spaces with Invariant Nonstandard Hulls
1 13 ISSN 1759-9008 1 On Uniform Spaces with Invariant Nonstandard Hulls NADER VAKIL Abstract: Let X, Γ be a uniform space with its uniformity generated by a set of pseudo-metrics Γ. Let the symbol " denote
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationSet theory and topology
arxiv:1306.6926v1 [math.ho] 28 Jun 2013 Set theory and topology An introduction to the foundations of analysis 1 Part II: Topology Fundamental Felix Nagel Abstract We provide a formal introduction into
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 informationCOUNTABLY S-CLOSED SPACES
COUNTABLY S-CLOSED SPACES Karin DLASKA, Nurettin ERGUN and Maximilian GANSTER Abstract In this paper we introduce the class of countably S-closed spaces which lies between the familiar classes of S-closed
More informationCHODOUNSKY, DAVID, M.A. Relative Topological Properties. (2006) Directed by Dr. Jerry Vaughan. 48pp.
CHODOUNSKY, DAVID, M.A. Relative Topological Properties. (2006) Directed by Dr. Jerry Vaughan. 48pp. In this thesis we study the concepts of relative topological properties and give some basic facts and
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationČECH-COMPLETE MAPS. Yun-Feng Bai and Takuo Miwa Shimane University, Japan
GLASNIK MATEMATIČKI Vol. 43(63)(2008), 219 229 ČECH-COMPLETE MAPS Yun-Feng Bai and Takuo Miwa Shimane University, Japan Abstract. We introduce a new notion of Čech-complete map, and investigate some its
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 informationDocument downloaded from: This paper must be cited as:
Document downloaded from: http://hdl.handle.net/10251/50602 This paper must be cited as: Pedraza Aguilera, T.; Rodríguez López, J.; Romaguera Bonilla, S. (2014). Convergence of fuzzy sets with respect
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 informationDENSELY k-separable COMPACTA ARE DENSELY SEPARABLE
DENSELY k-separable COMPACTA ARE DENSELY SEPARABLE ALAN DOW AND ISTVÁN JUHÁSZ Abstract. A space has σ-compact tightness if the closures of σ-compact subsets determines the topology. We consider a dense
More informationSELECTED ORDERED SPACE PROBLEMS
SELECTED ORDERED SPACE PROBLEMS HAROLD BENNETT AND DAVID LUTZER 1. Introduction A generalized ordered space (a GO-space) is a triple (X, τ,
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 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 informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationPolishness of Weak Topologies Generated by Gap and Excess Functionals
Journal of Convex Analysis Volume 3 (996), No. 2, 283 294 Polishness of Weak Topologies Generated by Gap and Excess Functionals Ľubica Holá Mathematical Institute, Slovak Academy of Sciences, Štefánikovà
More informationNeighborhood spaces and convergence
Volume 35, 2010 Pages 165 175 http://topology.auburn.edu/tp/ Neighborhood spaces and convergence by Tom Richmond and Josef Šlapal Electronically published on July 14, 2009 Topology Proceedings Web: http://topology.auburn.edu/tp/
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationSemi-stratifiable Spaces with Monotonically Normal Compactifications
Semi-stratifiable Spaces with Monotonically Normal Compactifications by Harold Bennett, Texas Tech University, Lubbock, TX 79409 and David Lutzer, College of William and Mary, Williamsburg, VA 23187 Abstract:
More informationContents. Index... 15
Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................
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 informationTopologies, ring norms and algebra norms on some algebras of continuous functions.
Topologies, ring norms and algebra norms on some algebras of continuous functions. Javier Gómez-Pérez Javier Gómez-Pérez, Departamento de Matemáticas, Universidad de León, 24071 León, Spain. Corresponding
More informationPOINT SET TOPOLOGY. Definition 2 A set with a topological structure is a topological space (X, O)
POINT SET TOPOLOGY Definition 1 A topological structure on a set X is a family O P(X) called open sets and satisfying (O 1 ) O is closed for arbitrary unions (O 2 ) O is closed for finite intersections.
More informationA TOPOLOGICAL SPACE WITHOUT A COMPLETE QUASI-UNIFORMITY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 90. Number 4. April 1984 A TOPOLOGICAL SPACE WITHOUT A COMPLETE QUASI-UNIFORMITY HANS-PETER A. KÜNZI1 AND PETER FLETCHER Abstract, We show that an
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 information2 Metric Spaces Definitions Exotic Examples... 3
Contents 1 Vector Spaces and Norms 1 2 Metric Spaces 2 2.1 Definitions.......................................... 2 2.2 Exotic Examples...................................... 3 3 Topologies 4 3.1 Open Sets..........................................
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 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 informationMath 201 Topology I. Lecture notes of Prof. Hicham Gebran
Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and
More informationE.7 Alaoglu s Theorem
E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem
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 informationMATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of
More informationON D-SPACES TODD EISWORTH
ON D-SPACES TODD EISWORTH Abstract. We take a look at current research surrounding van Douwen s D-spaces. Introduction So what makes a mathematical problem interesting? This question always provokes spirited
More informationUNIFORM STRUCTURES AND BERKOVICH SPACES
UNIFORM STRUCTURES AND BERKOVICH SPACES MATTHEW BAKER Abstract. A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such
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 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 informationNotes about Filters. Samuel Mimram. December 6, 2012
Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):
More informationPROBLEMS FROM THE GALWAY TOPOLOGY COLLOQUIUM
PROBLEMS FROM THE GALWAY TOPOLOGY COLLOQUIUM CHRIS GOOD, ANDREW MARSH, AISLING MCCLUSKEY, AND BRIAN MCMASTER Abstract. This article presents an overview of several groups of open problems that are currently
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 information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
More informationA note on separation and compactness in categories of convergence spaces
@ Applied General Topology c Universidad Politécnica de Valencia Volume 4, No. 1, 003 pp. 1 13 A note on separation and compactness in categories of convergence spaces Mehmet Baran and Muammer Kula Abstract.
More informationContraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort
Electronic Notes in Theoretical Computer Science 225 (2009) 269 279 www.elsevier.com/locate/entcs Contraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort S. Romaguera 1,2
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationUniform Convergence and Uniform Continuity in Generalized Metric Spaces
Int. Journal of Math. Analysis, Vol. 5, 2011, no. 6, 285-296 Uniform Convergence and Uniform Continuity in Generalized Metric Spaces Abdul Mohamad Department of Mathematics and Statistics Sultan Qaboos
More informationBall transitive ordered metric spaces by Thomas A. Richmond
Proceedings of the 24 th NATIONAL CONFERENCE of GEOMETRY and TOPOLOGY Timișoara,Romania,July 5 9,1994 pp. 137 143 Ball transitive ordered metric spaces by Thomas A. Richmond 0. Introduction. If (X, ) is
More informationSection 31. The Separation Axioms
31. The Separation Axioms 1 Section 31. The Separation Axioms Note. Recall that a topological space X is Hausdorff if for any x,y X with x y, there are disjoint open sets U and V with x U and y V. In this
More informationFragmentability and σ-fragmentability
F U N D A M E N T A MATHEMATICAE 143 (1993) Fragmentability and σ-fragmentability by J. E. J a y n e (London), I. N a m i o k a (Seattle) and C. A. R o g e r s (London) Abstract. Recent work has studied
More informationOn locally Lipschitz functions
On locally Lipschitz functions Gerald Beer California State University, Los Angeles, Joint work with Maribel Garrido - Complutense, Madrid TERRYFEST, Limoges 2015 May 18, 2015 Gerald Beer (CSU) On locally
More informationIntroduction to generalized topological spaces
@ Applied General Topology c Universidad Politécnica de Valencia Volume 12, no. 1, 2011 pp. 49-66 Introduction to generalized topological spaces Irina Zvina Abstract We introduce the notion of generalized
More informationMath 54: Topology. Syllabus, problems and solutions. Pierre Clare. Dartmouth College, Summer 2015
Math 54: Topology Syllabus, problems and solutions Pierre Clare Dartmouth College, Summer 2015 1 [M] Topology (2 nd ed.), by J. Munkres. Textbook O. Introduction - 4 lectures O.1 Elementary set theory
More informationOn topologies defined by irreducible sets
On topologies defined by irreducible sets Zhao Dongsheng and Ho Weng Kin Abstract. In this paper, we define and study a new topology constructed from any given topology on a set, using irreducible sets.
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationUniformly discrete hit-and-miss hypertopology A missing link in hypertopologies
@ Applied General Topology c Universidad Politécnica de Valencia Volume 7, No. 2, 2006 pp. 245-252 Uniformly discrete hit-and-miss hypertopology A missing link in hypertopologies Giuseppe Di Maio, Enrico
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
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 informationAustin Mohr Math 730 Homework. f(x) = y for some x λ Λ
Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A
More informationMaximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989),
A NOTE ON STRONGLY LINDELÖF SPACES Maximilian GANSTER appeared in: Soochow J. Math. 15 (1) (1989), 99 104. Abstract Recently a new class of topological spaces, called strongly Lindelöf spaces, has been
More informationTopological Test Spaces 1 Alexander Wilce Department of Mathematical Sciences, Susquehanna University Selinsgrove, Pa
Topological Test Spaces 1 Alexander Wilce Department of Mathematical Sciences, Susquehanna University Selinsgrove, Pa 17870 email: wilce@susqu.edu Abstract Test spaces (or manuals) provide a simple, elegant
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 informationTopological Algebraic Structure on Souslin and Aronszajn Lines
Topological Algebraic Structure on Souslin and Aronszajn Lines Gary Gruenhage (1), Thomas Poerio (2) and Robert W. Heath(2) (1) Department of Mathematics, Auburn University, Auburn, AL 36849 (2) Department
More informationNotes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
More informationTopological properties defined in terms of generalized open sets
arxiv:math/9811003v1 [math.gn] 1 Nov 1998 Topological properties defined in terms of generalized open sets Julian Dontchev University of Helsinki Department of Mathematics PL 4, Yliopistonkatu 15 00014
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
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 informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationHomework in Topology, Spring 2009.
Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher
More informationON THE CONGRUENCE LATTICE OF A FRAME
PACIFIC JOURNAL OF MATHEMATICS Vol. 130, No. 2,1987 ON THE CONGRUENCE LATTICE OF A FRAME B. BANASCHEWSKI, J. L. FRITH AND C. R. A. GILMOUR Recall that the Skula modification SkX of a topological space
More information(GENERALIZED) COMPACT-OPEN TOPOLOGY. 1. Introduction
STRONG α-favorability OF THE (GENERALIZED) COMPACT-OPEN TOPOLOGY Peter J. Nyikos and László Zsilinszky Abstract. Strong α-favorability of the compact-open topology on the space of continuous functions,
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationSTEVO TODORCEVIC AND JUSTIN TATCH MOORE
June 27, 2006 THE METRIZATION PROBLEM FOR FRÉCHET GROUPS STEVO TODORCEVIC AND JUSTIN TATCH MOORE 1. Introduction Let us begin this paper by recalling the following classical metrization theorem of Birkhoff
More information