Hyperseparoids: a representation theorem
type: Item
instance of: scholarly article
title: Hyperseparoids: a representation theorem
zbMATH Open document ID: 1216.52001
author: Ricardo Strausz
published in: Discrete \& Computational Geometry
publication date: 2011-03-10T00:00:00Z
review text: A \(k\)-separoid is a finite set \(S\) endowed with a symmetric \(k\)-relational system \(\mathcal{T}\subseteq 2^S\times\dots\times 2^S\; (k\)-times) defined in its family of subsets, such that for \(A_1, \dots, A_n\in S\) the following implications hold: (i) \(\{A_1, \dots, A_k\}\in \mathcal{T} \Rightarrow A_i\cap A_j=\emptyset\) whenever \(i\neq j\); (ii) \(\{A_1, \dots, A_k\}\in \mathcal{T}\) and \(B\subseteq (S\setminus \bigcup A_i) \Rightarrow \{A_1, \dots, A_k \cup B\}\in \mathcal{T}\). The elements of \(\mathcal{T}\) are called Tverberg partitions. The \(k\)-separoid is said to be acyclic if the components of each Tverberg partition are all nonempty. The main result is the following: Theorem 1. Evey acyclic \(3\)-separoid of order \(n=|S|\) can be represented by a family of convex polytopes, and their Tverberg partitions, in the \((n-1)\)-dimensional Euclidean space. At the end, in the spirit of Tverberg's theorem, a generalization of the concept of separoid, named hyperseparoid, is introduced. This means a set \(S\) endowed with a collection \(\mathcal{T}\) of finite subfamilies of \(S\) satisfying, for \(A_1, \dots, A_n\in S\) the previous conditions (i) and (ii) as well as the following condition: \(\{A_1, \dots, A_k\}\in \mathcal{T} \Rightarrow \{A_1, \dots, A_{k-1}\}\in \mathcal{T}\). A similar construction to that used in the proof of Theorem 1 leads to a representation of hyperseparoids by convex polytopes and their Tverberg partitions.
reviewed by: Mircea Balaj
Mathematics Subject Classification ID: 52A01
Mathematics Subject Classification ID: 52B11
zbMATH DE Number: 5864121
zbMATH Keywords: separoids
zbMATH Keywords: Tverberg's theorem
zbMATH Keywords: Radon's theorem
zbMATH Keywords: abstract convexity
zbMATH Keywords: relational systems
zbMATH Keywords: combinatorial geometry
zbMATH Keywords: Tverberg partitions
zbMATH Keywords: hyperseparoid
MaRDI profile type: MaRDI publication profile
full work available at URL: s00454-010-9299-3
OpenAlex ID: W2095480278
cites work: Separoids, their categories and a Hadwiger-type theorem for transversals
cites work: Two geometric representation theorems for separoids
cites work: Tverberg-type theorems for separoids
cites work: Counting polytopes via the Radon complex
cites work: Q3539818
cites work: Erdős-Szekeres ``happy end''-type theorems for separoïds
cites work: Homomorphisms of separoids
DOI: 10.1007/S00454-010-9299-3
Recommended article: Q4398256
Recommended article: Two geometric representation theorems for separoids
Recommended article: A Representation Theorem for Semilattices
Recommended article: Q5376093
Recommended article: Q3699125
Recommended article: A representation theorem revisited
Recommended article: Some representation theorems for sesquilinear forms
Recommended article: Q2941835
Recommended article: Q4317188
Recommended article: The representation type of Segre varieties
description: scientific article; zbMATH DE number 5864121