Это не официальный сайт wikipedia.org 01.01.2023

Обсуждение:Комплексная плоскость — Википедия

Обсуждение:Комплексная плоскость

Последний комментарий: 11 месяцев назад от Arami Mira в теме «О ненужных разделах статьи»

+  ?Править

Из раздела Комплексная плоскость#Бесконечно удалённая точка:

  • z + =   ( z )  

Это почему же     +     ? >>Kron7 10:00, 11 апреля 2014 (UTC)Ответить[ответить]

Соотношение + =   не включено в текст по двум соображениям. Первое: в источнике (Свешников, Тихонов) оно отсутствует. Второе: оно противоречит определению сходимости к бесконечно удалённой точке, так как сумма двух неограниченно возрастающих по модулю последовательностей может не быть неограниченно возрастающей; пример: сумма u n = n z   и v n = n z  . LGB 10:59, 11 апреля 2014 (UTC)Ответить[ответить]
В матанализе есть +   и  . Таким образом:
+   + ( + ) = +  
  + ( ) =  
+   + ( ) = (   )   - неопределенность.
В комплексном анализе (КА) на расширенной комплексной плоскости (РКП) есть   (без знака). И пример, который вы привели, как раз соответствует 3-му соотношению для матанализа, которое приводит к неопределенности. Т.е. поскольку в КА бесконечность   только одна, то она в зависимости от ситуации может быть аналогом как +  , так и   в матанализе. Таким образом, при суммировании на РКП бесконечностей, помимо прочих (вполне определенных) ситуаций, возможна и такая, что приведет к аналогу матановской неопределенности (   )  . Именно поэтому суммирование бесконечностей на РКП не вводится и в общем случае считается неопределенным, если я правильно понял. >> Kron7 11:58, 11 апреля 2014 (UTC)Ответить[ответить]
В целом согласен с вашими рассуждениями. Бесконечность в вещественном матанализе, в комплексном анализе, в теории множеств, в нестандартном анализе и т. д. — это существенно разные математические объекты, с разными свойствами, даже если они используют одно и то же обозначение. LGB 12:08, 11 апреля 2014 (UTC)Ответить[ответить]

Новый раздел «Расширенная комплексная плоскость»Править

Предлагаю создать раздел «Расширенная комплексная плоскость» и переместить в него в качестве подраздела уже существующий раздел «Бесконечно удалённая точка».

Сейчас в вики стоит перенаправление из запроса "Расширенная комплексная плоскость" на статью «Сфера Римана». Но сфера Римана не является расширенной комплексной плоскостью, это несколько другой математический объект и, я считаю эту переадресацию не совсем уместной.

Нужно в статье «Комплексная плоскость» создать раздел «Расширенная комплексная плоскость», описать ее там и поменять перенаправление на новый раздел. >>Kron7 10:19, 11 апреля 2014 (UTC)Ответить[ответить]

LGB, что скажите по этому поводу? >> Kron7 08:52, 14 апреля 2014 (UTC)Ответить[ответить]
Я, конечно, отношусь к этой идее положительно, но не совсем ясно, что в этот раздел добавлять помимо уже имеющегося материала. Разве что критерий: последовательность z n   сходится к   тогда и только тогда, когда 1 / z n   сходится к нулю. Всё остальное, что приходит в голову, не имеет общего характера и касается конкретных аналитических приложений, так что для темы «Комплексная плоскость» это оффтопик. Или вы имели в виду просто переименование раздела? Тогда, по-моему, для ясности лучше объединить: «Бесконечно удалённая точка и расширенная комплексная плоскость». LGB 11:00, 14 апреля 2014 (UTC)Ответить[ответить]
Причины, почему я считаю нужным выделить расширенную комплексную плоскость (РКП) в отдельный раздел:
  • Такая математическая структура, как РКП, является важным объектом в математике, заслуживающим если не отдельной статьи в вики (кстати идея...), то хотя бы отдельного раздела в статье Комплексная плоскость (КП).
  • Мне не очень нравится, что на данный момент на запрос "Расширенная комплексная плоскость" стоит перенаправление на статью Сфера Римана, поскольку это не одно и то же.
Бесконечно удаленная точка также является важным математическим объектом, заслуживающим раздела в статье. Поэтому, действительно, лучше назвать раздел «Расширенная комплексная плоскость и бесконечно удалённая точка».
Ну, вот, к примеру, есть статья Вещественное число, где описывается множество вещественных чисел. Также есть статья для обобщения этого множества - Расширенная числовая прямая (даже не раздел в уже существующей статье, а отдельная статья). В ней описано что это за объект, причины его ввода, свойства и т.д.
Вот я и предлагаю сделать по аналогии для КП и РКП, и поменять перенаправление с запроса "Расширенная комплексная плоскость" на раздел «Комплексная плоскость#Расширенная комплексная плоскость и бесконечно удалённая точка».
А в последствии возможно и отдельную статью создадим Расширенная комплексная плоскость. Более того, для множества вещественных чисел помимо основной статьи Вещественное число есть также и другие: Числовая ось, Числовой луч и Расширенная числовая прямая. >> Kron7 09:30, 15 апреля 2014 (UTC)Ответить[ответить]
Продолжение обсуждения вынесено в следующий раздел

z/0 = Править

z 0 =   ( z 0 )  

В источнике (Свешников, Тихонов) этого соотношения нет. >> Kron7 08:51, 14 апреля 2014 (UTC)Ответить[ответить]

Согласен, там приведена эта формула только для z = 1.   Не знаю, почему, в каком-то другом источнике я видел эту формулу для любого ненулевого z .   В английском разделе она тоже есть. Во всяком случае, формула следует из приведенного мной выше критерия: z 0 =   ( z 0 ) ,   потому что обратная последовательность 0 z = 0   ( z 0 ) .   LGB 11:00, 14 апреля 2014 (UTC)Ответить[ответить]

Бесконечно удалённая точкаПравить

Начало нижеследующего обсуждения находится в предыдущем разделе

У меня только одно замечание: Бесконечно удалённая точка — очень многозначное понятие, вы же сами упомянули статью Расширенная числовая прямая, где она также присутствует для вещественных чисел, есть она в проективной плоскости, в плоскости Лобачевского и ещё шайтан знает где. Поэтому я был неправ, когда в 2010 году сделал перенаправление этого понятия только на Комплексную плоскость, лучше создать для данного термина либо дизамбиг, либо краткую статью с пояснениями всех основных толкований. Связь со сферой Римана тоже надо упомянуть, именно она исторически породила данное понятие. LGB 11:02, 15 апреля 2014 (UTC)Ответить[ответить]

Создал страницу разрешения неоднозначности: Бесконечно удаленная точка (значения). И поменял перенаправление. Можете ее дополнить. >> Kron7 09:37, 23 апреля 2014 (UTC)Ответить[ответить]
Я заменил определение понятия, поскольку непонятно, при чём тут координаты, бесконечно удаленная точка есть инвариантное геометрическое понятие. Новое определение взято, с минимальными изменениями, из Мат. энциклопедии. Кроме того, может, ссылку на вещественную проективную прямую лучше заменить на en:Point at infinity? Кстати, в этой статье описаны и другие толкования и обобщения. Может, и нам вместо дизамбига сделать обзор и связать эти статьи? LGB 11:40, 23 апреля 2014 (UTC)Ответить[ответить]
  • На счет определения:

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

Я тоже сначала думал написать "геометрическая", но потом решил, что под этим люди будут подразумевать нечто иное. Геометрия изучает фигуры. И в качестве примеров для некой "геометрической бесконечности", как собирательного понятия, напрашиваются:
- бесконечные геометрические фигуры: луч (бесконечный в одном направлении), прямая (бесконечная в двух противоположных направлениях)... или
- те фигуры, определения которым можно дать используя понятие бесконечности: окружность - правильный многоугольник, содержащий бесконечность сторон (n-угольник, где n= или -угольник); прямая - окружность с бесконечным радиусом...
А у нас речь идет о бесконечно удаленной точке. Т.е. о точке в системы координат - нужно ведь от чего-то эту бесконечность отсчитывать. Таким образом, понятие бесконечно удаленной точки привязано не столько к геометрии (фигуры и все такое), как к системе координат (для отсчета). Поэтому я и указал "координатная интерпретация бесконечности". Ваше определение мне нравиться больше, но на счет "геометрии" не знаю.
Также не уверен на счет необходимости указания того, что бесконечность актуальная. Ведь в математике обычно не говорят о потенциальной и актуальной бесконечности, там просто "бесконечность". К тому же ссылку вы указали на статью «Бесконечность», а не на ее раздел «Потенциальная и актуальная бесконечность».
  • На счет проективной прямой:
  • В статье в квадратных скобках указана ссылка на соответствующую статью в англовики. А прямая ссылка стоит на раздел, в котором хоть в небольшом объеме но все же, описывается проективная прямая, даже с иллюстрацией. Также было бы неплохо написать статью «Числовая проективная прямая».
  • А почему вы хотите заменить en:Real projective line на en:Point at infinity?
  • На счет полноценной статьи:
Я за. >> Kron7 14:52, 23 апреля 2014 (UTC)Ответить[ответить]

В принципе можно попытаться ввести бесконечно удаленную точку в любом нормированном пространстве, не обязательно многообразии с координатами. Главная цель — компактификация пространства, то есть введение предела для всех последовательностей, даже бесконечно растущих по норме. Опорной точкой не обязательно делать систему координат, которая может и не существовать. LGB 11:08, 24 апреля 2014 (UTC)Ответить[ответить]

  • Смотрим, в источник: [1]. Бесконечность и бесконечно удаленная точка - не одно и то же. Бесконечность - это алгебраический объект, количественная характеристика, исчислимость. А бесконечно удаленная точка - это геометрический объект, точка, отнесенная от некой фиксированной точки на бесконечность (ту, о которой мы говорили в предыдущем предложении). Причем эта точка располагается на расширенной комплексной плоскости (если речь идет о комплексном анализе). Т.е. на двумерном пространстве - на многообразии. И само-собой тут идет уже привязка к системе координат.
Ввести бесконечность (алгебраический объект) в нормированном пространстве возможно и можно, но не бесконечно удаленную точку (геометрический объект), поскольку она без такого свойства пространства как расстояние, теряет свой смысл. >> Kron7 14:20, 24 апреля 2014 (UTC)Ответить[ответить]
  • В источнике определено только понятие бесконечно удаленной точки, которую для краткости речи иногда именуют бесконечностью. Привязка к системе координат совершенно не обязательна. Например, для плоскости Лобачевского бесконечно удаленную точку можно ввести как центр некоторого орицикла, и это определение не опирается на какую-либо систему координат. Расстояние в любом нормированном пространстве вводится стандартным образом — как норма разности, см. статью. LGB 12:14, 25 апреля 2014 (UTC)Ответить[ответить]
  • Теперь конкретно о формулировке определения. Из статьи:

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

Как-то плохо звучит выражение "геометрическая актуальная бесконечность" (также как и просто "геометрическая бесконечность"). Такая комбинация слов, скажем, никак не определена. По запросу "геометрическая бесконечность" гугл, кроме всяких псевдо- и около-научных учений, ничего не находит. Лучше сказать "геометрическая интерпретация бесконечности". Если с этим вы согласны, тогда пойдем дальше и остановимся на многозначности этого выражения.
Когда читатель увидит фразу "геометрическая интерпретация бесконечности", он не подумает о точке, отнесенной на бесконечность от какой-то фиксированной точки. Он увиди тут луч или прямую. Поэтому понятие "геометрии" в определении будет уводить воображение читателя не в ту сторону. Все же с "координатами" лучше получалось. Может указать как-то так: "геометрическая координатная интерпретация бесконечности". Т.е. само определение будет выглядеть так (ссылки на нужные термины указаны):

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

>> Kron7 14:20, 24 апреля 2014 (UTC)Ответить[ответить]
Я не вижу, чем «геометрическая интерпретация бесконечности» лучше, чем «геометрическая актуальная бесконечность». Термин «интерпретация» слишком многозначен, смысл его меняется от простого «истолкование» до «формально-логической модели некоторой системы аксиом». Вряд ли читатель скажет нам спасибо за такую замену. Термин «актуальная бесконечность» упоминается в источнике, и он подчёркивает тот факт, что бесконечно удалённая точка является не просто условным символом, вроде «минус нуля» в теории пределов, но имеет некоторые (ограниченные) черты математического объекта. Упоминания о координатах в статьях о геометрических объектах вообще следует по возможности избегать, потому что опора на координаты сразу вменяет автору статьи в обязанность доказать независимость описываемых свойств от системы координат. LGB 12:14, 25 апреля 2014 (UTC)Ответить[ответить]

Определение из Мат. энциклопедии, конечно, скорее интуитивное, чем строгое, поэтому пояснение насчёт актуальной бесконечности (взятое оттуда же) вполне уместно. LGB 11:08, 24 апреля 2014 (UTC)Ответить[ответить]

На сколько я знаю, в математике под бесконечностью не зависимо от того, в какой теории это понятие вводится, всегда подразумевается актуальная бесконечность, как нечто целостное и неограниченное. Поэтому не вижу смысла менять традицию и употреблять термин "актуальная бесконечность" в определении бесконечно удаленной точки. >> Kron7 14:20, 24 апреля 2014 (UTC)Ответить[ответить]
В математике используются оба типа бесконечности. Например, выражение «сумма ряда равна бесконечности» означает, что частичные суммы неограниченно растут с ростом числа слагаемых. Это потенциальная бесконечность, поскольку в обычном анализе бесконечность не включается в опорное множество чисел. LGB 12:14, 25 апреля 2014 (UTC)Ответить[ответить]

Можно было бы добавить, что расстояние от любого ограниченного множества до бесконечно удаленной точки бесконечно, чтобы исключить примеры с бесконечными фигурами, но разводить ОРИСС не хотелось, да и незачем. Замену ссылки на en:Point at infinity я предложил, потому что тема обзорной английской статьи в точности совпадает с обсуждаемой, а тема en:Real projective line всё же ограничена. LGB 11:08, 24 апреля 2014 (UTC)Ответить[ответить]

Возможно мы о разных вещах говорим. Вы предложили для числовой проективной прямой поставить ссылку на статью en:Point at infinity. Я считаю правильным по возможности ссылаться на статьи или разделы статьей на рувики. Так я и сделал. При этом для тех, кто будет копать глубже указал в квадратных скобках ссылку на соответствующую, и более полную чем тот русский раздел, статью о числовой проективной прямой - en:Real projective line. Вроде все понятно и логично.
Но теперь вы говорите:

Замену ссылки на en:Point at infinity я предложил, потому что тема обзорной английской статьи в точности совпадает с обсуждаемой, а тема en:Real projective line всё же ограничена.

Так, а при чем здесь обзорная статья? Речь ведь шла о числовой проективной прямой. >> Kron7 14:20, 24 апреля 2014 (UTC)Ответить[ответить]
Я уже запутался в ваших перестройках, но речь шла о возможности расширить статью до общего обзора. LGB 12:14, 25 апреля 2014 (UTC)Ответить[ответить]

Почему алгебраические операции с бесконечностью не производятся?Править

Алгебраические операции с бесконечностью не производятся

Разве в источнике (Свешников, Тихонов) такое сказано? >> Kron7 08:46, 14 апреля 2014 (UTC)Ответить[ответить]

В источнике после слов «Определим алгебраические свойства числа z =  » приведен исчерпывающий список алгебраических операций с бесконечностью, никаких других не существует, да и эти по существу представляют собой символическую запись предельных соотношений. Я считаю важным чётко обратить внимание читателя на этот факт, чтобы пресечь часто встречающиеся бессмысленные заявления неспециалистов вроде: «делить на ноль можно, получается бесконечность». Читатель должен получить ясное представление, в каких структурах бесконечность есть просто символ, в каких — псевдочисло, в каких — полноценное число. LGB 11:00, 14 апреля 2014 (UTC)Ответить[ответить]
Согласен. Вопрос был к тому, что за фразой "Алгебраические операции с бесконечностью не производятся" следует список из 4-х алгебраических операций с бесконечностью. На словах имеем противоречие. Лучше сказать, что список алгебраических операций с бесконечностью является исчервывающим и далеее указать эти 4 операции. >> Kron7 08:56, 15 апреля 2014 (UTC)Ответить[ответить]
Так ведь это по существу не алгебраические операции, а символическая запись предельных соотношений. Хотя бы потому, что эти тождества не поддаются никаким дальнейшим алгебраическим преобразованиям, их форма монолитна и неизменна. Поэтому я и выбрал такую формулировку и термин «соотношения» вместо «операции». По смыслу примерно то же, но не провоцирует читателя на рискованные игры с бесконечностью. LGB 11:02, 15 апреля 2014 (UTC)Ответить[ответить]
Лирическое отступление

В КА бесконечность — это величина, к которой сходится неограниченно возрастающая последовательность (скрин). Если возрастающая - значит каждый последуюбщий элемент больше предыдущего. Но ведь для комплексных чисел не определены операции сравнения "<" и ">". Так о каком возрастании в такм случае может идти речь? >> Kron7 08:08, 23 апреля 2014 (UTC)Ответить[ответить]

В статье об этом сказано: неограниченно возрастающая по модулю. Такой способ сравненя не является линейным порядком, поскольку из u v v u   не следует u = v  , но для целей теории расширенной плоскости достаточно. LGB 11:19, 23 апреля 2014 (UTC)Ответить[ответить]
В статье сказано, а в источнике (Свешников, Тихонов), в разделе "Бесконечно удаленная точка" ничего про модуль нет. Вот определение из источника → [2]. >> Kron7 13:24, 23 апреля 2014 (UTC)Ответить[ответить]
Цитирую оттуда же (см. тут несколькими фразами выше:

Введем понятие бесконечно удаленной точки комплексной плоскости, существенное для дальнейшего. Пусть дана последовательность комплексных чисел z n   такая, что для любого положительного числа R найдется номер N, начиная с которого члены последовательности удовлетворяют условию | z n | > R   при n > N  . Такую последовательность назовем неограниченно возрастающей.

То есть модуль встроен в само определение, упоминать его отдельно не требуется. LGB 10:50, 24 апреля 2014 (UTC)Ответить[ответить]
Хорошо. >> Kron7 12:08, 24 апреля 2014 (UTC)Ответить[ответить]

Так ведь это по существу не алгебраические операции, а символическая запись предельных соотношений.

Ну, почему же?
Есть операция сложения бесконечности с конечным числом: z + =   ( z )  . Почему вы называете это монолитной символической записью (или соотношением), но не операцией в классическом ее понимании?
К примеру, есть последовательность u n = n ( 1 + i )  , где n N  . Она является неограниченно возрастающей. Бесконечностью в таком случае будет величина, к которой она сходится, т.е. сумма всех элементов этой последовательности:
n = 1 u n = n = 1 n ( 1 + i ) = ( 1 + i ) + ( 2 + 2 i ) . . . =  
Таким образом получили бесконечность. Теперь применим к ней операцию сложения с конечным числом 1:
+ 1 = [ n = 1 n ( 1 + i ) ] + 1 = [ ( 1 + i ) + ( 2 + 2 i ) + . . . ] + 1 = ( 2 + i ) + ( 2 + 2 i ) + . . . =  
Конечное число обычным образом суммируется с первым элементом последовательности (так, и с самой бесконечностью). Никакой монолитной символической записи, просто классическая операция суммирования. >> Kron7 12:08, 24 апреля 2014 (UTC)Ответить[ответить]
Я называю формулу вроде z + =   ( z )   монолитной, потому что её (в отличие от её до-предельных прототипов) нельзя трактовать и преобразовывать алгебраически. Если было бы можно, то, сократив обе части на  , получили бы z = 0.   Нельзя также переносить   в другую часть уравнения и т. п. LGB 12:14, 25 апреля 2014 (UTC)Ответить[ответить]

Терминологические неточности в статьеПравить

Впечатление, что текст скопирован из учебника 50 годов XX века. Пример 1. "комплексная сфера" - откуда взят этот термин ? Пример 2. Неверно употребляется слово "изоморфна". 91.77.218.42 16:44, 18 декабря 2015 (UTC)Ответить[ответить]

22.10.2019 Добавлю ложку (надеюсь на конструктивное понимание ситуации): термин "комплексная плоскость" применяется (специалистами по ТФКП, геометрии, алгебре) к C 2  , что же касается описываемого в статье объекта C  , то он называется (специалистами) "плоскость комплексных чисел" или "плоскость комплексного переменного (количества)" (или "плоскость комплексной переменной (величины)"), или "комплексная прямая". К сожалению, эта терминологическая неточность настолько распространена, что попала даже в учебники. 85.140.1.177 02:22, 22 октября 2019 (UTC) 85.140.1.177 03:27, 22 октября 2019 (UTC)Ответить[ответить]

Ужасная статьяПравить

Проще удалить и создать заново, чем переделывать. -- 85.250.145.61 22:16, 30 сентября 2018‎

О ненужных разделах статьиПравить

Довольно большая часть статьи посвящена топологии комплексной плоскости, такие разделы как множества на комплексной плоскости, связность, выпуклые, связные и линейно связные множества, кривые на С, однако зачем они? Топологически комплексная плоскость НИЧЕМ не отличается от обычной. Отличия начинаются ровно с того момента, когда начинает рассматриваться комплексное умножение, но разве для определения связности и выпуклости где то использовалось умножение? Нет. В том-то и дело. Приведëнные свойства присуще гораздо более общим объектам и что интересно более простым — обычным плоскостям. Как мне кажется концентрировать внимание на свойствах обычных плоскостей в статье про комплексную не имеет смысла, лучше всë это переместить в общий случай, а здесь просто оставить раздел "топология", где кратко объяснить как определяется топология, области и пути и сказать, что топология у комплексной плоскости точно такая же, как и у R^2. Arami Mira (обс.) 21:38, 13 июля 2022 (UTC)Ответить[ответить]