对偶定理

In this paper, firstly, the embeddability of near-triangular graphs on the orientable surface is studied. By using Petersen's Theorem about 1-factor, we first prove that for a near-triangulation on the orientable surface, its geometry dual graph has a 1-factor; then after a procedure of operation leaded by the 1-factor, we show that if a graph G triangulates some orientable surface S_g, then G has a near-triangular embedding in S_h for h = g,g + 1,...,β(G/2」, where β is the Betti number of G. Hence we obtain a conclusion: A near-triangulation of the orientable surface is upper-embeddable. As a generalization, a class of near-quadrangulation is studied, and similar results are obtained.

本文首先研究了近三角剖分图的可定向曲面嵌入性质，通过运用Petersen关于1-因子的定理，首先证明了对于可定向曲面上的三角剖分图，其几何对偶图具有1-因子；然后在1-因子的导向下，通过做一系列增加亏格的手术，证明了如果一个图G三角剖分可定向曲面S_g，那么G可以近三角剖分可定向曲面S_h，这里h=g，g+1，…，「β(G／2」，β是指图G的Betti数，从而得出推论：可定向曲面上的三角剖分图是上可嵌入的，作为推广，又研究了一类近四角剖分图的可定向曲面嵌入性质，并得到类似的结论。

It is proved that the upper approximation of such fuzzy rough set in a fuzzy approximation space is just its image derived according to generalized extension principle and binary fuzzy similar relation.

通过对偶方式定义了模糊集的上、下近似算子，给出了模糊粗糙集在相应的模糊关系及模糊集的截集下的表示定理，证明了这种模糊粗糙集关于模糊近似空间的上近似恰为其在二元模糊相似关系下导出的广义扩张原理之下的像。

It investigates mainly the dualinvariant of λ- multiplier convergent series, the full invariant ofλ-multiplier convergent series, the λ- multiplier convergent series in spaceswith a basis, the compact sets in the infinite matrix topological algebras, thecharacteristics of have the same compact sets in different topologies,the weak sequentially completeness of , the characteristics ofSchur-matrices, the characteristics of p- uniform Toeplitz matrices and theEberlein-Smulian theorem in the locally convex spaces, etc.

主要研究了〓数乘收敛级数的对偶不变性，〓数乘收敛级数的全程不变性，有基空间中的〓数乘收敛级数，无穷矩阵拓扑代数〓中的紧集，〓在不同拓扑下具有相同紧集的刻划，〓的弱序列完备性，Schur—矩阵的刻划，p-一致Toeplitz矩阵的刻划以及局部凸空间上的Eberlein—Smulian定理等。

Based on the usual sulotion of the problem, we give the form of dual problem of the fuzzy linear programming. Finally, we give a theorem about it.

在带模糊约束线性规划的求解方法基础上，提出了它的对偶问题的形式及相关的定理。

The Maschke's Theorem of group algebras is well known, and [Mo2] gives us a version of Maschke's and Dual Maschke's Theorem of finite-dimensional Hopf algebras.

半格分次弱Hopf代数是弱Hopf代数的一类特殊情况，而且又是Hopf代数的一种推广，在第1.3节中，我们将会给出半格分次弱Hopf代数的Maschke和对偶Maschke定理的结论及其应用。

After that, we discuss the weak duality theorem and the strong duality theorem concerning Benson efficient solutions.

接着讨论了Benson真有效解的强弱对偶性定理。

Then, the system is linearized by variational approach, the local null controllability is proved by applying a generalized implicit function theorem and combining the good property of the solution mapping.

首先通过对系统线性化，构造泛函，利用对偶方程，给出控制函数具体形式的办法得到系统的逼近能控性；然后采用变分方法对系统线性化，再结合解映射好的性质，应用推广的隐函数定理，证明系统的局部零能控性；最后利用局部零能控性和逼近能控性结合给出系统零能控的结论。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

This theorem is obtained by appling the reproducing kernel theory and the duality property of Riesz basis.

第四章中，根据再生核空间理论和Riesz基的对偶性质得到有限区间[0，L]小波子空间上的Shannon型采样定理。

In this paper, we first give the Maschke's theorem of smash product A#H * about semisimple algebra , after studing smash product # definited by Y.

Doi 所定义的Smash 积＃，给出了Smash 积A＃ H＊关于半单代数的Maschke 定理；给出了可分代数与余可分余代数之间的对偶关系。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。