Математична нотація

Математична нотація — це система символічних зображень математичних об'єктів та ідей. Вона використовується в математиці, природничих науках, техніці та економіці. Математичні нотації включають відносно прості символічні зображення, такі як числа 0, 1 та 2; змінні, такі як x, y або z; розділові символи, такі як «(» і «|»; символи функцій, такі як $sin$ (синус); символи операторів, такі як «+» і «−»; символи відношень, такі як «<» і «>»; концептуальні символи, такі як $lim$ і dy/dx; рівняння та складні схематичні позначення, такі як графічне позначення Пенроуза й діаграми Коксетера — Динкіна.

Визначення

Математична нотація — це система письма, яка використовується для запису понять в математиці.

У записі використовуються символи або символічні вирази, які мають точне смислове значення.
В історії математики ці символи позначають числа, форми, структури та зміни. Позначення також може включати символи для частин звичайного дискурсу між математиками, коли розглядають математику як мову.

Систематичне дотримання математичних понять є фундаментальним поняттям математичної нотації. (Дивись також деякі пов'язані поняття: аргумент, математична логіка і теорія моделей.)

Вирази

Алгебраїчний вираз — це послідовність символів, яку можна обчислити. Наприклад, якщо символи представляють числа, вирази обчислюються відповідно до звичайної черговості операцій, який передбачає обчислення, якщо це можливо, будь-яких виразів в дужках, за якими ідуть будь-які показники кореня, потім множення та ділення і будь-які додавання або віднімання. Все це робиться зліва направо. Комп'ютерною мовою ці правила реалізуються компіляторами. Детальніше про обчислення виразів див. розділи інформатики: спраглих оцінки, ліниві обчислення, і оператор оцінки.

Точне смислове значення

Сучасна математика повинна бути точною, оскільки неоднозначні позначення не дозволяють формальних доказів. Припустимо, що у нас є висловлювання, позначені деякою формальною послідовністю символів, про деякі об'єкти (наприклад, числа, форми, візерунки). Поки твердження (висловлювання/теореми) не будуть доведені, їхнє значення залишається невизначеним. Під час міркувань ми можемо дозволити символам посилатися на ті об'єкти, що позначаються, можливо, в моделі. У семантиці цього об'єкта має евристичну сторону та дедуктивну сторону. У будь-якому випадку, ми можемо хотіти знати властивості цього об'єкта, які ми могли б потім перерахувати в інтенсіональному визначенні.

Потім ці властивості можуть бути виражені деякими добре відомими та узгодженими символами з таблиці математичних символів. Ця математична нотація може включати такі позначення, як:

$\forall x$ — «для всіх $x$ », $\neg \exists x$ — не існує/жодного $x$ , $\exists y$ —«існує $y$ » (або $\exists !n$ — «існує єдиний $n$ »), $A$ — « множина $A$ », $f$ — «функція $f$ »

Приклад мтематичного твердження з використанням нотації:

Поле $\mathbb {C}$ комплексних чисел є скінченним і алгебричним розширенням поля $\mathbb {R}$ дійсних чисел.

У різних контекстах один і той же символ або позначення можуть використовуватися для представлення різних концепцій. Тому, щоб повністю зрозуміти частину математичного письма, важливо спочатку перевірити визначення, які автор дає для позначень, які використовуються. Це може бути проблематично, якщо автор припускає, що читач вже знайомий з позначенням, що використовується.

Історія

Докладніше: Історія математичних позначень

Підрахунок

Вважається, що математична нотація для лічби була вперше розроблена принаймні 50 000 років тому^[1] — ранні математичні ідеї, такі як лічба за допомогою пальців^[2], також були представлені колекціями гірських порід, паличок, кісток, глини, каменю, дерева різьблення і вузлики. Спосіб підрахунку за допомогою палички-зарубки минає до верхнього палеоліту. Можливо, найдавнішими відомими математичними текстами є стародавні шумерські. У кіпу з Анд та кістці Ішанго з Африки використовувався метод підрахунку зарубок для числових понять.

Розвиток нуля як числа є однією з найважливіших подій ранньої математики. Він був використаний як замінник вавилонянами і грецькими єгиптянами, а потім як ціле число майя, індійців та арабів. (Докладнішу інформацію дивись у розділі Історія нуля.)

Геометрія стає аналітичною

Найбільш ранні математичні точки зору в геометрії не піддавалися підрахунку. В натуральних числах, їх відношення до дробів, а також ідентифікація неперервних величин фактично зайняли тисячоліття, і навіть більше, щоб забезпечити розвиток нотації. Це не було до тих пір, винахід аналітичної геометрії від Рене Декарта, що геометрія не стала більш схильні до числової нотації^[3]. Деякі символічні ярлики для математичних понять почали використовуватися в публікації геометричних доказів. Навіть більше, влада та авторитет теорем геометрії й структури доказу сильно вплинули на негеометричні трактати, наприклад, Ісаак Ньютон «Математичні начала натуральної філософії».

Сучасні позначення

XVIII—XIX століття бачили створення та стандартизацію математичної нотації, які використовуються сьогодні. Леонард Ейлер був відповідальним за багато нотацій, що використовуються сьогодні: використання a, b, c для констант і x, y, z для невідомих, e для бази природного логарифма, sigma (Σ) для суми, i для уявної одиниці, а функціональне позначення F (х). Він також популяризував використання π для сталої Архімеда (завдяки Вільяму Джонсу Пропозиція щодо використання π таким чином ґрунтується на попередній нотації Вільяма Отреда). Багато поля математики несуть на собі відбиток їх творців для позначення: диференційний оператор пов'язаний з Лейбніцом^[4], числівники нескінченності до Георга Кантора (на додаток до лемніскати (∞) Джона Валліса), символ рівняння (≡) до Гаусса і так далі.

Комп'ютеризовані нотації

Математично орієнтовані мови розмітки, такі як TeX, LaTeX й, зовсім недавно, MathML є достатньо потужними, щоб висловити широкий спектр математичних нотацій.

Теорема-доказ програмного забезпечення природно приходить з власними позначеннями для математики; проект OMDoc [Архівовано 7 березня 2007 у Wayback Machine.] прагне забезпечити відкриті надбання для таких позначень; і мова MMT [Архівовано 6 березня 2019 у Wayback Machine.] забезпечує основу для взаємодії між іншими позначеннями.