Прямой предел

[posic]

Есть такое понятие в алгебре. Ну, это когда имеется последовательность, скажем, векторных пространств, и каждое из них отображается в следующее, то у этой цепочки можно предельное векторное пространство определить.

Ведет себя эта конструкция, на поверхностный взгляд, в некоторых отношениях парадоксально. Скажем, в цепочке могут быть все пространства ненулевыми, и их размерности могут даже быстро возрастать, а прямой предел равен нулю при этом. Потому что там каждый вектор умирает где-то в дороге (длинный путь, быть может, перед тем пройдя).

Это я к тому, что кому как, а лично мне хотелось бы жить и работать так, чтобы не только по ходу дела бурная активность, но и прямой предел окончательный итог всего этого чтобы был ненулевым хотя бы.