首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 46 毫秒
1.
John Ginsburg 《Order》1989,6(2):137-157
For a partially ordered setP and an elementx ofP, a subsetS ofP is called a cutset forx inP if every element ofS is noncomparable tox and every maximal chain ofP meets {x}∪S. We letc(P) denote the smallest integerk such that every elementx ofP has a cutsetS with ‖S‖?k: Ifc(P)?n we say thatP has then-cutset property. Our results bear on the following question: givenP, what is the smallestn such thatP can be embedded in a partially ordered set having then-cutset property? As usual, 2 n denotes the Boolean lattice of all subsets of ann-element set, andB n denotes the set of atoms and co-atoms of 2 n . We establish the following results: (i) a characterization, by means of forbidden configurations, of whichP can be embedded in a partially ordered set having the 1-cutset property; (ii) ifP contains a copy of 2 n , thenc(P)?2[n/2]?1; (iii) for everyn>3 there is a partially ordered setP containing 2 n such thatc(P)<c(2 n ); (iv) for every positive integern there is a positive integerN such that, ifB m is contained in a partially ordered set having then-cutset property, thenm?N.  相似文献   

2.
John Ginsburg 《Order》1986,3(1):21-38
An ordered set P is said to have the 2-cutset property if for every element x of P there is a subset S of P whose elements are noncomparable to x, such that |S|2 and such that every maximal chain in P meets {x}S. It is shown that if P has the 2-cutset property and has width n then P contains a ladder of length [1/2(n–3)].  相似文献   

3.
Given a partially ordered setP=(X, ), a collection of linear extensions {L 1,L 2,...,L r } is arealizer if, for every incomparable pair of elementsx andy, we havex<y in someL i (andy<x in someL j ). For a positive integerk, we call a multiset {L 1,L 2,...,L t } ak-fold realizer if for every incomparable pairx andy we havex<y in at leastk of theL i 's. Lett(k) be the size of a smallestk-fold realizer ofP; we define thefractional dimension ofP, denoted fdim(P), to be the limit oft(k)/k ask. We prove various results about the fractional dimension of a poset.Research supported in part by the Office of Naval Research.  相似文献   

4.
We extend a result due to Bárányet al. and prove the following theorem: given any setS ofn points in the plane, there are pointsx andy inS, such that every circle that containsx andy contains at least [5/84(n – 2)] other points ofS.  相似文献   

5.
Balancing poset extensions   总被引:1,自引:0,他引:1  
Jeff Kahn  Michael Saks 《Order》1984,1(2):113-126
We show that any finite partially ordered setP (not a total order) contains a pair of elementsx andy such that the proportion of linear extensions ofP in whichx lies belowy is between 3/11 and 8/11. A consequence is that the information theoretic lower bound for sorting under partial information is tight up to a multiplicative constant. Precisely: ifX is a totally ordered set about which we are given some partial information, and ife(X) is the number of total orderings ofX compatible with this information, then it is possible to sortX using no more thanC log2 e (X) comparisons whereC is approximately 2.17.Supported in part by NSF Grant MCS83-01867.  相似文献   

6.
A setL of points in thed-spaceE d is said toilluminate a familyF={S 1, ...,S n } ofn disjoint compact sets inE d if for every setS i inF and every pointx in the boundary ofS i there is a pointv inL such thatv illuminatesx, i.e. the line segment joiningv tox intersects the union of the elements ofF in exactly {x}.The problem we treat is the size of a setS needed to illuminate a familyF={S 1, ...,S n } ofn disjoint compact sets inE d . We also treat the problem of putting these convex sets in mutually disjoint convex polytopes, each one having at most a certain number of facets.  相似文献   

7.
LetX be a compact Riemann surface,n ≥ 2 an integer andx = [x 1, …,x n ] an unorderedn-tuple of not necessarily distinct points onX. Byf x :XY x we denote the normalization which identifies thex 1, …,x n and maps them to the only and universal singularity of a complex curveY x . Thenf x depends holomorphically onx and is uniquely determined by this parameter. In this context we consider the fine moduli spaceQ X of all complex-analytic quotients ofX and construct a morphismS n (X) →Q X such that each and everyf x corresponds to the image of the pointx on then-fold symmetric powerS n (X). For everyn ≥ 2 the mappingS n (X) →Q X is a closed embedding; the points of its image have embedding dimensionn(n ? 1) inQ X . HenceS 2(X) is a smooth connected component ofQ X . On the other hand, a deformation argument yields thatS n (X) is part of the singular locus of the complex spaceQ X provided thatn ≥ 3.  相似文献   

8.
LetP, Q be ordered sets and letaP. IfP \ {a} is a retract ofP and setsP and {xP:x>p} (or its dual) have the fixed point property then, for each chain complete setP,P×Q has the fixed point property if and only if (P\{a})×Q has this property. This establishes the fixed point property for some products of ordered sets which are beyond the reach of all known product theorems.The work of the first of authors was supported in part by the K.B.N. Grant No. 2 2037 92 03.  相似文献   

9.
In this paper new proofs of the Canonical Ramsey Theorem, which originally has been proved by Erd?s and Rado, are given. These yield improvements over the known bounds for the arising Erd?s-Rado numbersER(k; l), where the numbersER(k; l) are defined as the least positive integern such that for every partition of thek-element subsets of a totally orderedn-element setX into an arbitrary number of classes there exists anl-element subsetY ofX, such that the set ofk-element subsets ofY is partitioned canonically (in the sense of Erd?s and Rado). In particular, it is shown that $$2^{c1} .l^2 \leqslant ER(2;l) \leqslant 2^{c_2 .l^2 .\log l} $$ for every positive integerl≥3, wherec 1,c 2 are positive constants. Moreover, new bounds, lower and upper, for the numbersER(k; l) for arbitrary positive integersk, l are given.  相似文献   

10.
In this paper, we definen-segmentwise metric spaces and then we prove the following results:
  1. (i)|Let (X, d) be ann-segmentwise metric space. ThenX n has the fixed point property with respect to uniformly continuous bounded functions if and only if, for any continuous functionF: C *(X) → C*(X) and for anyn-tuple of distinct points x1, x2, ?, xnX, there exists anhC *(X) such that $$F(h)(x_1 ) = h(x_1 ),i = 1,2,...,n;$$ whereC *(X) has either the uniform topology or the subspace product (Tychonoff) topology \((C^ * (X) \subseteq X^X )\) .
  2. LetX i (i = 1, 2, ?) be countably compact Hausdorff spaces such thatX 1 × ? × Xn has the fixed point property for allnN Then the product spaceX 1 × X2 × ? has the fixed point property. We shall also discuss several problems in the Fixed Point Theory and give examples if necessary. Among these examples, we have:
  3. There exists a connected metric spaceX which can be decomposed as a disjoint union of a closed setA and an open setB such thatA andB have the fixed point property andX does not have.
  4. There exists a locally compact metrizable spaceX which has the fixed point property but its one-point compactificationX + does not have the fixed point property.
Other relevant results and examples will be presented in this paper.  相似文献   

11.
A Banach spaceX is aP λ-space if wheneverX is isometrically embedded in another Banach spaceY there is a projection ofY ontoX with norm at most λ.C(T) denotes the Banach space of continuous real-valued functions on the compact Hausdorff spaceT. T satisfies the countable chain condition (CCC) if every family of disjoint non-empty open sets inT is countable.T is extremally disconnected if the closure of every open set inT is open. The main result is that ifT satisfies the CCC andC(T) is aP λ-space, thenT is the union of an open dense extremally disconnected subset and a complementary closed setT Asuch thatC(TA) is aP λ?1-space.  相似文献   

12.
We prove that if X is a real Banach space, Y 1 ? Y 2 ? ... is a sequence of strictly embedded closed linear subspaces of X, and d 1d 2 ≥ ... is a nonincreasing sequence converging to zero, then there exists an element xX such that the distance ρ(x, Y n ) from x to Y n satisfies the inequalities d n ρ(x, Y n ) ≤ 8d n for n = 1, 2, ....  相似文献   

13.
LetK be a compact, convex subset ofE dwhich can be tiled by a finite number of disjoint (on interiors) translates of some compact setY. Then we may writeK=X+Y, whereX is finite. The possible structures forK, X andY are completely determined under these conditions.  相似文献   

14.
A two-coloring of the verticesX of the hypergraphH=(X, ε) by red and blue hasdiscrepancy d ifd is the largest difference between the number of red and blue points in any edge. A two-coloring is an equipartition ofH if it has discrepancy 0, i.e., every edge is exactly half red and half blue. Letf(n) be the fewest number of edges in ann-uniform hypergraph (all edges have sizen) having positive discrepancy. Erd?s and Sós asked: isf(n) unbounded? We answer this question in the affirmative and show that there exist constantsc 1 andc 2 such that $$\frac{{c_1 \log (snd(n/2))}}{{\log \log (snd(n/2))}} \leqq f(n) \leqq c_2 \frac{{\log ^3 (snd(n/2))}}{{\log \log (snd(n/2))}}$$ where snd(x) is the least positive integer that does not dividex.  相似文献   

15.
Gerhard Behrendt 《Order》1993,10(1):65-75
A tower in an ordered set (X, ) is defined to be a subsetS ofX which has the property that for everysS there is a maximal chainC in {xX|xs} which is wholly contained inS. An ordered set (X, ) is called tower-homogeneous if every order isomorphism between towers in (X, ) can be extended to an automorphism of (X, ). It is shown that a finite ordered set is tower-homogeneous if and only if it can be built up from singletons stepwise by constructions of three different types.  相似文献   

16.
It has been conjectured that strongly pseudoconvex manifoldsX such that its exceptional setS is an irreducible curve can be embedded biholomorphically into some ? N ×P m . In this paper we show that this is true, with one exception, namely when dim? X = 3 and its first Chern classc 1 (K X ¦S) = 0 whereS ?P 1 andK X is the canonical bundle ofX. On the other hand, we explicitly exhibit such a 3-foldX that is not Kahlerian; also we construct non-Kahlerian strongly pseudoconvex 3-foldX whose exceptional setS is a ruled surface; those concrete examples naturally raise the possibility of classifying non-Kahlerian strongly pseudoconvex 3-folds.  相似文献   

17.
Let X be a set of k×k matrices in which each element is nonnegative. For a positive integer n, let P(n) be an arbitrary product of n matrices from X, with any ordering and with repetitions permitted. Define X to be a primitive set if there is a positive integer n such that every P(n) is positive [i.e., every element of every P(n) is positive]. For any primitive set X of matrices, define the index g(X) to be the least positive n such that every P(n) is positive. We show that if X is a primitive set, then g(X)?2k?2. Moreover, there exists a primitive set Y such that g(Y) = 2k?2.  相似文献   

18.
A well-known conjecture of Fredman is that, for every finite partially ordered set (X, <) which is not a chain, there is a pair of elements x, y such that P(x, the proportion of linear extensions of (X, <) with x below y, lies between 1/3 and 2/3. In this paper, we prove the conjecture in the special case when (X, <) is a semiorder. A property we call 2-separation appears to be crucial, and we classify all locally finite 2-separated posets of bounded width.  相似文献   

19.
An ordered linear spaceL is said to satisfy extension property (E1) if for every directed subspaceM ofL and positive linear functional ϕ onM, ϕ can be extended toL. A Riesz spaceL is said to satisfy extension property (E2) if for every sub-Riesz spaceM ofL and every real valued Riesz homomorphism ϕ onM, ϕ can be extended toL as a Riesz homomorphism. These properties were introduced by Schmidt in [5]. In this paper, it is shown that an ordered linear space has extension property (E1) if and only if it is order isomorphic to a function spaceL′ defined on a setX′ such that iff andg belong toL′ there exists a finite disjoint subsetM of the set of functions onX′ such that each off andg is a linear combination of the points ofM. An analogous theorem is derived for Riesz spaces with extension property (E2).  相似文献   

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

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