学科分类
/ 3
56 个结果
  • 简介:在蕴涵格中引和了蕴涵滤的概念,讨论了蕴涵滤的一些基本性质,并由此建立了由素蕴涵滤决定的余关系及其商蕴涵格,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:本文给出并证明了若干个子空间的并以及两个子空间的基构成空间的充要条件,从而本质地揭示了除空间的交与和是构造新的予空间的方法外,集合的其它运算不能构造新的空间,最后分析了空间直和的两种不同定义的优缺点,指出了张禾瑞教材中子空间直和定义推广时应注意的一个问题。

  • 标签: 子空间 空间构造 线性空间 直和 三维几何空间
  • 简介:浅述整除与余四川大学唐贤江一、整数的整除性1、基本概念对于两个整数a、b(b≠0),若存在一个整数n,使得a=bn,则称b整除a,或a被b整除,记为b|a;b整除a有时也称b是a的因数,a是b的倍数。若b不能整除a用ba表示。2、基本性质1)若b|...

  • 标签: 连续整数 连续自然数 正整数 平方数 浅述 同余式
  • 简介:引入半群上模糊理想、模糊余的概念.给出它们的一些等价刻划.证明了一个半群上所有模糊余关系作成一个格.最后,给出模糊理想的积和模糊余关系的积的概念,讨论了它们的一些性质.

  • 标签: 理想 模糊理想 模糊同余关系 模糊集
  • 简介:设N是Banach空间X上的套,AlgN是相应的套代数。本文证明了,若套N中存在一个非平凡元在X中可补,那么AlgN上的每个可加Jordan高阶导和每个可加三重Jordan高阶导都是高阶导

  • 标签: 套代数 Jordan高阶导子 三重Jordan高阶导子 JORDAN导子
  • 简介:提出了求解参数识别反问题的伦正则化方法,给出了相应的收敛性定理.数值结果表明该方法是一种快速的大范围收敛方法.

  • 标签: 反问题 同伦正则化 收敛性
  • 简介:格蕴涵代数中的滤是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:基于矩阵谱问题构造了一种实用的方法来对一类实轴上的可积方程的Riemann-Hilbert问题进行建模。当跳跃矩阵是单位矩阵时,孤立解通过特殊约化的Riemann-Hilbert问题显性表示。作为一个范例,对于具有任意阶矩阵谱问题的多分量非线性薛定谔方程,给出了该方法的具体应用。

  • 标签: 矩阵谱问题 RIEMANN-HILBERT问题 孤立子解
  • 简介:本利用几何不等式和曲率估计的方法,证明了黎曼流形N^n+p,上的具有平行平均曲率的紧流形M^n上的一个拼挤定理。若N上的截曲率KN满足-1≤KN≤δ≤0,且‖S-nH2‖n/2,‖S-nH^2‖n/n-s满足一些不等式,则δ=-1。

  • 标签: 拼挤定理 子流形 非负截曲率
  • 简介:主要讨论了在一定条件下半环的强分配格S上的环余ρ与半环族(Sα)α∈D上的环余族(ρα)α∈D之间的关系.

  • 标签: 半环的强分配格 环同余