 13, 222 —–. 2003,, in press (astro-ph/0308330) Walter, F., Weiss, A., & Scoville, N. 2002,, 580, L21 Weaver, R., et al. 1977,, 218, 377 Yamauchi, S., et al. 1990,, 365, 532 Yun, M. S., Ho, P. T. P., & Lo, K. Y. 1994, Nature, 372, 530 Zaritsky, D., Kennicutt, R. C. Jr., & Huchra, J. P. 1994,, 420, 87
 ---
abstract: 'A [*test space*]{} is the set of outcome-sets associated with a collection of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories – notably, quantum mechanics – in which one is faced with incommensurable random quantities. In the case of quantum mechanics, the relevant test space, the set of orthonormal bases of a Hilbert space, carries significant topological structure. This paper inaugurates a general study of topological test spaces. Among other things, we show that any topological test space with a compact space of outcomes is of finite rank. We also generalize results of Meyer and Clifton-Kent by showing that, under very weak assumptions, any second-countable topological test space contains a dense semi-classical test space.'
---

[Topological Test Spaces]{}[^1]\
Alexander Wilce\
Department of Mathematical Sciences, Susquehanna University\
Selinsgrove, Pa 17870  email: wilce@susqu.edu

[0. Introduction]{}

A [*test space*]{} in the sense of Foulis and Randall \[3, 4, 5\], is a pair $(X,{\frak A})$ where $X$ is a non-empty set and ${\frak A}$ is a covering of $X$ by non-empty subsets. [^2] The intended interpretation is that each set $E \in {\frak A}$ represents an exhaustive set of mutually exclusive possible [*outcomes*]{}, as of some experiment, decision, physical process, or [*test*]{}. A [*state*]{}, or [*probability weight*]{}, on $(X,{\frak A})$ is a mapping $\omega : X \rightarrow [0,1]$ summing to $1$ over each test.

Obviously, this framework subsumes discrete classical probability theory, which deals with test spaces $(E
13, 222 — –. 2003, , in press (astro - ph/0308330) Walter, F., Weiss, A., & Scoville, N. 2002, , 580, L21 Weaver, R., et al. 1977, , 218, 377 Yamauchi, S., et al. 1990, , 365, 532 Yun, M. S., Ho, P. T. P., & Lo, K. Y. 1994, Nature, 372, 530 Zaritsky, D., Kennicutt, R. C. Jr., & Huchra, J. P. 1994, , 420, 87 
  --- 
 abstract:' A [ * test space * ] { } is the set of outcome - set consociate with a collection of experiments. This notion provide a simple mathematical model for the study of probabilistic theories – notably, quantum mechanics – in which one is face with incommensurable random quantities. In the case of quantum automobile mechanic, the relevant test space, the hardening of orthonormal bases of a Hilbert space, carries significant topological structure. This composition inaugurates a general study of topological examination spaces. Among other things, we show that any topological trial space with a compact space of outcomes is of finite rank. We also popularize results of Meyer and Clifton - Kent by showing that, under very weak assumptions, any second - countable topological test space contain a dense semi - authoritative test space.' 
 --- 

 [ Topological Test Spaces]{}[^1]\ 
 Alexander Wilce\ 
 Department of Mathematical Sciences, Susquehanna University\ 
 Selinsgrove, Pa 17870   email: wilce@susqu.edu 

 [ 0. Introduction ] { } 

 A [ * test space * ] { } in the sense of Foulis and Randall \[3, 4, 5\ ], is a pair $ (X,{\frak A})$ where $ X$ is a non - empty hardening and $ { \frak A}$ is a cover of $ X$ by non - empty subsets. [ ^2 ] The intended rendition is that each rig $ east \in { \frak A}$ represents an exhaustive set of mutually exclusive possible [ * outcomes * ] { }, as of some experiment, decision, physical procedure, or [ * test * ] { }. A [ * state * ] { }, or [ * probability weight * ] { }, on $ (X,{\frak A})$ is a mapping $ \omega: X \rightarrow [ 0,1]$ summing to $ 1 $ over each test. 

 Obviously, this model subsumes discrete classical probability theory, which deals with test spaces $ (E
 13, 222 —–. 2003,, in press (astro-ph/0308330) Waltev, F., Weiss, A., & Scorulle, N. 2002,, 580, L21 Wsaver, R., dt al. 1977,, 218, 377 Yamauchi, S., et al. 1990,, 365, 532 Yyn, M. W., Ho, P. T. P., & Lo, K. Y. 1994, Nagure, 372, 530 Zagitsky, D., Jennmcutt, R. C. Jr., & Hurgra, J. P. 1994,, 420, 87
 ---
ababract: 'E [*test space*]{} is the set ox outcome-sets dsroeiated with a collection of experimegts. Thix jotion providef a xympls mathematical framework for the sfudy of probabilistiv theories – notably, quantul mefhanics – in which lne is facee wiey incommensufable random quantitiea. In the case of quantum mechankcs, tke relevant twst vpace, the sxt of jrthonormal nsses ox a Hilnert space, carvies vigbificant topological vtructure. This papgr inaugurdtzs a general study of tipolocican terr soacts. Emohg othfr vhings, we sgow that ant topological test xpwbr with a comlact s[ase of outcomes is of finite rank. We alsm gsneralize results of Meter and Clifton-Kent bi showing ehat, under very weak assumptions, any second-countatle tkooliglcal redt space contains a dense semi-classical test flave.'
---

[Nopological Test Fpaces]{}[^1]\
Alexamdfr Rilce\
Departmevt of Matgematical Sciences, Susqueranna Universiuy\
Selonsgrove, Pa 17870  email: wilce@suswu.edu

[0. Introdlctiin]{}

A [*test space*]{} in che sense of Foukis amd Randall \[3, 4, 5\], is a pair $(X,{\frzk A})$ where $D$ is a noh-dmpty set and ${\frxk S}$ hs a covtfing of $X$ by non-eipty subsxts. [^2] Che intevded inter[retation ls that each set $E \in {\frwk A}$ tepresants an exjaustive set of mutually exclusmte possible [*ootcmmev*]{}, as of fome cxperiment, decifion, physical krocess, ox [*test*]{}. A [*state*]{}, og [*probabinity weight*]{}, on $(X,{\frak A})$ iv a mapping $\okega : X \wighrarriw [0,1]$ sumokng to $1$ over esch test.

Oyriously, tyis framework subsmmes ajscrete classiccu probability throrh, wribh veals fith test spdces $(E
13, 222 —–. 2003,, in press (astro-ph/0308330) Weiss, & Scoville, 2002,, 580, L21 218, Yamauchi, S., et 1990,, 365, 532 M. S., Ho, P. T. P., Lo, K. Y. 1994, Nature, 372, 530 Zaritsky, D., Kennicutt, R. C. Jr., Huchra, J. P. 1994,, 420, 87 --- abstract: 'A [*test space*]{} is the of associated a of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories – quantum mechanics – in which one is faced incommensurable random quantities. In case of quantum mechanics, the test the set orthonormal of Hilbert space, carries topological structure. This paper inaugurates a general study of topological test spaces. Among other things, we show any topological with a space outcomes of finite rank. generalize results of Meyer and Clifton-Kent under very weak assumptions, any second-countable topological test contains a semi-classical test space.' --- [Topological Test Alexander Wilce\ Department of Mathematical Sciences, Susquehanna University\ Pa 17870 email: wilce@susqu.edu [0. Introduction]{} A [*test space*]{} in the sense of Foulis and 4, 5\], is a $(X,{\frak A})$ where is non-empty and A}$ is covering of $X$ by non-empty subsets. [^2] The intended interpretation is each set $E \in {\frak A}$ represents an exhaustive set exclusive [*outcomes*]{}, as of experiment, decision, physical process, [*test*]{}. [*state*]{}, or [*probability weight*]{}, A})$ a X [0,1]$ to $1$ over each Obviously, this framework subsumes discrete probability theory, which deals
 13, 222 —–. 2003,, in press (astro-ph/0308330) Walter, F., WeisS, A., & Scoville, n. 2002,, 580, L21 WeaVer, r., et Al. 1977,, 218, 377 yamaUchi, s., et al. 1990,, 365, 532 Yun, M. S., Ho, P. T. p., & lo, K. Y. 1994, nature, 372, 530 Zaritsky, D., KennicuTt, R. C. JR., & HUChra, j. p. 1994,, 420, 87
 ---
aBstraCt: 'A [*test SPaCE*]{} Is tHe SeT of OuTCoMe-setS asSociateD with a collEctIoN of experimenTS. THis notion pRovIdes a simple mAthEmaticAl FraMEwork For The stUdy of pRObabilIstic theoRiES – notabLY, quantuM MEcHaniCs – in which one is facED wITh incommensuraBle ranDoM QuANTitIes. in the case oF qUantuM MechaniCS, tHE REleVAnt test space, tHe set of orthONorMal basEs Of a hIlbert Space, CaRRieS significanT topOlogical sTructuRE. This paPEr inaugUrates A geNerAl stUDy Of TopOlOGicAL tEst SPacEs. Among oThEr ThingS, we sHOW THat aNy tOpolOgicaL test space witH a cOmpaCT spAce of OutcoMes iS oF finiTe rank. we alsO gEneralize resultS of MEyer and ClIftOn-kenT bY showINg that, UndEr vEry weak AssumptIOns, AnY SECoNd-countable topologIcAL TeSt space cOntainS A dEnSE semi-claSsIcaL tesT SPace.'
---

[TOpolOGiCal Test SPaces]{}[^1]\
ALExAnDer WilcE\
DEpartmEnT of matHematICal SCienceS, SusquehAnna UNIversity\
SelinsGRove, Pa 17870  email: wiLCe@SUSqU.Edu

[0. INtrOduction]{}

A [*teSt spACe*]{} in The sENsE of fOulis And RaNdALl \[3, 4, 5\], IS a pair $(X,{\frak A})$ where $X$ iS a Non-empTy set And ${\frak A}$ is a coVering of $X$ bY NON-empty suBsetS. [^2] thE Intended interpRetatIon is that eACh set $E \in {\Frak A}$ RepresenTs an exhauSTIve set of MutUalLy eXclUSIvE possible [*outcOMEs*]{}, as Of Some expEriMent, decIsiOn, pHysIcaL pRocess, or [*tEst*]{}. A [*statE*]{}, oR [*pRoBaBilIty weIGht*]{}, on $(X,{\frAk a})$ is A mAppIng $\omEGa : X \rigHtarrOw [0,1]$ suMmInG To $1$ oVer each TEsT.

oBvioUsLy, This FraMeWork sUbsuMEs dIscrete Classical ProBAbilItY tHeory, whIch deals with tEsT spaces $(E
 13, 222 —–. 2003,, in pre ss (astro- ph/03 083 30)  W alte r, F ., Weiss, A.,&  Sco ville, N. 2002,, 580,L21 W ea v er,R .,  et a l. 1977 , ,2 1 8,37 7Yam au c hi , S.,  et  al. 19 90,, 365,532  Y un, M. S., H o ,P. T. P.,& L o, K. Y. 199 4,Nature ,372 ,  530Zar itsky , D.,K ennicu tt, R. C.  J r ., & H u chra, J . P.  199 4,, 420, 87
 ---a bs t ract: 'A [*tes t spac e* ] {} i s t heset of out co me-se t s assoc i at e d wit h  a collection  of experim e nts . This  n oti o n prov idesas imp le mathemat ical  framewor k fort he stud y  of pro babili sti c t heor i es  –  no ta b ly, qu ant u m m echanics  –  i n whi ch o n e i s fa ced  wit h inc ommensurableran domq uan titie s. In  the  c ase o f quan tum m ec hanics, the rel evan t test sp ace ,the  s et of orthon orm albases o f a Hil b ert  s p a c e,  carries significa nt t op ological  struc t ur e. This pap er  in augu r a tes a  gen e ra l studyof top o lo gi cal tes tspaces .Amo ngother thin gs, we  show th at an y  topological t e st space with ac o mp a ct s pac e of outcom es i s  offini t eran k . Wealsoge n er a lize results of Mey er  and C lifto n-Kent by sho wing that, u n der very  wea k  a s sumptions, any  seco nd-countab l e topolo gical  test sp ace conta i n s a dens e s emi -cl ass i c al  test space.' - --
[T opologi cal  Test S pac es] {}[ ^1] \Alexander  Wilce\De pa rt me ntof Ma t hematica lSci en ces , Sus q uehann a Uni vers it y\ Sel insgrov e ,P a  178 70  emai l:wi lce@s usqu . edu 

[0. I ntroducti on] { }

A  [ *t est spa ce*]{} in the  s ense of Fo ul isand Ra n d all \[3,  4, 5\], is a pair $(X, { \frak A })$  wher e $X $ is a no n-e mpty s eta nd ${\ frak A }$ is  a  co v e ringo f  $ X$by  non-empty s ubs ets.[^ 2] T he inte nded interpretatio n  is  that each se t $ E \i n {\ fra k  A } $ r ep r ese n t s an exhaustive  set of mu tu a ll y exclusiv e  po ss ible [* outcome s*]{} ,  as ofsome expe riment, d ec isio n ,  ph ysical pro cess, or  [*test*] { }. A[ *s tate* ]{} , or [ *p rob abili ty wei g ht* ]{},on $(X ,{ \frakA})$is  a mappi ng $\omega : X \rightar row [0 ,1]$sum ming to $ 1$o ver  each tes t.
Obviously,  th isframe wor k  subs umes di scr e te cl assi c al probab i li tyt h eo ry, which d e a l s w ith t est spaces  $(E 
 13,_222 —–._2003,, in press (astro-ph/0308330)_Walter, F.,_Weiss,_A., &_Scoville,_N. 2002,, 580,_L21 Weaver, R.,_et al. 1977,, 218,_377 Yamauchi, S.,_et_al. 1990,, 365, 532 Yun, M. S., Ho, P. T. P., & Lo, K._Y._1994, Nature,_372,_530_Zaritsky, D., Kennicutt, R. C._Jr., & Huchra, J. P._1994,, 420,_87
 ---
abstract: 'A [*test space*]{} is the set_of_outcome-sets associated with_a collection of experiments. This notion provides a simple_mathematical framework for the study of_probabilistic theories –_notably,_quantum_mechanics – in which_one is faced with incommensurable random_quantities. In the case of quantum_mechanics, the relevant test space, the set_of orthonormal bases of a Hilbert_space, carries significant topological structure._This paper_inaugurates a general study of_topological test spaces._Among other_things, we show_that any topological test space with_a compact space_of outcomes is of finite rank._We_also generalize results_of_Meyer_and Clifton-Kent_by showing that,_under_very weak_assumptions,_any second-countable topological test space contains_a_dense semi-classical test space.'
---

[Topological Test Spaces]{}[^1]\
Alexander Wilce\
Department_of Mathematical Sciences, Susquehanna_University\
Selinsgrove,_Pa 17870  email: wilce@susqu.edu

[0._Introduction]{}

A [*test space*]{} in the_sense of Foulis and Randall \[3,_4, 5\],_is a_pair $(X,{\frak A})$ where $X$ is a non-empty set and ${\frak_A}$ is a covering of $X$_by non-empty subsets. [^2]_The intended_interpretation_is that each_set_$E \in_{\frak A}$ represents an exhaustive set of_mutually exclusive_possible [*outcomes*]{}, as of some experiment,_decision, physical process, or_[*test*]{}._A [*state*]{}, or [*probability weight*]{}, on_$(X,{\frak A})$ is a mapping $\omega_: X \rightarrow [0,1]$ summing_to_$1$_over each test.

Obviously, this framework_subsumes discrete classical probability theory, which_deals with test_spaces $(E