The connection between Boolean Algebra and Number Theory.
Represent a natural number to multi-set
Consider a , and define be the divisor set of .
Define , is a multi-set.
Then we have
we need observe that for for multi-set
for example, , we can consider
Thus
Another thing we need to observe is
because of
by the way, I think the ''disjoint union'', I mean,
is a representation of
The isomorphism is given by
The representation of partial order
we have ,
The duality is given by ,
And we have De Morgan Law (amazing)
Absorb Law
Associative Law
Distributive Law
One interesting application for the distributive law is as follow
Consider this question, if , how could I prove that
Observe that
So ( by the distributive law)
And we know that
Because
So we have
No comments:
Post a Comment