boolean algebras with operators

Download Boolean Algebras with Operators

Post on 10-Apr-2017

215 views

Category:

Documents

3 download

Embed Size (px)

TRANSCRIPT

  • Boolean Algebras with OperatorsAuthor(s): Bjarni Jonnson and Alfred TarskiSource: American Journal of Mathematics, Vol. 74, No. 1 (Jan., 1952), pp. 127-162Published by: The Johns Hopkins University PressStable URL: http://www.jstor.org/stable/2372074 .Accessed: 09/12/2014 00:52

    Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .http://www.jstor.org/page/info/about/policies/terms.jsp

    .JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range ofcontent in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new formsof scholarship. For more information about JSTOR, please contact support@jstor.org.

    .

    The Johns Hopkins University Press is collaborating with JSTOR to digitize, preserve and extend access toAmerican Journal of Mathematics.

    http://www.jstor.org

    This content downloaded from 138.251.14.35 on Tue, 9 Dec 2014 00:52:29 AMAll use subject to JSTOR Terms and Conditions

    http://www.jstor.org/action/showPublisher?publisherCode=jhuphttp://www.jstor.org/stable/2372074?origin=JSTOR-pdfhttp://www.jstor.org/page/info/about/policies/terms.jsphttp://www.jstor.org/page/info/about/policies/terms.jsp

  • BOOLEAN ALGEBRAS WITH OPERATORS.*

    By BJARNI J0NNSON and ALFRED TARSKI.

    PART II **

    Section 4.

    Representation Theorems for Relation Algebras.

    Relation algebras are abstract algebraic systems characterized by means of a number of simple postulates which prove to be satisfied if we take the elements of the algebra to be binary relations, and the fundamental operations of this algebra to be set-theoretical operations of addition and multiplicatioli together with relative multiplication and conversion. The relation algebra actually formed by binary relations and the operations just mentioned will be referred to as proper relation algebras. The natural representation problem for relation algebras is the problem whether every relation algebra is isomorphic to a proper relation algebra. It has recently been shown that in general the solution of this problem is negative.14 On the other hand, we shall see in Theorem 4. 22 that every relation algebra has at least a "weak" natural representation in which all the operations except the Boolean multiplication have their natural meaning. In some further theorems, e. g., 4. 29 and 4. 32, we shall obtain a positive solution of the natural representation problem for certain classes of relation algebras which, however, are of a rather special nature.

    When studying abstract relation alegbras it is useful to bear in miind that various notions of the general theory of these algebras take on a familiar meaning and various results can easily be anticipated when applied to proper relation algebras.

    DEFINITION 4. 1. An algebra

    r /A ._

  • 128 BJARNI JONSSON AND ALFRED TARSKI.

    (where [, , and ; are operations on A2 to A, i is an operation on A to A, and 0, 1, and 1' are elements of A) is called a relation algebra if the following conditions are satisfied:

    (i) is a Boolean algebra.

    (ii) (x;y);z =x; (y;z) for any x,y,zeA. (iii) 1';x= x ==x;' for every xeA. (iv) The formulas (x ; y) z = 0, (x-J; z) y = 0, and (z; y-') x = 0 are

    equivalent for any x, y, z e A.

    The operation ; is referred to as relative multiplication, the operation as conversion, and the element 1' as the identity element.'5

    In view of condition (ii) of this definition we shall in general, when speaking of relation algebras, omit parentheses in expressions like

    (x; y); z and x;(y; z).

    Condition 4. 1 (iv) plays a fundamental role in the theory of relation algebras. It is useful to notice in this connection the following

    THEOREM 4. 2. In Definition 4. 1 condition (iv) can be replaced by the following one:

    (iv') Given any element a ? A, the funzctions f and g defined by the formulas

    f (x) =a;x and g(x) ==a-J;x for every xeA

    are conjugate, and so are the functions f' and g' defined by the formulas

    f'(x) ==x;a and g'(x) =x;aa-' for every xcA.

    Proof. By 1. 11 and 4. 1.

    We shall not develop here either the arithmetic of relation algebras or the proper algebraic theory of these algebras (the study of isomorphisms, homomorphisms, subalgebras, etc.) -except insofar as it is relevant for the main purposes of our discussion. Some arithmetical consequences of 4. 1 are stated in the next theorem.

    THEOREM 4. 3. For any relation algebra

    W ~

    15 The axiom system 4. 1 (i) - (iv) is equivalent to the one given in J6nsson-Tarski [2]. For the proof of the equivalence of the two systems see Chin-Tarski [1], Theorem 2. 2; for the relation of these systems to the axiom system in Tarski [2] see Chin-Tarski [1], footnote 10.

    This content downloaded from 138.251.14.35 on Tue, 9 Dec 2014 00:52:29 AMAll use subject to JSTOR Terms and Conditions

    http://www.jstor.org/page/info/about/policies/terms.jsp

  • BOOLEAN ALGEBRAS WITH OPERATORS. 129

    we have:

    (i) If x ? A, I is an arbitrary set, and the elements yi e A with i e I are such that 2 y, cA, then

    'Y (x ; y,) F- A, 'Y (y,; x) ? A, iel i 8

    x;( yi) E (x;yj), antd ( yj);x= (yi;x). iel iel iel iel

    (ii) If x, x, y, y' ? A. x < x', and y y', then x; y < x'; y'. (iii) x; O O O; x for every x e A.

    (iv) x < x; 1 andx < 1;x for every xeA.

    (v) (x + y) -= xU- + y-, (x * y) == x- * y-, and (x; y) = y;- xv for any x,yeA.

    (vi) If x, yeA and x ? y, then x- ?< y'. (vii) x-xJJ - x and x-' x- xkJ for every x ? A.

    (viii) (x; y) * z ? x; xc ;z for any x, y, z ? A.

    (ix) x x; x-; x for every x ? A.

    (x) x-; (x;y)-?y-for any x,yeA. (xi) O0J =O, 1PJ1, and (1')J= 1'. (xii) If x e A is an atom, then x-' is an atom.

    Proof. The proof of parts (i) - (xi) of this theorem can be found elsewhere 16; (xii) obviously follows from (vi), (vii), and (xi).

    THEOREMI 4. 4. Every relation algebra is a normal Boolean algebra with operators.

    Proof. By 2. 13, 4. 1, and 4. 3 (i) (iii) (v) (xi).

    Some further arithmetical notions applying to relation algebras are introduced in the following.

    DEFINITION 4. 5. Let

    % =

  • 130 BJARNI JONSSON AND ALFRED TARSKI.

    (iii) a functional element if x-J ; x < 1', (iv) an ideal element if x = 1 ; x ; 1.

    The reasons why we have chosen the terms introduced in 4. 5(ii)(iii)(iv) will become clear in our further discussion (see Theorem 4. 24 and remarks preceding Definition 4. 8).

    THEOREM 4. 6. Given a relation algebra

    we have

    (i WY') =-- O'.

    (ii) 0';0';0';0' 0' ;0'.

    (iii) For every x ? A the following three conditions are equivalent: x is an equivalence element, x ; x = x = xx-', and x-';x ; x.

    (iv) If x, y ? A, x is a functional element, and y ? x, then y is a func- tional element.

    (v) If x, y, z ? A, and x is a futnctional element, then

    x ;(y * z) = (x ;y) * (x ;z) and (y * z) ;x--'= (y ; x) * (z ;x-').

    (vi) If x e A and x < 1', then x is both an equivalenice element and a functional element.

    (vii) If x, y ? A, x is an atom, and y is a functionial element, then x ; y = 0 or x ; y is an atom.

    (viii) If x, y ? A are idecl elements, then x + y, x y, and x- are ideal elements.

    (ix) If x, y A are ideal elements, then x ;y x y and x- '=x. (x) If x, y, z ? A and x is an ideal element, then

    x (y; z) = (x y) ; (x * z).

    (xi) 0 and 1 are ideal elements. (xii) 1; x ; 1 is an ideal element for every x ? A. (xiii) x c A is an ideal element if, and only if, x and x- are equivalence

    elements.

    Proof. The proof of all parts of this theorem, except (vii), can be found elsewhere.17 To prove (vii), suppose x is an atom and y is a fune-

    17 See Chin-Tarski [1], ? 3.

    This content downloaded from 138.251.14.35 on Tue, 9 Dec 2014 00:52:29 AMAll use subject to JSTOR Terms and Conditions

    http://www.jstor.org/page/info/about/policies/terms.jsp

  • BOOLEAN ALGEBRAS WITIH OPERATORS. 131

    tional eleinent. Consider any element z # 0 such that z < x ; y. Then (x ;y) * z 0 and hence, by 4. 1(iv), (z ;yJ) *x & 0. Since x is an atom, this implies that x < z ; y-J. Hence, by 4. 1 (ii) (iii), 4. 3 (ii), and 4. 5 (iii),

    x ; y ? z ; yJ ; y ? z ; 1' =z,

    and therefore z = x ; y. Since this is true for every z #& 0 with z < x ; y, we obtain the conclusion of (vii) at once.

    We shall now establish some facts belonging to the proper algebraic theory of relation algebras.

    THEOREMi 4. 7. (i) A homomorphic tmage of a relation algebra is agatn a relation algebra.

    (ii) A cardinal product of relation algebras is again a relation algebra.

    Proof. The corresponding theorem for Boolean algebras is well known. Hence and from the form of conditions (ii), (iii), and (iv) of 4. 1 we see directly that 4. 7(ii) holds; to obtain 4. 7(i) we notice in addition that, bv 1. 15 (i) (iii) and 4. 2, condition 4. 1 (iv) can be equivalently replaced by a system of equations.

    By an ideal in the relation algebra

    %

  • 132 BJARNI JONSSON AND ALFRED TARSKI.

    to the principal ideal in 5 consisting of all elements x ? I with x C_ a; if a is not in I, the set of all x ? A with x - a is not an ideal in W. Without using the notion of an ideal explicitly, we give a few theorems, 4. 9-4. 14, which are suggested by the above remarks and by the knowledge of analogous results applying to Boolean algebras.

    DEFINITION 4. 8. Let

    % =

    be a relation algebra. Let a be any element in A, and B be the set of all elements x ? A such that x C a. Then th

Recommended

View more >