Uncountable families of prime z-ideals in C_0(R)

TL;DR

This paper constructs a large family of prime z-ideals in C_0(R) with specific intersection properties and also creates well-ordered chains of such ideals of continuum cardinality, revealing complex ideal structures.

Contribution

It introduces uncountably many prime z-ideals with novel intersection properties and constructs chains of prime z-ideals of continuum length, advancing understanding of ideal structures in C_0(R).

Findings

Constructed a family of continuum-sized prime z-ideals with unique intersection properties.

Established well-ordered chains of prime z-ideals of order type continuum.

Demonstrated complex ideal lattice structures in C_0(R).

Abstract

Denote by $\continuum=2^{\aleph_0}$ the cardinal of continuum. We construct an intriguing family $(P_\alpha: \alpha\in\continuum)$ of prime $z$-ideals in $\C_0(\reals)$ with the following properties: If $f\in P_{i_0}$ for some $i_0\in\continuum$, then $f\in P_i$ for all but finitely many $i\in \continuum$; $\bigcap_{i\neq i_0} P_i \nsubset P_{i_0}$ for each $\i_0\in \continuum$. We also construct a well-ordered increasing chain, as well as a well-ordered decreasing chain, of order type $\kappa$ of prime $z$-ideals in $\C_0(\reals)$ for any ordinal $\kappa$ of cardinality $\continuum$.