共查询到20条相似文献,搜索用时 31 毫秒
1.
Abstract
By
we denote the set of all propositional formulas. Let
be the set of all clauses. Define
. In Sec. 2 of this paper we prove that for normal modal logics
, the notions of
-expansions and
-expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of
-expansions for I and
-expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of
-expansions for I is the same as that of
-expansions for I.
The project is supported by NSFC 相似文献
2.
Weak Hopf Algebras Corresponding to Borcherds-Cartan Matrices 总被引:1,自引:0,他引:1
Li Xia YE Zhi Xiang WU Xue Feng MEI 《数学学报(英文版)》2007,23(10):1729-1744
Let y be a generalized Kac-Moody algebra with an integral Borcherds-Cartan matrix. In this paper, we define a d-type weak quantum generalized Kac-Moody algebra wUq^d(y), which is a weak Hopf algebra. We also study the highest weight module over the weak quantum algebra wUdq^d(y) and weak A-forms of wUq^d(y). 相似文献
3.
PeiXinCHEN ShiJieLU 《数学学报(英文版)》2005,21(1):9-12
Kenneth R. Davidson raised ten open problems in the book Nest Algebras. One of theseopen problems isProblem 7 If K(交集)AlgL is weak^* dense in AlgL, where K is the set of all compact operators in B(H),is L completely distributive? In this note, we prove that there is a reflexive subspace lattice L on some Hilbert space, which satisfies the following conditions: (a)F(AlgL) is dense in AlgL in the ultrastrong operator topology, where F(AlgL) is the set of all finite rank operators in AlgL; (b) L isn‘t a completely distributive lattice. The subspace lattices that satisfy the above conditions form a large class of lattices. As a special case of the result, it easy to see that the answer to Problem 7 is negative. 相似文献
4.
For an l-graph
, the Turán number
is the maximum number of edges in an n-vertex l-graph
containing no copy of
. The limit
is known to exist [8]. The Ramsey–Turán density
is defined similarly to
except that we restrict to only those
with independence number o(n). A result of Erdős and Sós [3] states that
as long as for every edge E of
there is another edge E′of
for which |E∩E′|≥2. Therefore a natural question is whether there exists
for which
.
Another variant
proposed in [3] requires the stronger condition that every set of vertices of
of size at least εn (0<ε<1) has density bounded below by some threshold. By definition,
for every
. However, even
is not known for very many l-graphs
when l>2.
We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we
construct, for each l≥3, infinitely many l-graphs
for which
.
We also prove that the 3-graph
with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies
. The existence of a hypergraph
satisfying
was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based
on different ideas and is simpler than these earlier proofs.
* Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P.
Sloan Research Fellowship.
† Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529. 相似文献
5.
Jackson's Theorem on Bounded Symmetric Domains 总被引:1,自引:0,他引:1
Ming Zhi WANG Guang Bin REN 《数学学报(英文版)》2007,23(8):1391-1404
Polynomial approximation is studied on bounded symmetric domain Ω in C^n for holomorphic function spaces X such as Bloch-type spaces, Bergman-type spaces, Hardy spaces, Ω algebra and Lipschitz space. We extend the classical Jackson's theorem to several complex variables:Eκ(f,X)≤ω(1/k,f,X), where Eκ(f,X) is the deviation of the best approximation of f ∈X by polynomials of degree at most k with respect to the X-metric and ω(1/k,f,X) is the corresponding modulus of continuity. 相似文献
6.
7.
8.
Jie FANG 《数学学报(英文版)》2007,23(9):1611-1620
An algebraic structure A is said to have the endomorphism kernel property if every congruence on A, other than the universal congruence, is the kernel of an endomorphism on A. In this paper, we consider the EKP (that is, endomorphism kernel property) for an extended Ockham algebra A. In particular, we describe the structure of the finite symmetric extended de Morgan algebras having EKP. 相似文献
9.
On Well-posed Mutually Nearest and
Mutually Furthest Point Problems in Banach Spaces 总被引:3,自引:0,他引:3
ChongLI RenXingNI 《数学学报(英文版)》2004,20(1):147-156
Let G be a non-empty closed(resp.bounded closed)boundedly relatively weakly compact subset in a strictly convex Kadec Banach space X.Let K(X)denote the space of all non-empty compact convex subsets of X endowed with the Hausdorff distance.Moreover,let KG(X)denote the closure of the set {A∈K(x):A∩G=0}.We prove that the set of all A∈KG(X)(resp.A∈K(X)),such that the minimization (resp.maximization)problem min(A,G)(resp.max(A,G))is well posed,contains a dense Gδ-subset of KG(X)(resp.K(X)).thus extending the recent results due to Blasi,Myjak and Papini and Li. 相似文献
10.
Michel WEBER 《数学学报(英文版)》2006,22(2):377-382
Let D be an increasing sequence of positive integers, and consider the divisor functions:
d(n, D) =∑d|n,d∈D,d≤√n1, d2(n,D)=∑[d,δ]|n,d,δ∈D,[d,δ]≤√n1,
where [d,δ]=1.c.m.(d,δ). A probabilistic argument is introduced to evaluate the series ∑n=1^∞and(n,D) and ∑n=1^∞and2(n,D). 相似文献
11.
Mirjana STOJANOVIC 《数学学报(英文版)》2006,22(2):393-406
We consider nonlinear parabolic equations with nonlinear non-Lipschitz's term and singular initial data like Dirac measure, its derivatives and powers. We prove existence-uniqueness theorems in Colombeau vector space yC^1,W^2,2([0,T),R^n),n ≤ 3. Due to high singularity in a case of parabolic equation with nonlinear conservative term we employ the regularized derivative for the conservative term, in order to obtain the global existence-uniqueness result in Colombeau vector space yC^1,L^2([0,T),R^n),n≤ 3. 相似文献
12.
Some Limit Theorems for a Particle System of Single Point Catalytic Branching Random Walks 总被引:2,自引:0,他引:2
Vladimir VATUTIN Jie XIONG 《数学学报(英文版)》2007,23(6):997-1012
We study the scaling limit for a catalytic branching particle system whose particles perform random walks on Z and can branch at 0 only. Varying the initial (finite) number of particles, we get for this system different limiting distributions. To be more specific, suppose that initially there are n^β particles and consider the scaled process Zt^n(·) = Znt(√n·), where Zt is the measure-valued process 1 and to a representing the original particle system. We prove that Ztn converges to 0 when β 〈1/4 and to a nondegenerate discrete distribution when β=1/4.In addition,if 1/4〈β〈1/2 then n-^(2β-1/2)Zt^n converges to a random limit,while if β 〉21then n^-βZtn converges to a deterministic limit. 相似文献
13.
Yong Ge TIAN 《数学学报(英文版)》2006,22(1):289-300
For any element a in a generalized 2^n-dimensional Clifford algebra Lln (F) over an arbitrary field F of characteristic not equal to two, it is shown that there exits a universal invertible matrix Pn over Lln(F) such that Pn^-1DnPn= φ(α)∈F^2n×2n, where φ(a) is a matrix representation of α over and Dα is a diagonal matrix consisting of a or its conjugate. 相似文献
14.
Xiao Chun FANG Shu Dong LIU 《数学学报(英文版)》2007,23(10):1745-1750
Let A be a separable unital nuclear simple C*-algebra with torsion K0 (A), free K1 (A) and with the UCT. Let T : A→M(K)/K be a unital homomorphism. We prove that every unitary element in the commutant of T(A) is an exponent, thus it is liftable. We also prove that each automorphism α on E with α ∈ Aut0(A) is approximately inner, where E is a unital essential extension of A by K and α is the automorphism on A induced by α. 相似文献
15.
E.M.E.ZAYED 《数学学报(英文版)》2003,19(4):679-694
The asymptotic expansions of the trace of the heat kernel θ(t)=∑^∞v=1^exp(-tλv) for small positive t,where {λv} are the eigenvalues of the negative Laplacian -△n=-∑^ni=1(D/Dx^1)^2 in R^2(n=2 or 3),are studied for a general annular bounded domain Ω with a smooth inner boundary DΩ1 and a smooth outer boundary DΩ2,where a finite number of piecewise smooth Robin boundary conditions(D/Dnj γh)Ф=0 on the components Гj(j= 1,...,m) of (DΩ1 and on the components Гj (j=k 1,…,m) of of DΩ2 are considered such that DΩl=U^kj=lГj and DΩ2= U^m=k 1Гj and where the coefficients γj(j=1,...,m) are piecewise smooth positive functions. Some applications of θ(t) for an ideal gas enclosed in the general annular bounded domain Ω are given. Further results are also obtained. 相似文献
16.
A CDCSL algebra is a reflexive operator algebra with completely distributive and commutative subspace lattice. In this paper,
we show, for a weakly closed linear subspace
of a CDCSL algebra
, that
is a Lie ideal if and only if
for all invertibles A in
, and that
is a Jordan ideal if and only if it is an associative ideal. 相似文献
17.
Wolfgang Rump 《Archiv der Mathematik》2007,89(2):131-142
We introduce one-sided thick subcategories
of an arbitrary preadditive category
and define a quotient category
. When
is abelian, this concept specializes to Grothendieck’s quotient for two-sided thick
. We determine the left noetherian rings for which the injective modules form a left thick subcategory. We exhibit a class
of one-sided thick subcategories in categories of coherent functors which are ubiquitous in representation theory.
Received: 14 November 2006 Revised: 12 March 2007 相似文献
18.
Xi Mei WU Qin YUE 《数学学报(英文版)》2007,23(11):2061-2068
Let F = Q(√-p1p2) be an imaginary quadratic field with distinct primes p1 = p2 = 1 mod 8 and the Legendre symbol (p1/p2) = 1. Then the 8-rank of the class group of F is equal to 2 if and only Pl if the following conditions hold: (1) The quartic residue symbols (p1/p2)4 = (p2/p1)4 = 1; (2) Either both
p1 and p2 are represented by the form a^2 + 32b^2 over Z and p^h2+(2p1)/4=x^2-2p1y^2,x,y∈Z,or both p1 and p2 are not represented by the form a^2 + 32b^2 over Z and p^h2+(2p1)/4=ε(2x^2-p1y^2),x,y∈Z,ε∈{±1},where h+(2p1) is the narrow class number of Q(√2p1),Moreover, we also generalize these results. 相似文献
19.
Global Existence of Solutions for the Kawahara Equation in Sobolev Spaces of Negative Indices 总被引:1,自引:0,他引:1
Hua WANG Shang Bin CUI Dong Gao DENG 《数学学报(英文版)》2007,23(8):1435-1446
We first prove that the Cauchy problem of the Kawahara equation, δtu + uδxu +βδx^3u+γδx^5u = 0, is locally solvable if the initial data belong to H^r(R) and r〉 r≥-7/5, thus improving the known local well-posedness result of this equation. Next we use this local result and the method of "almost conservation law" to prove that global solutions exist if the initial data belong to H^r(R) and r〉-1/2. 相似文献
20.
Let X = {1, . . . ,
n}, and let
be a family of subsets
of X. Given the size of
, at least how many pairs
of elements of
must be disjoint? In
this paper we give a lower bound for the number of disjoint
pairs in
. The bound we obtain is
essentially best possible. In particular, we give a new proof of
a result of Frankl and of Ahlswede, that if
satisfies
then
contains at least as
many disjoint pairs as X(r).The situation is rather different if we restrict our
attention to
: then we are asking for
the minimum number of edges spanned by a subset of the Kneser
graph of given size. We make a conjecture on this lower bound,
and disprove a related conjecture of Poljak and Tuza on the
largest bipartite subgraph of the Kneser graph.* Research partially supported by NSF grant
DMS-9971788 相似文献