Lifting, -Dimensional Spectral Resolutions, and -Dimensional Observables
arXiv:2002.08280
Abstract
We show that under some natural conditions, we are able to lift an -dimensional spectral resolution from one monotone -complete unital po-group into another one, when the first one is a -homomorphic image of the second one. We note that an -dimensional spectral resolution is a mapping from into a quantum structure which is monotone, left-continuous with non-negative increments and which is going to if one variable goes to and it goes to if all variables go to . Applying this result to some important classes of effect algebras including also MV-algebras, we show that there is a one-to-one correspondence between -dimensional spectral resolutions and -dimensional observables on these effect algebras which are a kind of -homomorphisms from the Borel -algebra of into the quantum structure. An important used tool are two forms of the Loomis--Sikorski theorem which use two kinds of tribes of fuzzy sets. In addition, we show that we can define three different kinds of -dimensional joint observables of one-dimensional observables.