直觉模糊集运算性质

针对Atanassov(Intuitionistic Fuzzy Sets. Heidelberg: Springer,1999)给出的直觉模糊集运算,指出并修正一些直觉模糊集运算的错误性质,这将有利于对直觉模糊集的进一步研究.     

向量及其运算

1．本单元重点、难点分析 本单元的重点是向量的概念、向量的运算、向量的应用,难点是概念多、法则多,且与以前学的数又不完全相同,易混难记．突破难点的关键是重视对概念、法则的理解,注意把数量与向量比较,对知识进行梳理．     

一类Hermite分形插值函数的构造算法及其运算性质

已知结点处的函数值和一阶导数值,给出了构造一类二次分形插值函数的方法.不同于仿射分形插值函数,得到的插值函数具有可微性,并讨论分形插值函数的微积分运算,最后给出一个构造例子.     

Alignment空间及其虚拟符号运算

本文提出Alignment空间中虚拟符号运算的概念,并且给出一系列关于虚拟符号运算处理序列的性质.     

Fuzzy数的扩张运算及其性质

本文讨论了Ｆ数的扩张加法和扩张数乘运算的性质；并举反例说明这样的扩张运．算不能使Ｆ数全体Ｆ＊构成线性空间；最后对可列个Ｆ数的运算进行了讨论．     

拓扑空间的内部运算

讨论了拓扑空间上内部运算的性质,并对满足内部运算前三条性质的一类运算,引入一种等价关系,将这些运算进行等价分类,证明了每个等价类中的所有运算导出同一个拓扑,并进一步证明了每个等价类中仅有一个是内部运算且是等价类中的最小元.     

导集运算及其条件的独立性

对点集拓扑学中由导集运算决定拓扑的方法进行了讨论,给出了导集运算的定义,导集运算决定拓扑定理,并讨论了导集运算中条件的相互独立性.进一步完善了点集拓扑学中有关导集概念的内容.     

向量及其运算

平面向量对于高中数学而言是比较新的内容，在整个高中数学体系中独立成章，又和许多内容有所联系．向量这一概念是由物理学和工程技术抽象出来的．反过来，向量的理论和方法，又成为解决物理学和工程技术的重要工具．学习向量的意义在于，它是一个有效结合几何图形和代数的工具，是为以后学习解析几何和立体几何做准备的章节，在数学创新思维中有着举足轻重的地位。     

有界格上二型模糊集否运算的一些性质

本文讨论有界格上二型模糊集的否运算。首先用Zadeh的扩展原理定义了有界格上二型模糊集的否运算,然后讨论了有界格上二型模糊集否运算的一些性质,最后证明了链上二型模糊集的真值代数是De Morgan Birkhoff系统及有界分配格上二型模糊集真值代数的子代数中否运算是强否运算。     

Hausdorff Dimension in Convex Bornological Spaces

For non-metrizable spaces the classical Hausdorff dimension is meaningless. We extend the notion of Hausdorff dimension to arbitrary locally convex linear topological spaces and thus to a large class of non-metrizable spaces. This involves a limiting procedure using the canonical bornological structure. In the case of normed spaces the new notion of Hausdorff dimension is equivalent to the classical notion.     

Semistar Operations and Standard Closure Operations

Let R be a commutative ring. It is shown that there is an order isomorphism between a popular class of finite type closure operations on the ideals of R and the poset of semistar operations of finite type.     

Total boundedness and bornologies

A set A in a metric space is called totally bounded if for each ε>0 the set can be ε-approximated by a finite set. If this can be done, the finite set can always be chosen inside A. If the finite sets are replaced by an arbitrary approximating family of sets, this coincidence may disappear. We present necessary and sufficient conditions for the coincidence assuming only that the family is closed under finite unions. A complete analysis of the structure of totally bounded sets is presented in the case that the approximating family is a bornology, where approximation in either sense amounts to approximation in Hausdorff distance by members of the bornology.     

一类特殊的Fuzzy局部凸空间

文中给出了Ｆｕｚｙ有界型空间的定义，在此基础上，讨论了Ｆｕｚｙ有界型空间的等价定理，最后证明了Ｑ－Ｃ_ＩＦｕｚｙ局部凸空间是有界型的．     

Metrically generated theories

Many examples are known of natural functors describing the transition from categories of generalized metric spaces to the ``metrizable" objects in some given topological construct . If preserves initial morphisms and if is initially dense in , then we say that is -metrically generated. Our main theorem proves that is -metrically generated if and only if can be isomorphically described as a concretely coreflective subconstruct of a model category with objects sets structured by collections of generalized metrics in and natural morphisms. This theorem allows for a unifying treatment of many well-known and varied theories. Moreover, via suitable comparison functors, the various relationships between these theories are studied.

     

k-有界sober空间的收缩与Smyth幂空间

主要讨论k-有界sober空间对遗传、收缩、函数空间和Smyth幂构造的封闭性,证明了k-有界sober空间是饱和遗传的,但不是闭遗传的;对收缩与Smyth幂构造均不具有封闭性.还证明了存在k-有界sober空间X使得函数空间[X→X]赋予点式收敛拓扑不是k-有界sober空间.     

益智游戏“汉诺塔”中的矩阵运算

汉诺塔(Tower of Hanoi)问题源于印度一个古老传说,据此做成了益智游戏,蕴含大量的数学思想与方法.本文采用矩阵描述汉诺塔状态和圆盘移动过程,将圆盘从一个位置移动到另一个位置转化为矩阵的加法,进而构造由若干可能状态矩阵组成的图的邻接矩阵,计算其幂矩阵,由此很方便地求得完成汉诺塔游戏的所有可能的圆盘移动方案,求解过程简单,含义清晰,易于理解和实现.     

Operations on approximatively compact sets

In the paper, the problem of preserving the property of approximative compactness under diverse operations is considered. In an arbitrary uniformly convex separable space, we construct an example of two approximatively compact sets whose intersection is not approximatively compact. An example of two linear approximatively compact sets for which the closure of their algebraic sum is not approximatively compact is constructed. In an arbitrary Banach space, we construct two nonlinear approximatively compact sets whose algebraic sum is closed but not approximatively compact. We also prove that any uniformly closed Banach space contains an approximatively compact cavity.     

优化Sobolev体及其仿射性质

Sobolev不等式是联系分析和几何的基础不等式之一,而优化Sobolev体是优化Sobolev范数的临界几何核.首先,证明优化Sobolev体的一些仿射性质.然后,运用Barthe的优化迁移方法研究了凸体的特征函数和多胞形仿射函数的优化Sobolev体.     

Algebraic Operations and Generic Effects

Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an Ob C-indexed family of operations of the form _x :(Tx) ^v (Tx) ^w provides semantics for algebraic operations on the computational -calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. In particular, we define the notion of generic effect and show that to give a generic effect is equivalent to giving an algebraic operation. We further show how the usual monadic semantics of the computational -calculus extends uniformly to incorporate generic effects. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with effects.