
doi: 10.37236/884
A family ${\cal A}$ of sets is said to be intersecting if any two sets in ${\cal A}$ intersect. Families ${\cal A}_1, ..., {\cal A}_p$ are said to be cross-intersecting if, for any $i, j \in \{1, ..., p\}$ such that $i \neq j$, any set in ${\cal A}_i$ intersects any set in ${\cal A}_j$. For ${\bf k} = (k_1, ..., k_n) \in {\Bbb N}^n$, $2 \leq k_1 \leq ... \leq k_n$, let ${\cal L}_{\bf{k}}$ be the family of labeled $n$-sets given by ${\cal L}_{\bf{k}} := \{\{(1,l_1), ..., (n,l_n)\} \colon l_i \in \{1, ..., k_i\}, i = 1, ..., n\}$. We point out a relationship between intersecting families and cross-intersecting families of labeled sets, and we show that, if ${\cal A}_1, ..., {\cal A}_p$ are cross-intersecting sub-families of ${\cal L}_{\bf{k}}$, then $$ \sum_{j = 1}^p |{\cal A}_j| \leq \left\{ \matrix{ k_1k_2...k_n & \hbox{if $p \leq k_1$};\cr pk_2...k_n & \hbox{if $p \geq k_1$}.\cr } \right. $$ We also determine the cases of equality. We then obtain a more general inequality, a special case of which is a sharp bound for cross-intersecting families of permutations.
Permutations, words, matrices, families of labeled sets, Proof theory, Extremal set theory, Permutations, intersecting family of sets, Mathematics -- Periodicals, cross intersectin families of sets, families of permutations
Permutations, words, matrices, families of labeled sets, Proof theory, Extremal set theory, Permutations, intersecting family of sets, Mathematics -- Periodicals, cross intersectin families of sets, families of permutations
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 21 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
