s
А процесс завершается?
Size: a a a
2021 November 21
X
сфига ли процесс, формирующий бесконечный базис, должен завершаться?
X
это всё ваши влажные программистско-тюринговские мечты
X
а в реальности всё не так как на самом деле)
X
просто мы там непристойно размахиваем заголённой аксиомой выбора так, что даже на ютуб не пустят
s
Мое рассуждение:
беру G — подгруппу (R, +)
беру M = {множество Z-линейно-независимых сабсетов R}, сорчу его по включению
объединение цепи в M является элементом снова — очевидно, M не пусто, так как содержит пустое
значит есть max M
беру G — подгруппу (R, +)
беру M = {множество Z-линейно-независимых сабсетов R}, сорчу его по включению
объединение цепи в M является элементом снова — очевидно, M не пусто, так как содержит пустое
значит есть max M
s
Это вообще о чем не понял, какой следующий элемент группы
s
Нет конструктивного описания
X
ну мы же можем выбрать элемент из числа ещё не покрытых строимым базисом
X
X
да, как раз писал, что "конструктивно" я погорячился
s
И никогда не построим так базис. А он был так близок..........
X
а ты построй базис R над Q
X
...а он есть)
X
FO
какая жаль... в память компов не влезают =(
FO
а на самом деле всё не так как на самом деле)
FO
а что такое R и что такое Q?
T
Групповая алгебра на Q
FO
все. дошло.