共查询到20条相似文献,搜索用时 194 毫秒
1.
2.
3.
本文建立了并素元有限生成格的弱直积分解,并给出一个解决并素元生成的完全Heyting代数的直积分解问题的新方法;作为弱直积分解的应用,证明了并素元有限生成的完全Heyting代数必然同构于有限个既约的完全Heyting代数的直积,证明了并素元有限生成格是Boole代数的充要条件是它同构于某有限集的幂集格. 相似文献
4.
一类完备格的直积分解与Fuzzy格的构造 总被引:3,自引:0,他引:3
本文主要结果为:1.以拓扑空间的连通分支为工具,证明了由并素元生成的完全Heyting代数存在既约的直积分解,并且它的任意两个既约直积分解是等价的,从而推广了[1]的主要结果;2.利用完全分配格的既约直积分解,得到Fuzzy格的一个构造定理,并在此基础上讨论Fuzzy格的直积分解,证明了任一Fuzzy格存在既约直积分解,并在序同构的意义下是唯一的. 相似文献
5.
Dilwrorth与Crawleyl973年提出能否去掉上半模格条件来刻画元素的不可约完全交既分解问题以及能否去掉强原子格的条件刻画紧生成格结构的问题,本文首先证明了每个元有上覆盖的紧生成格L中任意元有不可约完全交既分解,从而肯定地回答了Dilworth与Crawley上述第一个问题.之后,在每个元有上覆盖的紧生成格中引入局部强模格与局部强分配格的概念,研究了局部强模格中独立集的特性以及局部强模格与局部分配格的结构,从而部分解决了Dilworth与Crawley上述第二个问题. 相似文献
6.
《数学的实践与认识》2018,(21)
主要通过变分方法研究了有界区域上含有变号权函数和对数非线性项的一类p-Laplace方程Dirichlet边值问题的多解性.通过分解能量泛函的Nehari流形,利用对数Sobolev不等式,极小化序列方法及相关知识证明了能量泛函至少存在两个非零极小元,从而证明了问题至少存在两个非平凡解. 相似文献
7.
8.
矩阵方程AXAT=C的对称斜反对称解 总被引:1,自引:0,他引:1
设A∈Rm×n,C∈Rm×m给定,利用矩阵的广义奇异值分解和对称斜反对称矩阵的性质,得到了矩阵方程(1)AXAT=C存在对称斜反对称解的充要条件和通解表达式;证明了若方程(1)有解,则一定存在唯一极小范数解,并给出了极小范数解的具体表达式和求解步骤. 相似文献
9.
10.
11.
This paper deals with sup-conjunctor composition fuzzy relational equations in infinite domains and on complete distributive lattices. When its right-hand side is a continuous join-irreducible element or has an irredundant continuous join-decomposition, a necessary and sufficient condition describing an attainable solution (resp. an unattainable solution) is formulated and some properties of the attainable solution (resp. the unattainable solution) are shown. Further, the structure of solution sets is investigated. 相似文献
12.
An irredundant representation of the 0–1 solutions to a posynomial inequality in terms of covering constraints induced by minimal covers is given. This representation is further strengthened using extended covering constraints induced by maximal extensions of minimal covers. Necessary, sufficient, and in a special case necessary and sufficient conditions for an extended covering constraint induced by a minimal set to be a facet of the posynomial knapsack polytope are given. 相似文献
13.
14.
Up to now, how to solve a fuzzy relation equation in a complete Brouwerian lattice is still an open problem as Di Nola et al. point out. To this problem, the key problem is whether there exists a minimal element in the solution set when a fuzzy relation equation is solvable. In this paper, we first show that there is a minimal element in the solution set of a fuzzy relation equation AX=b (where A=(a1,a2,…,an) and b are known, and X=(x1,x2,…,xn)T is unknown) when its solution set is nonempty, and b has an irredundant finite join-decomposition. Further, we give the method to solve AX=b in a complete Brouwerian lattice under the same conditions. Finally, a method to solve a more general fuzzy relation equation in a complete Brouwerian lattice when its solution set is nonempty is also given under similar conditions. 相似文献
15.
We study abstract properties of intervals in the complete lattice of all κ-meet-closed subsets (κ-subsemilattices) of a κ-(meet-)semilattice S, where κ is an arbitrary cardinal number. Any interval of that kind is an extremally detachable closure system (that is, for each closed set A and each point x outside A, deleting x from the closure of A∪{x} leaves a closed set). Such closure systems have many pleasant geometric and lattice-theoretical properties; for example, they are always weakly atomic, lower locally Boolean and lower semimodular, and each member has a decomposition into completely join-irreducible elements. For intervals of κ-subsemilattices, we describe the covering relation, the coatoms, the ∨-irreducible and the ∨-prime elements in terms of the underlying κ-semilattices. Although such intervals may fail to be lower continuous, they are strongly coatomic if and only if every element has an irredundant (and even a least) join-decomposition. We also characterize those intervals which are Boolean, distributive (equivalently: modular), or semimodular.
Mathematics Subject Classifications (2000) Primary: 06A12; Secondary: 06B05, 06A23, 52A01. 相似文献
16.
The first boundary-value problem for second-order difference-differential equations with variable coefficients on a finite interval (0, d) is considered. The following question is studied: Under what conditions will the boundary-value problem for a difference-differential equation have a classical solution for an arbitrary continuous right-hand side? It is proved that a necessary and sufficient condition for the existence of a classical solution is that certain coefficients of the difference operators on the orbits generated by the shifts be equal to zero. 相似文献
17.
A cover of a finite noncyclic group G is a family ? of proper subgroups of G whose union equals G. A cover of G is called minimal if it has minimal size, and irredundant if it does not properly contain any other cover. We classify the finite noncyclic groups all of whose irredundant covers are minimal. 相似文献
18.
Sub(L)中的五边形格特征及其数量不等式 总被引:1,自引:0,他引:1
五边形结构在刻画格的特征方面具有十分重要作用,应用格论及组合数学的方法讨论了格L与其子格格Sub(L)中所含五边形格之间的数量关系,给出了有限格L的子格格中三个元生成五边形格的充要条件,同时给出了Sub(L)所含不同五边形格数量的一个下界。 相似文献
19.
V. V. Volkov V. I. Erokhin A. S. Krasnikov A. V. Razumov M. N. Khvostov 《Computational Mathematics and Mathematical Physics》2017,57(11):1757-1770
For a pair of dual (possibly improper) linear programming problems, a family of matrix corrections is studied that ensure the existence of given solutions to these problems. The case of correcting the coefficient matrix and three cases of correcting an augmented coefficient matrix (obtained by adding the right-hand side vector of the primal problem, the right-hand-side vector of the dual problem, or both vectors) are considered. Necessary and sufficient conditions for the existence of a solution to the indicated problems, its uniqueness is proved, and the form of matrices for the solution with a minimum Euclidean norm is presented. Numerical examples are given. 相似文献
20.
V. I. Erokhin 《Computational Mathematics and Mathematical Physics》2007,47(4):564-578
A matrix is sought that solves a given dual pair of systems of linear algebraic equations. Necessary and sufficient conditions for the existence of solutions to this problem are obtained, and the form of the solutions is found. The form of the solution with the minimal Euclidean norm is indicated. Conditions for this solution to be a rank one matrix are examined. On the basis of these results, an analysis is performed for the following two problems: modifying the coefficient matrix for a dual pair of linear programs (which can be improper) to ensure the existence of given solutions for these programs, and modifying the coefficient matrix for a dual pair of improper linear programs to minimize its Euclidean norm. Necessary and sufficient conditions for the solvability of the first problem are given, and the form of its solutions is described. For the second problem, a method for the reduction to a nonlinear constrained minimization problem is indicated, necessary conditions for the existence of solutions are found, and the form of solutions is described. Numerical results are presented. 相似文献