Википедия:Кандидаты в избранные статьи/Комплексное число

Кандидат в избранные статьи
Здесь находятся завершившиеся обсуждения. Просьба не вносить изменений.

В 2013 году на СО статьи долго обсуждалось её печальное состояние и возможные пути доработки, но затем дело заглохло. Теперь я решил ликвидировать старый долг, существенно переработал и дополнил эту важнейшую статью с учётом сделанных на СО замечаний. Статья прошла рецензирование с 13 января по 12 февраля 2018 года. Кроме школьного материала, статья содержит немало дополнительного, который я выбирал на свой вкус, но готов учесть все предложения. В частности, прошу сообщить ваше мнение, надо ли рассказать про расширенную комплексную плоскость (бесконечно удалённой точкой) и стереографическую проекцию? Или упомянуть, но просто сослаться на детальные статьи? LGB (обс.) 11:21, 12 февраля 2018 (UTC)[ответить]

Поддерживаю править

Комментарии править

Как я это дело люблю и уважаю... Вопросы простые и сложные вперемешку. --Zanka (обс.) 16:09, 13 февраля 2018 (UTC)[ответить]

  • А можно во введении расширение викифицировать? Туда же операции (сложение, умножение, вычитание, деление, и даже упорядоченность), алгебраическую запись и сопряжённое число.
    • Преамбула предназначена для школьников, им ещё рано знать про расширение поля, ниже в разделе «Место в общей алгебре» это понятие викифицировано. Отношение порядка и так викифицировано чуть выше. Упоминание алгебраической записи убрал, оно тут не на месте. Всё прочее викифицировал. LGB (обс.) 11:41, 14 февраля 2018 (UTC)[ответить]
  • "Функции комплексного аргумента изучаются в комплексном анализе" - это предложение в этом месте введения не смотрится. Лучше в конец первого абзаца. В крайнем случае второго.
  • "Известно также несколько обобщений комплексных чисел, такие как кватернионы" - такиХ.
  • Связанные определения - странное название раздела, основного определения ещё нет, но уже есть связанные. Может убрать этот заголовок вообще. Кстати, компоненты курсивом я бы выделять не стала, так как строчкой ниже выделение жирным и получается перебор. Да и больще-меньше можно оставить без курсира, но я знаю что у вас какое-то своё видение этих моментов и не настаиваю.
    • Заголовок «Связанные определения» используется в десятках, если не сотнях, математических статей, см. список. Курсив у «компонент» убрал, а для больше-меньше, если убрать курсив, то надо взять в кавычки. LGB (обс.) 11:41, 14 февраля 2018 (UTC)[ответить]
  • Про "зарубежный" вам ещё не сказали? Может использовать "западный", или конструкцию вроде "в источниках на других языках"?
    • Шайтан его знает, может, готика используется и на востоке. «Зарубежный» — достаточно осторожное выражение, поскольку в России готика точно для компонент не используется. «На других языках» — для математического текста звучит как-то неловко, потому что математика по идее от языка не зависит. LGB (обс.) 11:41, 14 февраля 2018 (UTC)[ответить]
      • У меня тоже глаз зацепился за слово «зарубежный», у нас же не национальная энциклопедия. Но настаивать на замене не буду, пусть избирающие решают. — Adavyd (обс.) 16:39, 20 февраля 2018 (UTC)[ответить]
        • Ещё когда я писал статью История математических обозначений, я пытался найти, кто именно предложил разные символы вещественной и мнимой части и где они распространены. Но все известные мне АИ, даже Cajory, хранят по этому поводу молчание. Уверенно можно сказать только одно: в России готические символы   не используются, а за рубежом они попадаются. Именно этот факт отражён в тексте статьи. Если найдёте что-то уточняющее, заменим без хлопот. LGB (обс.) 17:31, 20 февраля 2018 (UTC)[ответить]
          • Нет, я не совсем это имел в виду. Здесь формальный момент — поскольку энциклопедия не российская, то, строго говоря, не определено, по отношению к какой базе употребляются слова «отечественная» и «зарубежная». Кстати, сняв наугад несколько русскоязычных изданий с книжной полки, нашёл всякие варианты обозначений — действительно, в большинстве   и  , но в одной книге нашёл   и   (книга хоть и переводная, но на русском языке — Э. Камке, Справочник по обыкновенным дифференциальным уравнениям, М., Наука, 1976, 576 с., обозначения даны на с. 13), а ещё в одной, тоже переводной (Ю. Люк, Специальные математические функции и их аппроксимации, М., Мир, 1980, 608 с., обозначения на с. 589—590) —   и  . Так что в русскоязычных изданиях тоже употребляется, хоть и переводных. — Adavyd (обс.) 19:20, 20 февраля 2018 (UTC)[ответить]
            • Я не вижу ничего удивительного в том, что переводчик сохраняет обозначения автора, было бы странно, если наоборот, разве что при переводе совсем уж древних авторов. Впрочем, ваша правка у меня возражений не вызывает. LGB (обс.) 11:59, 21 февраля 2018 (UTC)[ответить]
  • Я не знаю насколько это имеет смысл, но надо ли говорить, что комплексный ноль - это число, у которого обе части равны 0? Особенно это относится к формулам сложения-вычитания.
    • В принципе в статье сказано, что вместо   обычно пишут просто   Для ясности добавил: комплексный нуль   обозначается просто как   LGB (обс.) 11:41, 14 февраля 2018 (UTC)[ответить]
  • "В системе вещественных чисел из отрицательного числа нельзя было извлечь корень чётной степени." - слово БЫЛО здесь лишнее.
  • "Для комплексных чисел определены также возведение в степень и логарифмирование." - не вижу как это относится к отличиям, может поднять в полраздел выше?
  • Замечания - ну очень странное название раздела, начиная с того, что замечание, вообще говоря одно, заканчивая тем, что в этом названии теряется энциклопедичность. Прямо сейчас я бы предложила что-то вроде записи. Но тогда, возможно, сюда следует поднять другой текст (я дотуда ещё не дочитала), или вообще весь подраздел поместить в историческую секцию. Есть над чем подумать.
  • "Как уже сказано выше, аргумент произведения равен сумме аргументов сомножителей" - я понимаю, что действительно уже сказано, но у вас не совсем текст в абзаце, а формулировка свойства и конструкция "Как уже сказано выще" мне видится лишней.
  • В комплексно-споряжённых формула произведения через x и y, а суммы - через Re. Надо бы унифицировать, возможно и дальше в этом подразделе.
    • Добавил:   Ниже в двух формулах, по-моему, лучше Re(z) и Im(z), чем x и y, чтобы не заставлять читателя вспоминать, что означают упомянутые в самом начале раздела x, y. LGB (обс.) 12:27, 14 февраля 2018 (UTC)[ответить]
  • Для примера в комплексно-сопряжённых хорошо бы источник (не на сами числа, а на то, что именно пример избавления от знаменателя через комплексно-сопряжённые рассматривается в АИ), по крайней мере, мне так кажется.
  • На показательныую форму нет ни одного источника.
  • "и «Арифметические соображения становятся всё более неуловимыми, достигая предела столь же утончённого, сколь и бесполезного»[21]." - тут, наверное, цитату лучше с маленькой буквы.
  • Последнее предложение предпоследнего абзаца истории и первое предложение последнего - повтор слова плодотворный.
  • Я так понимаю, что сноску второго абзаца аналитических функций можно поставить и к первому (чтобы не было вопросов). А вот к последнему абзацу подраздела (про интеграл, кривые интегрирования и односвязную область) лучше бы тоже добавить АИ.
  • Место в общей алгебре, топологии и теории множеств - по-моему сюда бы подошла картинка, которую я предлагала в целых цислах.
  • Последние два абзаца Математики без АИ.
  • Из списка подразделов раздела Применение Конформное отображение явно выделяется. Теоретически это Картография и гидродинамика, но практически получаются несвязные области знаний. Надо подумать.
  • Вопросов по расположению раздела история не возникло :). А вот разделы за ним я бы поменяла местами. Мне кажется, сначало должно быть место в общей алгебре, потом логические обоснования, потом комплексные функции, потом применения, потом обобщения. --Zanka (обс.) 16:09, 13 февраля 2018 (UTC)[ответить]
    • Мне этот вариант не кажется удачным, поскольку раздел Применение, по-моему, будет интересен большему числу читателей, чем Логические основания, и естественно его поместить раньше. А раздел Функции должны предшествовать разделу о применениях, потому что последний ссылается на его содержание. LGB (обс.) 16:22, 14 февраля 2018 (UTC)[ответить]
  • Прошлая картинка имела отношение к комплексному числу, а эта не имеет никакого смысла в статье, если в неё вообще про остальные множества чисел не говорится. Alexander Mayorov (обс.) 13:14, 15 февраля 2018 (UTC
    • Прошлая картинка дублировала аналогичную в разделе Геометрическое представление. Смысл новой — в наглядном показе, какое место занимают комплексные числа в общей иерархии чисел. Читатель сразу получает полезную ориентировку, чего не скажешь о прошлой картинке, которая нуждалась в отдельных разъяснениях. Впрочем, отдаю на суд общественности. LGB (обс.) 15:19, 15 февраля 2018 (UTC)[ответить]
      • Да как раз ту картинку и можно повесить. А эта ничего не объясняет просто потому что буквы эти значат ещё меньше чем декартова плоскость для неподготовленного читателя. Alexander Mayorov (обс.) 15:41, 15 февраля 2018 (UTC)[ответить]
        • Какие буквы? Это диаграмма Венна, на которой все уровни иерархии аккуратно подписаны — от «натуральные числа» и выше, вплоть до «комплексные числа». Наглядно и понятно. LGB (обс.) 15:48, 15 февраля 2018 (UTC)[ответить]
          • Так это для математика понятно, а для школьника векторы понятнее. Диаграмма описывает что-то, что остаётся за темой статьи. Эту диаграмму можно поместить в раздел в котором обсуждаются эти вложения. Эта диаграмма абсолютно непонятна. Какое отношение имеют цвета к множествам чисел? Почему нужно применять тавтологию чтобы изобразить одно множество? Почему все эти множества имеют определённую границу имеющую мощность множества действительных чисел? Alexander Mayorov (обс.) 16:06, 15 февраля 2018 (UTC)[ответить]
            • Странно, не думал, что эта картинка может вызвать такое активное неприятие. Есть другие мнения? @Zanka:, какое ваше мнение об этой иллюстрации в преамбуле? LGB (обс.) 17:58, 15 февраля 2018 (UTC)[ответить]
              • Мне новая картинка больше нравится. Причём мне кажется, что она более полезна именно для школьников, так как очень наглядно показывает вложенность множеств. Математику в этой статье картинки не нужны, они тут все для школьников. Старая картинка была неплоха, но честно говоря, мне кажется не всякий школьник сможет понять и принять геометрическую интерпретацию комплексного числа. --Zanka (обс.) 19:51, 15 февраля 2018 (UTC)[ответить]
              • Одна картинка погоды не сделает, статья всё равно достойна, а то что вы считаете что вложенные множества расположены в множестве вомплексных чисел неравномерно, то это мнение создателя картинки. Alexander Mayorov (обс.) 02:48, 16 февраля 2018 (UTC)[ответить]
              • Вот такую картинку нашёл.
                 
                Представление комплексного числа z = x + iy в полярных координатах. Обе фазы φ и φ' аргументы z.
                • Очень уж сложная картинка для преамбулы. Если её не комментировать, то пользы от неё не будет, а если добавить пояснения, то объём преамбулы увеличится вдвое. LGB (обс.) 11:02, 19 февраля 2018 (UTC)[ответить]
  • Даже при наличии вики-ссылок, я бы предложил хотя бы кратко определять все используемые обозначения (даже то, что «ежу понятно»). Я имею в виду (i) обозначение   в формуле  , где   — редуцированная (поделённая на  ) постоянная Планка и (ii) «при переходе из  - в  -пространство» хорошо бы упомянуть, что t — время, а  угловая частота. — Adavyd (обс.) 16:39, 20 февраля 2018 (UTC)[ответить]
  • Аксиоматика довольно странная: первые 11 пунктов очень точно детализуют определение поля, а в 12 используется слово подполе без какого-либо пояснения. Не хотелось бы помещать малопонятный формализм вроде [1]: может быть, обойтись таким:
    • C1: Множество   удовлетворяет определению поля.
    • С2: В нём задано подмножество  , удовлетворяющее аксиомам вещественных чисел.
    • С3: Существует элемент   (мнимая единица) такой, что  
    • С4 (аксиома минимальности): Пусть   — подмножество  , удовлетворяющее следующим условиям: оно содержит   и мнимую единицу и замкнуто относительно сложения и умножения. Тогда   совпадает со всем  .
  • Викизавр (обс.) 10:06, 21 февраля 2018 (UTC)[ответить]
    • Аксиоматика в статье взята из классической книги Нечаева. Описанный вами (эквивалентный ей) вариант приведен в Энциклопедии элементарной математики (ЭЭМ, том 1, стр. 228), термин «подполе» в ЭЭМ также присутствует. По-моему, ни один из этих двух вариантов не имеет каких-либо существенных преимуществ перед другим, но вариант Нечаева удобен для тех читателей, которые недостаточно знакомы с теорией полей и подполей. LGB (обс.) 11:59, 21 февраля 2018 (UTC)[ответить]
      • Тогда надо бы дать определение подполя и пояснить, что первые 11 аксиом и являются аксиомами поля, чтобы не было разрыва с утверждением выше. Викизавр (обс.) 12:21, 21 февраля 2018 (UTC)[ответить]
        • Материал в статье расположен в порядке возрастания сложности. Ранее в тексте расположен раздел «Место в общей алгебре, топологии и теории множеств», так что в этом месте и ниже предполагается, что читатель знаком с понятием поля и подполя. Пожалуй, я добавлю рекомендованную вами фразу о смысле первых аксиом, будет полезно для читателя. LGB (обс.) 10:58, 22 февраля 2018 (UTC)[ответить]
      • Имхо, фраза «выполняются все свойства» неудачна тем, что не формализуется в строгое определение, в отличие от фразы «удовлетворяет аксиомам» со ссылкой на эти самые аксиомы. Викизавр (обс.) 12:21, 21 февраля 2018 (UTC)[ответить]
        • Выражение «все свойства поля» подразумевает «все алгебраические свойства поля», потому что поле есть алгебраический объект. Можно было бы сказать «изоморфно R как поле». LGB (обс.) 10:58, 22 февраля 2018 (UTC)[ответить]
  • Возможно, в преамбулу стоит добавить, что это алгебраически замкнутое поле — имхо, основное свойство комплексных чисел, из-за которого их и предпочитают вещественным. «Любой непостоянный многочлен имеет корень» — не сильно сложнее, чем утверждение про непротиворечивость, и может быть понято любым школьником. Викизавр (обс.) 10:18, 21 февраля 2018 (UTC)[ответить]
  • К сожалению, сейчас в статье много выражений вроде "часто/широко используется" со ссылками на древние тексты вроде 1967 года. Викизавр (обс.) 11:08, 21 февраля 2018 (UTC)[ответить]
    • Если вы считаете, что ситуация с тех пор резко изменилась, укажите конкретно где, желательно с АИ. LGB (обс.) 11:59, 21 февраля 2018 (UTC)[ответить]
      • Если по делу, то нехорошо писать про частоту, потому что полвека назад и сейчас комплексные числа могли использоваться по-разному, а уж в условиях советской науки, несколько изолированной от мировой, — и подавно. Если формально, то бремя доказательства сомнительных утверждений лежит на том, кто внёс их в статью   Викизавр (обс.) 12:21, 21 февраля 2018 (UTC)[ответить]
        • На мой взгляд, если комплексные числа 40 лет назад широко использовались в каких-то естественных науках, то по умолчанию это верно и сейчас, если нет оснований предполагать иное. МНе просто лень разыскивать недавно изданные зарубежные книги на те же темы (русские по понятным причинам не найти), но если вы укажете конкретную тему, где их широкое использование, по вашим данным, прекратилось, я этим займусь. LGB (обс.) 16:10, 21 февраля 2018 (UTC)[ответить]
  • Не знаю, относится ли это к избранности, но обращения к читателю звучат странно. Викизавр (обс.) 11:08, 21 февраля 2018 (UTC)[ответить]
    • Я пробовал заменить, скажем, слово «рассмотрим» на что-то иное, получалось, как правило, громоздко и косноязычно. Но конкретные предложения принимаются. LGB (обс.) 11:59, 21 февраля 2018 (UTC)[ответить]
  • Некоторые фразы не имеют смысла: например, в преамбуле и первых двух разделах были система комплексных чисел непротиворечива (при условии непротиворечивости вещественных, привет Гёделю!); невозможно так расширить на комплексные числа порядок, заданный для вещественных чисел, чтобы арифметические операции и порядок были согласованы (здесь согласованность с арифметическими операциями включает тот факт, что умножение на положительное вещественное число сохраняет знак, не так ли?), угол радиус-вектора точки называется аргументом (радиус-вектор есть при условии выбора начала координат — например, в трёхмерном пространстве, а для угла нужен ещё и луч), …из этого следует, что если многочлен с вещественными коэффициентами имеет комплексные корни… (совершенно непонятно для неподготовленного читателя). Там бы ещё хорошенько вычитать на подобные огрехи. Викизавр (обс.) 11:08, 21 февраля 2018 (UTC)[ответить]
    • В преамбуле приходится бороться на два фронта: если формулировать все утверждения строго по науке, то массовый читатель озвереет и бросит статью, если же допустить нестрогость, то непременно кто-нибудь из участников начнёт пенять за легкомыслие. Вот, скажем, вчера внесли уточнение «при условии непротиворечивости вещественных чисел»... Я с вами согласен, излишняя строгость в преамбуле не нужна, поэтому перенёс фразу в комментарии. Вчера зря переделали массу фраз, в том числе упомянутые вами. Про согласованность сказано: например, чтобы из   вытекало  », по-моему, достаточно ясно. Два последних замечания насчёт аргумента и многочлена не понял, это к последней версии статьи? LGB (обс.) 16:10, 21 февраля 2018 (UTC)[ответить]

Итог править

Я бы предпочла, чтобы итог подвёла ПИ более близкая к математике, но насколько я вижу, основные зачемания исправлены и есть консенсус за присвоение статуса. Присвоен.--Victoria (обс.) 14:49, 11 апреля 2018 (UTC)[ответить]