множества разного объëма, которая бы работала как на конечных множествах, так на бесконечных счëтных?
Типа {}, {0}, {0, 1, 2}, {0, 1, 2, ...}, {0, 1, 2, ..., ω} и так далее
А "объём" тут — это что?
Т.е. тебе нужна "мера (в смысле теории меры), которая позволяет различать множества разной меры, которая бы работала как на конечных множествах, так на бесконечных счëтных"?
Теория меры как раз формализует неформальное или визуальное (в геометрии) понятие объëма. Что в этом страшного?
Да ничего. Просто уточнил.
Между этими множествами есть простое интуитивное различие в объëме, но та же мера Лебега уравнивает объëм счëтных множеств, и там это 0. Т.е. это просто не тот случай, когда применима мера Лебега, но это не единственная мера в теории меры.
Обсуждают сегодня