Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет cliqueman ([info]cliqueman) в [info]ljr_math
@ 2009-03-29 09:38:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Множество нулей однородного многочлена многих переменных
Имеется однородный многочлен f(x_1,x_2,...,x_n), все переменные рассматриваются комплексными. Можно ли сказать что-то о множестве
{(x_1,x_2,...,x_n): f(x_1,x_2,...,x_n)=0} ?
Например, является ли оно связанным, и если нет, то из скольких связанных частей состоит? И как найти хотя-бы по одной точке из каждой части?

Конкретно, меня интересуют многочлены 4-й степени вида
\sum_{(i,j)} a_{ij} x_i^2 x_j^2,
если это чем-то поможет. А вообще, какие термины тут полезно погуглить? Я нашел Bezout number, но по-моему оно полезно только для систем с конечным числом решений.

Заранее благодарен.


(Добавить комментарий)


[info]sibirets.livejournal.com
2009-04-01 13:36 (ссылка)
Поскольку многочлен однородный - все нули стягиваются к началу координат, так что множество нулей связно. В данном случае их к тому же можно в явном виде найти.

Или это первоапрельская шутка такая?

(Ответить) (Ветвь дискуссии)


[info]cliqueman
2009-04-01 14:10 (ссылка)
Поскольку многочлен однородный - все нули стягиваются к началу координат, так что множество нулей связно.
Согласен.

В данном случае их к тому же можно в явном виде найти.
В каком смысле? Их же бесконечное множество.

Или это первоапрельская шутка такая?
Нет, полет фантазии на тему копозитивных матриц :). Мне интересно во что можно обобщить линейное подпространство a'x=0, если вместо линейной формы в левой части поставить однородный многочлен n-й степени. А многочлен указанного вида нужен для проверки копозитивности матрицы.

(Ответить) (Уровень выше)


[info]tiphareth
2009-04-01 15:58 (ссылка)
Надо почитать про "алгебраическую геометрию",
и "проективные многообразия" (algebrtaic geometry, projective manifolds)

(Ответить) (Ветвь дискуссии)


[info]cliqueman
2009-04-01 18:13 (ссылка)
Понятно. я в алгебре лох, но будем просвещаться :).

Не могли бы Вы посмотреть вот на это?
http://ramakrishnadas.cs.uchicago.edu/
Там при помощи алгебраической геометрии и теории представлений пытаются доказать P \neq NP.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]samvoar.livejournal.com
2009-04-02 16:35 (ссылка)
вот интересное http://video.ias.edu/csdm/pvsnp
про это скот ааронсон в своем блоге писал, сам правда говорит, что не понимает, но уважает. там квантовые группы и все дела
ну в ias думаю фрика бы не пустили

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]cliqueman
2009-04-02 21:58 (ссылка)
я присутствовал на этих лекциях лично, даже вопрос один задал :). Понял, что подход серьезный, хотя сейчас он рассматривает только NC vs #P в полях с нулевой характеристикой, так что до реального P vs NP еще далеко. Но хочу узнать мнение алгебраистов об этом челе - на лекциях из алгебраистов был только Pierre Deligne.

(Ответить) (Уровень выше)