Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.18640 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911608932925440 |
|---|---|
| author | Yi, Yunbeom |
| author_facet | Yi, Yunbeom |
| contents | We introduce a minimal ZFC-internal axiom system for pre-structural data (X, A, mu, mu^{otimes 2}, R, I, Pi_R, G, E_0, eta), where Pi_R : X -> R is a designated map and G subset X x X is a measurable relation; admissible structural models are those pre-structural data satisfying Axioms I-III, which couple a finitely additive measure, an idempotent retraction, and an idempotent symmetric relation through a single coupling law (Axiom III). The axiom system is satisfiable in ZFC via explicit finite and countable models, including finite families with eta neq 0. The three axioms, and the three subclauses of Axiom III, are mutually independent, witnessed by explicit separating models. The coupling law admits a fixed-point reformulation: it is the unique bounded finitely additive solution of a Banach-contraction equation f = T_eta f determined by (mu, Pi_R, eta), with closed form f_*(B) = mu(B) + (eta/(1-eta)) mu(Pi_R^{-1}(B)) and a Neumann-series expansion. Admissible structural models with a common eta form a category Struct_eta in which Pi_R and G appear as idempotents analogous to the two sides of a monad-comonad pair. Under fiber measurability together with either a finiteness hypothesis (R-fin) or countability plus sigma-additivity (R-ctbl), a quotient-factorization theorem reduces the general admissibility problem to the identity-retraction case Pi_R = id_X; in that case, under the hypotheses of Theorem 5.6 (pi-id-classification), each G-equivalence class C_k satisfies mu(C_k) in {0, (1-eta)^{-1}}. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_18640 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Projection, Measure, and Idempotent Relations: Independent Axioms and a Fixed-Point Coupling Law Yi, Yunbeom General Mathematics 03E75, 28A60, 03B30, 18A05, 47H10 We introduce a minimal ZFC-internal axiom system for pre-structural data (X, A, mu, mu^{otimes 2}, R, I, Pi_R, G, E_0, eta), where Pi_R : X -> R is a designated map and G subset X x X is a measurable relation; admissible structural models are those pre-structural data satisfying Axioms I-III, which couple a finitely additive measure, an idempotent retraction, and an idempotent symmetric relation through a single coupling law (Axiom III). The axiom system is satisfiable in ZFC via explicit finite and countable models, including finite families with eta neq 0. The three axioms, and the three subclauses of Axiom III, are mutually independent, witnessed by explicit separating models. The coupling law admits a fixed-point reformulation: it is the unique bounded finitely additive solution of a Banach-contraction equation f = T_eta f determined by (mu, Pi_R, eta), with closed form f_*(B) = mu(B) + (eta/(1-eta)) mu(Pi_R^{-1}(B)) and a Neumann-series expansion. Admissible structural models with a common eta form a category Struct_eta in which Pi_R and G appear as idempotents analogous to the two sides of a monad-comonad pair. Under fiber measurability together with either a finiteness hypothesis (R-fin) or countability plus sigma-additivity (R-ctbl), a quotient-factorization theorem reduces the general admissibility problem to the identity-retraction case Pi_R = id_X; in that case, under the hypotheses of Theorem 5.6 (pi-id-classification), each G-equivalence class C_k satisfies mu(C_k) in {0, (1-eta)^{-1}}. |
| title | Projection, Measure, and Idempotent Relations: Independent Axioms and a Fixed-Point Coupling Law |
| topic | General Mathematics 03E75, 28A60, 03B30, 18A05, 47H10 |
| url | https://arxiv.org/abs/2604.18640 |