DOCSLIB.ORG

Topological Vector Spaces IV: Completeness and Metrizability

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Topological Vector Spaces IV: Completeness and Metrizability TVS IV c Gabriel Nagy Topological Vector Spaces IV: Completeness and Metrizability Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we isolate two important features of topological vector spaces, which, when present, are very useful. With few exceptions, the material from sub-section A is is optional. Convention. Throughout this note K will be one of the fields R or C, and all vector spaces are over K. A. Completeness for Topological Vector Spaces This sub-section is aimed at treating completeness for most general types of topological vector spaces, beyond the traditional metric framework. Our approach here is essentially and adaptation of the the theory of uniform spaces1. As it turns out, a topological vector space is always a uniform space. Definitions. Suppose (X , T) is a topological vector space. A. A net (xλ)λ∈Λ ⊂ X is said to be T-Cauchy, if: (c) for every T- neighborhood V of 0, there exists λV ∈ Λ, such that: xλ − xµ ∈ V, ∀ λ, µ λV . This condition is equivalent to the fact that the double net (xλ −xµ)(λ,µ)∈Λ×Λ converges to 0. B. The linear topology T is said to be complete, if every T-Cauchy net in X is convergent. Example 1. Let I be an arbitrary non-empty set. If (Xi)i∈I is a collection of topological Q vector spaces, then the product space X = i∈I Xi is complete, when equipped with the product topology, if and only if all the Xi, i ∈ I, are complete. This follows from the fact i that a net (xλ)λ∈Λ in X , written in coordinates as xλ = (xλ)i∈I , ∀ λ, is Cauchy in X , if and i only if, for every i ∈ I, the net (xλ)λ∈Λ is Cauchy in Xi. In particular, all finite dimensional topological vector spaces are complete. 1 A uniform space is a pair (X, U) consisting of a non-empty set X and a filter U of subsets U ⊂ X × X, T subject to the following conditions: (i) U∈U U = {(x, x): x ∈ X} – the diagonal of X; (ii) if U belongs to U, then its inverse (as a relation) U −1 = {(y, x):(x, y) ∈ U} also belongs to U; (iii) for every U ∈ U there exists V ∈ U, such that the composition (as relations) V ◦ V is contained in U. The filter U is then called a uniformity on X. 1 Exercise 1. Prove that a topological vector space X is complete, if and only if every Cauchy net has a convergent sub-net. Comment. If one attempts to construct the completion of a topological vector space in a manner similar to the one used in the metric framework, then Definition B above is a bit useless, since there is no such thing as “the set of all nets.” Therefore, one would like to replace (for now) nets with filters2, thus the following definition is natural. Definition. Suppose (X , T) is a topological vector space. A filter F in X is called Cauchy, if for every T- neighborhood V of 0, there exists F ∈ F, such that: x − y ∈ V, ∀ x, y ∈ F. With all the preparations in place, the exercises below will guide the reader towards build- ing the completion of a topological vector space (X , T). Except for Notations, Definitions, and Lemma 1, the remainder of this sub-section is optional. Exercises 2-8. These three exercises clarify the connections between Cauchy filters and Cauchy nets. Fix a topological vector space X . 2. Prove that, if a filter F is convergent, that is, there exists x ∈ X , such that, for every neighborhood V of x, there exists F ∈ F with F ⊂ V, then F is Cauchy. 3. Prove that, for a net (xλ)λ∈Λ in X , the following are equivalent: (i) (xλ)λ∈Λ is Cauchy; (ii) the tail filter F = {Fλ}λ∈Λ, defined by Fλ = {xµ : µ λ}, is Cauchy. 4*. Prove that, for a filter F on X , the following are equivalent: (i) F is Cauchy; (ii) all F-section nets3 are Cauchy. (Hint: For (ii) ⇒ (i), equip each F ∈ F with a well ordering F , and consider the set Λ = {(F, z): F ∈ F, z ∈ F}, equipped with the following order: (F1, z1) (F2, z2), if either F1 ( F2, or F1 = F2 and z1 F1 z2. Show that Λ is directed. Consider the obvious map Λ 3 (F, z) 7−→ z ∈ X as a net (xλ)λ∈Λ. Show that this net is an F-section, and prove that by condition (ii) the filter F is Cauchy.) 5. Prove that if F is a Cauchy filter, then so is any filter F0 ⊃ F. In particular, all ultrafilters that contain F are Cauchy. 6. Prove that the following conditions are equivalent: (i) X is complete; (ii) every Cauchy filter in X is convergent; 2 Recall that, given some non-empty set X, a filter in X is a collection F of non-empty subsets, which is directed with respect to the reverse inclusion, that is, for every F1,F2 ∈ F, there exists F ∈ F, with F ⊂ F1 ∩ F2. 3 Recall that a net (xλ)λ∈Λ is called an F-section, if for every F ∈ F, there exists λF ∈ Λ, such that xλ ∈ F, ∀ λ λF . 2 (iii) every Cauchy ultrafilter in X is convergent. (Hints: Prove the implications (i) ⇒ (ii) ⇒ (iii) ⇒ (i). For (i) ⇒ (ii) use Exercise 4. For (iii) ⇒ (i), start with a Cauchy net (xλ) and choose an ultrafilter U that contains the tail filter. By Exercises 3 and 5, U is Cauchy, so assuming (iii), the ultrafilter U converges to some x. Prove that xλ → x.) 7. Prove that if F1 and F2 are Cauchy filters, then {F1 + F2 : F1 ∈ F1, F2 ∈ F2} is a Cauchy filter. By an abuse of notation, this filter will be denoted by F1 + F2. 8. Prove that if F is a Cauchy filter, then for every α ∈ K, {αF : F ∈ F} is a Cauchy filter. By an abuse of notation, this filter will be denoted by αF. Notation. We denote by cf(X ) the set of all Cauchy filters in (X , T). Equip cf(X ) with the following relation (use the notations from Exercises 5 and 6): F ≈ G ⇔ F + (−1)G converges to 0. Exercise 9. Prove the following (i) ≈ is an equivalence relation on cf(X ). (ii) If F is a Cauchy filter, and F0 is a filter that contains F (which is automatically Cauchy by Exercise 5), then F ≈ F0. (iii) If F1 ≈ G1 and F2 ≈ G2, then F1 + F2 ≈ G1 + G2. (iv) If F ≈ G, then αF ≈ αG, ∀ α ∈ K. Notations. For each F ∈ cf(X ), let [F] denote its equivalence class. Given a non-empty set S ⊂ X , define S˜ = {[F]: F ∈ cf(X ), F 3 S}. Using the preceding Exercise, we see that one has two operations X˜ × X˜ −−−−→addition X˜, multiplication K × X˜ −−−−−−−→ X˜, correctly defined on equivalence classes by [F1] + [F2] = [F1 + F2] and α[F] = [αF]. Exercise 10. Prove that the above two operations define a vector space structure on the quotient space X˜. Exercise 11. Define, for every x ∈ X , the trivial filter Fx = {x} . Prove that: (i) For every x ∈ X , the filter Fx is convergent, thus Cauchy. ˜ (ii) The map J : X 3 x 7−→ [Fx] ∈ X is an injective linear map. Exercise 12. Consider the collection B = {N˜ : N ⊂ X balanced T-neighborhood of 0}. Prove that: 3 (i) B is a filter; (ii) all sets in B are balanced and absorbing; (iii) for any V ∈ B, there exists W ∈ B, such that W + W ⊂ V; T (iv) V∈B V = {0}. Conclude, using Corollary 1 from TVS I, that there exists a unique Hausdorff linear topology T˜ on X˜, so that B is a basic system of T˜-neighborhoods of 0. Exercise 13. Consider the injective linear map J : X → X˜ defined in Exercise 10. (i) Prove that the linear subspace R = Range J ⊂ X˜ is dense in X˜. (ii) Prove that, if (xλ)λ∈Λ is a Cauchy net in X , and we consider its tail filter F defined in ˜ ˜ Exercise 1, then J(xλ) → [F] in (X , T). (iii) Prove that any point in X˜ can be realized using the construction from (ii), namely, for ˜ every v ∈ X , there exists a Cauchy net (xλ)λ∈Λ in X , such that J(xλ) → v. ˜ ∼ (iv) Prove that, when we equip R with the induced topology T R, the map J : X −→R becomes a linear homeomorphism. (v) Prove that, if (X , T) is already complete, then J :(X , T) → (X˜, T˜) is a linear homeo- morphism. (Hint: For (iv) show that if V is a neighborhood of 0 in X , then V ⊂ J −1(V˜) ⊂ V.) Exercise 14*. Prove that (X˜, T˜) is a complete topological vector space. (Hint: Con- sider the filter V = {V˜ : V neighborhood of 0 in X}. Show that if G is a Cauchy filter in X˜, then G + V is again a Cauchy filter in X˜, equivalent to G. Using the preceding Exercise, it follows that the collection F = {J −1(A): A ∈ G0} is a filter in X . Show that F is Cauchy, and then prove that G0 converges to v = [F] in X˜. Conclude that, since G is equivalent to G0, it also converges to v.) Definition. The topological vector space (X˜, T˜) is called the completion of (X , T). Comment. The construction of the completion is borrowed (word for word) from the theory of uniform spaces in Topology.
Load more

Recommended publications
  • Completeness in Quasi-Pseudometric Spaces—A Survey
    mathematics Article Completeness in Quasi-Pseudometric Spaces—A Survey ¸StefanCobzas Faculty of Mathematics and Computer Science, Babe¸s-BolyaiUniversity, 400 084 Cluj-Napoca, Romania; [email protected] Received:17 June 2020; Accepted: 24 July 2020; Published: 3 August 2020 Abstract: The aim of this paper is to discuss the relations between various notions of sequential completeness and the corresponding notions of completeness by nets or by filters in the setting of quasi-metric spaces. We propose a new definition of right K-Cauchy net in a quasi-metric space for which the corresponding completeness is equivalent to the sequential completeness. In this way we complete some results of R. A. Stoltenberg, Proc. London Math. Soc. 17 (1967), 226–240, and V. Gregori and J. Ferrer, Proc. Lond. Math. Soc., III Ser., 49 (1984), 36. A discussion on nets defined over ordered or pre-ordered directed sets is also included. Keywords: metric space; quasi-metric space; uniform space; quasi-uniform space; Cauchy sequence; Cauchy net; Cauchy filter; completeness MSC: 54E15; 54E25; 54E50; 46S99 1. Introduction It is well known that completeness is an essential tool in the study of metric spaces, particularly for fixed points results in such spaces. The study of completeness in quasi-metric spaces is considerably more involved, due to the lack of symmetry of the distance—there are several notions of completeness all agreing with the usual one in the metric case (see [1] or [2]). Again these notions are essential in proving fixed point results in quasi-metric spaces as it is shown by some papers on this topic as, for instance, [3–6] (see also the book [7]).
    [Show full text]
  • ON Hg-HOMEOMORPHISMS in TOPOLOGICAL SPACES
    Proyecciones Vol. 28, No 1, pp. 1—19, May 2009. Universidad Cat´olica del Norte Antofagasta - Chile ON g-HOMEOMORPHISMS IN TOPOLOGICAL SPACES e M. CALDAS UNIVERSIDADE FEDERAL FLUMINENSE, BRASIL S. JAFARI COLLEGE OF VESTSJAELLAND SOUTH, DENMARK N. RAJESH PONNAIYAH RAMAJAYAM COLLEGE, INDIA and M. L. THIVAGAR ARUL ANANDHAR COLLEGE Received : August 2006. Accepted : November 2008 Abstract In this paper, we first introduce a new class of closed map called g-closed map. Moreover, we introduce a new class of homeomor- phism called g-homeomorphism, which are weaker than homeomor- phism.e We prove that gc-homeomorphism and g-homeomorphism are independent.e We also introduce g*-homeomorphisms and prove that the set of all g*-homeomorphisms forms a groupe under the operation of composition of maps. e e 2000 Math. Subject Classification : 54A05, 54C08. Keywords and phrases : g-closed set, g-open set, g-continuous function, g-irresolute map. e e e e 2 M. Caldas, S. Jafari, N. Rajesh and M. L. Thivagar 1. Introduction The notion homeomorphism plays a very important role in topology. By definition, a homeomorphism between two topological spaces X and Y is a 1 bijective map f : X Y when both f and f − are continuous. It is well known that as J¨anich→ [[5], p.13] says correctly: homeomorphisms play the same role in topology that linear isomorphisms play in linear algebra, or that biholomorphic maps play in function theory, or group isomorphisms in group theory, or isometries in Riemannian geometry. In the course of generalizations of the notion of homeomorphism, Maki et al.
    [Show full text]
  • Metric Geometry in a Tame Setting
    University of California Los Angeles Metric Geometry in a Tame Setting A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Erik Walsberg 2015 c Copyright by Erik Walsberg 2015 Abstract of the Dissertation Metric Geometry in a Tame Setting by Erik Walsberg Doctor of Philosophy in Mathematics University of California, Los Angeles, 2015 Professor Matthias J. Aschenbrenner, Chair We prove basic results about the topology and metric geometry of metric spaces which are definable in o-minimal expansions of ordered fields. ii The dissertation of Erik Walsberg is approved. Yiannis N. Moschovakis Chandrashekhar Khare David Kaplan Matthias J. Aschenbrenner, Committee Chair University of California, Los Angeles 2015 iii To Sam. iv Table of Contents 1 Introduction :::::::::::::::::::::::::::::::::::::: 1 2 Conventions :::::::::::::::::::::::::::::::::::::: 5 3 Metric Geometry ::::::::::::::::::::::::::::::::::: 7 3.1 Metric Spaces . 7 3.2 Maps Between Metric Spaces . 8 3.3 Covers and Packing Inequalities . 9 3.3.1 The 5r-covering Lemma . 9 3.3.2 Doubling Metrics . 10 3.4 Hausdorff Measures and Dimension . 11 3.4.1 Hausdorff Measures . 11 3.4.2 Hausdorff Dimension . 13 3.5 Topological Dimension . 15 3.6 Left-Invariant Metrics on Groups . 15 3.7 Reductions, Ultralimits and Limits of Metric Spaces . 16 3.7.1 Reductions of Λ-valued Metric Spaces . 16 3.7.2 Ultralimits . 17 3.7.3 GH-Convergence and GH-Ultralimits . 18 3.7.4 Asymptotic Cones . 19 3.7.5 Tangent Cones . 22 3.7.6 Conical Metric Spaces . 22 3.8 Normed Spaces . 23 4 T-Convexity :::::::::::::::::::::::::::::::::::::: 24 4.1 T-convex Structures .
    [Show full text]
  • Planar Embeddings of Minc's Continuum and Generalizations
    PLANAR EMBEDDINGS OF MINC’S CONTINUUM AND GENERALIZATIONS ANA ANUSIˇ C´ Abstract. We show that if f : I → I is piecewise monotone, post-critically finite, x X I,f and locally eventually onto, then for every point ∈ =←− lim( ) there exists a planar embedding of X such that x is accessible. In particular, every point x in Minc’s continuum XM from [11, Question 19 p. 335] can be embedded accessibly. All constructed embeddings are thin, i.e., can be covered by an arbitrary small chain of open sets which are connected in the plane. 1. Introduction The main motivation for this study is the following long-standing open problem: Problem (Nadler and Quinn 1972 [20, p. 229] and [21]). Let X be a chainable contin- uum, and x ∈ X. Is there a planar embedding of X such that x is accessible? The importance of this problem is illustrated by the fact that it appears at three independent places in the collection of open problems in Continuum Theory published in 2018 [10, see Question 1, Question 49, and Question 51]. We will give a positive answer to the Nadler-Quinn problem for every point in a wide class of chainable continua, which includes←− lim(I, f) for a simplicial locally eventually onto map f, and in particular continuum XM introduced by Piotr Minc in [11, Question 19 p. 335]. Continuum XM was suspected to have a point which is inaccessible in every planar embedding of XM . A continuum is a non-empty, compact, connected, metric space, and it is chainable if arXiv:2010.02969v1 [math.GN] 6 Oct 2020 it can be represented as an inverse limit with bonding maps fi : I → I, i ∈ N, which can be assumed to be onto and piecewise linear.
    [Show full text]
  • Uniform Boundedness Principle for Unbounded Operators
    UNIFORM BOUNDEDNESS PRINCIPLE FOR UNBOUNDED OPERATORS C. GANESA MOORTHY and CT. RAMASAMY Abstract. A uniform boundedness principle for unbounded operators is derived. A particular case is: Suppose fTigi2I is a family of linear mappings of a Banach space X into a normed space Y such that fTix : i 2 Ig is bounded for each x 2 X; then there exists a dense subset A of the open unit ball in X such that fTix : i 2 I; x 2 Ag is bounded. A closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings as consequences of this principle. Some applications of this principle are also obtained. 1. Introduction There are many forms for uniform boundedness principle. There is no known evidence for this principle for unbounded operators which generalizes classical uniform boundedness principle for bounded operators. The second section presents a uniform boundedness principle for unbounded operators. An application to derive Hellinger-Toeplitz theorem is also obtained in this section. A JJ J I II closed graph theorem and a bounded inverse theorem are obtained for families of linear mappings in the third section as consequences of this principle. Go back Let us assume the following: Every vector space X is over R or C. An α-seminorm (0 < α ≤ 1) is a mapping p: X ! [0; 1) such that p(x + y) ≤ p(x) + p(y), p(ax) ≤ jajαp(x) for all x; y 2 X Full Screen Close Received November 7, 2013. 2010 Mathematics Subject Classification. Primary 46A32, 47L60. Key words and phrases.
    [Show full text]
  • Analysis in Metric Spaces Mario Bonk, Luca Capogna, Piotr Hajłasz, Nageswari Shanmugalingam, and Jeremy Tyson
    Analysis in Metric Spaces Mario Bonk, Luca Capogna, Piotr Hajłasz, Nageswari Shanmugalingam, and Jeremy Tyson study of quasiconformal maps on such boundaries moti- The authors of this piece are organizers of the AMS vated Heinonen and Koskela [HK98] to axiomatize several 2020 Mathematics Research Communities summer aspects of Euclidean quasiconformal geometry in the set- conference Analysis in Metric Spaces, one of five ting of metric measure spaces and thereby extend Mostow’s topical research conferences offered this year that are work beyond the sub-Riemannian setting. The ground- focused on collaborative research and professional breaking work [HK98] initiated the modern theory of anal- development for early-career mathematicians. ysis on metric spaces. Additional information can be found at https://www Analysis on metric spaces is nowadays an active and in- .ams.org/programs/research-communities dependent field, bringing together researchers from differ- /2020MRC-MetSpace. Applications are open until ent parts of the mathematical spectrum. It has far-reaching February 15, 2020. applications to areas as diverse as geometric group the- ory, nonlinear PDEs, and even theoretical computer sci- The subject of analysis, more specifically, first-order calcu- ence. As a further sign of recognition, analysis on met- lus, in metric measure spaces provides a unifying frame- ric spaces has been included in the 2010 MSC classifica- work for ideas and questions from many different fields tion as a category (30L: Analysis on metric spaces). In this of mathematics. One of the earliest motivations and ap- short survey, we can discuss only a small fraction of areas plications of this theory arose in Mostow’s work [Mos73], into which analysis on metric spaces has expanded.
    [Show full text]
  • Sequential Completeness of Inductive Limits
    Internat. J. Math. & Math. Sci. Vol. 24, No. 6 (2000) 419–421 S0161171200003744 © Hindawi Publishing Corp. SEQUENTIAL COMPLETENESS OF INDUCTIVE LIMITS CLAUDIA GÓMEZ and JAN KUCERAˇ (Received 28 July 1999) Abstract. A regular inductive limit of sequentially complete spaces is sequentially com- plete. For the converse of this theorem we have a weaker result: if indEn is sequentially complete inductive limit, and each constituent space En is closed in indEn, then indEn is α-regular. Keywords and phrases. Regularity, α-regularity, sequential completeness of locally convex inductive limits. 2000 Mathematics Subject Classification. Primary 46A13; Secondary 46A30. 1. Introduction. In [2] Kuˇcera proves that an LF-space is regular if and only if it is sequentially complete. In [1] Bosch and Kuˇcera prove the equivalence of regularity and sequential completeness for bornivorously webbed spaces. It is natural to ask: can this result be extended to arbitrary sequentially complete spaces? We give a partial answer to this question in this paper. 2. Definitions. Throughout the paper {(En,τn)}n∈N is an increasing sequence of Hausdorff locally convex spaces with continuous identity maps id : En → En+1 and E = indEn its inductive limit. A topological vector space E is sequentially complete if every Cauchy sequence {xn}⊂E is convergent to an element x ∈ E. An inductive limit indEn is regular, resp. α-regular, if each of its bounded sets is bounded, resp. contained, in some constituent space En. 3. Main results Theorem 3.1. Let each space (En,τn) be sequentially complete and indEn regular. Then indEn is sequentially complete. Proof. Let {xk} be a Cauchy sequence in indEn.
    [Show full text]
  • 07. Homeomorphisms and Embeddings
    07. Homeomorphisms and embeddings Homeomorphisms are the isomorphisms in the category of topological spaces and continuous functions. Definition. 1) A function f :(X; τ) ! (Y; σ) is called a homeomorphism between (X; τ) and (Y; σ) if f is bijective, continuous and the inverse function f −1 :(Y; σ) ! (X; τ) is continuous. 2) (X; τ) is called homeomorphic to (Y; σ) if there is a homeomorphism f : X ! Y . Remarks. 1) Being homeomorphic is apparently an equivalence relation on the class of all topological spaces. 2) It is a fundamental task in General Topology to decide whether two spaces are homeomorphic or not. 3) Homeomorphic spaces (X; τ) and (Y; σ) cannot be distinguished with respect to their topological structure because a homeomorphism f : X ! Y not only is a bijection between the elements of X and Y but also yields a bijection between the topologies via O 7! f(O). Hence a property whose definition relies only on set theoretic notions and the concept of an open set holds if and only if it holds in each homeomorphic space. Such properties are called topological properties. For example, ”first countable" is a topological property, whereas the notion of a bounded subset in R is not a topological property. R ! − t Example. The function f : ( 1; 1) with f(t) = 1+jtj is a −1 x homeomorphism, the inverse function is f (x) = 1−|xj . 1 − ! b−a a+b The function g :( 1; 1) (a; b) with g(x) = 2 x + 2 is a homeo- morphism. Therefore all open intervals in R are homeomorphic to each other and homeomorphic to R .
    [Show full text]
  • Topological Vector Spaces and Algebras
    Joseph Muscat 2015 1 Topological Vector Spaces and Algebras [email protected] 1 June 2016 1 Topological Vector Spaces over R or C Recall that a topological vector space is a vector space with a T0 topology such that addition and the field action are continuous. When the field is F := R or C, the field action is called scalar multiplication. Examples: A N • R , such as sequences R , with pointwise convergence. p • Sequence spaces ℓ (real or complex) with topology generated by Br = (a ): p a p < r , where p> 0. { n n | n| } p p p p • LebesgueP spaces L (A) with Br = f : A F, measurable, f < r (p> 0). { → | | } R p • Products and quotients by closed subspaces are again topological vector spaces. If π : Y X are linear maps, then the vector space Y with the ini- i → i tial topology is a topological vector space, which is T0 when the πi are collectively 1-1. The set of (continuous linear) morphisms is denoted by B(X, Y ). The mor- phisms B(X, F) are called ‘functionals’. +, , Finitely- Locally Bounded First ∗ → Generated Separable countable Top. Vec. Spaces ///// Lp 0 <p< 1 ℓp[0, 1] (ℓp)N (ℓp)R p ∞ N n R 2 Locally Convex ///// L p > 1 L R , C(R ) R pointwise, ℓweak Inner Product ///// L2 ℓ2[0, 1] ///// ///// Locally Compact Rn ///// ///// ///// ///// 1. A set is balanced when λ 6 1 λA A. | | ⇒ ⊆ (a) The image and pre-image of balanced sets are balanced. ◦ (b) The closure and interior are again balanced (if A 0; since λA = (λA)◦ A◦); as are the union, intersection, sum,∈ scaling, T and prod- uct A ⊆B of balanced sets.
    [Show full text]
  • View of This, the Following Observation Should Be of Some Interest to Vector Space Pathologists
    Can. J. Math., Vol. XXV, No. 3, 1973, pp. 511-524 INCLUSION THEOREMS FOR Z-SPACES G. BENNETT AND N. J. KALTON 1. Notation and preliminary ideas. A sequence space is a vector subspace of the space co of all real (or complex) sequences. A sequence space E with a locally convex topology r is called a K- space if the inclusion map E —* co is continuous, when co is endowed with the product topology (co = II^Li (R)*). A i£-space E with a Frechet (i.e., complete, metrizable and locally convex) topology is called an FK-space; if the topology is a Banach topology, then E is called a BK-space. The following familiar BK-spaces will be important in the sequel: ni, the space of all bounded sequences; c, the space of all convergent sequences; Co, the space of all null sequences; lp, 1 ^ p < °°, the space of all absolutely ^-summable sequences. We shall also consider the space <j> of all finite sequences and the linear span, Wo, of all sequences of zeros and ones; these provide examples of spaces having no FK-topology. A sequence space is solid (respectively monotone) provided that xy £ E whenever x 6 m (respectively m0) and y £ E. For x £ co, we denote by Pn(x) the sequence (xi, x2, . xn, 0, . .) ; if a i£-space (E, r) has the property that Pn(x) —» x in r for each x G E, then we say that (£, r) is an AK-space. We also write WE = \x Ç £: P„.(x) —>x weakly} and ^ = jx Ç E: Pn{x) —>x in r}.
    [Show full text]
  • Neural Subgraph Matching
    Neural Subgraph Matching NEURAL SUBGRAPH MATCHING Rex Ying, Andrew Wang, Jiaxuan You, Chengtao Wen, Arquimedes Canedo, Jure Leskovec Stanford University and Siemens Corporate Technology ABSTRACT Subgraph matching is the problem of determining the presence of a given query graph in a large target graph. Despite being an NP-complete problem, the subgraph matching problem is crucial in domains ranging from network science and database systems to biochemistry and cognitive science. However, existing techniques based on combinatorial matching and integer programming cannot handle matching problems with both large target and query graphs. Here we propose NeuroMatch, an accurate, efficient, and robust neural approach to subgraph matching. NeuroMatch decomposes query and target graphs into small subgraphs and embeds them using graph neural networks. Trained to capture geometric constraints corresponding to subgraph relations, NeuroMatch then efficiently performs subgraph matching directly in the embedding space. Experiments demonstrate that NeuroMatch is 100x faster than existing combinatorial approaches and 18% more accurate than existing approximate subgraph matching methods. 1.I NTRODUCTION Given a query graph, the problem of subgraph isomorphism matching is to determine if a query graph is isomorphic to a subgraph of a large target graph. If the graphs include node and edge features, both the topology as well as the features should be matched. Subgraph matching is a crucial problem in many biology, social network and knowledge graph applications (Gentner, 1983; Raymond et al., 2002; Yang & Sze, 2007; Dai et al., 2019). For example, in social networks and biomedical network science, researchers investigate important subgraphs by counting them in a given network (Alon et al., 2008).
    [Show full text]
  • Topologically Rigid (Surgery/Geodesic Flow/Homeomorphism Group/Marked Leaves/Foliated Control) F
    Proc. Natl. Acad. Sci. USA Vol. 86, pp. 3461-3463, May 1989 Mathematics Compact negatively curved manifolds (of dim # 3, 4) are topologically rigid (surgery/geodesic flow/homeomorphism group/marked leaves/foliated control) F. T. FARRELLt AND L. E. JONESt tDepartment of Mathematics, Columbia University, New York, NY 10027; and tDepartment of Mathematics, State University of New York, Stony Brook, NY 11794 Communicated by William Browder, January 27, 1989 (receivedfor review October 20, 1988) ABSTRACT Let M be a complete (connected) Riemannian COROLLARY 1.3. If M and N are both negatively curved, manifold having finite volume and whose sectional curvatures compact (connected) Riemannian manifolds with isomorphic lie in the interval [cl, c2d with -x < cl c2 < 0. Then any fundamental groups, then M and N are homeomorphic proper homotopy equivalence h:N -* M from a topological provided dim M 4 3 and 4. manifold N is properly homotopic to a homeomorphism, Gromov had previously shown (under the hypotheses of provided the dimension of M is >5. In particular, if M and N Corollary 1.3) that the total spaces of the tangent sphere are both compact (connected) negatively curved Riemannian bundles ofM and N are homeomorphic (even when dim M = manifolds with isomorphic fundamental groups, then M and N 3 or 4) by a homeomorphism preserving the orbits of the are homeomorphic provided dim M # 3 and 4. {If both are geodesic flows, and Cheeger had (even earlier) shown that locally symmetric, this is a consequence of Mostow's rigidity the total spaces of the two-frame bundles of M and N are theorem [Mostow, G.
    [Show full text]