说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 豪斯道夫一致拓扑空间
1)  Hausdorff uniform topological space
豪斯道夫一致拓扑空间
1.
Further-maore,We extend some fixed point theorens in [2]for quasi - generlized nonexpansive and Kannan mappings in Hausdorff uniform topological spaces.
本文引用文[3]及[4]中方法在2——距离空间减弱自映射的连续性获得几个新的不动点定理,再者在豪斯道夫一致拓扑空间中扩充了拟广义非扩张映象与Kannan映象在[2]中的某些不动点定理,主要结果是定理2、定理3与定理8。
2)  compact hausdorff topological space
紧哈斯道夫拓扑空间
1.
A class of fixed point theorems on a compact hausdorff topological space;
紧哈斯道夫拓扑空间上的一类不动点定理
3)  compact Hausdorff topological group
紧豪斯道夫拓扑群
4)  compact Hausdorff space
紧豪斯道夫空间
5)  uniform topological space
一致拓扑空间
6)  Hausdorff topological group
豪斯多夫拓扑群
补充资料:拓扑斯


拓扑斯
sodoj

拓扑斯〔勿脚万;TOtloc」 一个范畴,等价于某个拓扑化范畴(topolo乡刘以之他创了)上的集合的层范畴.另一个定义为:拓扑斯是一个范畴C,使得C上的典范拓扑的任意层是可表示的.对于一个拓扑斯的对象(它们是集合的层)可以定义通常的集范畴结构.基于这一理由,拓扑斯可看作集合论的非标准模型.此处用更一般的定义会方便些:一个初等拓扑斯(e】enlellta习topos)是一个带有积和终对象的范畴(嵘通加即仃)C,连同一个反变函子少:C一C(此处对X‘C,尸(X)是对应于x的子对象族的一个对象),一且有单射艺二~xx以X),此处艺是隶属关系的图.对象、,(l)是拓扑斯C中命题逻辑值的自然定义域.【补注】拓扑范畴称为景(site)(拓扑化范畴)更好. 拓扑斯的概念是A.Grothe们dieCk(「l」)于1%3年左右引入的,它与代数几何中的某种上同调理论有关,特别是层的平展和结晶上同调(见艾达尔拓扑(eta】etopology).尽管这种上同调可以用给定的景(site)直接描述,但拓扑斯诱导出一个更有不变量意味的刻画;与拓扑空间上的层的“经典”情况相反,(见层论(slleal,tll以〕ry)),许多不同的景可以给出同样的层的拓扑斯,因而给出同样的上同调理论.稍后M Artin和B.M~(【Al」)指出了怎样定义拓扑斯的同伦群,并建立了关于给定拓扑斯的同调和上同调的“V门liteh暇ld定理”(见拓扑范畴的同伦型(bomotoPy tyPe of a toPologi叼。互忱gory)). 初等拓扑斯的概念是F.W.L生认八吧优和M.Tienley在1969年提出来的.他们的想法是抽象出集范畴的那些层范畴也具备的初等(即一阶)性质.使得后者可以被看作“广义集合论”的模型.La认八七re-Tiemey公理比GrothendieCk引出的相应公理更简单也更广泛;基于这个理由,未加修饰的术语“拓扑斯”现在一般指“初等拓扑斯”,而较早意义下的拓扑斯(即等价于景上的层范畴的范畴)被看作Grotllen-dieck拓扑斯.初等拓扑斯的公理可以代替传统的集合论公理体系作为数学的基础([A3】,fA41).与此相关,一个初等拓扑斯可以被看作高阶直观型论的一个模型(见类型论(tyP留,th。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条