.
.This regard the orthogonal additivity functional equation
1. Does $z\bot m$ denote events mean events whose amplitude modul-i squared $(P(A), PR(B)) = (z, m)$ which are disjoint, and can be added to form unions, the analogue of additivity under disjoint unions ie probabilistic in the sense of kolmogorov,
-Or is there a distinct operator between the vectors or bases being orthogonal and events within a bases being a orthogonal within the hilbert metric, where the latter relates to disjoint-ness; or events of the same spin state, whose basis vectors are orthogonal
such as spin up in direcition x for preparation m on a spin 1/2 system versus
spin up in direction y for preparation m on the same spin 1/2 system
2. Was closure, under finite union (within each 'individual basis vector )of each system spin 1 system, events in gleasons proof and in quantum mechanics in general
That is on each basis vector (a distinct spin measurement angle) of the same prepared state spin 1 system, there are the three atomic events, A, B, C, and the natural empty set, \emptysets, and unit, \Omega (to be distinguish from the certain and impossible prepared states, 1, 0 on vectors such as (1,0,0)
are there also events of this form ' AV B AV C bV C 'such that there 8 events in the basis y algebra, on each individual, fixed(the same) basis measurement angle y, for a fixed spin 1 system prepared in spin eigenstate m
that is how many event are in F on each individual basis taken in isolation 5, or 8, or just 3 (not the infinitely many events in the entire spin 1 system prepared for the same state m, whe one considers all the distinct measurement angles, or bases)
As
-I dont mean the degenerate eigensteate impossible and certain events at the top of the structure at the angle that the system was prepared in ie F(1)=1, and F(0)=0 at a vector like this (xp,yp,zp)
where spin up is certain, and the other atomic events are impossible in that basis;
-
Article Geometry of quantum correlations
Article On Generalized Probabilities: Correlation Polytopes for Auto...