Consider the characteristic function
It can be generalized to multiset
Where means how many in
For example, ,
Consider all the characteristic functions of , denoted as
Define a partial order over :
Easy to see that .
It is a natural partial-order isomorphism, denoted as
Thus
Easy to see the connection between gcd, and lcm.
Math Essays: The connection between Boolean Algebra and Number Theory. (wuyulanliulongblog.blogspot.com)
And observe that all the functions to can be viewed as characteristic functions of a multiset
Thus , is the same kind of glb and lub
No comments:
Post a Comment