首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 46 毫秒
1.
Let X be a weakly Lindel?f determined Banach space. We prove that the following two statements are equivalent:
(i)  Every Radon probability measure on (BX*, w*) has separable support.
(ii)  Every countably additive X*-valued measure with σ-finite variation has norm separable range.
Some applications and related examples are given. Received: 11 January 2006; Revised: 24 May 2006  相似文献   

2.
3.
The major sequences of lengthn are defined as the words withn letters taken from the integers 1, 2, ,n and containing at least
1.  letter equal ton
2.  letters equal or more thann – 1,n – 1 letters equal or more than 2.
  相似文献   

4.
We present a new pivot-based algorithm which can be used with minor modification for the enumeration of the facets of the convex hull of a set of points, or for the enumeration of the vertices of an arrangement or of a convex polyhedron, in arbitrary dimension. The algorithm has the following properties:
(a)  Virtually no additional storage is required beyond the input data.
(b)  The output list produced is free of duplicates.
(c)  The algorithm is extremely simple, requires no data structures, and handles all degenerate cases.
(d)  The running time is output sensitive for nondegenerate inputs.
(e)  The algorithm is easy to parallelize efficiently.
For example, the algorithm finds thev vertices of a polyhedron inR d defined by a nondegenerate system ofn inequalities (or, dually, thev facets of the convex hull ofn points inR d, where each facet contains exactlyd given points) in timeO(ndv) andO(nd) space. Thev vertices in a simple arrangement ofn hyperplanes inR d can be found inO(n 2 dv) time andO(nd) space complexity. The algorithm is based on inverting finite pivot algorithms for linear programming.  相似文献   

5.
We consider games in coalition function form on a, generally infinite, algebra of coalitions. For finite algebras the additive part mappingv E(v ¦) is the usual. The concern here is the analogue for infinite algebras. The useful construction is the finitely additive stochastic process of additive parts of the game on the filtration f of finite subalgebras of.It is shown that is an isomorphism between:
a)  Additive games and martingales
b)  Superadditive games and supermartingales
c)  Shapley's games of bounded deviationBD() in his (1953) dissertation and bounded F-processes of Armstrong (1983)
d)  Gilboa's spaceBS() (1989) and bounded processes of Armstrong (1983)
  相似文献   

6.
The star unfolding of a convex polytope with respect to a pointx on its surface is obtained by cutting the surface along the shortest paths fromx to every vertex, and flattening the surface on the plane. We establish two main properties of the star unfolding:
1.  It does not self-overlap: it is a simple polygon.
2.  The ridge tree in the unfolding, which is the locus of points with more than one shortest path fromx, is precisely the Voronoi diagram of the images ofx, restricted to the unfolding.
These two properties permit conceptual simplification of several algorithms concerned with shortest paths on polytopes, and sometimes a worst-case complexity improvement as well:
•  The construction of the ridge tree (in preparation for shortest-path queries, for instance) can be achieved by an especially simpleO(n 2) algorithm. This is no worst-case complexity improvement, but a considerable simplification nonetheless.
•  The exact set of all shortest-path “edge sequences” on a polytope can be found by an algorithm considerably simpler than was known previously, with a time improvement of roughly a factor ofn over the old bound ofO(n 7 logn).
•  The geodesic diameter of a polygon can be found inO(n 9 logn) time, an improvement of the previous bestO(n 10) algorithm.
  相似文献   

7.
We study several kinds of distributivity for concept lattices of contexts. In particular, we find necessary and sufficient conditions for a concept lattice to be
(1)  distributive,
(2)  a frame (locale, complete Heyting algebra),
(3)  isomorphic to a topology,
(4)  completely distributive,
(5)  superalgebraic (i.e., algebraic and completely distributive).
In cases (2), (4) and (5), our criteria are first order statements on objects and attributes of the given context. Several applications are obtained by considering the completion by cuts and the completion by lower ends of a quasiordered set as special types of concept lattices. Various degrees of distributivity for concept lattices are expressed by certain separation axioms for the underlying contexts. Passing to complementary contexts makes some statements and proofs more elegant. For example, it leads to a one-to-one correspondence between completely distributive lattices and so-called Cantor lattices, and it establishes an equivalence between partially ordered sets and doubly founded reduced contexts with distributive concept lattices.  相似文献   

8.
9.
We develop the theory of “branch algebras”, which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting on trees. In particular, for every field % MathType!End!2!1! we contruct a % MathType!End!2!1! which
–  • is finitely generated and infinite-dimensional, but has only finitedimensional quotients;
–  • has a subalgebra of finite codimension, isomorphic toM 2(k);
–  • is prime;
–  • has quadratic growth, and therefore Gelfand-Kirillov dimension 2;
–  • is recursively presented;
–  • satisfies no identity;
–  • contains a transcendental, invertible element;
–  • is semiprimitive if % MathType!End!2!1! has characteristic ≠2;
–  • is graded if % MathType!End!2!1! has characteristic 2;
–  • is primitive if % MathType!End!2!1! is a non-algebraic extension of % MathType!End!2!1!;
–  • is graded nil and Jacobson radical if % MathType!End!2!1! is an algebraic extension of % MathType!End!2!1!.
The author acknowledges support from TU Graz and UC Berkeley, where part of this research was conducted.  相似文献   

10.
LetF(X, Y) be a two dimensional polynomial map overC. We show how to use the notion of induced resultants in order to give short and elementary proofs to the following three theorems:
1.  If the Jacobian of F is a non-zero constant, then the image of F contains all of C2 except for a finite set.
2.  If F is invertible, then the inverse map is determined by the free terms of the induced resultants.
3.  If F is invertible, then the degree of F equals the degree of its inverse.
  相似文献   

11.
Let k ≧ 3 be an integer or k = ∞ and let K be a field. There is a recursive family of finitely presented groups Gn over a fixed finite alphabet with solvable word problem such that
(1)  the center of Gn is trivial for every
(2)  the dimension d(n) of the center of the group algebra K · Gn over K is either 1 or k, and
(3)  it is undecidable given n whether d(n) = 1 or d(n) = k.
Received: 22 July 2004  相似文献   

12.
Conclusions  Mahler’s measure is alive and well in several quite diverse contexts. The differing points of view seem to generate a healthy friction. If the general level of health is measured by the quantity and quality of unsolved problems, then it may help to list these.
1.  Lehmer’s Problem.
2.  The elliptic analogue of Lehmer, at least in tractable special cases.
3.  An explanation of Boyd’s remarkable formulae. It seems thatK-theory should provide the conceptual framework. More generally, perhaps values of the elliptic Mahler measure will arise as values of L-functions of higher-dimensional varieties.
4.  It looks almost certain that the elliptic Mahler measure should arise as an entropy. This would form a fascinating bridge between two large areas of interest. Ward and I have begun to write about this [10]. At the very least, this would show that the global canonical height of an algebraic point on an elliptic curve arises as an entropy. But of what, and what does this mean?
5.  There are many other pretty results about the classical Mahler measure which could be lifted to the elliptic setting.
  相似文献   

13.
14.
Continuing earlier work on construction of harmonic spaces from translation invariant Dirichlet spaces defined on locally compact abelian groups, it is shown that the potential kernel for a non-symmetric translation invariant Dirichlet form on a locally compact abelian group under the extra assumptions that
(i)  the potential kernel is absolutely continuous and the canonical l.s.c. density is continuous in the complement of the neutral element.
(ii)  the theory is of local type.
(iii)  the underlying group is not discrete, can be interpreted as the potential kernel for a translation invariant axiomatic theory of harmonic functions, in which (among other properties) the domination axiom is fulfilled.
  相似文献   

15.
Given a connected graph G, a vertex v of G is said to be a branch vertex if its degree is greater than 2. We consider two problems arising in the context of optical networks:
(i)  Finding a spanning tree of G with the minimum number of branch vertices and
(ii)  Finding a spanning tree of G such that the degree sum of the branch vertices is minimized.
For these NP-hard problems, heuristics, that give good quality solutions, do not exist in the literature. In this paper we analyze the relation between the problems, provide a single commodity flow formulation to solve the problems by means of a solver and develop different heuristic strategies to compute feasible solutions that are compared with the exact ones. Our extensive computational results show the algorithms to be very fast and effective.  相似文献   

16.
We discuss three scalarizations of the multiobjectie optimization from the point of view of the parametric optimization. We analyze three important aspects:
i)  What kind of singularities may appear in the different parametrizations
ii)  Regularizations in the sense of Jongen, Jonker and Twilt, and in the sense of Kojima and Hirabayashi.
iii)  The Mangasarian-Fromovitz Constraint Qualification for the first parametrization.
This paper is a short version of the thesis of the author at the University of Havanna, Department of Mathematics Havanna, Cuba.  相似文献   

17.
We have generalized the theory of Shannon's games in [10]. In this paper, we treat a game on a graph with an action of elementary abelian group but our decision of the winner is more general. Our theory can be applied for non-negative integersn andr, to the two games on a graph withn + 1 distinguished terminals whose rules are as follows:
(1)  the players Short and Cut play alternately to choose an edge,
(2)  the former contracts it and the later deletes it
(3)  the former if and only if he connects the terminals into at mostn – r + 1 ones.
Dedicated to Professor Sin Hitotumatu for his 60'th birthday  相似文献   

18.
We show that if (K,L) is a semi-abelian category, there exists an abelian categoryK x with the followings properties:
The categoryK is a full subcategory ofK x.
The free objects ofK are projectives inK x.
A sequence ofK-morphismes isK-exact if, and only if, it isK x-exact.
To each objectU ofK x we can associate a surjections:XU whereX is an object ofK.
  相似文献   

19.
Rings over which every nonzero right module has a maximal submodule are calledright Bass rings. For a ringA module-finite over its centerC, the equivalence of the following conditions is proved:
(1)  A is a tight Bass ring;
(2)  A is a left Bass ring;
(3)  A/J(A) is a regular ring, andJ(A) is a right and leftt-nilpotent ideal.
Translated fromMatematicheskie Zametki, Vol. 64, No. 1, pp. 136–142, July, 1998.This research was partially supported by the Russian Foundation for Basic Research under grant No. 96-01-00627.  相似文献   

20.
A graph G is a {d, d+k}-graph, if one vertex has degree d+k and the remaining vertices of G have degree d. In the special case of k = 0, the graph G is d-regular. Let k, p ⩾ 0 and d, n ⩾ 1 be integers such that n and p are of the same parity. If G is a connected {d, d+k{-graph of order n without a matching M of size 2|M| = np, then we show in this paper the following: If d = 2, then k ⩾ 2(p + 2) and
(i)  nk + p + 6.
If d ⩾ 3 is odd and t an integer with 1 ⩽ tp + 2, then
(ii)  nd + k + 1 for kd(p + 2)
(iii)  nd(p + 3) + 2t + 1 for d(p + 2 −t) + tkd(p + 3 −t) + t − 3
(iv)  nd(p + 3) + 2p + 7 for kp.
If d ⩾ 4 is even, then
(v)  nd + k + 2 − η for kd(p + 3) + p + 4 + η
(vi)  nd + k + p + 2 − 2t = d(p + 4) + p + 6 for k = d(p + 3) + 4 + 2t and p ⩾ 1
(vii)  nd + k + p + 4 for d(p + 2) ⩽ kd(p + 3) + 2
(viii)  nd(p + 3) + p + 4 for kd(p + 2) − 2, where 0 ⩽ t ⩽ 1/2p − 1 and η = 0 for even p and 0 ⩽ t ⩽ 1/2(p − 1) and η = 1 for odd p.
The special case k = p = 0 of this result was done by Wallis [6] in 1981, and the case p = 0 was proved by Caccetta and Mardiyono [2] in 1994. Examples show that the given bounds (i)–(viii) are best possible.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号