>>52664
Допустим возьмём двухмерное векторное пространство и зададим там классификацию тем способом, что опишем на этой плоскости окружность. Дальше скажем, что всё, что внутри окружности как и сама окружность, оно у нас будет использоваться для составления пар. Ну т.е координаты внутри этой окружности и самой окружности, вот из них будем клепать пары всякие. Типо (2x+3y,2x+2y) как пример пары. Для простоты скажем, что индексы там это 1 и 2, стрелочки обоюдны из одной точки в другую, а ещё индексы можно менять местами.

Воооооот, отлично. Тогда у нас вот вся эта фигня будет регулироваться окружностью же. А как можно менять окружность? А можно просто говорить о неком радиусе окружности и менять уже длину радиуса.

Тогда скажем, что у нас есть некий стандартный радиус. И тогда скажем, что радиус зависим от какой-то переменной действительной, где значение ввиде 0 будет выдавать нам стандартный радиус. Тогда при стремлении значения к бесконечности или минус бесконечности укажем на то, что радиус просто будет бесконечно уменьшаться или бесконечно повышаться.

Тогда таким образом мы сделали классификацию! Т.е есть какая-то переменная, она у нас это линия выходит(ну действительная прямая короче). И ходя по этой линии у нас к каждой точке этой линии прикреплены какие-то пары на плоскости, т.е из точки на линии можем прийти в плоскость с какими-то вот парами. Если что над топологией тут думать не буду ибо лень. И кстати да, чтобы ещё понятнее стало - вот у нас там же есть уже диск, верно? И мы можем взять какую-то пару из двух точек этого диска и позыркать, мол а чо в этом диске "задевает" эти две точки. Для примера какой-то отрезочек может задевать вполне.

Оке, а теперь попробуем провести склейку снизу вврех. В таком случае берем нашу окружность эту, или уже скорее диск тогда. И берём другой диск какой-то. И теперь надо сделать так, чтобы какое-то "расширение" этих дисков совпадало. Допустим под расширением буквально будем иметь ввиду увеличение этих дисков, т.е изменение их радиусов. Соответственно надо бы такое изменение этих радиусов, что выдало бы нам одинаковые радиусы. Для примера можно говорить о умножении на ноль, конечно, но это не совсем интуитивно понятно будет тебе. Так что скажем о пределе r+n, где n->бесконечность. Тогда берем эти два предела и получаем бесконечность.

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

Тогда попробуем сделать классификацию на этой линии таким образом. Для этого просто берём какую-то совокупность расширений каких-то дисков. Возьмём для примера два расширения диска с радиусами 2 и 3, 4 и 5. Это будет каких-то два дисков с радиусами, что стремятся к бесконечности. И тогда будем говорить о каких-то двух расширениях (m,m+1) и (m+2,m+3).

Собственно создали классификацию на этой линии! Да, где тогда m это какое-то значение реальной прямой и вот, у нас есть таким образом линия в которой точки подразумевают какие-то пары на другой линии.

А, да...короче вот у нас были эти два расширения - а они по сути же это просто пара на линии, понимаешь? И можно сказать, что эта пара там "выглядит" как(см "задевает" эти две точки на линии) как такие вот диски. Давай нарисуем чтоль?

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

Второй пик про изменение радиусов.

Третий про расширение.

Четвертый про склейку уже. Типо, имею ввиду, можно представить себе либо что диски эти проходят перпендукулярно линии но при этом каким-то образом идя по этому диску можно почему-то прийти в другую точку на этой линии. Или же можно думать об этом просто как о том, что мы на точке линии основали диск этот, где оказалось что наша линия лежит в этом диске. И типо тогда будет два таких диска. Кстати эти диски можно думать просто как, ну...двухмерное пространство? Т.е как плоскость.

И дальше там типо линия в которой точки говорят о том как там расположены эти плоскости, считай типо две разных плоскости с двумя разными началами координат. Но что пересекаются(и полностью).