首页/论文/0908.1605

arXiv 0908.16052009-08-26math.LO

正交测度的共解析极大集

A co-analytic maximal set of orthogonal measures

Vera Fischer, Asger Tornquist

备注：: Minor corrections in the proof of the main theorem

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

证明了若$V=L$，则Cantor空间上存在一个$Π^1_1$极大正交（即相互奇异）测度集.这提供了一个自然的对位著名的定理Preiss和Rataj没有解析集的措施可以是最大正交。

英文摘要：

We prove that if $V=L$ then there is a $Π^1_1$ maximal orthogonal (i.e. mutually singular) set of measures on Cantor space. This provides a natural counterpoint to the well-known Theorem of Preiss and Rataj that no analytic set of measures can be maximal orthogonal.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Martin公理与极大正交族

Martin's Axiom and Maximal Orthogonal Families

证明了σ-中心偏序的Martin公理意味着R^N中的每个极大正交族的大小为2^{aleph_0}

2002-11-27math.LO

实序列的正交族

Orthogonal Families of Real Sequences

对于x和y序列的实数定义内积（x，y）= x（0）y（0）+ x（1）y（1）+.它可能不是有限的，甚至不存在。我们说x和y正交当且仅当（x，y）收敛且等于0。定义l_p为所有实数序列x的集合，使得|（0）|^p +|（1）|^p +..收敛。对于希尔伯特空间，l_2，任何两两正交序列族必可数。Thm 1.存在一个尺寸连续的两两正交族F，使得F是l_p的子集，其中p>2。已知实序列中存在一族由两两正交元组成的连续统。Thm 2.实序列存在完美极大正交元素族。Abian提出的问题是什么是可能的基数的最大正交家庭。Thm 3.在Cohen实模型中存在极大正交集基数ω 1，但不存在基数k满足ω 1 < k < c的极大正交集. Thm 4.对ZFC的任意可数标准模型M和M中的基数k使得M满足k^ω=k，存在ccc泛型扩张M[G]使得M[G]的连续统为k，且在M[G]中对任意小于或等于k的无穷基数i存在极大正交基数i族. Thm 5. (MA_k（σ-centered））设X的基数小于或等于k，X只包含l_2中的1/2个元素，且对X中的每个不同对x，y，内积（x，y）收敛。则存在一个z使得z与X的每个元素正交。Thm 6. (a)存在l_2中的极大正交族X，使得对所有n，1 \leq n \leq ω，存在基数n的Y，（X并Y）是$\rr^\om$中的极大正交族.此外，每个包含$X$的极大…

1995-09-12math.LO

具有大连续统的正交测度的投影极大族

Projective maximal families of orthogonal measures with large continuum

本文研究了$2^ω$（简称m.o.）上的极大正交Borel概率测度族.（1）存在一个实可构造宇宙$L$-可定义的良序，存在一个$Π^1_2$ -可定义的m. o.家族中，没有$\mathbfΣ^1_2$可定义的m.o.。家族和$\mathfrak{b}=\mathfrak{c}=ω_3$（事实上，$\mathfrak{c}$的任何合理值都可以）。(2)存在实数的$Δ^1_3$可定义的良序，存在$Π^1_2$可定义的m. o.家族中，没有$\mathbfΣ^1_2$可定义的m.o.。家族，$\mathfrak{b}=ω_1$和$\mathfrak{c}=ω_2$。

2011-06-21math.LO

一个Sacks不灭的共解析极大最终差族

A Sacks indestructible co-analytic maximal eventually different family

在可构造宇宙中，我们构造了一个从$\mathbb{N}$到$\mathbb{N}$的两两最终不同函数的协解析极大族，它在添加任意多个Sacks实数（通过可数支持迭代或乘积）后保持极大.

2018-11-14math.LO

一个共解析的Cohen不可破坏极大余有限群

A co-analytic Cohen indestructible maximal cofinitary group

假设每个集合都是可构造的，我们找到了$\mathbb N$的置换的$Π^1_1$极大余有限群，它是Cohen强迫不可破坏的。因此，我们证明了这样的群的存在性与任意大的连续统是一致的。我们的方法也得到了一个新的证明，受力迫法的启发，Kastermans的结果，即在$L$中存在一个$Π^1_1$极大余有限群。

2022-11-07math.LO

测度和状态的非线性

Orthogonality of measures and states

我们给一个简短的证明定理由于Preiss和Rataj指出，没有分析的最大正交家庭（mofs）的波莱尔概率测度波兰空间。当底层空间是紧凑的和完美的，我们表明，非极大性的证人是comeagre。我们的论点基于Preiss和Rataj的原始证明，但进行了显着的简化。证明概括地表明，在$\mathsf{MA} + \neg \mathsf{CH}$下没有$\mathbf{Σ^1_2}$ mofs，在$\mathsf{PD}$下没有投射mofs，在$\mathsf{AD}$下根本没有mofs。我们还概括了一个结果，由于Kechris和Sofrongal，说明每一个分析正交家庭的Borel概率测度有一个积测度正交的家庭中的所有措施，国家的某一类C* 代数。

2022-05-13math.FAmath.LOmath.OA