Глава 1. Целые числа: координатная разметка

Принцип позитивного существования

Откуда начинает Часть III

Часть II прошла натуральный ряд — $N=\{1,2,3,\dots \}$ — до конца: установила его первичность, его устройство, его неизбежность. Натуральный ряд есть начало числа. Но не всё число.

Часть III делает следующий шаг: от натурального ряда к рациональным числам, через целые. Шаг этот ToS проходит так же, как проходила натуральный ряд, — не как принятое соглашение, а как деривацию: целые и рациональные числа возникнут не как новые сорта чисел, введённые по уговору, а как то, к чему вынуждает нехватка в уже достигнутом. И прежде чем сделать этот шаг, нужно положить принцип, на котором он будет стоять, — принцип, который Часть III вводит впервые и проводит через все свои главы.

Всё, что существует, существует позитивно

Принцип таков:

Всё, что онтологически существует, — существует позитивно. Нет онтологического статуса, который был бы ниже отсутствия. То, что несёт знак минуса, — координатная позиция; логическое отрицание — сторона акта различения; алгебраическая обратимость — операционная структура. Ни одно из трёх не есть отрицательное существование, но отождествлять их между собою нельзя.

Назовём это принципом позитивного существования. Разберём, что он означает — и, что не менее важно, чего он не означает.

Принцип говорит о самом существовании, не о всякой мере всякого свойства. Он утверждает: существование не бывает отрицательным — нет онтологического статуса ниже отсутствия. Он не утверждает, будто всякая мера всякого существующего объекта строго положительна. Это различение существенно, и его нужно провести сразу. У существующего объекта отдельные величины вполне могут принимать нулевое значение: нулевая скорость покоящегося тела, нулевой электрический заряд нейтральной частицы, нулевой остаток на счёте, нулевая протяжённость математической точки. Нулевое значение отдельного свойства не означает, что объекта нет: тело покоится, частица наличествует, точка есть. Принцип позитивного существования не об этом. Он — о границе между <<есть>> и <<нет>> самого объекта, а не о значениях его координат и мер.

Так что точная формула принципа такова. Если нечто предъявлено как существующее — в каком бы то ни было режиме счёта или измерения, — его наличность не отрицательна: нет вещи, которая существовала бы <<в минусе>>, ниже отсутствия. Нуль означает отсутствие данной предъявленности — либо нулевое значение данной координаты или меры, — но не <<существование ниже отсутствия>>. Отрицательными же могут быть — и бывают — координаты, ориентации, разности, операционные характеристики; чем именно, разберёт вся глава. Граница, которую принцип проводит твёрдо, — одна: само существование не бывает отрицательным. Между <<есть>> и <<нет>> вещи нет третьего положения — нет <<есть в минусе>> как способа быть.

Принцип этот — прямое продолжение того, что Часть II установила о нуле. Глава II.1 показала: нуль не есть число, нуль есть отметка отсутствия акта различения. Натуральный ряд начинается с единицы — с первого совершённого акта; нуль лежит до ряда, обозначая, что не совершено ничего. Принцип позитивного существования обобщает это: не только в счёте, но и везде граница самого существования проходит между <<есть>> и <<нет>>, и ниже <<нет>> никакого способа быть не лежит.

Пример: яблоки

Возьмём простейший случай. У меня пять яблок. Я отдал восемь. Сколько у меня яблок?

Привычный ответ — <<минус три>>. Но <<минус три яблока>> онтологически невозможно. Что бы я ни делал с яблоками — ел их, дарил, продавал, — я могу прийти к нулю яблок, но не <<ниже нуля>>. Нет такого состояния мира, в котором у меня есть минус три яблока. Минус три яблока не существует как реальный предмет; нет предмета, который был бы <<яблоком со знаком минус>>.

Что есть на деле? У меня ноль яблок — ни одного. И сверх того есть нечто иное — обязательство: я должен вернуть три яблока тому, кому остался должен. Но обязательство не есть <<минус три яблока>>. Обязательство есть позитивно существующая вещь — отношение между мной и другим, запись долга, которая вполне реальна. У этого обязательства своя кратность — три, — и эта кратность позитивна. <<Минус>> появляется не в мире яблок и не в мире обязательств, а лишь когда я начинаю вести учёт: записывать на одной шкале баланса и наличные яблоки, и взятые обязательства. Об этой шкале — о том, откуда берётся знак минуса и что он значит, — и пойдёт глава. Пока важно одно: в мире нет минус трёх яблок; в мире есть позитивно существующее обязательство вернуть три яблока — отношение величиной три. Минус появляется тогда, когда наличность и обязательство записываются в одной координатной системе баланса: не <<минус три обязательства>>, а обязательство величиной три, записанное со знаком минус. Всё, что в мире есть, есть позитивно; знак минуса принадлежит записи, не миру. В терминах E/R/R знак минуса — координатная роль (ориентация), не отрицательный предмет; разбор § 1.8.3.

Что принцип задаёт главе

Принцип позитивного существования ставит перед главой задачу, а не запрет.

Он не говорит <<отрицательных чисел не бывает>>. Отрицательные числа есть, и глава их построит. Он говорит иное: отрицательное число не есть онтологическая сущность — не есть вещь, существующая <<в минусе>>. Раз так, нужно ответить, чем же оно является, ибо математика им пользуется и пользуется не зря. Ответ — предмет всей главы: отрицательное число есть позиция в координатной разметке, и как позиция оно позитивно существует. Знак минуса указывает не на ущербное существование, а на сторону разметки.

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

Два вопроса: онтологический и координатный

Два смысла слова <<позитивный>>

Слово <<позитивный>> в этой книге работает в двух разных смыслах. Они не противоречат друг другу, но относятся к разным уровням, и читателю важно с самого начала их различать, — иначе принцип позитивного существования будет понят неверно.

Первый смысл — онтологическая позитивность. Объект позитивен онтологически, если он есть — есть как актуализированный акт различения или его следствие. Это первичный смысл; он касается факта существования и ничего более. Именно о нём говорит принцип § 1.1: всё, что существует, существует позитивно.

Второй смысл — координатная позитивность. Число позитивно в координатном смысле, если оно занимает позицию по одну определённую сторону от опоры — ту, которую по соглашению называют положительной. Это указание стороны, направления отсчёта, — не указание на факт существования.

Два смысла согласованы, но не совпадают. Всякое координатно положительное число — $1,2,3,\dots$ — онтологически позитивно: оно существует как позиция. Но обратное неверно. Координатно отрицательные числа — $-1,-2,-3,\dots$ — тоже онтологически позитивны: они существуют как позиции, просто по другую сторону опоры. <<Отрицательность>> здесь — координатная, она о стороне; онтологически же отрицательная позиция существует так же полно, как положительная.

Когда принцип § 1.1 говорит <<всё, что существует, — позитивно>>, он говорит о первом смысле, об онтологической позитивности. Знак минуса в записи $-3$ — из второго смысла: это координатная разметка, не онтологическое отрицание. Смешать эти два смысла — значит решить, будто $-3$ <<существует хуже>>, чем $3$. Не существует хуже: $-3$ есть позиция, и как позиция существует вполне.

Здесь же стоит развести три разные вещи, которые легко слить под одним словом <<отрицательный>> или одним знаком, и слитие которых запутало бы всю Часть III. Знак минуса в целых числах — координатная разметка: он указывает сторону позиции относительно опоры (об этом — вся настоящая глава). Логическое отрицание — $\neg P$, отрицательная сторона акта различения: в Distinction из Части II оно задано полем negative наравне с positive, как одна из двух сторон полного различения (Глава II.1). Алгебраическая обратимость — противоположный элемент, тот $-a$, для которого $a+(-a)$ даёт нейтральный элемент: это операционная структура, свойство сложения как операции. Три эти вещи родственны — ни одна из них не есть отрицательное существование, — но отождествлять их нельзя: знак минуса есть разметка, логическое отрицание есть сторона различения, обратимость есть структура операции. Настоящая глава говорит о первом — о знаке минуса как координате; о втором сказала Часть II; третье проступит, когда глава дойдёт до сложения целых чисел.

Уточняющий вопрос

Различение двух смыслов <<позитивного>> ведёт к различению двух родов вопросов, в которых число участвует. И это различение — методологический стержень всей Части III.

Когда учитель спрашивает у детей <<сколько будет $5-8$?>>, верный первый ход — не считать, а задать встречный, уточняющий вопрос: о какой системе идёт речь?

Возможны два рода задач, и ответ зависит от того, какой из них перед нами.

Задача может быть онтологической — о реальных существующих предметах: о яблоках, шарах, людях. Тогда ответ на <<$5-8$>> есть нуль либо <<не определено>>. Не $-3$ — ибо, как показал § 1.1, $-3$ яблока онтологически нет. Из пяти предметов нельзя убрать восемь; можно убрать пять и прийти к нулю, и на этом ряд предметов кончается.

Задача может быть координатной — о позициях в системе с выбранной опорой: о балансе счёта, о температуре, о координате на оси. Тогда ответ на <<$5-8$>> есть $-3$ — позиция в координатной разметке, на три шага по ту сторону опоры. Здесь $-3$ полностью осмысленно: это не ущербное количество предметов, а точка отсчёта.

Один и тот же значок <<$5-8$>> требует, стало быть, разных ответов — смотря какой вопрос за ним стоит. И прежде чем отвечать, вопрос нужно определить.

Молчаливый переход стандартной математики

Стандартная математика на <<$5-8$>> отвечает <<$-3$>> сразу, не задавая уточняющего вопроса. Она молча переходит в координатный режим: предполагает, что речь о позициях, и выдаёт позицию.

Это не ошибка стандартной математики. Это удобство, и удобство оправданное: в подавляющем большинстве технических задач речь и вправду идёт о координатах — о балансах, шкалах, осях, — и уточняющий вопрос всякий раз был бы лишней церемонией. Стандартная математика опускает его потому, что в её рабочей области ответ на него почти всегда один и тот же: <<координатно>>.

Но <<почти всегда>> — не <<всегда>>. В задачах, чувствительных к онтологии, — там, где важно, есть ли предмет или его нет, — молчаливый переход скрывает существенное различие. Он выдаёт координатный ответ на вопрос, который, быть может, был онтологическим, и делает это, не предупредив. Различие <<есть пять предметов и долг на три>> против <<есть позиция $-3$ на оси>> стирается: и то и другое записывается как $-3$, и кажется, будто это одно и то же.

ToS не отменяет удобства стандартной математики, но делает переход явным. Когда в ToS пишут $5-8=-3$, этим объявляют: мы работаем в координатной системе $Z$. Это значит — выбрана опора, выбран шаг разметки, и записывается позиция в этой системе, а не онтологический счёт реальных предметов. Запись $-3$ законна; незаконно лишь умолчание о том, что мы перешли к координатам.

Слово <<позитивный>> имеет два смысла: онтологический — объект есть; координатный — объект по положительную сторону опоры. Координатно отрицательные числа онтологически позитивны: они суть позиции. Отсюда два рода вопросов о числе — онтологический (есть ли предмет) и координатный (где позиция); на онтологический ответ $5-8$ есть нуль, на координатный — $-3$. Стандартная математика молча отвечает координатно; ToS делает переход к координатам объявленным.

Куда это ведёт

Различив два вопроса, мы получили и направление. Целые числа — ответ на координатный вопрос. Они не прибавляют к миру предметов <<отрицательные предметы>>; они задают систему позиций, в которой осмысленно говорить о точках по обе стороны опоры.

Остаётся показать, откуда такая система берётся: как она разворачивается из акта различения. Этим занят следующий раздел.

Откуда разворачивается координатная разметка

Опора есть выбор точки в готовом ряду

Целые числа ToS не вводит определением и не строит, чтобы восполнить в натуральном ряду какую-то нехватку. Она их получает — так же, как Часть II получала натуральный ряд: прослеживая, что разворачивается из акта различения, и глядя, что при этом выходит. И разворачивать здесь нужно не из пустоты: натуральный ряд уже построен (Часть II), он есть, и координатная разметка начинается с него.

Сделаем над готовым рядом один акт. Выберем в ряду $1,2,3,\dots$ некоторую точку и назначим её опорой — точкой, от которой будет вестись отсчёт. Назначить опору есть акт различения: различить <<эта точка — начало отсчёта>> и <<все прочие точки>>. Акт чистый и позитивный; он ничего не создаёт из ничего, а лишь выделяет в уже имеющемся ряду одну точку как выделенную.

Опора — не отсутствие и не пустота. Опора есть выбранная точка наличного ряда. Это важно удержать с самого начала, и глава вернётся к этому особо (§ 1.4): за опору берётся нечто наличное, а не дыра в ряду.

Двусторонность есть следствие выбора опоры

Как только опора назначена, наличный ряд сам раскладывается относительно неё на две стороны. Это не вводится отдельно — это следует из того, что опора выбрана внутри ряда.

В самом деле. Ряд $1,2,3,\dots$ упорядочен (Глава II.3): у всякой его точки есть соседи — предыдущая и следующая. Опора есть одна из точек ряда. Значит, у опоры есть сторона, где точки ряда идут от неё в сторону роста, и сторона, где они идут в сторону убывания. Точку, соседнюю с опорой в сторону роста, назовём позицией $+1$; следующую за ней — $+2$; и так далее. Точку, соседнюю с опорой в сторону убывания, назовём позицией $-1$; следующую — $-2$; и так далее. Сама опора есть позиция $0$.

Знак при позиции — это указание стороны относительно опоры, и более ничего. <<Плюс>> — сторона роста, <<минус>> — сторона убывания; какую назвать которой, решается соглашением (§ 1.5). Двух сторон не пришлось вводить особым актом: они получились от того, что опора выбрана внутри упорядоченного ряда, а у точки внутри упорядоченного ряда соседи есть с двух сторон. Двусторонняя разметка есть наличный ряд, прочитанный от выбранной в нём опоры.

Минус как вторая координатная ориентация

Здесь глава приходит к своему центральному результату о минус-стороне — и результат этот требует точности, иначе он разойдётся с самой математикой целых чисел. Стоит пройти его медленно.

Привычно целые числа рисуют как прямую: влево от нуля — $-1$, $-2$, $-3$ и далее, вправо — $1$, $2$, $3$ и далее. Возникает вопрос: совместима ли эта картина с позитивной онтологией ToS, с принципом § 1.1? Можно было бы подумать, что нет, — что минус-сторона, уходя <<вниз>>, ведёт к существованию ниже наличного. Но это было бы неверным прочтением минуса, и неверность его глава сейчас покажет.

Минус-сторона не есть онтологический спуск ниже наличного. Это было бы так, лишь читай мы $-k$ как <<вещь, существующую на $k$ ступеней ниже отсутствия>>, — но именно такого прочтения принцип § 1.1 и не допускает, и ToS его не принимает. Минус-сторона есть вторая координатная ориентация — то, что возникает, едва выбраны опора и шаг. Опора выбрана внутри упорядоченного ряда; у точки внутри упорядоченного ряда соседи есть с двух сторон; и потому от опоры можно отсчитывать в две стороны — в сторону роста и в противоположную ей. Позиция $-k$ означает не <<существование ниже первого акта>>, а смещение на $k$ шагов в сторону, противоположную выбранной положительной. Это смещение задано позитивно: оно есть $k$ шагов — положительная кратность, — и лишь направление их противоположно. Минус несёт направление, не ущербность бытия.

Оттого минус-сторона и не нарушает принципа позитивного существования: $-k$ не есть отрицательное существование. Это позитивно заданное направленное смещение — $k$ шагов в одну из двух ориентаций. Существование ниже наличного запрещено принципом § 1.1 — но координатно-отрицательная позиция таким существованием и не является: она есть позиция, ориентированная смещением, и как позиция существует так же полно, как координатно-положительная (§ 1.2). Принцип § 1.1 запрещает читать минус онтологически — и тем самым обязывает читать его координатно: как сторону смещения, не как способ быть.

А раз минус есть координатная ориентация смещения, то обе стороны разметки продлеваемы одинаково. Плюс-сторона продлеваема: за всякой её позицией есть следующая. Минус-сторона продлеваема так же: за всякой её позицией есть следующая — ещё на шаг дальше в противоположную сторону. Это не <<порождение существования ниже дна>> — это продление координатной записи, добавление ещё одного формального смещения, и оно так же законно для минус-стороны, как для плюс-стороны. Асимметрия плюса и минуса есть — но не в том, что одна сторона конечна, а другая бесконечна. Асимметрия в статусе: плюс-направление совпадает с направлением порождения натурального ряда (сторона роста актов), минус-направление есть чисто координатная, противоположная ему ориентация. Обе стороны как формальные смещения равноправны и равно продлеваемы; разнятся они тем, что одна сторона держится за онтологический рост ряда, а другая есть его координатное зеркало.

Минус-сторона не есть онтологический спуск ниже наличного. Она есть вторая координатная ориентация, возникающая после выбора опоры и шага: $-k$ не <<существование ниже первого акта>>, а позитивно заданное смещение на $k$ шагов в сторону, противоположную выбранной положительной. Потому минус и не нарушает принципа § 1.1 — он не отрицательное существование, а направление смещения. Обе стороны разметки продлеваемы одинаково; асимметрия плюса и минуса не в конечности одной из сторон, а в том, что минус имеет чисто координатный статус, тогда как плюс совпадает с направлением порождения ряда.

Минус как свойство выбора опоры

Из координатной природы минуса следует ещё одно, и оно проясняет, чем координатная разметка отличается от онтологии.

Какая позиция несёт знак минуса — зависит от того, где выбрана опора. Перенесём опору на одну точку в сторону роста — и позиция, бывшая нулевой, станет позицией $+1$, бывшая $-1$ станет нулевой, и вся разметка сдвинется. Точка натурального ряда, бывшая положительной относительно прежней опоры, может оказаться отрицательной относительно новой. <<Положителен>> или <<отрицателен>> данный элемент — не свойство самого элемента и не свойство ряда; это свойство выбора опоры.

Это ровно то, что § 1.2 назвал координатностью. Минус не есть онтологическое свойство — не есть способ существования, который был бы у вещи сам по себе. Минус есть позиция относительно выбранной точки, и то, какая позиция им помечена, задаётся тем, какая точка выбрана опорой. Перенесём опору — изменится вся разметка, хотя ни в ряду, ни в актах различения ничего не сдвинулось. Меняется не онтология, а разметка. Знак минуса принадлежит системе координат, не вещам, которые в ней размечены.

Координатные системы

Двусторонняя разметка, развернувшаяся из выбора опоры в наличном ряду, не есть выдумка ради математики. Она — то общее, что лежит в основании множества обыденных и научных систем отсчёта.

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

Высота. Уровень Мёртвого моря, около четырёхсот метров ниже океана, — позиция в четырёхстах шагах по одну сторону опоры, за которую взят уровень океана.

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

Координата на оси. Точка на числовой прямой — позиция относительно опоры, за которую взято начало координат.

Каждая из этих систем есть двусторонняя разметка с конкретно выбранной опорой — своя точка отсчёта, своя единица деления. И в каждой выбор опоры — именно выбор: за нуль шкалы Цельсия взята точка замерзания воды, за нуль шкалы Кельвина — иное состояние, и одна и та же физическая ось температур получает от этого разные разметки.

Стоит заметить, что эти системы по-разному ведут себя на минус-стороне — и различие это поучительно. У шкалы Цельсия есть физический нижний предел — абсолютный нуль; но в самой шкале формально можно записать любое отрицательное значение. Высота ниже уровня моря физически ограничена устройством планеты; но координатная ось высот продлеваема и за этот предел. Баланс счёта может иметь правовой или банковский лимит; но бухгалтерская запись допускает произвольный долг. Координата на чистой математической оси не ограничена ни в одну сторону. Различие здесь не случайно: в конкретных предметных системах у минус-стороны может быть свой нижний предел, заданный устройством предметной области, — а в чистой координатной математике такого предела нет. Общее у всех этих случаев не конечность минус-стороны (она у них разная и предметно обусловленная), а одно: знак минуса указывает сторону относительно выбранной опоры. Именно эту общую черту — координатность минуса, его зависимость от опоры и режима — примеры и показывают.

Целые числа суть та же разметка, взятая в отвлечении от частностей: $Z$ есть двусторонняя координатная разметка с целочисленным шагом, прослеженная независимо от того, что именно взято за опору, и независимо от предметных пределов, какие та или иная конкретная система могла бы на минус-сторону накладывать.

Что предстоит построить

Разметка развернулась; дальше нужно пройти её устройство по порядку. И первое здесь — та точка, с которой всё началось: опора. Чем она является, как соотносится с нулём натурального ряда и почему не есть отсутствие — разбирает следующий раздел.

Опора и шаг

Чем задаётся разметка

Координатная разметка развернулась (§ 1.3): выбрана опора в наличном ряду, и относительно неё ряд читается на две стороны. Теперь нужно пройти устройство разметки по порядку — и начать с двух вещей, которыми всякая разметка задаётся.

Разметка задаётся опорой и шагом. Опора — точка, от которой ведётся отсчёт; по соглашению её называют нулём разметки. Шаг — единичная мера отклонения от опоры; по соглашению его называют единицей разметки. Без опоры нет точки отсчёта, и говорить о позиции не от чего; без шага нет меры отклонения, и говорить о позиции нечем. Опора и шаг — два выбора, и оба они позитивны: каждый есть акт различения. Выбор опоры есть акт <<эта точка — начало отсчёта>>; выбор шага есть акт <<это отклонение — единичное>>. Координатная разметка стоит на двух актах различения, и постольку стоит на позитивном.

Из двух этих выборов опора требует особого разбора. С нею связан вопрос, который при невнимании обращается в кажущееся противоречие с Частью II, — и этот раздел разбирает его прямо.

Нуль Части II и нуль разметки

Часть II установила о нуле определённое, и установила твёрдо. Глава II.1 показала: нуль не есть число. Нуль есть отметка отсутствия акта различения — метка того, что не совершено ничего. Натуральный ряд начинается с единицы, с первого акта; нуль лежит до ряда и числом ряда не является, ибо отметить отсутствие и сосчитать совершённое — разные вещи.

Но опору координатной разметки настоящая глава тоже назвала нулём — нулём разметки. И здесь читатель вправе остановиться. В § 1.3 опора названа выбранной точкой наличного ряда, позитивно существующей. А Часть II назвала нулём отсутствие. Один и тот же знак <<$0$>> оказывается то отсутствием, то наличной выбранной точкой. Не противоречит ли Часть III сама себе — и Части II?

Противоречия нет, но чтобы увидеть это, нужно различить два разных режима, в которых знак <<$0$>> работает. Часть II и Часть III говорят о разном, и знак <<$0$>> несёт у них разный онтологический статус именно потому, что режимы разные.

Два режима знака <<нуль>>

В Части II знак <<$0$>> работал в режиме счёта. Вопрос там стоял: сколько актов различения совершено? И нуль был ответом <<ни одного>> — отметкой отсутствия совершённого. В этом режиме нуль и вправду не число: он не считает, он метит, что считать нечего. Так его и установила Глава II.1, и Часть III этого не отменяет.

В Части III знак <<$0$>> работает в ином режиме — в режиме разметки. Вопрос здесь не <<сколько совершено>>, а <<от какой точки вести отсчёт>>. И нуль разметки есть ответ на этот, другой вопрос: это та точка, которая выбрана опорой. Выбрать опору — позитивный акт (§ 1.3); опора есть наличная точка ряда, не отсутствие. В режиме разметки нуль не метит пустоту — он именует выбранное начало отсчёта.

Один знак, два режима, два онтологических статуса. В режиме счёта <<$0$>> — отметка отсутствия; в режиме разметки <<$0$>> — имя выбранной опоры. Это не два противоречащих утверждения об одном предмете, а одно наблюдение о том, что знак <<$0$>> употреблён в двух разных делах. Спросить <<так нуль есть отсутствие или наличная точка?>> значит не заметить, что вопрос недоопределён: смотря в каком режиме. В счёте — отсутствие. В разметке — опора.

ToS такие смены режима не оставляет молчаливыми, а проговаривает. Стандартная математика пользуется одним знаком <<$0$>> и в счёте, и в разметке, не отмечая перехода, — и оттого <<нуль>> кажется единым предметом с единым смыслом, хотя на деле работает в разных режимах. Глава отмечает переход прямо: начиная говорить о координатной разметке, она переходит из режима счёта в режим разметки, и знак <<$0$>> меняет вместе с режимом свой онтологический статус.

Знак <<нуль>> работает в двух режимах. В режиме счёта (Часть II) нуль есть отметка отсутствия совершённых актов и числом не является. В режиме разметки (Часть III) нуль есть имя опоры — выбранной точки наличного ряда, начала отсчёта. Это не противоречие, а смена режима: один знак употреблён в двух разных делах, и в каждом несёт свой онтологический статус. ToS проговаривает переход, который стандартная математика оставляет молчаливым.

Опора есть выбранная точка, не отсутствие

Стоит закрепить отдельно, ибо на этом стоит вся глава: опора координатной разметки не есть отсутствие.

Это видно и помимо ToS — из устройства любой обыденной шкалы. За нуль шкалы Цельсия взята точка замерзания воды. Точка замерзания воды — не <<отсутствие температуры>>, а вполне определённое физическое состояние, наличное и позитивное. За нуль шкалы Кельвина взято иное состояние — абсолютный нуль, — и это тоже состояние, а не пустота. Одна и та же физическая ось температур получает две разные разметки оттого, что за опору в них взяты две разные наличные точки. Если бы нуль шкалы был отсутствием, выбирать было бы не из чего и переносить опору было бы некуда; но опору переносят, и переносят именно потому, что за неё берут ту или иную наличную точку.

Так и нуль координатной разметки вообще. Он есть точка, выбранная опорой, — наличная, позитивно существующая. Отсутствие нельзя выбрать началом отсчёта: от отсутствия нечего отсчитывать. Отсчёт ведётся от чего-то, и это что-то есть.

Шаг

О шаге довольно краткого слова, ибо устроен он проще опоры.

Шаг есть единичная мера отклонения от опоры — то, чем измеряется, насколько позиция удалена от начала отсчёта. Выбрать шаг есть акт различения: различить некоторое отклонение как единичное, как меру для всех прочих. На шкале Цельсия за шаг взят один градус, на шкале расстояний — метр, на числовой оси — единица длины. Как и опора, шаг выбирается, и выбор этот позитивен: единичное отклонение есть наличная мера, не пустота.

Шаг разметки — та же единица, что и единица натурального ряда, лишь взятая в новом деле. В натуральном ряду единица была первым актом различения, началом счёта (Глава II.1). В разметке единица есть мера отклонения от опоры — один шаг. Это не два разных <<единицы>>, а одна, работающая в счёте и в разметке: и там и тут она есть единичное, наименьшее, дальше неделимое на этом уровне. К тому, что единица на ином уровне рассмотрения делится, глава вернётся не здесь — это предмет следующей главы, о рациональных числах.

Что построено

Опора и шаг разобраны. Разметка имеет начало отсчёта — опору, выбранную наличную точку, — и меру отклонения — шаг. Оба суть акты различения, оба позитивны. И знак <<$0$>>, именующий опору, не вступает в спор с нулём Части II: он работает в другом режиме.

Слово <<нуль>> к этому месту главы успело поработать в нескольких разных смыслах, и стоит свести их в таблицу — иначе разные нули смешаются:

Знак	Режим	Смысл
$0$ Части II	счёт актов различения	отметка отсутствия совершённого акта; лежит до ряда $N$
$0$ координаты	координатная разметка	выбранная опора — наличная точка, начало отсчёта
$0$ в паре $(a,b)$	технический счёт шагов	ноль шагов в данной стороне разности
Z0	стандартная $Z$	нейтральная позиция, нуль группы целых чисел

Все четыре записываются одним знаком $0$, но означают разное: первый — отсутствие акта; второй — выбранную точку отсчёта; третий — граничное значение счётчика шагов; четвёртый — нейтральный элемент арифметики. Первый и третий — технические нули, отметки отсутствия (счёта актов либо шагов); второй и четвёртый — позиции (опора разметки либо нуль группы). Глава пользуется всеми четырьмя, и смешать их значило бы запутать и онтологию, и арифметику.

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

Двусторонняя разметка

Позиции по обе стороны опоры

Опора и шаг выбраны (§ 1.4). Этого довольно, чтобы пройти саму разметку — ряд позиций, ради которого она и развёртывалась.

Позиция в разметке есть указание, на сколько шагов и по какую сторону от опоры взята точка. Сама опора есть позиция нулевая: ноль шагов отклонения. Точка в одном шаге от опоры по одну сторону есть позиция $+1$, в двух — $+2$, в трёх — $+3$. Точка в одном шаге по другую сторону есть позиция $-1$, в двух — $-2$, в трёх — $-3$. Всякая позиция полностью задаётся двумя вещами: числом шагов от опоры и стороной.

Стоит назвать прямо, что здесь не происходит. Не появляется никаких новых предметов сверх тех, что уже есть. Точки ряда наличны с Части II; опора выбрана среди них; <<позиция $-3$>> не есть новосозданная сущность, а лишь способ указать наличную точку — ту, что отстоит от опоры на три шага по сторону убывания. Разметка ничего не добавляет к ряду; она лишь даёт способ называть его точки относительно выбранного начала.

Порядок позиций

Позиции упорядочены, и порядок их наследуется прямо от порядка наличного ряда (Глава II.3).

Точки ряда стоят в отношении <<прежде — после>>. Опора есть одна из точек; позиции суть точки ряда, названные относительно опоры. Значит, и позиции стоят в том же отношении <<прежде — после>>, лишь прочитанном от опоры. Двигаясь от позиции к соседней в сторону роста — от $-2$ к $-1$, от $-1$ к опоре, от опоры к $+1$, от $+1$ к $+2$, — мы идём по ряду в одну сторону; двигаясь обратно — в другую. Позиция <<правее>> на разметке есть точка, которая в ряду <<после>>; позиция <<левее>> — которая <<прежде>>.

Порядок позиций потому не вводится особо: он есть порядок ряда, прочитанный от опоры. Опора в этом порядке не есть ни первая, ни последняя точка — она точка внутри, и оттого у неё соседи с обеих сторон. Этим двусторонность разметки и обеспечена (§ 1.3): опора выбрана внутри упорядоченного ряда, а у внутренней точки есть и <<прежде>>, и <<после>>.

Соглашение о знаках

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

Две стороны опоры онтологически равноправны. Обе суть стороны наличного упорядоченного ряда; ни одна не <<полнее>> и не <<первичнее>> другой по своему существованию. Назвать одну <<плюсом>>, другую <<минусом>> — значит сделать выбор, удобный для записи, но не вычитанный из природы разметки. По принятому соглашению положительной зовут ту сторону, в которую ряд растёт; но само это соглашение могло бы быть и обратным, и разметка осталась бы той же разметкой.

Знак при позиции, стало быть, несёт в себе две вещи разной природы. Он несёт сторону — и это содержательно: позиция $+3$ и позиция $-3$ суть разные точки, по разные стороны опоры. И он несёт соглашение — какую сторону пометить минусом; и это условно. Содержательно в знаке — что стороны две и что они различны; условно — которую как назвать. Смешать эти две вещи значит счесть, будто <<отрицательность>> есть свойство самой позиции, тогда как она есть лишь сторона, помеченная по соглашению минусом.

Здесь — окончательный ответ на вопрос § 1.1. Знак минуса в записи $-3$ не указывает на ущербное, <<минусовое>> существование. Он указывает на сторону: <<три шага от опоры по той стороне, которую соглашение пометило минусом>>. Сама позиция $-3$ есть наличная точка ряда и существует позитивно, как и всякая. Отрицательного существования нет; есть отрицательная сторона — и <<отрицательна>> она лишь по имени, данному соглашением.

Стоит заметить, что трудность, которую этот разбор снимает, не нова. Античная математика отрицательных чисел сторонилась: для неё число было кратностью, а кратность ниже отсутствия немыслима — ровно то затруднение, из которого исходил и § 1.1. Долгие века отрицательные числа принимались неохотно, как <<ложные>> или <<вымышленные>> корни. Перелом наметился, когда на них взглянули не как на сущности, а как на структуру: уже Гамильтон в 1837 году предложил видеть в них не особые величины, а элементы алгебраического построения. Координатное прочтение, к которому пришла настоящая глава, — продолжение этого поворота: отрицательное число есть позиция в разметке, а не сущность, существующая <<в минусе>>.

Асимметрия двух сторон

Две стороны опоры равноправны онтологически — ни одна не существует полнее. Но в одном отношении они не симметричны, и § 1.3 уже показал, в каком. Стоит свести это здесь воедино.

Плюс-сторона — сторона роста — потенциально неограниченна. Ряд растёт: за всякой его точкой есть следующая, ибо за всяким актом различения можно совершить следующий ($P4$). Сколько бы шагов в сторону роста ни было пройдено, можно сделать ещё один.

Минус-сторона потенциально неограниченна так же. Минус-позиция $-k$ есть, как показал § 1.3.3, координатное смещение на $k$ шагов в сторону, противоположную выбранной положительной, — позитивно заданное направленное смещение. И это смещение продлеваемо: за всякой минус-позицией есть следующая — ещё на шаг дальше в ту же противоположную сторону. Продлить минус-сторону — значит продлить координатную запись, добавить ещё одно формальное смещение; и это так же законно, как продлить плюс-сторону. Никакого <<дна>>, в которое минус-сторона упиралась бы, нет: дно было бы у неё, лишь читай мы $-k$ как спуск по наличным точкам ряда ниже первого акта, — но именно такое онтологическое прочтение § 1.3.3 и отверг. Как координатное смещение минус-сторона не ограничена ничем.

Стало быть, двусторонняя разметка симметрична как координатная система: обе стороны суть формальные смещения от опоры, обе продлеваемы одинаково, ни одна не конечнее другой. Но симметрия эта — симметрия координатной записи, а не симметрия двух способов существовать. Асимметрия плюса и минуса есть — и она в статусе сторон, не в их протяжённости. Плюс-сторона совпадает с направлением порождения натурального ряда: идти в плюс значит идти туда же, куда растёт ряд актов различения. Минус-сторона есть чисто координатная ориентация — противоположная, зеркальная; ей в порождении ряда ничего прямо не отвечает, она есть направление, заданное выбором разметки. Обе стороны как смещения равноправны и равно бесконечны; разнятся они тем, что одна держится за онтологический рост ряда, а другая есть его координатное зеркало.

{Две стороны опоры онтологически равноправны: ни одна не существует полнее. Знак при позиции несёт сторону — содержательно — и соглашение, какую сторону пометить минусом, — условно. Как координатная система разметка симметрична: обе стороны суть формальные смещения от опоры, обе продлеваемы одинаково, минус-сторона не упёрта ни в какое дно. Асимметрия плюса и минуса не в конечности одной из сторон, а в их статусе: плюс-направление совпадает с направлением порождения ряда, минус-направление есть чисто координатная, противоположная ему ориентация. Симметрия $Z$ есть симметрия координатной записи, не симметрия позитивного и отрицательного существования.}

Что построено

Разметка пройдена. Есть опора — выбранная точка наличного ряда; есть шаг — мера отклонения; есть позиции по обе стороны опоры, упорядоченные порядком ряда, со знаком, несущим сторону. И есть асимметрия сторон — не в протяжённости, а в статусе: плюс совпадает с направлением порождения ряда, минус есть его координатное зеркало; обе стороны как смещения равно продлеваемы.

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

Формальная конструкция

Целые числа в стандартной библиотеке

Двусторонняя разметка пройдена прозой; запишем её формально. Целые числа ToS не строит заново: для них есть готовая конструкция в стандартной библиотеке Rocq, и ToS берёт её как рабочий инструмент.¹

Тип целых чисел задаётся тремя конструкторами:

Inductive Z : Set :=
  | Z0   : Z
  | Zpos : positive -> Z
  | Zneg : positive -> Z.

Три конструктора отвечают трём частям разметки. Z0 есть опора — нулевая позиция. Zpos n есть позиция в $n$ шагов по одну сторону опоры; Zneg n — позиция в $n$ шагов по другую сторону. Тип positive — это ненулевые натуральные числа, кратность шагов отклонения; нулю шагов отвечает не Zpos и не Zneg, а сама опора Z0. Запись разметки прямая: опора и две стороны, и кратность шагов по каждой стороне.

Конструкция через пары

Стандартная библиотека — не единственный способ записать целые числа. Есть и другая конструкция, теоретическая, и она онтологически прозрачнее для координатной разметки. Стоит привести её, ибо она проясняет, чем целое число является.

Целое число можно задать как класс эквивалентности пар натуральных чисел. Пара $(a,b)$ читается так: $a$ шагов отклонения по одну сторону и $b$ шагов по другую. Результирующая позиция есть $a-b$ — куда и на сколько в итоге сместились. Две пары задают одну и ту же позицию, когда итог их смещений совпадает; формально — $(a,b)$ и $(c,d)$ равнозначны тогда и только тогда, когда $a+d=b+c$. Целое число есть класс таких равнозначных пар: класс $[(a,b)]$ отвечает позиции $a-b$.

Здесь нужна оговорка о статусе нуля. Чтобы пара $(0,3)$ задавала $-3$, а $(3,0)$ — $+3$, в парах нужен нуль как допустимое число шагов. Но Часть II установила, что натуральный ряд ToS есть $N=\{1,2,3,\dots \}$, и нуль в него не входит (Глава II.1). Противоречия здесь нет: в конструкции через пары используется не первичный натуральный ряд, а технический счёт шагов — $N_0=\{0,1,2,\dots \}$, допускающий нулевую кратность шага. И нуль в нём означает не <<число совершённого акта>> и не первичное натуральное число, а отсутствие шагов в данной стороне разности: пара $(0,3)$ говорит <<ноль шагов в одну сторону, три в другую>>. Это — тот же технический нуль, что и нуль-граница Части II: отметка отсутствия, не положительный счёт. Первичность единицы (Глава II.1) тем не отменяется: первичный ряд по-прежнему начинается с единицы, а $N_0$ есть служебная надстройка для записи разностей, где нулю позволено быть граничным значением счётчика шагов.

Эта конструкция прозрачна вот чем. Пара $(a,b)$ прямо записывает результирующее смещение относительно опоры — сколько шагов в одну сторону, сколько в другую. А класс эквивалентности отражает то, что одна и та же позиция записывается разными парами: $(5,3)$ и $(7,5)$ обе означают <<два шага в сторону роста>>, ибо $5-3=7-5$. Позиция в разметке не зависит от того, какой именно парой она записана, — и класс эквивалентности есть формальная запись этой независимости.

Стоит увидеть, что даёт эта конструкция для понимания минуса. Целое число предстаёт здесь не точкой <<ниже>> натурального ряда, а формальной разностью двух положительно заданных кратностей — $a$ шагов и $b$ шагов. Отрицательность возникает не как отрицательное существование, а как результат сравнения двух позитивных счётов: $a-b=-3$, когда $b$ превышает $a$ на три. Оба счёта — $a$ и $b$ — позитивны; <<минус>> есть лишь итог их сравнения. И именно поэтому конструкция через пары строит полную группу целых чисел, а не какую-либо ограниченную <<минус-сторону>>: разность $a-b$ определена для любых $a,b$, и отрицательные значения она даёт без всякой нижней границы — ровно как и положительные. Пары поддерживают то прочтение целого числа, к которому пришёл § 1.3.3: ориентированное смещение, формальная разность, а не спуск ниже наличного.

Обе конструкции — через три конструктора и через классы пар — равнозначны: задают один и тот же тип целых чисел. Rocq пользуется первой как вычислительно удобной; вторую ToS держит как онтологическое прочтение — целое число есть результирующее смещение от опоры, формальная разность двух позитивных счётов.

Симметрия записи и три режима целого числа

Здесь стоит сказать прямо, в каком смысле формальная запись Z симметрична и согласуется ли эта симметрия с онтологией главы.

Тип Z стандартной библиотеки симметричен: Zpos и Zneg устроены одинаково, обе стороны принимают любую кратность шагов positive, и никакого <<дна>> у минус-стороны в типе не отражено. Запись Z рисует целые числа прямой, продлеваемой в обе стороны одинаково.

И эта симметрия — верна. Она согласуется с тем, что глава установила в § 1.3.3 и § 1.5.4: минус-сторона есть вторая координатная ориентация, формальное смещение, продлеваемое так же, как плюс-сторона; никакого онтологического <<дна>> у неё нет. Тип Z, записывая обе стороны одинаково, записывает разметку правильно: как симметричную координатную систему. Симметрия Z есть симметрия координатной записи — и именно такова разметка целых чисел.

Но симметрия эта — не симметрия двух способов существовать, и здесь важно не спутать уровни. Координатная симметрия Z не означает, будто <<положительное>> и <<отрицательное>> существование равноправны как два рода бытия: отрицательного существования нет вовсе (§ 1.1). Симметрична запись — две ориентации смещения равноправны и равно продлеваемы; асимметричен статус сторон — плюс совпадает с направлением порождения ряда, минус есть его координатное зеркало (§ 1.5.4). Тип Z несёт первое — симметрию записи — и несёт верно; второе — асимметрию статуса — проговаривает проза главы. Это не расхождение инструмента с онтологией, а разделение труда: запись фиксирует координатную структуру, текст называет онтологический статус сторон.

Удобно свести воедино три режима, в которых целое число — и вместе с ним <<отрицательное>> — предстаёт по-разному:

Режим	Что такое отрицательное	Минус-сторона
онтологический счёт предметов	невозможно как предмет: предметов не бывает <<в минусе>>	ниже нуля ничего нет
координатная разметка	ориентация смещения относительно опоры	вторая ориентация, продлеваема
формальные целые $Z$	ориентированное смещение / формальная разность двух позитивных счётов	неограниченна, как и плюс

Первый режим — режим Части II и § 1.1: предмета <<в минусе>> не бывает. Второй и третий — режим настоящей главы: минус есть координатная ориентация, и в формальной записи $Z$ она продлеваема без границы. Глава не выбирает между режимами и не объявляет один истинным, а другой ложным; она различает их и показывает, что вопрос <<сколько предметов>> и вопрос <<какая позиция>> суть разные вопросы (§ 1.2). Тип Z формализует третий режим, и формализует его точно.

Целые числа ToS берёт готовыми из стандартной библиотеки Rocq: тип Z с тремя конструкторами — опора Z0 и две стороны Zpos, Zneg. Равнозначная конструкция через классы пар прочитывает целое число как формальную разность двух позитивных счётов. Симметрия Z верна — это симметрия координатной записи, и разметка целых чисел такова. Асимметричен не объём сторон, а их статус: плюс совпадает с порождением ряда, минус есть координатное зеркало; это — то, что к симметричной записи добавляет проза главы.

Что записано

Двусторонняя разметка получила формальную запись. Дальше глава обращается к тому, что над целыми числами совершается, — к сложению и, в особенности, к умножению с его правилом знаков, которое обыкновенно заучивают, а ToS выводит.

Целое число: позиция и разность

Умножение есть повторение смещения

Над целыми числами совершают сложение и умножение. Сложение прозрачно: сложить два целых числа значит совершить одно смещение от опоры, а затем от полученной позиции — другое. Умножение требует разбора, и в особенности — правило знаков, которое обыкновенно заучивают, а ToS выводит.

Возьмём умножение в координатном прочтении. Умножить целое число $a$ на целое число $b$ значит повторить смещение $a$ ровно $b$ раз. Если $a$ есть смещение на два шага в сторону роста, то $a$, повторённое три раза, — смещение на шесть шагов в сторону роста: $2\times 3=6$. Умножение есть повторение смещения, и результат — итоговая позиция, в которую повторённое смещение приводит.

Пока оба множителя суть смещения в сторону роста, всё идёт прямо. $2\times 3$ — смещение на два шага туда, повторённое три раза, — позиция $6$. Сложность — и правило знаков — начинается там, где в дело входит сторона.

Множитель несёт направление повторения

Разберём, что вносит в умножение знак каждого из множителей. И начать нужно с того, что в умножении два множителя играют разные роли.

Первый множитель, $a$, — это смещение, которое повторяют. Его знак есть сторона смещения: $+2$ — смещение на два шага в сторону роста, $-2$ — на два шага в сторону убывания.

Второй множитель, $b$, — это не смещение. Это указание, как повторять смещение $a$. И у этого указания, как у всякого направленного действия, есть своя сторона. Положительный $b$ означает: повторять смещение $a$ прямо — так, как оно задано. Отрицательный $b$ означает: повторять смещение $a$, обратив его направление. Это удобно сказать и точнее, связав с противоположным смещением: повторить $a$ отрицательное число раз значит повторить противоположное смещение $-a$ соответствующее положительное число раз. Знак второго множителя несёт не сторону смещения, а сторону самого повторения: прямо или с разворотом, — и разворот есть переход к противоположному смещению. В привычной записи это даёт $a\cdot (-n)=-(a\cdot n)$ и $(-a)\cdot (-n)=a\cdot n$.

Это не два разных умножения и не особое правило для отрицательных чисел. Это одно умножение — повторение смещения, — в котором у повторения, как у направленного действия, две стороны, ровно как две стороны были у разметки (§ 1.5). Первый множитель задаёт, что повторять; второй — сколько раз и в какую сторону.

Здесь нужна оговорка, иначе ролевое прочтение можно понять сильнее, чем оно есть. Разные роли двух множителей — смещение и указание повторять — суть приём изложения, способ понять правило знаков, а не утверждение, будто $a\times b$ и $b\times a$ имеют разную онтологическую природу. Умножение целых чисел коммутативно: $a\times b=b\times a$, и это доказанная теорема стандартной арифметики, которую ToS не оспаривает. Чтобы вывести правило знаков, глава временно читает первый множитель как смещение, а второй — как оператор повторения; но по построении операции доказывается, что результат от такого ролевого чтения не зависит — умножение симметрично по множителям. Ролевое чтение — леса, по которым возводится понимание правила знаков; возведённое правило стоит и без лесов, и коммутативность остаётся в силе.

Правило знаков

Теперь правило знаков выводится прямо — разбором четырёх случаев.

Пусть смещение есть два шага, повторений — три. Плюс на плюс: $(+2)\times (+3)$ — смещение на два шага в сторону роста, повторённое прямо три раза, — позиция $+6$. Минус на плюс: $(-2)\times (+3)$ — смещение на два шага в сторону убывания, повторённое прямо три раза, — позиция $-6$. Плюс на минус: $(+2)\times (-3)$ — смещение на два шага в сторону роста, повторённое с разворотом три раза; разворот обращает каждый шаг, и смещение в сторону роста, повторяемое с разворотом, ведёт в сторону убывания, — позиция $-6$.

Минус на минус: $(-2)\times (-3)$. Смещение — два шага в сторону убывания. Повторение — с разворотом. Разворот обращает направление смещения: смещение в сторону убывания, повторяемое с разворотом, ведёт в сторону роста. Три повторения — позиция $+6$.

Вот и правило: $(-)\times (-)=(+)$. Оно не заучивается и не вводится соглашением. Оно выводится из того, что повторение есть направленное действие с двумя сторонами: отрицательный множитель разворачивает направление, а два разворота — разворот смещения и разворот, внесённый вторым отрицательным множителем, — возвращают в исходную сторону. Минус на минус есть плюс потому, что обратить направление дважды значит вернуться к исходному направлению. Это структурное свойство двусторонности, не алгебраическая условность.

Умножение целых чисел есть повторение смещения. Первый множитель есть смещение, его знак — сторона смещения. Второй множитель есть указание, как повторять, его знак — сторона повторения: прямо или с разворотом. Правило $(-)\times (-)=(+)$ выводится отсюда: два разворота направления возвращают к исходному направлению. Правило знаков — структурное свойство двусторонней разметки, а не заученное соглашение.

Целое число: позиция и разность

Глава прошла целое число как позицию — точку в двусторонней разметке. Стоит, завершая, заметить, что у целого числа есть и другая сторона, и зависит она от того, на каком уровне его рассматривать.

Взятое как позиция, целое число атомарно: оно есть просто точка разметки, и внутреннего устройства у него на этом уровне нет. Для счёта — сложения, умножения — этого довольно: складывают и умножают позиции, не заглядывая внутрь.

Но § 1.6 показал и другое прочтение: целое число есть класс пар $[(a,b)]$, результирующее смещение — $a$ шагов в одну сторону, $b$ в другую, итог $a-b$. Взятое так, целое число есть разность — и тогда оно не атом, а система: в нём есть внутреннее различение между составляющей одной стороны и составляющей другой. Позиция $+2$ как атом есть просто точка; та же $+2$ как разность есть $5-3$, или $7-5$, или иная пара с тем же итогом.

Это не противоречие, а смена уровня рассмотрения — та самая, что Часть II отметила для числа и системы вообще. Одно и то же целое число атомарно на уровне позиции и составно на уровне разности; какой уровень брать, решает задача. Для арифметики довольно позиции-атома. Для построения групповой структуры — где целые числа предстанут первой аддитивной группой, а противоположный элемент получит точное определение через операционную обратимость, — понадобится помнить, что целое число есть разность. Но это — предмет не настоящей главы, а Части, посвящённой алгебре.

Что пройдено

Над целыми числами пройдены сложение и умножение; правило знаков выведено. И целое число увидено с двух сторон: как позиция-атом и как разность-система. Остаётся свести главу воедино и наметить, куда она ведёт. Это — предмет заключительного раздела.

Итог. Переход к рациональным

Что прошла глава

Глава прошла целые числа — и прошла их не как новый сорт чисел, введённый по уговору, а как координатную разметку, развернувшуюся из акта различения.

Начала глава с принципа позитивного существования: само существование не бывает отрицательным; нет онтологического статуса ниже отсутствия; знак минуса есть координатная разметка — и его нельзя смешивать ни с логическим отрицанием, ни с алгебраической обратимостью (§ 1.1). Отсюда было разведено два рода вопросов о числе — онтологический и координатный, — и показано, что отрицательное число есть ответ на координатный вопрос: не предмет, а позиция (§ 1.2). Затем глава проследила, как разворачивается сама разметка: выбор опоры в наличном ряду есть один акт различения, а двусторонность получается оттого, что опора выбрана внутри упорядоченного ряда (§ 1.3). Опора и шаг были разобраны как два позитивных акта, и двойной статус нуля — отсутствие в счёте, опора в разметке — разрешён как смена режима (§ 1.4). Пройдена двусторонняя разметка: позиции, их порядок, соглашение о знаках (§ 1.5). Дана формальная запись — тип $Z$ стандартной библиотеки и конструкция через пары (§ 1.6). И выведено правило знаков — как структурное свойство двусторонности, не как заученное соглашение (§ 1.7).

Стоит сказать прямо о формальной стороне этой главы и о её отличии от глав Части II. Главы Части II опирались на собственные файлы Rocq-репозитория ToS — Distinction.v, PrimalityOfOne.v, Binarity.v и другие, — в которых натуральный ряд и его устройство выведены и доказаны. Для целых чисел такой отдельный файл ToS теперь есть: CoordinateIntegers.v строит собственную координатную конструкцию целого (как формальной разности) и доказывает её изоморфизм готовому типу Z из ZArith (§ 1.6.1). Машинно проверены и эта конструкция, и её изоморфизм Z — не только сам стандартный Z. Онтологическое содержание главы — то, что отрицательное число читается как координатная позиция и формальная разность, а не как отрицательное существование, — несёт проза над этой машинной конструкцией; стандартный Z остаётся целью изоморфизма.²

Целое число есть позиция

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

Это снимает то непонимание, ради которого глава и писалась. <<Минус три>> не есть <<меньше, чем ничего>>, не есть ущербное или отрицательное существование. <<Минус три>> есть позиция — наличная точка ряда, отстоящая от опоры на три шага по той стороне, которую соглашение пометило минусом. Как позиция она существует позитивно, наравне со всякой. Целые числа не прибавляют к миру <<отрицательных предметов>>; они задают систему позиций, в которой осмысленно говорить о точках по обе стороны опоры.

И глава отметила собственный результат ToS, уточняющий привычную картину. Целые числа симметричны как координатная система: обе стороны опоры суть формальные смещения, продлеваемые одинаково, ни одна не конечнее другой. Но симметрия эта — симметрия координатной записи, не симметрия двух способов существовать. Знак минуса не означает второй, отрицательной области существования: он означает противоположную ориентацию формального смещения относительно опоры. Асимметрия плюса и минуса всё же есть — но не в объёме сторон, а в их статусе: плюс-направление совпадает с направлением порождения натурального ряда, минус-направление есть чисто координатное, противоположное ему зеркало. Симметрия $Z$ есть симметрия координатной записи, а не симметрия позитивного и отрицательного существования; отрицательного существования нет вовсе, а есть отрицательная сторона разметки.

Разбор E/R/R: целое-позиция как система

{ Сведённое к позиции (§ 1.8.2) целое стоит разобрать по E/R/R (Часть I): разбор закрепляет, почему минус не есть отрицательное существование. Оговорка о статусе: у этой главы теперь есть свой файл-якорь — CoordinateIntegers.v (§ 1.8.1) строит запись целого как формальной разности (Record FormalDiff) и доказывает её изоморфизм стандартному Z. Потому <<система>> здесь — координатная разметка с собственной машинной конструкцией (FormalDiff), изоморфной Z; машинно проверены и сам Z, и изоморфизм. Стандартный Z остаётся целью изоморфизма (§ 1.6.1). Ведём разбор в онтологическом порядке Rules $\to$ Roles $\to$ Elements.}

Rules — правила (законы $L5$, $L2$, $L3$). Конституция разметки — опора (выбор точки в наличном ряду) и шаг (единичное смещение); двусторонность следует из выбора опоры внутри упорядоченного ряда (§ 1.3–1.5). К ним — правило знаков: умножение есть повторение смещения, $(-a)\cdot (-n)=a\cdot n$ — структурное свойство двусторонности, не заученное соглашение (§ 1.7). И эквивалентное правило: целое как формальная разность двух позитивных счётов (пары с отождествлением $a+d=b+c$, § 1.6.2). Универсальные $L1$–$L5$ действуют; отличительны $L5$ (порядок позиций) и $L2$/$L3$ (ровно две стороны опоры).

Roles — значимость позиций (закон $L4$). Целое — роль позиции: точка относительно опоры, по ту или иную сторону, на столько-то шагов. Знак — роль ориентации: какая сторона опоры. Нуль здесь — роль опоры (начало отсчёта), отличная от нуля-счёта Части II (§ 1.4). И ролевая асимметрия: плюс-сторона совпадает с направлением порождения ряда, минус — её координатное зеркало; стороны равно продлеваемы, разнятся статусом (§ 1.8.2).

Elements — носители (закон $L1$ и принцип $P4$). Элементы — позиции (равно: формальные разности), сложенные из опоры и шагов; материал шагов — натуральные счёты Части II. По $L1$ каждая позиция тождественна себе. По $P4$ всякое целое есть конечное смещение от опоры — конечное число шагов в одну сторону, — хотя обе стороны продлеваемы неограниченно.

Сведём разбор в таблицу.

Компонент	Что фиксирует	E/R/R
опора $+$ шаг; двусторонность; правило знаков	конституция разметки	Rule
формальная разность (пары, $a+d=b+c$)	целое как разность	Rule
позиция относительно опоры; знак = ориентация	роль места и стороны	Role
статус: плюс — порождение, минус — зеркало	асимметрия ролей	Role
позиции/разности (над $N$; формально Z)	носители ($P4$)	Element
законы $L1$–$L5$ (здесь $L5$, $L2$/$L3$)	универсальный слой	Rule (универс.)

{ Хорошая сформированность. Разметка однозначна: позиции — элементы, место и ориентация — роли, опора-шаг и знаки — правила. Соблюдён $P1$: позиции суть точки внутри разметки относительно опоры, а нуль-опора не смешан с нулём-счётом (§ 1.4). И здесь разбор оборачивается диагностикой. <<Минус три>> как <<меньше, чем ничего>>, как отрицательный предмет — это смешение категорий: знак минуса есть координатная роль (ориентация относительно опоры), а не элемент-объект отрицательного существования. В мире нет <<минус трёх яблок>> — есть позитивное обязательство величиной три, записанное со знаком минус (§ 1.1.2). И три вещи нельзя смешивать: знак минуса (координата), логическое отрицание ($\neg P$), алгебраическую обратимость (§ 1.2.1). Симметрия Z — симметрия координатной записи, не двух способов существовать.}

Что даёт разбор. Целое — снова роль (позиция), как число на структурном пути (Глава II.5), но теперь двусторонняя: к месту добавилась ориентация. <<Отрицательного существования>> нет — есть отрицательная сторона разметки; так E/R/R снимает мнимый парадокс отрицательного числа, удержав принцип позитивного существования (§ 1.1). И тем же ходом задаётся линия Части III: координатная разметка построена с целым шагом; следующая глава сделает шаг дробным и развернёт рациональные числа.

Чего разметка ещё не даёт

Глава прошла одну сторону природы координатной разметки — двусторонность. Но в разметке есть и другое, чего целые числа ещё не дают.

Целые числа размечают позиции целым шагом: опора, один шаг, два, три. Между опорой и позицией $+1$ нет ни одной отмеченной точки; шаг неделим, и разметка идёт по нему, как по неделимой мере. Но если взять акт различения с ещё одной стороны — спросить не <<по какую сторону и на сколько целых шагов>>, а <<что лежит внутри шага>>, что значит треть шага, две пятых шага, — развернётся ещё одна сторона разметки. Не двусторонность, а соразмерность: разметка с дробным шагом, в которой осмысленно говорить о позициях между целыми.

Это — следующее, что разворачивается из акта различения, и это даст рациональные числа.

Переход к рациональным числам

Целые числа дали двустороннюю координатную разметку. Натуральный ряд занял в ней одну сторону от опоры; другая сторона — позиции, смещённые в противоположную ориентацию. Разметка двусторонняя, но шаг её целый и неделимый.

Следующая глава возьмёт акт различения со стороны соразмерности и проследит, что разворачивается, когда шаг разметки делается дробным. Так развернутся рациональные числа — координатная разметка с соразмерным шагом. Им посвящена Глава III.2.

---

---

Часть: Часть III. От натуральных к рациональным · Том: «Математика»

Понятия: Формализация

Навигация: ← Глава 5. Структурный путь: число как позиция в системе — Часть II · Глава 2. Рациональные числа →

Footnotes

1. Тип Z целых чисел определён в стандартной библиотеке Rocq — в модуле ZArith. В отличие от файлов Rocq-репозитория ToS, на которые ссылались главы Части II, ZArith есть часть самого Rocq, не репозитория ToS. Здесь и далее различаются эти два источника: стандартная библиотека Rocq и репозиторий ToS. ↩

2. Именно: CoordinateIntegers.v записывает целое как формальную разность (Record FormalDiff с двумя полями — счётами шагов по двум сторонам — и эквивалентностью по правилу $a+d=b+c$) и доказывает её изоморфизм стандартному Z (fd_to_Z/fd_of_Z), а правило знаков $(-a)(-b)=ab$ — как теорему о FormalDiff (13 лемм, 0 аксиом). Стандартный Z остаётся целью изоморфизма; своя координатная конструкция теперь машинно построена над ним. ↩