WebFor any pointed spaces X, Y, and Z in an appropriate "convenient" category (e.g., that of compactly generated spaces ), there are natural (basepoint preserving) homeomorphisms However, for the naive category of pointed spaces, this fails, as shown by the counterexample and found by Dieter Puppe. [1] WebOct 20, 2012 · As regards the second question, I have the feeling that functional analysts and topologists use the term compactly generated with different meanings. For the former, a locally convex space (in particular, a Banach space) is compactly generated if it contains a compact subset whose span is dense.
Unraveling the various definitions of $k$-space or compactly generated ...
WebAug 22, 2024 · Appendix A - Compactly generated spaces Published online by Cambridge University Press: 22 August 2024 Stefan Schwede Chapter Get access Share Cite Summary A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content. … WebWhen working in the category of compactly generated spaces, it is common to modify this definition by restricting to the subbase formed from those K that are the image of a … \u0027sdeath t3
Why the "W" in CGWH (compactly generated weakly …
Web1) In topology, a compactly generated space (or k-space) is a topological space whose topology is coherent with the family of all compact subspaces. Specifically, a topological … WebTo fix notations, let Udenote the category of compactly generated Hausdorff spaces and continuous maps, and let Tdenote the category of based compactly generated Hausdorff spaces and based maps. Base-points will always be denoted by ∗and will by required to be non-degenerate, in the sense that (X,∗) is an NDR-pair for X∈T. Products ... Webde nes a functor from pointed spaces to pointed spaces. On maps, a map f: X 0!Xis sent to map X ! Xin the obvious way: post-composing a loop into X0by f. (a)Let X;Y;Zbe compactly generated spaces. Prove there is a homeomorphism of spaces Maps (X^Y;Z) ˘=Maps (X;Maps (Y;Z)): (b)Let Xand Zbe compactly generated. Show there is an isomorphism … \u0027sdeath t2