Let m, n, S1, S2, …, Sn, be non-negative integers with 0≤m≤n. Assume μ（S1, S2, …, Sn）={（a1, a2, …, an）|0≤ai≤Si for each i} is a poser, Where （a1, a2, …, an）（b1, b2, …, bn） if and only if aibi for all i. A subset of μ（s1, s2, …, Sn） is called a two-part Sperner family in μ（s1, s2, …, sn） if for any a=（a1, a2, …, an）, b=（b1, b2, …, bn） ∈μ（s1, s2, …, sn）, （i） ai=bi（1≤i≤m） and ai≤bi（m+1≤i≤n） imply ai=bi for all i, and （ⅱ） ai≤bi（1≤i≤m） and ai=bi（m+1≤i≤n） imply ai=bi for all i.In this paper, we prove that if is a two-part Sperner family in μ（s1, s2,…, sn）, then
展开▼
机译：设M，N，S 1 ，s 2 ，...，s n ，是0≤m≤n的非负整数。假设μ（S 1 ，s 2 ，...，s n ）= {（a 1 ，a <子> 2 ，...， n ）|0≤a i ≤s i 对于每个i}是一个poser，其中（a 1 ， 2 ，...， n ）<（b 1 ，b 2 ，...，b n ）如果只有a i i ，我都是。 μ（S 1 ，s 2 ，...，s n ）称为μ的双部分尖垂系列（s <子> 1 ，s 2 ，...，s n ）如果任何a =（a 1 ，a 2 ，...，a），b =（b 1 ，b 2 ，...，b n ）∈μ（s 1 ，s 2 ，...，s n ），（i）a i = b i （1≤i≤m）和 i ≤b i （m +1≤i≤n）意味着 i = B i 对于所有I，（Ⅱ） i ≤b i （1≤i≤m）和 i = b i （m +1≤i≤n）意味着所有I.本文的 i = b i ，我们证明，如果是μ的双部分斜氏族系列（s 1 ，s 2 ，...，s n ）那么
展开▼
