Толерантное пространство было определено в 1962 году Зиманом как пара (X, τ) ,
где X множество,
а τ ⊂ X×X
рефлексивное и симметричное отношение на X , называемое отношением толерантности,
и интерпретируемое как приближенное равенство или схожесть.
В толерантных пространствах нет предельных переходов, но их можно рассматривать как псевдогеометрические объекты,
допускающие применение методов алгебраической топологии. В частности, для толерантного
пространства (X, τ) определены группы
гомологий Hi(X) ,
i ≥ 0 , и гомотопические группы πi(X) ,
i > 0 .
Теорема (Гуревича для толерантных пространств).
Если (X, τ) линейно связное толерантное пространство и
πi(X) = 0 для
i = 1,…,m-1 ,
то Hi(X) = 0
для i = 1,…,m-1
и πm(X) = Hm(X).
|