Escolar Documentos
Profissional Documentos
Cultura Documentos
This content has been downloaded from IOPscience. Please scroll down to see the full text.
(http://iopscience.iop.org/0295-5075/32/8/001)
View the table of contents for this issue, or go to the journal homepage for more
Download details:
IP Address: 137.149.200.5
This content was downloaded on 22/02/2015 at 16:09
Introduction. - Topos theory (see ref.[1-6]) offers an independent (of the set theory)
approach to the foundations of mathematics. Topoi are categories with .set-like. objects,
arrows and <<Boolean-like>>
<<function-like>> logic algebras. Handling <<sets>>and dunctions>>in
a topos may differ from that in classical mathematics (i.e. the topos Set of sets): there are
non-classical versions of mathematics, each with its non-Boolean version of logic. One possible
view on topoi is this: abstract worlds, universes for mathematical discourse, <<inhabitants>>
(researchers)of which may use non-Boolean logics in their reasoning. From this viewpoint the
main business of classical physics is to construct models of the objective (absolute) universe
with a given .bivalent Boolean>>model of the researcher, and choose the most adequate one.
In a sense, our task is inverse: with a given model of the absolute universe, to construct
(*) Present address: Gamma Systems Research Group, P.O. Box 7621, Cumberland, RI 02864, USA.
E-mail: trifonov @ ix.netcom.com.
0 Les Editions de Physique
622 EUROPHYSICS LETTERS
models of the researcher, and find out how the researchers proper universe changes if his
logic is changed. Thus, not the universe itself, but rather its <<differential<<
is what interests us
here. We build a functional scheme describing the researchers interactions (actions and
obseruations) with the environment.
Paradigm. - We shall call the set of a researchers states of knowledge his paradigm.
Observations, then, induce superposition of states of knowledge, with weight factors
(extensive development or accumulation of knowledge), and actions induce associative
composition (intensive development or elevation of knowledge). Thus we have three
operations on the researchers paradigm, which endows it with an algebraic structure. The
linear case of this structure is, of course, a real linear associative algebra A with an identity.
The sensor space SA then is the additive linear space of the algebra, and the motor space MA
is, one would say, its multiplicative monoid M . However, it is quite difficult to interpret 0 (the
zero of the algebra) as an action. The identity 1 of the algebra is the identity action, but what
is O? We would rather take M\O as the motor space, but in the former a composition of two
actions is not always an action (i.e. M\O is not always a monoid), which violates the intuitive
notion of action and, moreover, will not let us define the logic of the researcher. To make a
compromise, we assume that MA = M\O if the latter is a monoid, otherwise MA = M . In other
words, the motor space is the monoid generated by the set of non-zero elements of M .
V. TRIFONOV: A LINEAR SOLUTION OF THE FOUR-DIMENSIONALITY PROBLEM 623
Absolute universe. - The actual reality principle (principle IV) affirms that the absolute
universe exists and consists of interacting systems. Each system is represented by its states.
Given all states of a system, it is defined completely. Some different systems may have the
same states (common states). A system 57 is a subsystem of a system y if all states of %
are common to 97 and 9. If two systems are subsystems of each other, it is natural to
consider them equal. Given two systems 97 and y,we can consider a s y s t e m 3 (the union
of 97 and 9)whose states are all states of 27 and all states of 9.For two systems 57 and y
with common states there is a s y s t e m 3 (the intersection of 97 and y)whose states are
their common states. A system 27 that can have only states that 9 cannot, is the
complement of y.The behaviour of the ontological pair .system, state. resembles that of
met, element. in <<naive>> set theory, although conceptually they are very different. Two
systems interact if states of one system depend on states of the other one, which is described
as a function in set theoretical terms. Thus, with systems as sets (of their states) and
interactions as functions, the category Set of sets serves as a first-order model of the
absolute-universe axioms.
Proper universe. - The researchers actions change states of a system 27:a state a before
an action a becomes a state /3 after that, so any action a induces a function 27 + 97 and we
have the influence of the researcher with the motor space M on a s y s t e m s as a realization of
the monoid M in the set 27,i.e. a function W assigning to each a E M a function fa : 97 + 97,
such that a) fa o J$ = fa.b; a , b E M , o is the operation of composition of functions, is the
multiplication in M, b) = id; id is the identity function, i.e. id(a)= a for all a E 97,e is the
identity of M . A pair (%, Y), where W is a realization of a monoid M in a set 27,is called an
M-system. The collection { M } of all M-systems describes all the possible influence of a
researcher with the motor space M on the absolute universe. { M } is a topos in which arrows
(X, Y) + (g, 0 ) are functions f : X + y preserving realizations: f o fa =hao f ,
fa : 97 + 27,h,, : y +. y, Vu E M . The principle of active comprehension (principle V the
logic of a researcher is developed in his interaction with the environment) defines the proper
universe as the topos { M } and assigns to the researcher its logic and mathematics.
Summary. -We see that only intuition-based concepts, logically prior to physics, are us%d
here. The technique engaged is extremely simple in the sense that it is just several steps from
the set and category axioms. To compare, the notion of smooth affine manifold (a starting
624 EUROPHYSICS LETTERS
point for the working physicist) is far more complicated. Of course, some of the notions seem
uncertain-it is often inevitable, and now, to improve the situation, we give a strict form of
the above outline.
Definition 1. - Let 8be a partially ordered field. 1)An 8-xenomorph is the category A[ 31
of linear algebras over 8.2) Paradigms of an 8-xenomorph are A[8] objects, his actions (or
effectors) are A@] arrows. 3) For a paradigm A: a) states of knowledge are elements of the
algebra A; b) a metric is the a1gebra-A structure constant tensor C together with a l-form t
on the additive linear space SA of the algebra A, if C(z; a , b ) is symmetric in a and b; t is the
proper (or psychological) time;c) the sensory space is Sa together with all the metrics of the
paradigm A, elements of SA are observations (or rejlexors); d ) the motor space is the
multiplicative subgroupoid MA of the algebra A, generated by the set of non-zero elements of
A; e) the dimensionality of the paradigm A is that of the algebra A. 4) A paradigm A is
(ir)rationaZ if MA is (not) a monoid. 5) If A is a rational paradigm and the topos { M A} is (not)
Boolean, the paradigm A is (non-)classical. 6) A classical paradigm of maximal finite
dimensionality, if it exists, is a classic paradigm.
Notes. - 1)We generalized the notion of action. Actions in the old sense (i.e. elements of
the monoid MA or internal actions or normal research) are, of course, A[ 31 arrows term +A,
where term is the terminal object of A@], so the definition is correct. External actions (or
extraordinary research)A +B may cause a paradigm change. 2) Irrational paradigms do not
possess any definite logic (if the groupoid MA is not a monoid we cannot construct the topos
{ M A} and therefore define its logic). 3) The field 8is what distinguishes one xenomorph from
another, and sometimes we shall call 8the (type of) psychology of the xenomorph, without
assigning, of course, the standard meaning to the term. Here fields are taken together with
partial orders on them, so two different orders on the same field deliver two psychologically
different xenomorphs. 4)A paradigm may have several metrics or it may have none. 5) The
absolute universe is a topos of realizations of a single-element monoid, therefore it is the
proper universe of an <<absolutelyobjective. paradigm whose motor space contains the
identity action only. Informally, any absolutely objective researcher is absolutely inert.
We now apply this scheme to the <<currenthuman parameters)) (the psychology is %, logic
is Boolean). The conclusion we shall obtain is that SA is Minkowski space.
ProoJ - If the logic of the topos {ME } is Boolean then ME is a group (see ref. [6],p. 121).
Therefore E is associative, with an identity and without divisors of zero, and ME =M\O
(because 0 has no inverse element), and we have isomorphisms E a Q (see ref. [7]) (Q is the
quaternion algebra) and ME E SU(2) x R+ a Q\O (R+ is the multiplicative group of positive
reals, Q\O is the multiplicative group of non-zero quaternions). Thus the classic paradigm
exists, it is unique and it is four-dimensional. For a basis e, in SE let t, be the components of a
l-form t in the dual basis e" (the indices run from 0 to 3). Then components G,, of the metric G
(summation on n is assumed) are
where CFqare the components of C. They are easily found in the basis of the unit quaternions
V. TRIFONOV: A LINEAR SOLUTION OF THE FOUR-DIMENSIONALITY PROBLEM 625
i = e o , / = e l , j = e 2 , k = e 3 , and we have
Relativity. - Defining (changes of) viewpoints of the xenomorph as (isometric changes of)
bases e,, we easily obtain a <<sensory-motor>> version of special relativity. In fact, though the
1-form t plays the role of psychological time (no such thing in special relativity), once t
generates a metric, the latter in turn generates time in its standard sense. If we ignore the
motor structure of the paradigm, four-dimensionality and Lorentz metric become a mystery,
which is the case in standard physics. Let us call the paradigm E the Einsteinian paradigm.
It is easily checked that besides the four-dimensional classic paradigm, there are two (and
only two) non-trivial classical paradigms (of dimensionalities 1 and 2) both subalgebras of E
(see ref.[7]). Informally, physics of the Einsteinian paradigm is a <<superposition>> of three
versions of Boolean physics of different dimensionalities, which may account for the existence
of three particle generations.
Virtual reality. - Since the <<objective>> absolute universe Set is a Boolean topos, we can
separate a Boolean p a r t t h e most <<objective>>, in a sense, in any rational paradigm A .
Obviously, it is the set A of invertible elements of the algebra A: they constitute a group. For
any finite-dimensional rational paradigm of an %-xenomorph (decoherent paradigm), its set
A of invertible elements is a Lie group, so it has a natural topology. The sensory space SA is
the tangent space of A at the identity. If A has a metric G, then there is a natural metric field
g (left translations of G ) on A , i.e. A possesses a natural (pseudo- or proper-)Riemannian
structure, so we take it as spacetime of <<objective<< (or physical) events of the paradigm A.
Thus any spacetime metric is induced by a psychological time, which means, in particular,
that the notion of distance is undefmed in the absence of an observer. Although always
Hausdorff, A may have non-trivial global topology.
REFERENCES
[ l ] ARTIN M., GROTHENDIECK A. and VERDIER J. L., Thiorie des topos et cohomologie itale des schimas,
Vol. 1, 2 and 3, Lect. Not. Math., Vol. 269, 270 (Springer-Verlag) 1972 and Vol. 305
(Springer-Verlag) 1973.
[2] LAWVEREF. W., Proc. Nat. Acad. Sci. USA, 51 (1964) 1506.
[3] MITCHELLW., J. Pure Appl. Algebra, 9 (1972) 261.
[4] COLEJ. C., Categories of Sets and Models of Set Theory, in The Proceedings of the Bertmnd Russell
Memorial Logic Conference, Denmark 1971 (School of Mathematics, Leeds) 1973, p. 351.
[5] JOHNSTONE P. T., Topos Theory (Academic Press) 1977.
[6] GOLDBLATT R., Topoi, revised edition, in Studies in Logic and the Foundations of Mathematics, Vol.
98 (North Holland, New York, N.Y.) 1984.
[7] KUROSHA. G., Lektsii PO Obshei Algebre (Lectures on General Algebra), 2nd edition (Nauka,
Moscow) 1973, p. 270.
[8] MOSCHOVAKIS Y. M., Descriptive Set Theory (North Holland, Amsterdam) 1980.