Обсуждение проекта:Словники/Математическая энциклопедия

Абель

Вот открыла я первый том, у меня он начинается с абака, хотя у нас в словнике ещё несколько выше написано, но это можно пережить, потом найдётся. Далее почти сразу в МЭ идёт "абеля задача", а у нас "проблема абеля - гончарова", но это куда ни шло, можно оформить понятнее. А потом в словнике вообще идёт "дифференциальное уравнение абеля", "интегральное уравнение абеля", хотя в самой энциклопедии только второе. Так и должно быть? Если я всё это буду чистить никто не обидится? --Zanka 11:06, 15 июля 2014 (UTC)

• Конечно, текущее состояние словника сильно затрудняет работу с ним. Возможно, есть смысл работать и с [1]. Важно ещё то, что энциклопедия переведена на английский и выложена здесь: [2], неоднократно пользовался даже просто в вопросах перевода того или иного термина, bezik 11:50, 15 июля 2014 (UTC)
  • Спасибо за ссылки, кое-что прояснилось, по крайней мере нашла "дифференциальное уравнение абеля", а вот "задача" и "проблема" - это две разные статьи в МЭ. Ладно, правила поведения я поняла, если сильно разойдусь - тормозите. --Zanka 03:10, 16 июля 2014 (UTC)

Амальгама

В МЭ есть статьи Амальгама и Амальгама групп. У нас в Амальгама (значения) есть красная ссылка Амальгама (теория категорий). Мне ведь не кажется, что это не одно и то же? Вопрос, как амальгаму из МЭ вписать в нашу страницу разрешения неоднозначностей? --Zanka 19:21, 19 июля 2014 (UTC) Мне стало стыдно, вторую статью писал мой лектор по высшей алгебре в универе. --Zanka 19:25, 19 июля 2014 (UTC)

• Почему стыдно, вроде же хорошо написал) Вложил в страницу разрешения неоднозначностей, а Амальгама (теория категорий) перенаправил куда следует, bezik 21:09, 19 июля 2014 (UTC)
  • Мне не за него, за себя стыдно. Такие люди учили, а я этого не знаю. Спасибо за помощь. --Zanka 01:07, 20 июля 2014 (UTC)

Аналитическая геометрия и аналитическая поверхность

В МЭ по две статьи на каждое название. Аналитическая геометрия — раздел геометрии и Аналитическая геометрия — теория аналитических пространств. Аналитическая поверхность в евклидовом пространстве и Аналитическая поверхность абстрактная. Я оформлю, вот только какие ссылки использовать? Спасибо. --Zanka 04:47, 20 июля 2014 (UTC)

• Предложил бы так развязать:
  • Аналитическая геометрия — раздел геометрии.
  • Аналитическая геометрия (алгебраическая геометрия) — раздел алгебраической геометрии, изучающий аналитические пространства.
  • Аналитическая поверхность (алгебраическая геометрия) — двумерное комплексное аналитическое многообразие.
  • Аналитическая поверхность (комплексный анализ) — подмногообразие в евклидовом пространстве, допускающее аналитическую параметризацию.
• Второе, скорее всего, при появлении красной ссылки из определения станет перенаправлением, уж очень специфичный термин, bezik 06:17, 20 июля 2014 (UTC)

  Спасибо. Я отражу это в словнике. Для аналитической геометрии можно обойтись шаблоном не путать, а вот что делать с аналитической поверхностью, где ни одна страница не создана, пока не знаю. Создавать страницу разрешения неоднозначностей мне кажется излишеством. --Zanka 13:25, 20 июля 2014 (UTC)

Добавлю, что есть ещё антиизоморфизм колец и антиизоморфизм частично упорядоченных множеств (обе идут как антиизоморфизм), но тут есть естественные уточнения, так что проблемы пока нет. --Zanka 14:33, 20 июля 2014 (UTC)

В МЭ есть статьи абсолют (1. Абсолют регулярного топологического пространства, 2. Абсолют в проективной геометрии) и автомат (упраляющая система?). С ними то что делать? --Zanka 23:42, 20 июля 2014 (UTC) + Азартная игра одного игрока --Zanka 23:50, 20 июля 2014 (UTC)

• Сделал пока что перенаправление Абсолют (проективная геометрия), термин довольно распространённый. Danneks 07:07, 21 июля 2014 (UTC)
• Абсюлют (топология) добавил в Абсолют. «Автомат (управляющая система)» — ближайшее Абстрактный автомат (хотя определено чуть по-разному), не уверен, есть ли смысл в перенаправлении, но, думаю, пока можно просто сделать ссылку на абстрактный автомат. Азартная игра (теория игр) добавил в Азартная игра (значения), bezik 14:34, 21 июля 2014 (UTC)
  • Спасибо, поправила в словнике. --Zanka 01:16, 22 июля 2014 (UTC)

Барьер

Барьер Лебега - функция, существование которой является необходимым и достаточным условием регулярности граничной точки в отношении обобщённого решения задачи Дирихле в этой точке. Добавляю прямо так в неоднозначность или есть формулировка попонятнее? --Zanka 01:02, 23 июля 2014 (UTC)

• Похоже на то, что там в статье две сущности, из разных областей:

  Барьер Лебега в теории потенциала — супергармоническая функция, обладающая определёнными свойствами, существование которой является необходимым и достаточным условием регулярности точки относительно задачи Дирихле.

  Барьер (комплексный анализ) — функция, голоморфная в заданной области, но не продолжимая голоморфно на каждую из точек границы области.

  Спасибо, но вторую сущность создавать я не хочу, так что в словнике оставлю Барьер Лебега. --Zanka 01:27, 24 июля 2014 (UTC)

• Может быть даже, что эти барьеры как-то связаны (как связаны супергармонические и голоморфные функции), но тут надо всерьёз разбираться, либо обладать загодя хорошей квалификацией в обоих предметах)) На страничке Барьер с точки зрения ВП:Н какой-то ужас, пока трогать не стал, потом может что-нибудь придумаю, bezik 11:18, 23 июля 2014 (UTC)

Неравенство Бернштейна есть 1. в теории вероятностей и 2. для производной. Второе, скорее всего скрыто под Неравенство Бернштейна (математический анализ). Как назвать первое? --Zanka 01:26, 23 июля 2014 (UTC)

• Всё так, с естественными уточнениями, дополнил в Неравенство Бернштейна. Единственное, в Неравенство Бернштейна (математический анализ) написано что-то более общее из функционального анализа, но более общее — это ж лучше, чем более частное), bezik 11:18, 23 июля 2014 (UTC)

  Спасибо. --Zanka 01:27, 24 июля 2014 (UTC)

• Боголюбова неравенство в статистической механике — 1. для функционала свободной энергии, 2. для функций Грина и корреляционных функций. Не нашлись оба. --Zanka 01:51, 24 июля 2014 (UTC)
• Боголюбова теорема — 1. »острие клина», 2. Теорема Боголюбова об особенностях типа $1/q^{2}$ . Как назвать вторую? --Zanka 01:51, 24 июля 2014 (UTC)

  Теорема Боголюбова — оформил; по неравенствам — тоже не нашёл, «закраснить» предлагаю так: Неравенство Боголюбова для функционала свободной энергии, Неравенство Боголюбова для функций Грина, bezik 09:43, 24 июля 2014 (UTC)

  Спасибо, как раз вчера закончила Б, сейчас буду переносить. --Zanka 16:25, 26 июля 2014 (UTC)

• Буква? --Zanka 16:25, 26 июля 2014 (UTC)

  Сделал перенаправление Буква (математика), bezik 18:29, 26 июля 2014 (UTC)

Вариационное исчисление

Плавненько добрались до буквы В.

• Сделано Валле Пуссена теорема - 1. о распределении простых чисел, 2. об альтернансе
• Вариационное исчисление (у нас вариационная задача тоже на него перенаправляет)

1. Вариационная задача - 1. В.З. с закреплёнными концами, 2. В.З. со свободными (подвижными) концами
2. Вариационное исчисление - раздел математики
3. Вариационное исчисление; численные методы
4. Вариационное исчисление в целом

• • Так и оставила, надо что-нибудь придумать. --Zanka 22:00, 4 августа 2014 (UTC)
    • Вариационное исчисление в целом — то, что из этого развилось называют нынче глобальный анализ, плохо только то, что пока и такой статьи нет; сделал пока небольшой раздел в статью Анализ (раздел математики) — и туда все эти красные ссылки перенаправил, bezik 19:44, 10 августа 2014 (UTC)
      • Это сделано, но два вариационных исчисления и странная вариационная задача пока остались. --Zanka 17:19, 12 августа 2014 (UTC)
• Сделано Веер?
  • Веер (интуиционизм) добавил в Веер (значения), bezik 16:18, 28 июля 2014 (UTC)
• Вейерштрасса теорема - 1. о бесконечном произведении, 2. о приближении функции, 3. о равномерно сходящихся рядах аналитических функций, 4. о равномерной сходимости на границе области, 5. подготовительная. Там и штуки не совпадают, и описание по названию не всегда угадывается.

Наверняка ещё что-нибудь найдётся. --Zanka 19:03, 26 июля 2014 (UTC)

• Теорему Вейерштрасса о рядах голоморфных функций добавил. Подготовительную даже и на страницу недостающих статей унесу, она вроде бы и сейчас актуальна. Danneks 19:24, 27 июля 2014 (UTC)
  • Четвёртую не проидентифицировала. --Zanka 22:00, 4 августа 2014 (UTC)
• Сделано Вектор в МЭ - это Вектор (математика) или Вектор (геометрия)? Судя по статье - второе. --Zanka 14:32, 27 июля 2014 (UTC)
  • Да, лучше второе. Danneks 18:00, 27 июля 2014 (UTC)
• Векторная решётка - у нас две строчки, дословная копия из МЭ. --Zanka 14:35, 27 июля 2014 (UTC) В МЭ правда ещё сказано см. Полуупорядоченное пространство, может перенаправить? Мда, не получится. --Zanka 14:40, 27 июля 2014 (UTC)
  • Переписал, стало хоть чуток побольше, bezik 16:18, 28 июля 2014 (UTC)
    • Спасибо. --Zanka 22:00, 4 августа 2014 (UTC)
• Сделано Векторное поле и Векторное поле на многообразии - в МЭ первая статья в два раза короче второй, а у нас второй нет, она упомянута двумя строками в первой. --Zanka 14:40, 27 июля 2014 (UTC)
  • Можно перенаправлять на одну статью, это всё одно и то же. Danneks 18:00, 27 июля 2014 (UTC)
• Величина (математика) - вся статья дословно из МЭ. Я в шоке, честно говоря. Хоть с енвики переводи. --Zanka 14:48, 27 июля 2014 (UTC)
  • Нет у нас больше Величина (математика): ни одной версии без 100%-й копипасты, bezik 16:18, 28 июля 2014 (UTC)
    • Теперь снова есть. --Zanka 22:00, 4 августа 2014 (UTC)
• Сделано Верификация - процесс проверки истинности суждений. В более узком смысле - процесс проверки истинности формул специального вида некоего логико-атематического языка. Это вся статья в МЭ. --Zanka 14:57, 27 июля 2014 (UTC)
  • Тут как-то сложно. Написанное на нашей странице Верификация средней частью претендует на Верификация (философия) (ср. Верификационизм), а первой и последней — на Верификация (значения). Есть формальная верификация — по смыслу максимально близкая к тому, что имелось в виду в МЭ, и в виду современных веяний (изоморфзим Карри — Ховарда, доказатели теорем Coq и Agda, гомотопическая теория типов) — она скоро образует единое понятие с верификация (математика). Тем не менее, красную ссылку можно сделать, при оказии постараюсь соорудить верификация (значения), bezik 16:18, 28 июля 2014 (UTC)
    • Сделала на Верификация (математика) --Zanka 22:00, 4 августа 2014 (UTC)
• Верхний и нижний пределы - 1. последовательности, перенаправляет на Частичный предел последовательности 2. функции в точке. Что делаем со второй? --Zanka 15:11, 27 июля 2014 (UTC)
  • Почему-то у нас две статьи про предельную точку (1, 2) и ни одной про верхнюю и нижнюю предельную точку... Надо бы удалить верхний предел, нижний предел и верхний и нижний пределы по db-redirsense и сделать вместо них верхний предел последовательности и т.д. Danneks 18:00, 27 июля 2014 (UTC)
    • Предел функции в точке так и не нашла. --Zanka 22:00, 4 августа 2014 (UTC)
• Сделано Вес - три отдельные статьи:

1. Вес - то же, что Весовая функция
2. Вес топологического пространства, перенаправляет на База топологии
3. Вес^{[уточнить]} представления алгебры Ли в векторном пространстве

Как назвать последнюю? --Zanka 15:16, 27 июля 2014 (UTC)

• Сделано Весовое пространство - две статьи в МЭ и если первую ещё можно охарактеризовать как пространство с весом, то как уточнить вторую я не представляю. --Zanka 16:04, 27 июля 2014 (UTC)
• Сделано Две статьи о точке ветвления, видимо должны выглядеть так:

1. Ветвления точка, особая точка многозначного характера
2. Ветвления точка минимальной поверхности

--Zanka 18:07, 27 июля 2014 (UTC)

Г

В первую очередь, уезжаю в отпуск на три недели, наверное будет перерыв на это время, потом обязательно продолжу. --Zanka 17:20, 12 августа 2014 (UTC) Теперь по вопросам:

• Гармоника - в МЭ это функция определённого вида, которая в нашей странице однозначности относится к элементарной составляющей гармонического колебания, но там ссылка стоит на эти самые Гармонические колебания. Наверное, вместо прямой ссылки надо сделать через перенаправление Гармоника (гармонические колебания)

  На странице гармоника появилась ещё какая-то гармоника (математика), пока поставил запрос. А вот на en:Harmonic у нас нет аналога (при 26 интервики), что не есть хорошо. В неоднозначности пока написал Гармоника (колебания), но, может быть, можно поаккуратнее уточнение найти, bezik° 14:52, 18 октября 2014 (UTC)

• Именем Гаусса с подвидами названо всё и ещё чуть-чуть, причём иногда ссылки ведут в неожиданные места, например, закон Гаусса перенаправляет на теорему Гаусса, которая связана с уравнениями Максвелла, а в МЭ это употребительное название нормального распределения. Преобразование Гаусса тоже какое-то другое (у нас 1/x, в МЭ что-то более формализованное). А теорема Гаусса в МЭ о гауссовой кривизне, у нас в таком контексте только теоремма Гаусса - Бонне, но вторая тоже есть в МЭ, то есть одной однозначно не хватает.
• Гексаэдр у нас перенаправляет на куб, мне кажется это неверно, более логично переправить на многогранники какие-нибудь (поискать, где-то может быть список в котором он упоминается.
• У нас оказалась пропущена в словнике ссылка на такую скромную статью как теорема Гильберта (надо выяснить все значения)
  • Гильберта теорема - 1. о базисе, 2. о неприводимости, 3. о нулях (о корнях), 4. о поверхностях отрицательной кривизны, 5. о сизигиях, 6. о циклических расширениях, 7. о существовании абсолютного экстремума, 8. об инвариантах

--Zanka 17:20, 12 августа 2014 (UTC)

• Гарнака теорема — 1. первая теорема Гарнака, 2. вторая теорема Гарнака, принцип Гарнака - у нас это именно вторая теорема. Как назвать первую? --Zanka 19:05, 12 августа 2014 (UTC)
  • Вторую переименовал, соорудил неоднозначность, bezik° 14:52, 18 октября 2014 (UTC)
• Гартогса теорема - 1.основная (главная, или фундаментальная), 2. о продолжении, 3. теорема Осгуда - Брауна, 4. другие теоремы также впервые доказанные Гартогсом - а у нас никакой нет. --Zanka 19:05, 12 августа 2014 (UTC)

Д

Буква Д уникальная. --Zanka (обс) 11:03, 17 сентября 2014 (UTC)

• Дверное пространство - топологическое пространство, в котором любое подмножество либо открыто, либо замкнуто
• Двоеточие - топологическое пространство состоящее из двух точек
  • Соорудил Двоеточие (значения) и внёс в глоссарий термины, тут тот случай, когда в МЭ тоже сделана страница неоднозначностей. Можно, в принципе, со словника сделать Двоеточие (топология) → Двоеточие (значения)#Топология, bezik° 15:32, 18 октября 2014 (UTC)
• Дифференциального уравнения с частными производными вообще более десятка подстраниц и как их все правильно назвать пока непонятно.

Продолжаем. --Zanka (обс) 03:16, 19 сентября 2014 (UTC)

• Двойной модуль — 1. то же, что Бимодуль, 2. пара подгрупп, участвующая в разложении группы на двойные смежные классы
• Запуталась с принципом двойственности и двойственностью. У нас второе есть перенаправление на первое, а первое - неоднозначность. В МЭ в общей сложности больше десятка подстатей в таком формате:
  • Двойственности принцип — 1. в математической логике, 2. в геометрии, 3. в проективной геометрии, 4. в частично упорядоченных множествах
  • Двойственность — 1. в алгебраической геометрии, 2. в алгебраической топологии, 3. в теории аналитический пространств, 4. в теории аналитических функций (а. Преобразование Бореля, б. Двойственность в пространствах аналитических функций, в. Двойственность между теоремами полноты и единственности, г. Двойственность в экстремальных задач теории функций), 5. в теории топологических векторных пространств, 6. в экстремальных задачах и выпуклом анализе, 7. Двойственность конечных абелевых групп
• Двойные и дуальные числа - а у нас отдельно Двойственные числа и Дуальные числа
• Действие — функционал, определяет движение, по Гамильтону, Лагранжу, Якоби
• Деформация — 1. аналитической структуры, 2. алгебраического многообразия, 3. алгебры, 4. подмножества пространства (а у нас это физика)

И ещё: --Zanka (обс) 20:44, 20 сентября 2014 (UTC)

• Данжуа интеграл — 1. Данжуа узкий (специальный) интеграл, 2. Данжуа широкий (общий) интеграл, 3. Тотализация, 4. Тотализация - особенно хороши две тотализации.
• В блоке Дифференциальная алгебра — алгебра над полем, являющаяся дифференциальным кольцом и Дифференциальная алгебра — раздел алгебры; вторую назвала Дифференциальная алгебра (наука). --Zanka (обс) 21:40, 21 сентября 2014 (UTC)
• Дивизор - есть Дивизор (алгебраическая геометрия)--Сорахеку 07:32, 18 октября 2014 (UTC)
  • Спасибо, сейчас поправлю. Хотя в МЭ до дивизора Вейля я дошла только на третьей странице статьи. --Zanka 13:36, 18 октября 2014 (UTC)

Е

• Тут всё просто: первую единицу я знаю, остальные сливаются в одну и не могу разделить. --Zanka (обс) 10:50, 17 сентября 2014 (UTC)
  • Единица — 1. наименьшее из натуральных чисел, 2. элемент множества, 3. единица решётки (структуры), 4. Делитель единицы, 5. единичный морфизм

Ж

• Тут тоже только один вопрос. --Zanka (обс) 10:54, 17 сентября 2014 (UTC)
  • Желoб. Во-первых Е или Ё (у нас есть океанический Жёлоб), а во вторых как уточнить?
    • Наверное, Жёлоб (дифференциальная геометрия), bezik° 18:52, 18 октября 2014 (UTC)

И

• Имя (математика) - после разговора с одним из вики-лингвистов, решила сделать отдельной ссылкой. --Zanka 20:46, 11 октября 2014 (UTC)
• Инвариантное подпространство, допустимое подпространство и Инвариантное подпространство представления в векторном прострастве. Пока обработала так. --Zanka 20:46, 11 октября 2014 (UTC)
• Инверсия (геометрия) и инверсия как беспорядок (перестановка), надеюсь всё сделала правильно. --Zanka 20:46, 11 октября 2014 (UTC)
• Инволюция (математика) — 1. Эндоморфизм второго порядка, 2. в проективной геометрии, 3. на алгебраическом многообразии. В МЭ три, а у нас одна. --Zanka 20:46, 11 октября 2014 (UTC)
• Есть ощущение, что предметная переменная - это Терм (логика). Насколько я далека от истины? --Zanka 20:46, 11 октября 2014 (UTC)
• 1. Интерполирование, интерполяция — конструктивное восстановление функции определённого класса по известным значениям 2. Интерполирование в вычислительной математике — способ приближённого нахождения какой-либо величины по известным отдельным значениям других величин. Наше интерполирование - второе, а как назвать первое? интерполяция операторов из первой статьи - это не оно? --Zanka 20:46, 11 октября 2014 (UTC)
• Испытание в теории вероятностей. В МЭ пишут, что это основное понятие, а у нас даже намёка на статью нет. --Zanka 19:00, 13 октября 2014 (UTC)
• В поисках исчисления наткнулась на дедуктивную систему. Связь, очевидно, есть вот только нужно определиться как это структурировать. Есть ещё логическое исчисление. --Zanka 19:10, 13 октября 2014 (UTC)

К

• Две из шести теорем Кантора не находятся: Кантора теорема - 1. Теорема Кантора, 2. любая последовательность убывающих ограниченных замкнутых ножеств действительных чисел имеет непустое пересечение, 3. Теорема Кантора — Бендиксона, перенаправляет на Совершенное множество, 4. Теорема Кантора — Бернштейна, 5. пределы тригонометрических последовательностей, 6. Теорема Кантора — Гейне --Zanka 14:36, 19 октября 2014 (UTC)
  • 2 теорема ≈ Лемма о вложенных отрезках. --Сорахеку 14:58, 19 октября 2014 (UTC)
    • Спасибо, подрисовываю пока у себя, как закончу К, перенесу. --Zanka 23:25, 19 октября 2014 (UTC)
• Теорема Карлемана - неоднозначность создана в строго соответствии с МЭ, но вся красная. --Zanka 23:25, 19 октября 2014 (UTC)
• У Картана тоже всё красное, но там неоднозначности слабые:
  • Картана матрица -1. конечномерной полупустой алгебры Ли над алгебраическим замкнутым полем характеристики 0, 2. конечномерной ассоциативной алгебры с единицей над полем
  • Картана теорема - 1. о старшем векторе, 2. в теории функций многих комплексных переменных --Zanka 23:25, 19 октября 2014 (UTC)

Продолжение банкета. --Zanka 02:02, 30 октября 2014 (UTC)

• Кватернионная структура — 1. на вещественном векторном пространстве, 2. на дифференцируемом многообразии
• Кёбе теорема - 1. покрытия, 2. искажения, 3. об отображении конечно связных областей на канонические области
• Келдыша теорема — 1. о приближении непрерывных функций многочленами, 2. о теории потенциала
• Класс — 1. синоним термина множесто для обозначения произвольных совокупностей объектов, 2. в аксиоматической теории множеств, 3. риманова пространства. А у нас только Класс (математика). --Zanka 02:43, 30 октября 2014 (UTC)
• Колмогорова неравенство — 1. в теории приближений, 2. в теории вероятностей. --Zanka 17:53, 2 ноября 2014 (UTC)
• Кольцевая область — 1. двусвязная плоская область между двумя замкнутыми жордановыми кривыми без общих точек, из которых одна охватывает другую, 2. относительно квадратичного дифференциала — см. Глобальная структура траеторий квадратичного дифференциала. --Zanka 23:11, 2 ноября 2014 (UTC)
• Комплекс: --Zanka 02:48, 3 ноября 2014 (UTC)
  • Комплекс — частично упорядоченное множество …. с987
  • Комплекс — одно из основных понятий гомологческой алгебры с993
  • Комплекс прямых — множество прямых в трёхмерном пространстве (проективном, аффинном, евклидовом), зависящее от трёх параметров
• Комплексная структура — 1. на действительном векторном пространстве, 2. структура комплексного аналитического многообразия
• Компонента вектора по оси, Компонента пространства
• Конечности теоремы — 1. в алгебраической геометрии, 2. в теории аналитических пространств
• Коника - линия второго порядка (а у нас отправляет на коническое сечение).

--Zanka 15:34, 9 ноября 2014 (UTC)