共查询到20条相似文献,搜索用时 31 毫秒
4.
有G_δ对角线的可数紧空间是紧的吗?这是一个一般拓扑学中久悬多年的公开问题。1976年,Chaber出色地肯定回答了这个问题(或参见文献[2],p。303)。实际上,他更一般地证明了:有拟G_δ对角线的可数紧空间是紧的。本文证明了Chaber定理中的“有拟G_δ对角线”条件可由更弱的条件来代替。有例子说明这种改进不是平凡的。又有例子说明本文给出的条件不能再减弱了。 相似文献
6.
7.
8.
椭圆型方程差分阵的LU分解阵中,各子块的对角线元素值向远离子块主对角线的方向衰减。这是一个熟知的事实,已被广泛引用,但迄今无理论证明。关于对角线元素值的衰减是否有定量的规律性,不作LU分解的计算能否用简便方法得到对角线元素值的估计,这些问题尚未见到有关的讨论。仅文献[2]对五点格式给出了U阵第一主块的主元极限,并在较强的假定下讨论了其它主块的主元近似值,其误差较大。本文应用连分数极限定理得出了U阵 相似文献
9.
10.
完全分配格上的诱导映射 总被引:2,自引:0,他引:2
格上拓扑学自从以不分明拓扑学为其新的背景以后大有改观。它的进展从代数的角度向格论提供了许多有趣的课题。在格上一致结构的研究中,若干属于纯格论方面的工作业已吸引了多值逻辑学家的注意。本文将这些工作更一般化、更系统化了。颇有趣味的是其中还揭示出格上保并映射之间的交运算与逆运算有着内在的联系。 相似文献
11.
12.
13.
平面上一个三角格图是指边界为准矩形(上下为两条水平直线,左右两侧为折线)、网眼形状为三角形的一个网格图。将平面上的一个三角格图的左右两端在平面上分别按逆、顺时针方向运动,使两端折线重合,由此而生成的网格图,就是平面上的环形三角格图。例如,图1(a)和(b)是三角格图,(c)是相应的环形三角格图。在三角格图中,删去部分边或部分顶点而成的网格图,为方便起见,也称为三角格图。如果每个网眼是由水平直线族、斜率分别为+1和-1的直线族划分而成,且纵宽、横宽分别为m、n格,则称之为m×n三角格图,记为,其中i表示左端三角形列的形式。在中,i=(2)表示左端三角形列 相似文献
14.
在Excel工作表中,有些数值看起来像数字,但却表现得像文本值一样,比如它们不能参加计算等。之所以出现文本型的数字,原因有二:一是你将这些数字定义为文本类型;二是这些数字是从其他源文件中导入的。如果你希望这些文本值变为数字,可以试试下述的方法。一、“追踪错误”法当数字以文本的形式存在时,在该单元格的左上角会有一个绿色的指示符,当单击选中该单元格时,在单元格旁边,将出现“追踪错误”按钮,单击该按钮,再单击“转换为数字”,即可将文本改为数字。二、“选择性粘贴”法“追踪错误”法只适用于Excel工作表中有少量文本型数字的情… 相似文献
15.
完全分配格上的p.q.度量理论 总被引:5,自引:0,他引:5
文献[1,2]在完全分配格中引入分子概念,成功地建立了完全分配格上点式拓扑学的丰富理论。接着文献[3]与[4]又建立了拓扑分子格的乘积理论、子拓扑分子格和商拓扑分子格理论。但到目前,拓扑分子格理论还未涉及拓扑学中心问题之一的度量化问题。本文中,我们建立了完全分配格上的一种弱度量理论——p.q.度量理论,取得了一系列理想的结果,特别有: 相似文献
16.
格值模型论中常量构作法的两个应用 总被引:5,自引:2,他引:3
本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。 相似文献
17.
18.
格蕴涵代数的滤子与结构 总被引:16,自引:0,他引:16
为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3~5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子. 相似文献
19.
格的半同态的若干结果 总被引:2,自引:0,他引:2
本文讨论了格的交同态与并同态之间的联系,给出了格的交(并)同态是并(交)同态(从而是同态)的充要条件.作为格的同态基本定理的推广,建立了格的半同态基本定理。 定义1 设,厂为格L到格L的映射,若使则称f为交(并)次同态.若f既为交次同态又为并次同态,则称f为次同态。 相似文献
20.
完全分配格范畴中的乘积和上积及其结构 总被引:3,自引:0,他引:3
以完全分格视为对象,完备格同态为态射,构成一个范畴Lat(有关格论和范畴论的知识及本文涉及的基本概念参见文献[1—3])。 定义1 设L_1,L_2为完备格,g:L_1→L_2为任意映射,我们称 相似文献