о графе тетраэдра, не вкладываемом в плоскость

[a_shen]

из книги: Фоменко А.Т. Наглядная геометрия и топология. Математические образы в реальном мире. М.: издательство МГУ, 1992, 432 с., ISBN 5-211-00084-6, обложку, описание и приведённыый выше текст (со с.9) см. в http://alexander-shen.narod.ru/fomenko.djvu

Comments

[(Anonymous)]

Еще там сказано, что отрезок непрерывно, и даже взаимно-однозначно отображается на квадрат,
еще там предлагается доказать (приспособив под это (ко)гомологии грассманианов), что у тора, иммерсированного в двумерное комплексное пространство, есть комплексная касательная прямая,
еще... читать надо внимательно!

[nikaan.livejournal.com]

вот откуда моё заблуждение про отрезок и квадрат! А то в прошлом году я это утверждение прилюдно высказал, и rus4 меня пристыдил.

[udod.livejournal.com]

Так и вонникло понятие непрерывности - чтобы спасти от Кантора размерность по Аристотелю.

[marina_p]

А про тор -- это неверно, да? Смутно припоминаю, что, когда читала ФФ, пыталась решить эту задачу, но не смогла.

[(Anonymous)]

Стандартный тор S^1xS^1 в C^2 лагранжев, поэтому уже для него это неверно.

[marina_p]

Да, действительно, стандартный тор будет контрпримером...

А про лагранжевость я не поняла. (Это ведь П., я правильно понимаю? :)

[(Anonymous)]

Нет, это не П. - П. не единственный, кто понимает про лагранжевы торы :)

Сужение стандартной симлектической формы с C^2 на лагранжево подпространство - нулевое, а ее же сужение на комплексное подпространство - симплектическая (тем самым, ненулевая) форма.
Стандартный тор - лагранжев, т.е. все его касательные плоскости - лагранжевы и тем самым некомплексны.

[marina_p]

Понятно, спасибо.