In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure i...In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.展开更多
For a Riemann surface X of conformally finite type （g, n）, let dT, dL and dpi （i = 1, 2） be the Teichmuller metric, the length spectrum metric and Thurston＇s pseudometrics on the Teichmutler space T（X）, respect...For a Riemann surface X of conformally finite type （g, n）, let dT, dL and dpi （i = 1, 2） be the Teichmuller metric, the length spectrum metric and Thurston＇s pseudometrics on the Teichmutler space T（X）, respectively. The authors get a description of the Teichmiiller distance in terms of the Jenkins-Strebel differential lengths of simple closed curves. Using this result, by relatively short arguments, some comparisons between dT and dL, dpi （i = 1, 2） on Tε（X） and T（X） are obtained, respectively. These comparisons improve a corresponding result of Li a little. As applications, the authors first get an alternative proof of the topological equivalence of dT to any one of dL, dp1 and dp2 on T（X）. Second, a new proof of the completeness of the length spectrum metric from the viewpoint of Finsler geometry is given. Third, a simple proof of the following result of Liu-Papadopoulos is given： a sequence goes to infinity in T（X） with respect to dT if and only if it goes to infinity with respect to dL （as well as dpi （i = 1, 2））.展开更多
基金Supported by the National Natural Science Foundation of China(No.61173052)the Natural Science Foundation of Hunan Province(No.14JJ4007)
文摘In the quotient space theory of granular computing,the universe structure is assumed to be a topology,therefore,its application is still limited.In this study,based on the quotient space model,the universe structure is assumed as an algebra instead of a topology.As to obtain the algebraic quotient operator,the granulation must be uniquely determined by a congruence relation,and all the congruence relations form a complete semi-order lattice,which is the theoretical basis of granularities ' completeness.When the given equivalence relation is not a congruence relation,it defines the concepts of upper quotient and lower quotient,and discusses some of their properties which demonstrate that falsity preserving principle and truth preserving principle are still valid.Finally,it presents the algorithms and example of upper quotient and lower quotient.The work extends the quotient space theory from structure,and provides theoretical basis for the combination of the quotient space theory and the algebra theory.
基金supported by the National Natural Science Foundation of China (No. 10871211)
文摘For a Riemann surface X of conformally finite type （g, n）, let dT, dL and dpi （i = 1, 2） be the Teichmuller metric, the length spectrum metric and Thurston＇s pseudometrics on the Teichmutler space T（X）, respectively. The authors get a description of the Teichmiiller distance in terms of the Jenkins-Strebel differential lengths of simple closed curves. Using this result, by relatively short arguments, some comparisons between dT and dL, dpi （i = 1, 2） on Tε（X） and T（X） are obtained, respectively. These comparisons improve a corresponding result of Li a little. As applications, the authors first get an alternative proof of the topological equivalence of dT to any one of dL, dp1 and dp2 on T（X）. Second, a new proof of the completeness of the length spectrum metric from the viewpoint of Finsler geometry is given. Third, a simple proof of the following result of Liu-Papadopoulos is given： a sequence goes to infinity in T（X） with respect to dT if and only if it goes to infinity with respect to dL （as well as dpi （i = 1, 2））.
