The Decision Theorems of Relative Compactness for Two Classes of Abstract Function Groups in an Infinite Interval and Its Applications