当前位置:
X-MOL 学术
›
arXiv.cs.DM
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Hereditary rigidity, separation and density In memory of Professor I.G. Rosenberg
arXiv - CS - Discrete Mathematics Pub Date : 2021-04-01 , DOI: arxiv-2104.00292 Lucien Haddad, Masahiro Miyakawa, Maurice Pouzet, Hisayuki Tatsumi
arXiv - CS - Discrete Mathematics Pub Date : 2021-04-01 , DOI: arxiv-2104.00292 Lucien Haddad, Masahiro Miyakawa, Maurice Pouzet, Hisayuki Tatsumi
We continue the investigation of systems of hereditarily rigid relations
started in Couceiro, Haddad, Pouzet and Sch\"olzel [1]. We observe that on a
set $V$ with $m$ elements, there is a hereditarily rigid set $\mathcal R$ made
of $n$ tournaments if and only if $m(m-1)\leq 2^n$. We ask if the same
inequality holds when the tournaments are replaced by linear orders. This
problem has an equivalent formulation in terms of separation of linear orders.
Let $h_{\rm Lin}(m)$ be the least cardinal $n$ such that there is a family
$\mathcal R$ of $n$ linear orders on an $m$-element set $V$ such that any two
distinct ordered pairs of distinct elements of $V$ are separated by some member
of $\mathcal R$, then $ \lceil \log_2 (m(m-1))\rceil\leq h_{\rm Lin}(m)$ with
equality if $m\leq 7$. We ask whether the equality holds for every $m$. We
prove that $h_{\rm Lin}(m+1)\leq h_{\rm Lin}(m)+1$. If $V$ is infinite, we show
that $h_{\rm Lin}(m)= \aleph_0$ for $m\leq 2^{\aleph_0}$. More generally, we
prove that the two equalities $h_{\rm Lin}(m)= log_2 (m)= d({\rm Lin}(V))$
hold, where $\log_2 (m)$ is the least cardinal $\mu$ such that $m\leq 2^\mu$,
and $d({\rm Lin}(V))$ is the topological density of the set ${\rm Lin}(V)$ of
linear orders on $V$ (viewed as a subset of the power set $\mathcal{P}(V\times
V)$ equipped with the product topology). These equalities follow from the {\it
Generalized Continuum Hypothesis}, but we do not know whether they hold without
any set theoretical hypothesis.
中文翻译:
遗传刚性,分离性和密度纪念IG罗森伯格教授
我们证明$ h _ {\ rm Lin}(m + 1)\ leq h _ {\ rm Lin}(m)+ 1 $。如果$ V $是无限的,则表明$ h _ {\ rm Lin}(m)= \ aleph_0 $ for $ m \ leq 2 ^ {\ aleph_0} $。更普遍地,我们证明两个等式$ h _ {\ rm Lin}(m)= log_2(m)= d({\ rm Lin}(V))$成立,其中$ \ log_2(m)$最小基数$ \ mu $,使得$ m \ leq 2 ^ \ mu $和$ d({\ rm Lin}(V))$是线性集$ {\ rm Lin}(V)$的拓扑密度$ V $上的订单(被视为配有产品拓扑的功率集$ \ mathcal {P}(V \ times V)$的子集)。这些等式源自{\ it广义连续体假说},但是我们不知道它们是否在没有任何理论假设的情况下成立。我们证明两个相等$ h _ {\ rm Lin}(m)= log_2(m)= d({\ rm Lin}(V))$成立,其中$ \ log_2(m)$是最小基数$ \使得$ m \ leq 2 ^ \ mu $和$ d({\ rm Lin}(V))$是$上线性订单集$ {\ rm Lin}(V)$的拓扑密度V $(被视为配有产品拓扑的功率集$ \ mathcal {P}(V \ times V)$的子集)。这些等式源自{\ it广义连续体假说},但是我们不知道它们是否在没有任何理论假设的情况下成立。我们证明两个相等$ h _ {\ rm Lin}(m)= log_2(m)= d({\ rm Lin}(V))$成立,其中$ \ log_2(m)$是最小基数$ \使得$ m \ leq 2 ^ \ mu $和$ d({\ rm Lin}(V))$是$上线性订单集$ {\ rm Lin}(V)$的拓扑密度V $(被视为配有产品拓扑的功率集$ \ mathcal {P}(V \ times V)$的子集)。这些等式源自{\ it广义连续体假说},但是我们不知道它们是否在没有任何理论假设的情况下成立。
更新日期:2021-04-02
中文翻译:
遗传刚性,分离性和密度纪念IG罗森伯格教授
我们证明$ h _ {\ rm Lin}(m + 1)\ leq h _ {\ rm Lin}(m)+ 1 $。如果$ V $是无限的,则表明$ h _ {\ rm Lin}(m)= \ aleph_0 $ for $ m \ leq 2 ^ {\ aleph_0} $。更普遍地,我们证明两个等式$ h _ {\ rm Lin}(m)= log_2(m)= d({\ rm Lin}(V))$成立,其中$ \ log_2(m)$最小基数$ \ mu $,使得$ m \ leq 2 ^ \ mu $和$ d({\ rm Lin}(V))$是线性集$ {\ rm Lin}(V)$的拓扑密度$ V $上的订单(被视为配有产品拓扑的功率集$ \ mathcal {P}(V \ times V)$的子集)。这些等式源自{\ it广义连续体假说},但是我们不知道它们是否在没有任何理论假设的情况下成立。我们证明两个相等$ h _ {\ rm Lin}(m)= log_2(m)= d({\ rm Lin}(V))$成立,其中$ \ log_2(m)$是最小基数$ \使得$ m \ leq 2 ^ \ mu $和$ d({\ rm Lin}(V))$是$上线性订单集$ {\ rm Lin}(V)$的拓扑密度V $(被视为配有产品拓扑的功率集$ \ mathcal {P}(V \ times V)$的子集)。这些等式源自{\ it广义连续体假说},但是我们不知道它们是否在没有任何理论假设的情况下成立。我们证明两个相等$ h _ {\ rm Lin}(m)= log_2(m)= d({\ rm Lin}(V))$成立,其中$ \ log_2(m)$是最小基数$ \使得$ m \ leq 2 ^ \ mu $和$ d({\ rm Lin}(V))$是$上线性订单集$ {\ rm Lin}(V)$的拓扑密度V $(被视为配有产品拓扑的功率集$ \ mathcal {P}(V \ times V)$的子集)。这些等式源自{\ it广义连续体假说},但是我们不知道它们是否在没有任何理论假设的情况下成立。