A Helly theorem in weakly modular space (Q1126279): Difference between revisions

Let \(X\) be a set. For each pair \(u,v\in X\) let \(uv\) denote a subset of \(X\). Then \(X\) with the family of subsets is called interval space if \(u\in uv\) and \(uv=vu\) for all \(u,v\in X\). A subset \(A\) of \(X\) is convex if \(uv\in A\) for all \(u,v\in A\). Let \(\text{conv}(A)\) denote the convex hull of set \(A\). The Helly number \(h(X)\) of \(X\) is the largest number \(k\) so that there exists a \(k\)-set \(A\) with the property \[ \bigcap_{a\in A}\text{conv}(A-\{a\})=\varnothing \] or it is said to be infinite. The clique number \(\omega(X)\) of \(X\) is the size of a maximal set all whose subsets are convex. In general, \(\omega(X)\leq h(X)\). The authors show \(\omega(X)=h(X)\) for some interval spaces.