×

行为在子组上近似。 (英语) Zbl 1202.54011号

作者考虑了一个问题,即在多大程度上可以从函数对适当子结构的限制中推断出函数在群上的行为。首先处理圆群和Cantor群,然后处理连通的局部紧阿贝尔群(简称LCA群)。根据定义,a\(d\)-子组连通局部紧阿贝尔群是形式为\((r_1\mathbb Z\times\cdots r_n\mathbb Z)\times C\)的子群,其中\(r_j\in\mathbb r\)、\(1\leq j\leq n \)和\(C\)是紧子群。
(1)假设(G)是一个连通的LCA群,(f)是(G)上的一个连续复值函数,它对(G)的每个(d)-子群的限制是有界的。则\(f\)有界于\(G\);(2) 假设\(G\)是一个连通的LCA群,\(f\)在\(G\)上是连续的,并且对于\(G\)的每个\(d\)-子群\(H\),存在\(c_H\ in \mathbb c\),使得\((f-c_H)|_{H}\)在\(infty\)处消失。然后,对于某些\(c\in\mathbb c\),\(f-c)\在\(G\)上的\(infty)处消失。作者还简要讨论了计算机科学中识别子结构的难题。

MSC公司:

54二氧化碳 连续贴图
54个B05 一般拓扑中的子空间
54甲11 拓扑组(拓扑方面)
22A99号 拓扑和可微代数系统
54E52型 Baire类别,Baire空间
99年第68季度 计算理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Alpern,B。;Schneider,F.B.,《定义活力,信息》。过程。莱特。,21, 4, 181-185 (1985) ·Zbl 0575.68030号
[2] Apostol,T.M.,《解析数论导论》(1976),Springer-Verlag/UTM·Zbl 0335.10001号
[3] Davenport,H.,《关于涉及算术函数的无穷级数II》,Q.J.Math。,8, 313-320 (1937)
[4] 邓恩,S.E。;Stoddart,W.J.,《统一编程理论》,第一届国际研讨会,(《计算科学》讲义,第4010卷(2006),施普林格出版社)·Zbl 1107.68007号
[5] Edwards,R.E.,《傅里叶级数:现代导论》(1982),施普林格-弗拉格出版社·Zbl 0599.42001号
[6] 霍尔,C.A.R。;何继峰,《程序设计统一理论》(1998),普伦蒂斯·霍尔·Zbl 1005.68036号
[7] Hille,E。;关于Lambert函数的完备性,Bull。阿默尔。数学。《社会学杂志》,42,411-418(1936)
[8] INCOSE:国际系统工程理事会,http://www.incose.org/practice/fellow.consens.aspxINCOSE:国际系统工程理事会,http://www.incose.org/practice/fellows.consenss.aspx
[9] 洛克斯顿,J.H。;Sanders,J.W.,《近似积分规则的核心》,J.Aust。数学。Soc.序列号。B、 21257-267(1980)·Zbl 0418.41026号
[10] Loxton,J.H。;Sanders,J.W.,《关于莫比乌斯的一个反演定理》,J.Aust。数学。Soc.序列号。A、 30、15-32(1980)·Zbl 0445.10006号
[11] Morgan,C.C.,《影子知道:序列程序中无知的精炼》(Uustalu,T.,《程序构建的数学》,2006年)。程序构造数学2006,计算机课堂讲稿。科学。,第4014卷(2006),斯普林格·弗拉格),359-378·Zbl 1235.68058号
[12] Morgan,C.C。;Seidel,K.,概率CSP中的层次推理,Programmirovanie,23,5(1997)·Zbl 0972.68518号
[13] Morris,S.A.,Pontryagin对偶与局部紧阿贝尔群的结构,伦敦数学。Soc.课堂讲稿Ser。,第29卷(1977年),剑桥大学出版社:剑桥大学出版社·Zbl 0446.2206号
[14] P.W.O'Hearn,H.Yang,J.C.Reynolds,《分离与信息隐藏》,载于:第31届ACM SIGPLAN-SIGACT编程语言原理研讨会,2004年,第268-280页;P.W.O'Hearn,H.Yang,J.C.Reynolds,《分离与信息隐藏》,载于:第31届ACM SIGPLAN-SIGACT编程语言原理研讨会,2004年,第268-280页·Zbl 1325.68069号
[15] O'Hearn,P.W.,《资源、并发和局部推理》,Theoret。计算。科学。,375, 271-307 (2007) ·Zbl 1111.68023号
[16] D.L.Parnas,《设计方法的信息分发方面》,载于:19711972年IFIP大会(1),第339-344页;D.L.Parnas,《设计方法的信息分发方面》,收录于:19711972年IFIP大会(1),第339-344页
[17] Parnas,D.L.,《关于将系统分解为模块的标准》,Commun。ACM,第15、12、1053-1058页(1972年)
[18] 普里斯特利,W.M.,集厚集薄,艾默尔。数学。月刊,83,8,648-650(1976)·Zbl 0339.10024号
[19] Randol,B.,《真实分析导论》(1969),《哈考特、布拉斯与世界:哈考特,布拉斯与纽约世界》·Zbl 0172.32701号
[20] 里德·G·M。;Roscoe,A.W.,CSP的定时故障-稳定性模型,Theoret。计算。科学。,211, 1-2, 85-127 (1999) ·Zbl 0912.68038号
[21] Rudin,W.,真实与复杂分析(1987),McGraw-Hill·Zbl 0925.00005
[22] 斯科特·D·S。;Gunter,C.A.,《语义域》,(van Leeuwen,J.,《理论计算机科学手册:形式模型和语义学》,B卷(1990年),爱思唯尔/麻省理工学院出版社),633-674·Zbl 0900.68301号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。