基于赋范格H蕴涵代数的性质

首先,在范数的条件下将格H蕴涵代数进行了扩充(即赋范格H蕴涵代数),并讨论了它的性质.其次,在赋范格H蕴涵代数中定义了蕴涵距离d→,∨-距离d_∨,∧-距离d_∧,讨论了它们之间的性质,并通过两个赋范格H蕴涵代数L_1和L_2定义了赋范蕴涵满射、赋范格H蕴涵同态、赋范格H蕴涵同构以及赋范同构,随后研究了它的性质.最后,探讨了收敛数列的有界性,得到了数列运算(即,,∨,∧,→)对于蕴涵距离是有界的结论.