Size: a a a

2020 October 29

CD

Constantine Drozdov in Infernal Math
Goren
ну то есть выходит та же ZF, только мы всегда говорим "эквивалентно" вместо "равно", ок
Не совсем. Среди последовательностей натуральных чисел, которые не равны в конечном числе элементов, есть последовательности различающиеся только символом натуральных чисел (1A... и 1B...),  1A и 2B могут быть равносоставлены, а редуцировать натуральные числа до единственного символа запретили в С
источник

CD

Constantine Drozdov in Infernal Math
Если все правильно сделать, кажется, можно оставить аксиому выбора без возможности порождать неконструктивные примеры
источник

X

Xak in Infernal Math
Пацаны, опомнитесь, я же пошутил
источник

А

Алексей in Infernal Math
Левую и правую картинку местами перепутали
источник

Д

Дина in Infernal Math
Друзья, кто такие образующие в когомологиях?
источник

ИТ

Иван Тучков... in Infernal Math
Когомологии - группа, образующие когомологий - образующие соответствующей группы
источник

X

Xak in Infernal Math
Алексей
Левую и правую картинку местами перепутали
не перепутали, а не дорисовали + слева и справа задачи разные.
источник

lg

lj gl in Infernal Math
Иван Тучков
Когомологии - группа, образующие когомологий - образующие соответствующей группы
Наверное, образующие как алгебры имеется в виду
источник

ИТ

Иван Тучков... in Infernal Math
lj gl
Наверное, образующие как алгебры имеется в виду
Мб
источник

🐈

🐈К ! Т in Infernal Math
Remember this guy in school? This is him now
источник

🐈

🐈К ! Т in Infernal Math
🐈К ! Т
Remember this guy in school? This is him now
Этот чувак, помню, еще несколько лет назад спамил, но в вк
источник

Д

Дина in Infernal Math
lj gl
Наверное, образующие как алгебры имеется в виду
Да
источник

lg

lj gl in Infernal Math
тогда ответ такой: когомологии гладкого многообразия это алгебра над базовым полем, умножение приходит из умножения форм, если угодно. Например, легко проверить, что у когомологий тора (S^1)^n ровно n образующих, а именно это внешняя алгебра на образующих соотв. разным обходам
источник

Д

Дина in Infernal Math
А как представить для чего т сложнее например у (CP1)^n?
источник

lg

lj gl in Infernal Math
Для начала давай разберёмся с CP^1. Какие там когомологии?
источник

Д

Дина in Infernal Math
Z[t]/t^2
источник

lg

lj gl in Infernal Math
Ага, это их описание как алгебры
источник

lg

lj gl in Infernal Math
Для простоты давай работать над полем, то есть коэффициенты в C
источник

lg

lj gl in Infernal Math
Тогда теперь попробуем понять, что происходит для n=2
источник

lg

lj gl in Infernal Math
CP^1 x CP^1. Есть ли какой-то способ понять что-то про когомологии произведения зная всё для сомножителей?
источник