首页/论文/0903.2571

arXiv 0903.25712009-03-14math.LOmath.AC

布尔等距的扩张

Extensions of Boolean isometries

Antonio Avilés

发表信息：: Discrete Math. 297, No. 1-3, 1-12 (2005)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

研究了布尔域W的两个子集之间的映射何时可以扩展为W的一个自同构。在许多假设下，如果基础布尔代数是完备的，或者集合是有限域或布尔域，则其充分必要条件是保持每对点之间的布尔距离。

英文摘要：

We study when a map between two subsets of a Boolean domain W can be extended to an automorphism of W. Under many hypotheses, if the underlying Boolean algebra is complete or if the sets are finite or Boolean domains, the necessary and suficient condition is that it preserves the Boolean distance between every couple of points.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

部分等距延拓性质的一个组合证明

A combinatorial proof of the extension property for partial isometries

本研究针对有限度量空间类的部分等距延拓性质，给出了一个简短自包含的组合证明，为该性质提供了新的简洁推导思路。

2018-08-28cs.DMmath.COmath.LO

布尔同态的标准扩张的一个刻划

A characterization of the canonical extension of Boolean homomorphisms

利用斯通-切赫紧化刻画了布尔同态的标准扩张.然后，我们将证明一对一同态和上同态分别扩展到一对一同态和上同态。

2018-06-01math.LO

关于部分等距的扩张

On extensions of partial isometries

本文在度量空间中定义了S-扩张的概念，并研究了S-扩张的极小性和凝聚性。我们证明了每一个S-扩张都可以被一个代数对象所识别。我们利用这个代数表示给出了有限度量空间的所有有限极小S-扩张的一个完全刻画和所有极小凝聚S-扩张的一个完全刻画。定义了超延度量空间的概念，并证明了每一个可数度量空间都可以延拓为可数超延度量空间.作为一个应用，我们证明了Urysohn度量空间的每一个可数子集都可以扩张为Urysohn空间的一个可数稠密超扩张子集.我们还证明了无限超广度量空间的等距群有一个稠密的局部有限子群，推广了几个已知的结果。我们还研究了紧超度量空间，证明了每个紧超度量空间都可以扩张为紧超扩张超度量空间。

2021-04-20math.FAmath.LOmath.MG

贝叶斯算子对布尔代数的扩充：在确定性贝叶斯逻辑定义中的应用

Extension of Boolean algebra by a Bayesian operator; application to the definition of a Deterministic Bayesian Logic

这项工作有助于领域的布尔代数和贝叶斯概率，提出了一个代数扩张的布尔代数，实现了一个操作的贝叶斯条件推理，并在此操作下关闭。从Lewis的工作（Lewis' triviality）开始，人们就知道在事件空间中构造这样的条件算子是不可能的。然而，这项工作提出了一个答案，补充刘易斯的平凡，建设的条件运营商以外的空间的事件，从而导致一个代数扩张。特别地，证明了定义在布尔代数上的任何概率都可以按照条件概率的乘法定义，扩张到它的代数扩张上.本文最后在此代数扩张的基础上引入了一个新的二值逻辑，并得到了它的基本性质。

2011-12-15cs.AIcs.LOmath.LO

布尔函数反演复杂性的几种推广

Some Extensions of the Inversion Complexity of Boolean Functions

在计算布尔函数的布尔电路中，“非”门的最小数量称为该函数的求逆复杂度。1957年，A. A.马尔可夫确定了每一个布尔函数的反演复杂度，并证明了$\lceil\log_{2}(d(f)+1)\rceil$“非”门是计算任何布尔函数$f$的必要和充分条件（其中$d(f)$是在所有变量值的元组链上从1到0的值变化的最大数量）。本文研究了任意基上的布尔电路，该基由所有单调函数（权为零）和有限个非空非单调函数集（权为单位）组成。证明了布尔函数$f$的非单调门数的最小充分实现等于$\lceil\log_{2}(d(f)+1)\rceil - O(1)$。类似地推广了A. A.得到了布尔函数系的逆复杂性的马氏性。

2015-08-31cs.DMmath.LO

超越公式作为余图：布尔逻辑到任意图的扩展

Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs

我们提出了一个基于图的布尔逻辑扩展称为布尔图逻辑（BGL）。将公式树构造为上图的余树，我们可以用纯图论的术语来描述诸如求值和蕴涵等语义概念，由此我们恢复了BGL的定义。自然，它比通常的布尔逻辑保守。（1）给出了BGL的一种基于布尔关系的自然语义，即它是一种多值语义，并证明了这种语义对于相应的蕴涵概念的充分性。(2)我们发现，评估的复杂性是NP-完全的任意图（而不是ALOGTIME-完全的公式），而蕴涵是$Π^p_2$ -完全的（而不是coNP-完全的公式）。(3)本文给出了图的模分解的归纳求值的一个递归算法。（虽然这不是多项式时间，cf。第（2）点）。(4)我们在一个博弈论的设置，在静态和序列策略，扩展位置游戏形式超越cographs的经典概念的评价。(5)我们给出了一个公理化的BGL，深推理证明理论的启发，并显示出相应的概念蕴涵的合理性和完整性。图论设置的一个特别的特征是，它逃避了某些不可行的定理，例如达斯和斯特拉斯伯格最近的结果，布尔逻辑的线性片段没有线性公理化（等价于贾帕里泽的可计算性逻辑的乘法片段或布拉斯的多元线性逻辑的游戏语义）。

2020-04-27cs.LOmath.LO

更多相关论文收起更多论文

可逼近群与作用第一部分：Ribes-Zalesski \u可逼近性

Finitely approximable groups and actions Part I: The Ribes--Zalesski\uı property

研究了S的扩张. Solecki关于封闭度量空间\cite{solecki1}的有限部分等距的定理，得到如下精确等价：离散群$Γ$由度量空间的等距作用是可逼近的当且仅当$Γ$的可逼近生成子群的乘积在$Γ$上的profinite拓扑中是封闭的.

2011-04-17math.LO

博雷尔布尔函数的克隆

Clones of Borel Boolean Functions

该研究将Post的有穷元布尔函数克隆分类推广到可数元博雷尔克隆，证明含合取析取或2/3中值运算的有穷克隆之上有有限个博雷尔克隆，其余克隆的扩张结构可能复杂。

2024-07-09math.LO

上下文半概念的非分配逻辑及其基于Kripke上下文的语义模态扩展

A non-distributive logic for semiconcepts of a context and its modal extension with semantics based on Kripke contexts

分别对纯双布尔代数和带算子的纯双布尔代数类提出了一个非分配的两类超代数演算\textbf{PDBL}及其模态扩张\textbf{MPDBL}.接下来提出了\textbf{PDBL}的关系语义，其中任何公式都被解释为上下文的概念。对于\textbf{MPDBL}，关系语义基于Kripke上下文，并且公式被解释为底层上下文的概念。该系统被证明是健全和完整的关系语义。将适当的序列添加到\textbf{MPDBL}导致具有基于自反、对称或传递Kripke上下文的语义的逻辑。这些系统之一是拓扑纯双布尔代数的逻辑。证明了利用\textbf{PDBL}可以表达概念知识的基本概念和关系，并可以得到涉及否定的推理。此外，绘制与粗糙集合论，上下近似的概念的上下文定义的连接。然后，它表明，使用公式和序列涉及模态算子在\textbf{MPDBL}，这些近似算子和它们的属性可以被捕获。

2022-07-22math.LO

布尔代数上的收敛推广了Aleksandrov立方体上的收敛

A convergence on Boolean algebras generalizing the convergence on the Aleksandrov cube

我们比较了完备布尔代数B的强迫相关性质与B上的收敛性$λ_s$（代数收敛）和$λ_{ls}$的性质，分别推广了Cantor和Aleksandrov立方体上的收敛性.特别是，我们证明了$λ_{ls}$是一个拓扑收敛当且仅当强迫B不产生新的实数，并且如果B满足条件$(\hbar)$（隐含的${\mathfrak t}$ -cc），则$λ_{ls}$是弱拓扑的。另一方面，如果$λ_{ls}$是弱拓扑收敛的，则B是$2^{\mathfrak h}$ -cc代数，或者在某些一般扩张中，基模型的分布数大于或等于扩张的塔数。因此，“塌缩代数$B=\ro ((ω_2)^{<ω})$上的收敛$λ_{ls}$是弱拓扑的”这一命题与ZFC无关。

2013-01-23math.GNmath.LO

嵌入到 P(N)/fin 中与自同构的扩张

Embeddings into P(N)/fin and extension of automorphisms

本文研究了将布尔代数 B 嵌入 P(N)/fin 后其自同构扩张到整体的可能性，并在假设 CH 下证明存在嵌入使非平凡自同构无法扩张。

2001-12-13math.GNmath.LO

力迫扩张中测度的收敛性

Convergence of measures in forcing extensions

本文证明了：如果$\mathcal{A}$是集合论模型$V$中的$σ$ -完备布尔代数，且$\mathbb{P}\in V$是一个具有保持基模型实非贫乏的Laver性质的真强迫，则在$\mathbb{P}$ -类属扩张$V[G]$中的$\mathcal{A}$上的每一个逐点收敛序列都是弱收敛的，即$\mathcal{A}$在$V[G]$中具有Vitali-Hahn-Saks性质.这就给出了一个相容的例子，证明了一类无限布尔代数具有这个性质，并且基数严格小于控制数$\mathfrak{d}$。我们还得到了存在Efimov空间的一个新的相容情形。

2019-09-20math.FAmath.LO

布尔代数上的有限可加测度

Finitely additive measures on Boolean algebras

本文研究布尔代数中有限可加测度的自由性、存在性与扩展准则，以及基于其的积分理论，扩展了经典实分析概念并建立了与勒贝格积分的联系。

2025-12-12math.LO

$^*$强制

$^*$Forcing

设$M$是$ZFC$的传递模型，${\bf B}$是$M.$中的$M$ -完备布尔代数（一般是真类）.我们定义了一个广义的概念，迫使这样的布尔代数，$^*$强迫。（$M$的$^*$强制扩张是$M[{\bf G}]$形式的传递集，其中${\bf G}$是${\bf B}.$上的$M$ -完全超滤子）我们证明了1.如果${\bf G}$是$^*$，强制在${\bf B},$上进行完全超滤，则$M[{\bf G}]\models ZFC.$ 2.设$H\sub M.$如果存在最小传递模型$N$使得$H\in M,$ $Ord^M=Ord^N,$和$N\models ZFC,$，则我们用$M[H].$表示$N$。我们证明了形式为$M[H]$的$ZFC$的所有模型都是$M.$的$^*$强迫扩张。作为直接推论，我们得到$L[0^{\#}]$是$L.$的$^*$强迫扩张。

1992-09-25math.LO

极性的典范扩张与超积

Canonical extensions and ultraproducts of polarities

本文研究基于格的代数的典范扩张理论，证明代数簇的典范扩张不封闭性可由特定自由代数见证，且超积封闭的极性类的稳定集格生成典范封闭的代数簇，推广了此前相关结果。

2018-08-20math.LO