Что означает двоеточие в геометрии
Перейти к содержимому

Что означает двоеточие в геометрии

  • автор:

Научный форум dxdy

Двоеточие в формуле на языке теории множеств

Двоеточие в формуле на языке теории множеств

25.01.2019, 18:04

Последний раз редактировалось ktyz1992 25.01.2019, 18:05, всего редактировалось 1 раз.

Здравствуйте. Начал читать книгу по теории математической логике и теории множеств и наткнулся на обозначение ранее по тексту не введённое (а именно, двоеточие в формуле на стр. 12): \bigcup_<i<\in>I>A_=\i<\in>I:x<\in>A_\>» />. Читаю так: «Множеством <img decoding=«. Подскажите пожалуйста, как понимать это двоеточие.

Re: Двоеточие в формуле на языке теории множеств

25.01.2019, 18:07

Заслуженный участник

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

Формализация математики

В математике аксиомы определяют объекты и их свойства. Новые утверждения (теоремы) доказываются при помощи логических рассуждений. Подобная схема впервые проявилась в книгах Евклида, в частности, при описании геометрии.

Пятая аксиома о параллельных прямых (не имеющих общей точки) выглядела сложнее остальных аксиом: «через всякую точку, не лежащую на данной прямой, проходит только одна, параллельная ей прямая». На протяжении более двух тысячелетий длилась безрезультатная борьба за её доказательство (вывод из остальных аксиом). Пятая аксиома оказалась всё же независимой, однако попытки построить её доказательство привели к неевклидовым геометриям и более глубокому пониманию как структуры математического здания, так и возможных свойств физического пространства.

Впрочем, на самом деле «доказательств» было множество. Внешне они выглядели безупречными, однако при более внимательном рассмотрении выяснялось, что в них неявно используется то или иное очень «естественное» допущение. Например, что может быть «очевиднее» существования треугольников со сколь угодно большой площадью? Однако нет ничего более неочевидного, чем очевидные истины.

Со временем возникла потребность так формализовать теории и методы доказательств, чтобы ни какие незаметно привнесённые «очевидности» не портили её логической стройности. В частности, по-возможности необходимо отказаться от естественного языка с присущей ему неоднозначностью. Блестящим примером подобного подхода явились «Основания геометрии» и последующие работы Давида Гильберта.

Формализация геометрии

Геометрия на плоскости родилась из построений при помощи линейки и циркуля. С формальной точки зрения это теория о точках и прямых. Эти сущности или предметы не наделяются образными свойствами («не имеет ширины» и т.п). Просто рассматриваются объекты двух видов. Первые обозначаются латинскими буквами \(x\), \(y\). и называются точками, а вторые — греческими \(\alpha\), \(\beta\). и называются прямыми.

Предметы вступают в определённые отношения, которые в геометрии соответствуют словам «лежать», «параллельны», «между» и т.д. Чтобы избежать неоднозначности естественного языка, эти отношения записывают при помощи формальных обозначений. Например, фразы «точка \(x\) лежит на прямой \(\alpha\)» или «прямая \(\alpha\) проходит через точку \(x\)» кодируются функцией с именем «\(\in\)». Она имеет два аргумента. Первый — имя точки, а второй — имя прямой: \(\in(x,\alpha)\).

Для данных \(x\) и \(\alpha\) такая функция считается либо истинным утверждением (если \(x\) действительно принадлежит \(\alpha\)), либо ложным (в противном случае). Подобные логические функции, значения которых бинарны (истина/ложь) называются предикатами. Их аргументы — это предметные величины, т.е. сущности с которыми оперирует теория. В случае плоской геометрии это точки и прямые.

Предикаты с двумя аргументами часто записывают в операционном виде, когда имя предиката помещается между его аргументами как операция. Так, \(x \in \alpha\) — это то-же, что и \(\in(x,\alpha)\).

При помощи одних предикатов (отношений между объектами = логических функций = высказываний об объектах) можно определять другие. Для этого вводятся формальные замещения слов «И», «ИЛИ», «НЕ»:

\(A\,\&\, B\) : «И» (и \(A\), и \(B\), т.е. оба);
\(A \vee B\) : «ИЛИ» (или \(A\), или \(B\), или оба, т.е. хотя бы одно);
\(\neg A \) : «НЕ» (не \(A\); если \(A\) истинно, то \(\neg A\) — ложно).

Например, предикат от трёх сущностей: «прямая \(\alpha\) проходит через две точки \(x\) и \(y\)» можно определить следующим образом:

\[ L(x,\, y,\, \alpha)~~:$~(x \in \alpha) \, \& \, (y \in \alpha). \]

Двоеточие означает, что везде, где встречается \(L(x,\, y,\,\alpha)\), его необходимо заменить на строку \((x \in \alpha) \, \& \, (y \in \alpha)\).

Введём ещё два символа — заменители слов:

\(\forall \) : «любой» = «каждый» = «для всех» = квантор всеобщности
\(\exists\) : «существует по крайней мере один» = квантор существования

Теперь можно записывать различные геометрические утверждения. Например, фраза «для любых точек \(x\) и \(y\) существует по крайней мере одна прямая \(\alpha\), которая через них проходит» имеет вид: \[ \forall_x\, \forall_y\, \exists_\alpha\, L( x,\, y,\,\alpha), \] а предикат параллельности прямых \(\alpha\) и \(\beta\) определим как: \[ \alpha||\beta:~~~~\neg\exists_x\,(x\in\alpha~\&~x\in\beta). \]

Подобным образом записываются все аксиомы геометрии. Затем с ними проделываются формальные манипуляции для вывода новых формул. После перечисления аксиом и правил вывода, содержательная составляющая теории отходит на второй план. Построение доказательств и их проверка может быть проведена компьютером или марсианином, ничего не знающим о смысле букв \(x\), \(y\), \(\alpha\), \(\beta\), предиката \(x \in \alpha\), и ему подобных. Довнесение «очевидных» суждений, не заложенных в исходные аксиомы, при таком подходе уже практически невозможно.

Формализация арифметики

В каждой формальной теории фиксируется множество символов, при помощи которых записывают все утверждения. Так, для формулировки большинства фактов из теории натуральных чисел достаточно такого » алфавита«: \[ 0~~1~~x~~+~~\cdot~~=~~(~~)~~\neg~~\&~~\vee~~~\forall~~~\exists \] Символы «\(0\)», «\(1\)» являются предметными константами, обозначающими числа «ноль» и «один», «\(x\)» — переменная (произвольное число). Дополнительные переменные можно ввести при помощи повторений \(xx\), \(xxx\), и т.д., которые для краткости обозначают как \(x, y. \) или \(x_1, x_2. \).

Сложение «+» — это предметная функция двух переменных. Каждым двум числам она ставит в соответствие третье число: \(+(x,y)\) или \((x+y)\). При помощи константы «\(1\)» и функции «\(+\)» определяется множество других констант: \(2:~(1+1),~3:~((1+1)+1)\), и т.д. Аналогично, точка — это ещё одна функция \(x\cdot y\), имеющая смысл умножения чисел.

Символ » \(\neg~ \& ~\vee\)» (НЕ, И, ИЛИ) и кванторы — заменители слов «все» ( \(\forall\) ) и «существует» ( \(\exists\) ) — позволяют записывать произвольные формулы. Таким образом, математическое утверждение представляется строкой символов из данного алфавита.

Существуют простые способы (алгоритмы) отличить правильно построенную формулу: «\(\neg(x=y) \vee (x+1=y)\)» от неправильной: «\(\vee)\neg\&x\)». Правильность понимается в смысле «синтаксически верно», а не в смысле истинно! Так, компилятор распознает синтаксическую ошибку, сделанную при записи программы, хотя синтаксически верная программа может работать и не правильно, например, никогда не останавливаться.

Через предикат \(x=y\) определяются предикаты «не равно» и «меньше»:

\(x \neq y\) : \(\neg (x=y)\) ,
\(x

Аксиомы теории

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

\(\diamond\) Сложение в арифметике определяют аксиомы: \[ \begin \forall_x\,\bigr[\,x+1\neq 0\,\bigr],&~~~~~&\forall_x\,\forall_y\,\bigr[\,x+1\,\neq\, y+1~~\vee~~x=y\,\bigr],\\[2mm] \forall_x\,\bigr[\,x+0 = x\,\bigr], &~~~~~~&\forall_x\,\forall_y\,\bigr[\,x+(y+1)=(x+y)+1\,\bigr],\\ \end \] а умножение: \[ \begin \forall_x\,\bigr[\,x\cdot 0 = 0\,\bigr], &~~~~~~~~~&\forall_x\,\forall_y\,\bigr[\,x\cdot(y+1)=(x\cdot y)+x\,\bigr].\\ \end \] Предикат, утверждающий что число \(x\) является простым, имеет вид: \[ \mathrm(x):~~~\neg\exists_y\exists_z\,\bigr[\,y\neq 1~\&~z\neq 1~\&~x=y\cdot z\bigr]. \] Это уже определение, использующее функцию умножения. \(\square\)

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

Свободные и связанные переменные

В формулах необходимо различать свободные и связанные предметные переменные. Связанная переменная стоит под действием квантора «\(\exists_x\) » или «\(\forall_x\)». Если рассматривается конечная предметная область, состоящая только из трех предметных констант \(x = \\), то: \[ \exists_x A(x) = A(1) \vee A(2) \vee A(3),~~~~~~~~~~~~~\forall_x A(x) = A(1) \,\&\, A(2) \,\&\, A(3). \] Первое выражение утверждает, что «существует такой \(x\), что некий предикат \(A(x)\) истинен». Это значит, что истинно или \(A(1)\), или \(A(2)\), или \(A(3)\) (хотя бы что-то одно из \(\\), которое и «существует»). Аналогично для квантора «любой» истинными должны быть и \(A(1)\), и \(A(2)\), и \(A(3)\), т.е. все. Таким образом, наличие в формуле переменной, связанной с квантором, аналогично индексу суммирования и выражение (после явной записи «суммы») от нее не зависит. Как и суммационный индекс, связанную переменную можно обозначить любой буквой, которой еще нет в выражении.

Формулы без свободных переменных считаются либо истинными, либо ложными. Например, утверждение об отсутствии самого большого простого числа: \[ \neg\exists_x\forall_y\,\bigr[\,\mathrm(x)~\&~\mathrm(y)~\&~y\leqslant x\,\bigr] \] истинно, а его отрицание (наибольшее число \(x\) существует) — ложно.

Прежде чем подробнее изучать введенные понятия, напомним основные факты из теории множеств.

Двоеточие

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

  • разделяет слова автора и прямую речь;
  • ставится после обобщающего слова в обобщении («Удивляло и восхищало в нём всё: его манера говорить, его отношение ко всем, всегдашняя приветливость…») или предложениях с большим количеством однородных членов;
  • используется как символ, который вводит перечисление чего-либо (примером может служить данный список);
  • ставится между двумя частями сложного бессоюзного предложения, когда вторая часть предложения указывает на причину того, о чём говорится в первой, либо вторая часть поясняет первую, либо вторая часть дополняет одно из слов или словосочетаний первой.

В церковнославянской письменности двоеточие в целом эквивалентно русскому знаку «точка с запятой», но также используется и в функциях многоточия и даже точки на конце сокращений. Двоеточие как знак сокращения вообще было присуще старым европейским письменностям (в русском языке так было до середины XIX века); среди языков нового времени эта функция двоеточия сохраняется в шведском и финском, причём даже в середине слова: H:ki (Helsinki).

В фонетической транскрипции двоеточие после знака звука означает его долготу (в этом значении оно скорее является диакритическим знаком).

В современной армянской пунктуации двоеточие используется в конце предложения в качестве точки. Такое использование двоеточия известно также в римской, греческой, древнерусской письменности.

Математика

В математике двоеточие является одним из возможных обозначений операции деления (при этом симметрично отбивается с обеих сторон); в другом значении отделяет знак отображения и его область определения и множество значений: запись «f: AB» означает, что функция f отображает A на B (при этом пробел ставится только после двоеточия).

Информатика и вычислительная техника

В языках программирования двоеточие может иметь самые разнообразные применения. Может использоваться как самостоятельно, так и в составных обозначениях.

  • Самостоятельное двоеточие:
    • используется для описания размерностей массива (пределов изменения индекса) и для выделения части массива: a[5:10];
    • разделяет второй и третий операнды условного выражения a ? b : c, означающего «если условие a истинно, выбрать значение b, а иначе — значение c»;
    • указывает тип переменной: i : integer;
    • при определении меток ставится после них (Бейсик, Паскаль, Си, Verilog) или перед ними (пакетный файл в некоторых операционных системах);
    • в Бейсике также употребляется в качестве разделителя команд при записи их в одну строку;
    • в операторах выбора из нескольких альтернатив (switch, case и т. п., в зависимости от языка) отделяет описание условий применимости отдельного случая от действий, которые при этом должны выполняться;
    • в некоторых операционных системах ставится в (иерархических) именах после названия (метки) физического или логического устройства: C:\MYDIR\A.TXT, prn: и т. п. По этой причине двоеточие не может быть использовано в имени файла;
    • в некоторых операционных системах (например Mac OS) используется для указания иерархических путей к файлу;
    • в языке Verilog двоеточие после ключевого слова начала блока (begin, fork) означает, что этот блок является именованным, и после такого двоеточия пишется имя блока;
    • в командных языках некоторых операционных систем отделяет название ключа от его значения;
    • в вики-разметке используется, например, в следующих ролях:
      • для ссылок из одного проекта на другой (так называемых «интервики»), в том числе на иноязычные разделы Википедии;
      • в ссылках внутри одного проекта отделяет указание пространства имён от индивидуального названия страницы (личной или служебной);
      • в начале абзаца является символом форматирования, обозначающим, что этот абзац должен выводиться с отбивкой от левого края полосы текста (величина отбивки пропорциональна числу двоеточий).
      • после ввода двоеточия в поле «Поиск» осуществляется переход на главную страницу данного Вики-проекта.
      • в сочетании со знаком равенства применяется для записи оператора присваивания: x := x+1;
        • в близкой роли в некоторых системах записи формальных грамматик используется сочетание ::= с двумя двоеточиями;

        Код двоеточия в ASCII, Юникоде и большинстве других кодировок — U+003A.

        Литература

        • Двоеточие // Энциклопедический словарь Брокгауза и Ефрона: В 86 томах (82 т. и 4 доп.). — СПб. , 1890—1907.

        Ссылки

        • Орфографические правила употребления двоеточия на gramota.ru
        • Знаки препинания
        • Типографские знаки

        Wikimedia Foundation . 2010 .

        Знак деления

        Знак деления — математический символ в виде двоеточия (∶), обелюса (÷) или косой черты (∕), используемый для обозначения оператора деления.

        В большинстве стран используют двоеточие (∶), в англоязычных странах и на клавишах микрокалькуляторов — символ (÷). В связи с большими неудобствами и даже невозможностью введения полноценных дробей в компьютер во времена операционных систем без GUI использовали упрощённые знаки для формул, в том числе для знака деления использовали значок косой черты (⁄).

        Связанные понятия

        О́белюс, обел (÷) (лат. obelus — от греч. ὀβελός, тот же корень, что и обелиск) — небуквенный символ, внешне напоминающий объединение знаков минуса и двоеточия.

        Надстрочный знак, ве́рхний и́ндекс, суперскри́пт (англ. super script) (типографика) — знак, записанный выше основной строки. Применяется, например, при записи математических и химических формул.

        Знаки «плюс» и «минус» (+ и −) — математические символы, используемые для обозначения операций сложения и вычитания, а также положительных и отрицательных величин. Кроме того, они используются и для обозначения других понятий. Латинские термины plus и minus означают «более» и «менее» соответственно.

        Машинопи́сный апостро́ф (apostrophe, apostrophe-quote) — условное название знака, встречающегося на клавиатуре большинства пишущих машин с латинским шрифтом и компьютерных дисплеев. По историческим причинам лишь машинописный апостроф имеется на компьютерных клавиатурах и в 7-битовой кодировке ASCII. В качестве типографского символа он является суррогатом апострофа, кавычек, знака ударения, штриха (знака производной в математике, знака угловых минут и т. п.) и др. Часто смешивается с машинописным.

        Веду́щие нули́ в записи числа при помощи позиционной системы счисления — последовательность из одного или более нулей, занимающая старшие разряды. Понятие ведущих нулей возникает при использовании представлений чисел, имеющих фиксированное количество разрядов. В остальных случаях, как правило, ведущие нули не пишутся.

        Неразры́вный пробе́л (англ. non-breaking space) — элемент компьютерной кодировки текстов, отображающийся внутри строки подобно обычному пробелу, но не позволяющий программам отображения и печати разорвать в этом месте строку. Используется для автоматизации вёрстки, правила которой предписывают избегать разрыва строк в известных случаях (большей частью для удобочитаемости).

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

        Универсальная тригонометрическая подстановка, в англоязычной литературе называемая в честь Карла Вейерштрасса подстановкой Вейерштрасса, применяется в интегрировании для нахождения первообразных, определённых и неопределённых интегралов от рациональных функций от тригонометрических функций. Без потери общности можно считать в данном случае такие функции рациональными функциями от синуса и косинуса. Подстановка использует тангенс половинного угла.

        Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.

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

        Соверше́нная дизъюнкти́вная норма́льная фо́рма (СДНФ) — это такая ДНФ, которая удовлетворяет трём условиям.

        В математике, норма́льная фо́рма — простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями.

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

        Математические обозначения («язык математики») — сложная графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет (по своей сложности и разнообразию) значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор.

        Греческая система счисления, также известная как ионийская или новогреческая — непозиционная система счисления. Алфавитная запись чисел, в которой в качестве символов для счёта, употребляют буквы классического греческого алфавита, а также некоторые буквы доклассической эпохи, такие как ϝ (дигамма), ϟ (коппа) и ϡ (сампи). Одно из начертаний дигаммы внешне похоже на распространившуюся в византийскую эпоху лигатуру ϛ (ϲτ), поэтому распространилось заблуждение, что для записи числа 6 использовалась стигма.Эта.

        Календарная дата — порядковый номер календарного дня, порядковый номер или наименование календарного месяца и порядковый номер календарного года (Федеральный закон Российской Федерации от 3 июня 2011 г. № 107-ФЗ «Об исчислении времени»).

        Минускульные цифры (старостильные цифры, «строчные» цифры) — символы арабских цифр, по высоте близкие к строчным буквам и обладающие (кроме цифр 0, 1 и 2) верхними или нижними выносными элементами. Предназначены для использования вместе со строчными буквами в тексте для сплошного чтения.

        Дифференциа́л (от лат. differentia — разность, различие) в математике — линейная часть приращения дифференцируемой функции или отображения.

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

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

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

        При́знак Паска́ля — математический метод, позволяющий получить признаки делимости на любое число. Своего рода «универсальный признак делимости».

        Геометрическая алгебра — историческое построение алгебры во второй книге «Начал» Евкида, где операции определялись непосредственно для геометрических величин, а теоремы доказывались геометрическими построениями.

        Признаковое описание объекта (англ. feature vector) — это вектор, который составлен из значений, соответствующих некоторому набору признаков для данного объекта. Значения признаков могут быть различного, не обязательно числового, типа. Является одним из самых распространённых в машинном обучении способов ввода данных.

        Языком Дика (англ. Dyck language) над 2n буквами называется контекстно-свободный язык над алфавитом.
        Синглетон — множество с единственным элементом. Например, множество является синглетоном.

        Деление на ноль в математике — деление, при котором делитель равен нулю. Такое деление может быть формально записано а⁄0, где а — это делимое.

        В теории чисел квадратным треугольным числом (или треугольным квадратным числом) называется число, являющееся как треугольным, так и квадратным.

        Гиппокра́товы лу́ночки — серповидные фигуры, указанные Гиппократом Хиосским, ограниченные дугами двух окружностей.

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

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

        Функция принадлежности нечёткого множества — обобщение индикаторной (или характеристической) функции классического множества. В нечёткой логике она представляет степень принадлежности каждого члена пространства рассуждения к данному нечёткому множеству.

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

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

        Направленное множество в математике — непустое множество A с заданным на нем рефлексивным транзитивным отношением ≤ (то есть предпорядком), обладающее дополнительным свойством: у любой пары элементов из A есть верхняя грань в A.

        Группа Григорчука — первый пример конечнопорождённой группы промежуточного роста (то есть её рост быстрее полиномиального, но медленнее экспоненциального).

        Равноме́рная непреры́вность в математическом и функциональном анализе — это свойство функции быть одинаково непрерывной во всех точках области определения.

        Ма́ркер списка, бу́ллит, бу́ллет, бу́лит (•) (англ. bullet) — типографский знак, используемый для выделения элементов списка, как показано на примере ниже.

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

        Бесконечномерное пространство — векторное пространство c бесконечно большой размерностью.

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

        Звёздочка, или астери́ск (греч. ἀστέρισκος) — типографский знак в виде небольшой, обычно пяти- или шестиконечной звёздочки (*), расположенной в строке или поднятой над строкой.

        Полурешётка (англ. semilattice, до 1960-х годов также использовался термин полуструктура) в общей алгебре — полугруппа, бинарная операция в которой коммутативна и идемпотентна.

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

        Φ, φ (название: фи, греч. φι) — 21-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 500. От буквы «фи» произошла кириллическая буква Ф.

        Поляра точки P относительно невырожденной кривой второго порядка — множество точек N, гармонически сопряжённых с точкой P относительно точек M1 и M2 пересечения кривой второго порядка секущими, проходящими через точку P.

        Дискре́тное простра́нство в общей топологии и смежных областях математики — это пространство, все точки которого изолированы друг от друга в некотором смысле.

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

        Моноидальная категория (или тензорная категория) — категория C, снабженная бифунктором.

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

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *