k-映射的指数定律
Exponential Law of k-Mapping
DOI: 10.12677/AAM.2022.118569, PDF,    国家科技经费支持
作者: 顾钰晗:南京工业大学数理科学学院,江苏 南京
关键词: k-空间k-映射指数定律弱Hausdorffk-Space k-Mapping Exponential Law Weakly Hausdorff
摘要: 本文介绍了指数定律和k-空间即紧生成空间相关的研究历史,并给出了k-映射的指数定律的一个证明。本文用赋予终拓扑的方法定义了拓扑空间的k化,接下来依次引入k-空间、k-映射、k-映射空间的定义。本文利用一系列定理说明k化了的k-映射空间中可以存在指数定律,证明了指数定律还是某种k-空间之间的同胚。在k-空间的基础上,本文介绍了弱Hausdorff的性质以及它对k-空间性质的影响,并利用对角集对弱Hausdorff的紧生成空间进行判定。最后,本文以数学分析中的含参积分为例说明弱Hausdorff的紧生成空间以及对角集在 中的应用。为此本文还介绍了滤子基,展示了对角集在一致连续定义中的作用,并证明了如何通过滤子基将极限的换序推广到一般情形。本文的主要结果是给出k-映射的指数定律的一个证明,并举出了一个k-空间的具体例子,展示了对角集在k-空间判定和含参积分中的应用。
Abstract: This paper introduces the research history of exponential law and k-space, which is also called compactly generated space, and gives a proof of exponential law of k-mapping. In this paper, the k-ficaton of topological space is defined by giving the final topology, and then the definitions of k-space, k-mapping and k-mapping space are introduced in turn. In this paper, a series of theorems are used to illustrate that there can be an exponential law in k-mapping spaces with k-ficaton, and it is proved that the exponential law is also a homeomorphism between some k-spaces. On the basis of k-space, this paper introduces the properties of weakly Hausdorff and its influence on the proper-ties of k-space, and uses diagonal set to determine whether a compactly generated space is weakly Hausdorff. Finally, this paper takes the parametric integral in mathematical analysis as an example to illustrate the application of compactly generated weakly Hausdorff spaces and diagonal set in . Therefore, this paper also introduces the filter base, explaining the role of diagonal set in the definition of uniform continuity, and proves how to extend the order change of limit to the general case through filter base. The main results of this paper are giving a proof of the exponential law of k-mapping, and giving a specific example of k-spaces, showing the application of diagonal set in k-space determination and parametric integral.
文章引用:顾钰晗. k-映射的指数定律[J]. 应用数学进展, 2022, 11(8): 5405-5421. https://doi.org/10.12677/AAM.2022.118569

参考文献

[1] Munkres, J.R. (2013) Topology: Pearson New International Edition. 2nd Edition, Pearson Education, New York.
[2] Spanier, E. (1963) Quasi-Topologies. Duke Mathematical Journal, 30, 1-14. [Google Scholar] [CrossRef
[3] Min, K.C., Kim, Y.S. and Park, J.W. (1999) Fibrewise Ex-ponential Laws in a Quasitopos. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 40, 242-260.
[4] Brown, R. (1961) Some Problems of Algebraic Topology, a Study of Function Spaces, Function Com-plexes and FD-Complexes. Ph.D. Thesis, University of Oxford, Oxford.
[5] Brown, R. (1963) Ten Topologies for X × Y. The Quarterly Journal of Mathematics, 14, 303-319. [Google Scholar] [CrossRef
[6] Brown, R. (1964) Function Spaces and Product Topologies. The Quarterly Journal of Mathematics, 15, 238-250. [Google Scholar] [CrossRef
[7] Booth, P.I. and Tillotson, A. (1980) Monoidal Closed, Cartesian Closed and Convenient Categories of Topological Spaces. Pacific Journal of Mathematics, 88, 35-53. [Google Scholar] [CrossRef
[8] McCord, M.C. (1969) Classifying Spaces and Infinite Symmetric Products. Transactions of the American Mathematical Society, 146, 273-298. [Google Scholar] [CrossRef
[9] 陈肇姜. 点集拓扑题解与反例[M]. 南京: 南京大学出版社, 1997: 90-104.
[10] Brown, R. (2006) Topology and Groupoids. 3rd Revised, Updated and Extended Edition, BookSurge Publishing, North Charleston.
[11] Dieck, T.T. (2008) Algebraic Topology. European Mathematical Society, Switzerland.
[12] Ciarlet, P.G. (2013) Linear and Nonlinear Functional Analysis with Applications. New Edition, SIAM (Society for Industrial and Applied Mathematics), Philadelphia.
[13] И.阿黑波夫, В.А.萨多夫尼奇, В.Н.丘巴里阔夫, 主编. 数学分析讲义[M]. 王昆扬, 译. 北京: 高等教育出版社, 2006: 47-55.
[14] 郇中丹, 刘永平, 王昆扬. 简明数学分析[M]. 北京: 高等教育出版社, 2009: 74-88.
[15] Peter May, J. (1999) A Concise Course in Algebraic To-pology. University of Chicago Press, Chicago.
[16] 尤承业. 基础拓扑学讲义[M]. 北京: 北京大学出版社, 1997: 11-72.
[17] Encyclopedia of Mathematics (2011) Exponential Law (in Topology). http://encyclopediaofmath.org/index.php?title=Exponential_law_(in_topology)&oldid=13283
[18] Brandi, P. and Cep-pitelli, R. (1994) A New Graph Topology. Connections with the Compact Open Topology. Applicable Analysis, 53, 185-196. [Google Scholar] [CrossRef
[19] Booth, P.I., Heath, P.R. and Piccinini, R. (1978) Fibre Preserving Maps and Functions Spaces. In: Hoffman, P., Piccinini, R.A. and Sjerve, D., Eds., Algebraic Topology, Springer, Berlin, Heidelberg, 158-167. [Google Scholar] [CrossRef
[20] Rezk, C. (2013) Math 527—Homotopy Theory Additional Notes.
https://faculty.math.illinois.edu/~franklan/Math527_0204.pdf
[21] Uribe, B. and Lück, W. (2014) Equivariant Principal Bundles and Their Classifying Spaces. Algebraic and Geometric Topology, 14, 1925-1995. [Google Scholar] [CrossRef
[22] Alzaareer, H. and Schmeding, A. (2015) Differentiable Mappings on Products with Different Degrees of Differentiability in the Two Factors. Expositiones Mathematicae, 33, 184-222. [Google Scholar] [CrossRef
[23] Bartłomiejczyk, P., Nowak-Przygodzki, P. (2014) The Expo-nential Law for Partial, Local and Proper Maps and Its Application Topotopy Theory. Communications in Contemporary Mathematics, 16, Article ID: 1450005. [Google Scholar] [CrossRef
[24] Abdellatif, D. (2004) The Use of Filters in Topology. Master’s Thesis, B.S. University of Central Florida, Orlando.
https://stars.library.ucf.edu/cgi/viewcontent.cgi?article=1176&context=etd
[25] Brown, R. and Abd-Allah, A.M. (1980) A Compact-Open Topology on Partial Maps with Open Domain. Journal of the London Mathematical Society, s2-21, 480-486. [Google Scholar] [CrossRef
[26] Brown, R. (1988) Topology: A Geometric Account of General Topology, Homotopy Types, and the Fundamental Groupoid. Ellis Horwood, Hemel Hempstead.
[27] di Concilio, A. and Naimpally, S.A. (2000) Proximal Set-Open Topologies on Partial Maps. Acta Mathematica Hungarica, 88, 227-237. [Google Scholar] [CrossRef
[28] Herrlich, H. (1987) Topological Improvements of Categories of Structured Sets. Topology and Its Applications, 27, 145-155. [Google Scholar] [CrossRef
[29] Johnstone, P. (1979) On a Topological Topos. Proceedings of the London Mathematical Society, s3-38, 237-271. [Google Scholar] [CrossRef
[30] Kriegl, A. and Michor, P.W. (1997) The Convenient Setting of Global Analysis. Vol. 53, American Mathematical Society, Rhode Island. [Google Scholar] [CrossRef
[31] Strickland, N. (2009) The Category of CGWH Spaces.
https://ncatlab.org/nlab/files/StricklandCGHWSpaces.pdf
[32] Steenrod, N. (1967) A Convenient Ecategory of Topological Spaces. Michigan Mathematical Journal, 14, 133-152. [Google Scholar] [CrossRef
[33] nLab Authors (2021) Weakly Hausdorff Topological Space. http://ncatlab.org/nlab/show/weakly%20Hausdorff%20topological%20space