- Quasi-set theory
Quasi-set theory is a formal mathematical theory of collections of indistinguishable objects, mainly motivated by the assumption that certain objects treated in
quantum physics are indistinguishable. Quasi-set theory is closely related to, yet distinct from, standardaxiomatic set theory .Motivation
The American Mathematical Society sponsored a 1974 meeting to evaluate the resolution and consequences of the 23 problems
Hilbert proposed in 1900. An outcome of that meeting was a new list of mathematical problems, the first of which, due to Manin (1976, p. 36), questioned whether classicalset theory was an adequate paradigm for treating collections of indistinguishableelementary particle s inquantum mechanics . He suggested that such collections cannot be sets in the usual sense, and that the study of such collections required a "new language".The use of the term "quasi-set" follows a suggestion in da Costa's 1980 monograph "Ensaio sobre os Fundamentos da Lógica" (see da Costa and Krause 1994), in which he explored possible
semantics for what he called "Schrödinger Logics". In these logics, the concept of identity is restricted to some objects of the domain, and has motivation inSchrödinger 's claim that the concept of identity does not make sense for elementary particles (Schrödinger 1952). Thus in order to provide a semantics that fits the logic, da Costa submitted that "a theory of quasi-sets should be developed", encompassing "standard sets" as particular cases, yet da Costa did not develop this theory in any concrete way. To the same end and independently of da Costa, Dalla Chiara and di Francia (1993) proposed a theory of "quasets" to enable a semantic treatment of the language of microphysics. The first quasi-set theory was proposed by D. Krause in his PhD thesis, in 1990 (see Krause 1992).On the use of quasi-sets in philosophical discussions of quantum identity and individuality, see [http://plato.stanford.edu/archives/spr2006/entries/qt-idind/ French (2006)] and [http://www.oxfordscholarship.com/oso/public/content/philosophy/0199278245/toc.html French and Krause (2006).] On
Schrödinger logic s, see da Costa and Krause (1994, 1997), and French and Krause (2006).Outline of the theory
We now exposit Krause's (1992) axiomatic theory , the first quasi-set theory; other formulations and improvements have since appeared. Krause builds on the set theory ZFU, consisting of Zermelo-Fraenkel set theory with an
ontology extended to include two kinds ofurelement s:
*"m"-atoms, whose intended interpretation is elementary quantum particles;
*"M"-atoms, macroscopic objects to whichclassical logic is assumed to apply.Quasi-sets ("q-sets") are collections resulting from applying axioms, very similar to those for ZFU, to a basic domain composed of "m"-atoms, "M"-atoms, and aggregates of these. The axioms of include equivalents of extensionality; axioms asserting the existence of thenull set , unordered pair, union set, and power set; Separation; the image of a q-set under a q-function is also a q-set; q-set equivalents of Infinity, Regularity, and Choice. Q-set theories based on other set-theoretical frameworks are, of course, possible.has a primitive concept of quasi-cardinal, governed by eight additional axioms, intuitively standing for the quantity of objects in a collection. The quasi-cardinal of a quasi-set is not defined in the usual sense (by means of
ordinal s) because the "m"-atoms are assumed (absolutely) indistinguishable. Furthermore, it is possible to define a translation from the language of ZFU into the language of in such a way so that there is a 'copy' of ZFU in . In this copy, all the usual mathematical concepts can be defined, and the 'sets' (in reality, the '-sets') turn out to be those q-sets whosetransitive closure contains no m-atoms.In there may exist q-sets, called "pure" q-sets, whose elements are all m-atoms, and the axiomatics of provides the grounds for saying that nothing in distinguishes the elements of a pure q-set from one another, for certain pure q-sets. Within the theory, the idea that there is more than one entity in "x" is expressed by an axiom which states that the quasi-cardinal of the power quasi-set of "x" has quasi-cardinal 2qc("x"), where qc("x") is the quasi-cardinal of "x" (which is a cardinal obtained in the 'copy' of ZFU just mentioned).
What exactly does this mean? Consider the level 2"p" of a sodium atom, in which there are six indiscernible electrons. Even so, physicists reason as if there are in fact six entities in that level, and not only one. In this way, by saying that the quasi-cardinal of the power quasi-set of "x" is 2qc("x") (suppose that "qc"("x") = 6 to follow the example), we are not excluding the hypothesis that there can exist six subquasi-sets of "x" which are 'singletons', although we cannot distinguish among them. Whether there are or not six elements in "x" is something which cannot be ascribed by the theory (although the notion is compatible with the theory). If the theory could answer this question, the elements of "x" would be individualized and hence counted, contradicting the basic assumption that they cannot be distinguished.
In other words, we may consistently (within the axiomatics of ) reason as if there are six entities in "x", but "x" must be regarded as a collection whose elements cannot be discerned as individuals. Using quasi-set theory, we can express some facts of
quantum physics without introducingsymmetry conditions (Krause et al. 1999, 2005). As is well known, in order to express indistinguishability, the particles are deemed to be "individuals", say by attaching them to coordinates or to adequate functions/vectors like |ψ>. Thus, given two quantum systems labeled |ψ1> and |ψ2> at the outset, we need to consider a function like |ψ12> = |ψ1>|ψ2> ± |ψ2>|ψ1> (except for certain constants), which keep the quanta indistinguishable bypermutation s; theprobability density of the joint system independs on which is quanta #1 and which is quanta #2. (Note that precision requires that we talk of "two" quanta without distinguishing them, which is impossible in conventional set theories.) In , we can dispense with this "identification" of thequanta ; for details, see Krause et al. (1999, 2005) and French and Krause (2006).Quasi-set theory is a way to operationalize Heinz Post's (1963) claim that
quanta should be deemed indistinguishable "right from the start."ee also
*
quantum physics
*quantum logic References
*
Newton da Costa (1980) "Ensaio sobre os Fundamentos da Lógica". São Paulo: Hucitec.
*da Costa, N. C. A. and Krause, D. (1994) "Schrödinger logics," "Studia Logica 53": 533-550.
*------ (1997) " [http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdfview_1&handle=euclid.ndjfl/1039724886 An Intensional Schrödinger Logic,] " "Notre Dame Journal of Formal Logic 38": 179-94.
*Dalla Chiara, M. L. and Toraldo di Francia, G. (1993) "Individuals, kinds and names in physics" in Corsi, G. et al., eds., "Bridging the g
*French, Steven (2006) " [http://plato.stanford.edu/archives/spr2006/entries/qt-idind/ Identity and Individuality in Quantum Theory,] " "The Stanford Encyclopedia of Philosophy" (Spring 2006 Edition), Edward N. Zalta (ed.).
*French, S. and Krause, D. (2006) " [http://www.oxfordscholarship.com/oso/public/content/philosophy/0199278245/toc.html Identity in Physics: A Historical, Philosophical, and Formal Analysis.] " Oxford Univ. Press.
*Krause, Decio (1992) " [http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093634404 On a quasi-set theory,] " "Notre Dame Journal of Formal Logic 33": 402-11.
*Krause, D., Sant'Anna, A. S. and Volkov, A. G. (1999) "Quasi-set theory for bosons and fermions: quantum distributions," "Foundations of Physics Letters 12": 51-66.
*Krause, D., Sant'Anna, A. S., and Sartorelli, A. (2005) "On the concept of identity in Zermelo-Fraenkel-like axioms and its relationship with quantum statistics," "Logique et Analyse": 189-192, 231-260.
*Manin, Yuri (1976) " [http://books.google.co.nz/books?id=BLnRsA-wRsoC&dq=Mathematical+Problems+Arising+from+Hilbert+Problems&pg=PA1&ots=jut10eptBj&sig=RAPF1VGGAl5DF2-2Pwu5QElrIKA&prev=http://www.google.co.nz/search%3Fhl%3Den%26q%3DMathematical%2BProblems%2BArising%2Bfrom%2BHilbert%2BProblems%26btnG%3DGoogle%2BSearch%26meta%3D&sa=X&oi=print&ct=result&cd=1#PPA35,M1 Problems in Present Day Mathematics: Foundations,] " inFelix Browder , ed., "Proceedings of Symposia in Pure Mathematics, Vol. XXVIII". Providence RI:American Mathematical Society .
*Post, Heinz (1963) "Individuality in physics," "The Listener", 10 October 1963: 534-537. Reprinted in (1973) "Vedanta for East and West": 14-22.
*Erwin Schrödinger (1952) "Science and Humanism". Cambridge Un. Press.
Wikimedia Foundation. 2010.