Hubbry Logo
Diamond principleDiamond principleMain
Open search
Diamond principle
Community hub
Diamond principle
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Diamond principle
Diamond principle
Diamond principle
View on Wikipedia
from Wikipedia

In mathematics, and particularly in axiomatic set theory, the diamond principle is a combinatorial principle introduced by Ronald Jensen in Jensen (1972) that holds in the constructible universe and that implies the continuum hypothesis. Jensen extracted the diamond principle from his proof that the axiom of constructibility implies the existence of a Suslin tree.

Definitions

[edit]

The diamond principle ◊ says that there exists a ◊-sequence, a family of sets Aα ⊆ α for α < ω1 such that for any subset A of ω1 the set of α with A ∩ α = Aα is stationary in ω1.

There are several equivalent forms of the diamond principle. One states that there is a countable collection Aα of subsets of α for each countable ordinal α such that for any subset A of ω1 there is a stationary subset C of ω1 such that for all α in C we have A ∩ α ∈ Aα and C ∩ α ∈ Aα. Another equivalent form states that there exist sets Aα ⊆ α for α < ω1 such that for any subset A of ω1 there is at least one infinite α with A ∩ α = Aα.

More generally, for a given cardinal number κ and a stationary set S ⊆ κ, the statement ◊S (sometimes written ◊(S) or ◊κ(S)) is the statement that there is a sequence ⟨Aα : α ∈ S⟩ such that

  • each Aα ⊆ α
  • for every A ⊆ κ, {α ∈ S : A ∩ α = Aα} is stationary in κ

The principle ◊ω1 is the same as ◊.

The diamond-plus principle ◊+ states that there exists a ◊+-sequence, in other words a countable collection Aα of subsets of α for each countable ordinal α such that for any subset A of ω1 there is a closed unbounded subset C of ω1 such that for all α in C we have A ∩ α ∈ Aα and C ∩ α ∈ Aα.

Properties and use

[edit]

Jensen (1972) showed that the diamond principle ◊ implies the existence of Suslin trees. He also showed that V = L implies the diamond-plus principle, which implies the diamond principle, which implies CH. In particular the diamond principle and the diamond-plus principle are both independent of the axioms of ZFC. Also ♣ + CH implies ◊, but Shelah gave models of ♣ + ¬ CH, so ◊ and ♣ are not equivalent (rather, ♣ is weaker than ◊).

Matet proved the principle equivalent to a property of partitions of with diagonal intersection of initial segments of the partitions stationary in .[1]

The diamond principle ◊ does not imply the existence of a Kurepa tree, but the stronger ◊+ principle implies both the ◊ principle and the existence of a Kurepa tree.

Akemann & Weaver (2004) used ◊ to construct a C*-algebra serving as a counterexample to Naimark's problem.

For all cardinals κ and stationary subsets S ⊆ κ+, ◊S holds in the constructible universe. Shelah (2010) proved that for κ > ℵ0, ◊κ+(S) follows from 2κ = κ+ for stationary S that do not contain ordinals of cofinality κ.

Shelah showed that the diamond principle solves the Whitehead problem by implying that every Whitehead group is free.

See also

[edit]

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Diamond principle

View on Grokipedia
from Grokipedia
The diamond principle, denoted ♦, is a fundamental combinatorial principle in asserting that for the least uncountable cardinal ω₁, there exists a sequence ⟨A_α ⊆ α | α < ω₁⟩ such that for every set X ⊆ ω₁, the set {α < ω₁ | X ∩ α = A_α} is stationary in ω₁. This principle captures a form of "guessing" property, where the sequence anticipates the initial segments of all possible subsets of ω₁ on a stationary set of coordinates. Introduced by Ronald B. Jensen in 1972 as part of his analysis of the fine structure of Gödel's constructible universe L, the diamond principle holds in V = L and played a key role in constructing a Souslin tree under the assumption V = L. It implies the continuum hypothesis (CH), specifically that 2^ω = ω₁, though the converse does not hold, as CH is consistent with the negation of ♦. More generally, for a regular cardinal κ, variants like ♦_κ assert similar guessing properties for subsets of κ, and these principles have been generalized to successor cardinals λ⁺ with stationary sets S ⊆ λ⁺. The diamond principle and its relatives, such as the weak diamond Φ_λ (which replaces stationarity with positive measure on clubs) and stronger forms like ♦⁺ (requiring the guessing set to contain a club), have profound implications across set theory, including in forcing, inner model theory, topology, and measure theory. For instance, ♦ enables the uniformization of certain stationary set colorings and influences the existence of certain ultrafilters and partially ordered sets. While ♦ fails under certain large cardinal assumptions or in models obtained by forcing, its study continues to illuminate the boundaries between determinacy, constructibility, and cardinal arithmetic.

Definition and Formalization

Basic Formulation

The diamond principle, denoted by the symbol ◊\Diamond, is a combinatorial principle in set theory concerned with the smallest uncountable cardinal ω1\omega_1, which is the least uncountable ordinal. Formally, ◊\Diamond asserts the existence of a sequence ⟨Aα⊆α:α<ω1⟩\langle A_\alpha \subseteq \alpha : \alpha < \omega_1 \rangle such that for every A⊆ω1A \subseteq \omega_1, the set {α<ω1:A∩α=Aα}\{\alpha < \omega_1 : A \cap \alpha = A_\alpha\} is stationary in ω1\omega_1. This sequence can be thought of as "guessing" every subset of ω1\omega_1 along a stationary set of coordinates. A subset S⊆ω1S \subseteq \omega_1 is stationary if its intersection with every closed unbounded (club) subset of ω1\omega_1 is nonempty. A club set C⊆ω1C \subseteq \omega_1 is unbounded in ω1\omega_1, meaning that for every β<ω1\beta < \omega_1 there exists γ∈C\gamma \in C with γ>β\gamma > \beta, and closed, meaning that for every limit ordinal δ<ω1\delta < \omega_1 with {γ∈C:γ<δ}\{\gamma \in C : \gamma < \delta\} unbounded in δ\delta, it follows that δ∈C\delta \in C. Stationarity thus captures a notion of "largeness" for subsets of ω1\omega_1, analogous to positive measure in other contexts. The notation ◊\Diamond was introduced by Ronald B. Jensen in his seminal work on the fine structure of the constructible hierarchy, where the principle plays a key role in analyzing the constructible universe LL. To illustrate, consider a simple subset A⊆ω1A \subseteq \omega_1 defined as the set of all limit ordinals below ω1\omega_1. Under ◊\Diamond, the sequence satisfies Aα={γ<α:γA_\alpha = \{\gamma < \alpha : \gamma is a limit ordinal}\} for all α\alpha in some stationary subset of ω1\omega_1. This "guessing" property holds for every possible AA, ensuring the sequence anticipates uncountably many such subsets on stationary sets.

Generalized and Parameterized Forms

The diamond principle extends naturally to any regular uncountable cardinal κ\kappa, where ♢κ\diamondsuit_\kappa asserts the existence of a sequence ⟨Aα⊆α:α<κ⟩\langle A_\alpha \subseteq \alpha : \alpha < \kappa \rangle such that for every A⊆κA \subseteq \kappa, the set {α<κ:A∩α=Aα}\{\alpha < \kappa : A \cap \alpha = A_\alpha\} is stationary in κ\kappa. A parameterized form, ♢κ(S)\diamondsuit_\kappa(S), applies to any stationary set S⊆κS \subseteq \kappa: there exists a sequence ⟨Aα⊆α:α∈S⟩\langle A_\alpha \subseteq \alpha : \alpha \in S \rangle such that for every A⊆κA \subseteq \kappa, the set {α∈S:A∩α=Aα}\{\alpha \in S : A \cap \alpha = A_\alpha\} is stationary in κ\kappa. The principle ♢κ\diamondsuit_\kappa implies 2<κ=κ2^{<\kappa} = \kappa. In contrast to club guessing principles, which involve sequences anticipating clubs through points in stationary sets, the diamond principles focus on stationary-guessing of arbitrary subsets of κ\kappa.

Historical Context

Origins in Constructible Universe

The diamond principle was introduced by Ronald Jensen in his seminal 1972 paper "The fine structure of the constructible hierarchy," emerging as a fundamental combinatorial consequence within the framework of Gödel's constructible universe LL. This work analyzed the internal organization of LL, revealing principles like diamond that capture the "predictive" nature of constructible sets. In the assumption V=LV = L, the universe consists entirely of constructible sets, and LL satisfies the generalized continuum hypothesis (GCH), stating that 2κ=κ+2^\kappa = \kappa^+ for every infinite cardinal κ\kappa. Jensen established that V=LV = L implies the diamond principle ⋄\diamond at ℵ1\aleph_1, providing a sequence ⟨Aα∣α<ω1⟩\langle A_\alpha \mid \alpha < \omega_1 \rangle with Aα⊆αA_\alpha \subseteq \alpha such that for every X⊆ω1X \subseteq \omega_1, the set {α<ω1∣X∩α=Aα}\{\alpha < \omega_1 \mid X \cap \alpha = A_\alpha\} is stationary. This holds more generally for diamond at every uncountable regular cardinal under V=LV = L. The derivation of diamond relies on Jensen's fine structure theory for the levels LαL_\alpha of the constructible hierarchy. This theory decomposes each LαL_\alpha into a sequence of increasingly fine substructures, employing elementary embeddings between these levels to identify canonical, definable objects that "guess" arbitrary subsets. At high levels, these embeddings ensure the existence of a coherent sequence anticipating subsets across the hierarchy, yielding the diamond property without full derivation here. Jensen further showed that ⋄\diamond implies the continuum hypothesis (CH), 2ℵ0=ℵ12^{\aleph_0} = \aleph_1, by demonstrating that the diamond sequence can guess sufficiently many Borel sets or reals to enable an enumeration of P(ω)\mathcal{P}(\omega) of length ℵ1\aleph_1. This combinatorial guessing mechanism highlights diamond's role in bridging descriptive set theory and cardinal arithmetic within LL.

Evolution and Key Contributions

Following Jensen's foundational formulation of the diamond principle within the constructible universe, subsequent developments demonstrated its independence from ZFC. In particular, forcing techniques can establish models where the diamond principle fails; for instance, Cohen forcing, which adds a large number of Cohen reals to increase the continuum, negates ⋄ω1\diamond_{\omega_1} while preserving stationarity properties. In the 1980s, Pierre Matet contributed to generalizations of the diamond principle by studying diamond sequences and their combinatorial implications, providing insights into variants that extend beyond the standard formulation. Building on this, Saharon Shelah's work in the 1990s and 2000s advanced the understanding of diamond at successors of regular cardinals. Notably, Shelah proved that for regular κ>ℵ0\kappa > \aleph_0 with 2κ=κ+2^\kappa = \kappa^+, the principle ⋄κ+(S)\diamond_{\kappa^+}(S) holds for stationary S⊆κ+S \subseteq \kappa^+, establishing a key consistency result under weak cardinal arithmetic assumptions. More recent contributions have explored relatives and extensions of . Assaf Rinot has extensively analyzed club guessing principles as weakenings of , showing their role in deriving ZFC-provable consequences and their applications to non-saturation of ideals at successor cardinals. In modern contexts, the has been shown consistent with the (AD); specifically, a suitable variant compatible with alternating exists in models where AD holds. Additionally, parametrized principles have been investigated in forcing models, revealing connections to ultrafilter properties and cardinal invariants like the existence of union ultrafilters.

Core Properties

Combinatorial Consequences

The ♦ has profound implications for the existence of certain pathological in . Specifically, it implies the existence of a Suslin tree, defined as a normal ω₁-tree with no uncountable chains and no uncountable antichains. This result, due to Jensen, arises from constructing the tree level by level using the diamond sequence to anticipate potential branches and antichains, ensuring that at stationary many levels α < ω₁, the sequence correctly guesses the relevant subsets that define the tree's structure up to α, thereby avoiding uncountable chains or antichains. A strengthening known as the diamond-plus principle ♦⁺ further yields Kurepa trees, which are ω₁-trees possessing more than ω₁ many cofinal branches. In this construction, the enhanced guessing capability of ♦⁺ allows the sequence to predict not only the tree's levels but also a superabundance of branches, with the stationary set of guessing points ensuring that the branches are sufficiently diverse to exceed the continuum under the continuum hypothesis. This principle holds in the constructible universe V = L and underscores diamond's role in generating trees with excessive branching. Weaker variants of diamond also connect to partition properties of ideals on regular cardinals. For instance, the principle ♦S for a stationary set S ⊆ ω₁ implies that the non-stationary ideal NS{ω₁} restricted to S is not ω₂-saturated, meaning ω₁ can be partitioned into ω₂ many stationary subsets relative to S. Similarly, the weak diamond principle at λ⁺, which is equivalent to 2^λ < 2^{λ⁺}, ensures that certain partition relations fail by enabling guesses for club subsets that disrupt uniformization and saturation. These links highlight how diamond-like guessing anticipates partitions of stationary sets into clubs or stationary pieces. In these combinatorial applications, the diamond sequence effectively "predicts" branches in trees through stationary guessing: for a potential branch b ⊆ ω₁, the set of α < ω₁ where the sequence matches b ∩ α is stationary, allowing inductive control over the tree's growth to enforce the desired properties without exhaustive enumeration. This mechanism relies on the stationary sets inherent to the principle's formulation, providing a predictive tool for constructing objects with specific chain, antichain, or branching behaviors.

Axiomatic Implications

The diamond principle ⋄\diamond is independent of ZFC. While it implies the continuum hypothesis (CH), its negation is consistent relative to ZFC together with the existence of an inaccessible cardinal. Specifically, starting from a model of ZFC with an inaccessible cardinal, forcing can yield a model where CH holds but ⋄\diamond fails. Thus, ⋄\diamond cannot be proved or disproved within ZFC alone. ⋄\diamond is closely related to the club guessing principle \club\club, which asserts the existence of a sequence ⟨Cα∣α<ω1⟩\langle C_\alpha \mid \alpha < \omega_1 \rangle such that each CαC_\alpha is club in α\alpha and, for every club D⊆ω1D \subseteq \omega_1, the set {α<ω1∣Cα=D∩α}\{\alpha < \omega_1 \mid C_\alpha = D \cap \alpha\} is stationary. ⋄\diamond implies \club\club, but the converse requires CH: \club\club together with CH is equivalent to ⋄\diamond. Both principles hold in Gödel's constructible universe LL. In terms of axiomatic strength, ⋄\diamond is weaker than the existence of 0♯0^\sharp, the real encoding the theory of LL. Since ⋄\diamond holds in LL where 0♯0^\sharp does not exist, ⋄\diamond does not imply 0♯0^\sharp. However, 0♯0^\sharp implies the existence of inner models satisfying ⋄\diamond, placing 0♯0^\sharp higher in the hierarchy of consistency strength. ⋄\diamond also exceeds the strength of certain weak compactness principles in inner models, such as versions of weak diamond that follow from weak compactness but are implied by ⋄\diamond under additional assumptions like GCH. For generalized forms, the principle ⋄κ\diamond_\kappa (guessing subsets of κ\kappa) is consistent relative to large cardinals for certain κ\kappa. For instance, assuming a supercompact cardinal, one can obtain models where GCH holds and ⋄S\diamond_S fails for some stationary S⊆ℵω+1S \subseteq \aleph_{\omega+1}, but variants of ⋄κ\diamond_\kappa can be preserved or forced in the presence of supercompacts or other large cardinals above κ\kappa.

Applications

Role in Forcing and Independence

The diamond principle plays a pivotal role in forcing techniques to establish independence results in set theory, particularly by enabling the construction of models where certain combinatorial properties hold or fail, thus demonstrating the independence of axioms like the continuum hypothesis (CH). In the constructible universe LL, where ⋄\diamond holds, forcing extensions can be designed to negate it while controlling cardinal arithmetic. For instance, the forcing poset Add(ω1,ω2)\mathrm{Add}(\omega_1, \omega_2), a generalized Cohen forcing that adds ω2\omega_2 many subsets of ω1\omega_1 via partial functions of countable support, forces the negation of ⋄\diamond by ensuring that any candidate ⋄\diamond-sequence from the ground model fails to guess all new subsets added to P(ω1)\mathcal{P}(\omega_1). This forcing adds no new reals, thereby preserving a ground model failure of CH (i.e., 2ω>ω12^\omega > \omega_1) in the extension. In contrast, preservation of ⋄\diamond-like principles can be achieved through more refined iterations. The iterated Sacks forcing, which adds perfect sets of reals via countable support iterations of length ω2\omega_2, produces a model where CH fails (2ω=ω22^\omega = \omega_2) and certain parametrized diamond principles hold, while the full ⋄\diamond fails predictably due to the forcing's properness and its control over branches through perfect trees. This allows set theorists to study the behavior of guessing principles under specific cardinal characteristic assumptions, such as small values for invariants like the additivity of the null ideal. A key application of ⋄\diamond in independence proofs is its resolution of Whitehead's problem in abelian group theory, which asks whether every abelian group AA with Ext(A,Z)=0\mathrm{Ext}(A, \mathbb{Z}) = 0 must be free. Shelah showed that ⋄\diamond implies every such group AA of cardinality ℵ1\aleph_1 is free, using a ⋄\diamond-sequence that guides the analysis of potential homomorphisms between free abelian groups of rank ω1\omega_1. Specifically, the sequence ⟨Aα⊆α∣α<ω1⟩\langle A_\alpha \subseteq \alpha \mid \alpha < \omega_1 \rangle anticipates stationary many levels of an Aronszajn tree of extensions, ensuring that any non-splitting extension is guessed and uniformized, yielding Ext(A,Z)=0\mathrm{Ext}(A, \mathbb{Z}) = 0 only if AA is free. This construction demonstrates the positive resolution to Whitehead's conjecture relative to ZFC + ⋄\diamond, while the negation (existence of non-free such groups) is consistent with ZFC via axioms like MA + ¬\negCH. Technically, ⋄\diamond-sequences facilitate tree constructions in forcing by predicting the behavior of generic filters in relevant posets. For example, in building a κ+\kappa^+-Aronszajn tree, the sequence guesses stationary many initial segments of potential branches, allowing the forcing to extend the tree coherently without creating cofinal branches; the generic filter is guided to avoid the guessed subsets at limit stages, ensuring the tree's slenderness while preserving stationarity properties. This predictive power is essential for independence results involving tree properties and uniformization failures.

Connections to Other Mathematical Areas

The diamond principle has found applications in the study of , where it facilitates the construction of to longstanding conjectures regarding approximation properties. In particular, Akemann and Weaver employed the diamond principle to construct a nonseparable with a unique up to unitary equivalence that is not isomorphic to the of compact operators on any , thereby providing a consistent to Naimark's problem. In the realm of operator algebras and related algebraic structures, the diamond principle yields implications for Whitehead groups, which arise in and . Shelah demonstrated that the diamond principle implies that every Whitehead group over the integers is free, affirming the positive resolution to Whitehead's problem under this combinatorial assumption. The diamond principle also intersects with descriptive set theory through its consistency with the (AD), a key assumption in the study of infinite games and Borel measurability. Cunningham proved in 2017 that a suitable variant of the diamond principle, tailored to subsets of the ordinal ω₁ reflected through the reals, is consistent with AD in Steel's core model K(ℝ). Beyond these areas, the diamond principle connects to by implying the existence of Suslin lines, which are complete, dense, linearly ordered topological spaces satisfying the countable chain condition but not separable. Such lines, constructed using diamond sequences, challenge classical results in and have implications for embeddings in topological spaces. The principle also relates to Suslin trees, whose properties underpin these topological constructions.

Variants

Weak Diamond Principle

The weak diamond principle, denoted Φκ\Phi_\kappa for a regular uncountable cardinal κ\kappa, is a prediction principle in that asserts the existence of a "guessing" function for binary-valued predictors on initial segments of binary sequences of length κ\kappa. Formally, Φκ\Phi_\kappa holds if for every function c:<κ2→2c: {}^{<\kappa}2 \to 2, there exists a function g:κ→2g: \kappa \to 2 such that for every f:κ→2f: \kappa \to 2, the set {α<κ∣c(f↾α)=g(α)}\{\alpha < \kappa \mid c(f \upharpoonright \alpha) = g(\alpha)\} is stationary in κ\kappa. This formulation captures a probabilistic form of guessing, where the single function gg correctly predicts the output of any predictor cc on the restriction of every possible extension ff along a stationary cofinal subset of κ\kappa. Unlike the full principle ♢κ\diamondsuit_\kappa, which enables a to guess arbitrary subsets of κ\kappa on a stationary set, the weak Φκ\Phi_\kappa is restricted to guessing behaviors of binary functions and their restrictions, making it strictly weaker. Nevertheless, Φκ\Phi_\kappa follows from ♢κ\diamondsuit_\kappa, and both principles fail consistently at certain , such as the least strongly , under forcing extensions from suitable assumptions. The principle plays a key role in cardinal arithmetic, where for a successor cardinal κ=λ+\kappa = \lambda^+ with λ\lambda infinite, Φκ\Phi_\kappa is equivalent to 2λ<2κ2^\lambda < 2^\kappa. This equivalence, established by Devlin and Shelah, implies that Φκ\Phi_\kappa holds under the generalized (GCH) but is also consistent with its negation for λ=ℵ0\lambda = \aleph_0, as long as the continuum does not reach the power of the continuum at ℵ1\aleph_1. For instance, if 2ℵ0=ℵ22^{\aleph_0} = \aleph_2 and 2ℵ1=ℵ32^{\aleph_1} = \aleph_3, then ¬\neg holds alongside Φℵ1\Phi_{\aleph_1}. At κ=ℵ1\kappa = \aleph_1, the weak Φℵ1\Phi_{\aleph_1} specifically addresses guessing for countable binary sequences rather than arbitrary subsets of ℵ1\aleph_1, providing a tool for analyzing stationary sets and reflection properties in models where the fails. The -plus principle, denoted ◊⁺, is a strengthening of the principle introduced by Jensen in his analysis of the constructible universe. For a stationary set S ⊆ λ⁺ where λ is an infinite cardinal, ◊⁺_S asserts the existence of a sequence ⟨A_α | α ∈ S⟩ with each A_α ⊆ 𝒫(α) and |A_α| ≤ λ, such that for every Z ⊆ λ⁺, there is a club C ⊆ λ⁺ satisfying C ∩ S ⊆ {α ∈ S | Z ∩ α ∈ A_α and C ∩ α ∈ A_α}. In the case λ = ω and S the set of limit ordinals below ω₁, the sequence consists of countable collections A_α, providing a prediction not only of subsets A ⊆ ω₁ but also of the clubs through which the guessing occurs. This principle differs from the basic diamond ◊_S, which requires only that Z ∩ α ∈ A_α for stationarily many α ∈ S, by incorporating simultaneous of both the target set and the approximating club, yielding enhanced . Consequently, ◊⁺_S implies ◊_S and its club-guessing variant ◊*_S, and it facilitates constructions of more intricate objects, such as special Aronszajn trees with almost Souslin projections or Kurepa trees mimicking Souslin properties at successors of regulars. Extensions of diamond-plus include the middle diamond, a principle operating at intermediate levels between weak and full diamond forms. Introduced by Shelah, the middle diamond on a stationary set T ⊆ λ⁺ with regular κ < λ asserts a sequence guessing subsets on clubs within the interval (κ, λ), particularly for many stationary subsets of {δ < λ | cf(δ) = κ}, providing a negation of uniformization principles under cardinal arithmetic assumptions. Relatives such as club guessing principles, where a sequence ⟨C_α | α ∈ S⟩ of clubs in α stationarily approximates any club D ⊆ λ⁺ via D ∩ α = C_α for stationarily many α, further extend these ideas and are implied by ◊⁺_S. In the , Rinot advanced the study of diamond-plus and its variants at successor cardinals, proving equivalences like ◊S ≡ CH_λ for S ⊆ E{λ⁺}^{≠cf(λ)} and exploring connections to the non-saturation of the non-stationary ideal restricted to S. His work also links these principles to Tukey ultrafilters, showing that the existence of ◊S implies the non-saturation of NS{λ⁺} ↾ S via ultrafilters that are not κ-complete for certain κ, thereby tying diamond-like guessing to ideal saturation and reflection properties at successors of singulars.
Add your contribution
Related Hubs
User Avatar
No comments yet.