请输入您要查询的字词:

 

单词 ExampleOfPolyadicAlgebraWithEquality
释义

example of polyadic algebra with equality


Recall that given a triple (A,I,X) where A is a Boolean algebraMathworldPlanetmath, I and X are sets. we can construct a polyadic algebra (B,I,,S) called the functional polyadic algebra for (A,I,X). In this entry, we will construct an example of a polyadic algebra with equality called the functional polyadic algebra with equality from (B,I,,S).

We start with a simpler structureMathworldPlanetmath. Let B be an arbitrary Boolean algebra, I and X are sets. Let Y=XI, the set of all I-indexed X-valued sequences, and Z=BY, the set of all functions from Y to B. Call the function e:I×IZ the functional equality associated with (B,I,X), if for each i,jI, e(i,j) is the function defined by

e(i,j)(x):={1if xi=xj,0otherwise.

The quadruple (B,I,X,e) is called a functional equality algebra.

Now, B will have the additional structure of being a polyadic algebra. Start with a Boolean algebra A, and let I and X be defined as in the last paragraph. Then, as stated above in the first paragraph, and illustrated in here (http://planetmath.org/ExampleOfPolyadicAlgebra), (B,I,,S) is a polyadic algebra (called the functional polyadic algebra for (A,I,X)). Using the B just constructed, the quadruple (B,I,X,e) is a functional equality algebra, and is called the functional polyadic algebra with equality for (A,I,X).

It is not hard to show that e is an equality predicate on C=(B,I,,S), and as a result (C,e) is a polyadic algebra with equality.

References

  • 1 P. Halmos, Algebraic Logic, Chelsea Publishing Co. New York (1962).

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 5:05:13