История изменений
Исправление quasimoto, (текущая версия) :
а почему во многих приложения тамошняя бесконечность ведёт себя именно так? Например при предельном переходе так получается.
Например? Почему должна получаться бесконечность «следующего порядка» (и что это такое в приложениях в отрыве от теории множеств)?
Почему бесконечность счётных множеств ведёт себя иначе?
Потому что A счётно <=> A × A счётно (5 < ℵ₀, 5 * 5 < ℵ₀) и A изоморфно A × A для бесконечных счётных (|A| = |A × A| = ℵ₀).
Исходная версия quasimoto, :
а почему во многих приложения тамошняя бесконечность ведёт себя именно так? Например при предельном переходе так получается.
Например? Почему должна получаться бесконечность «следующего порядка» (и что это такое в приложениях в отрыве от теории множеств)?
Почему бесконечность счётных множеств ведёт себя иначе?
Потому что A счётно => A × A счётно (5 < ℵ₀, 5 * 5 < ℵ₀) и A изоморфно A × A для бесконечных счётных (|A| = |A × A| = ℵ₀).