Выражение (математика)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

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

Простейшим случаем являются числовые алгебраические выражения, которые могут содержать буквенные параметры, например: (выражение для длины окружности, зависящее от радиуса ). Однако существуют и обобщения для других математических систем (не обязательно числовых) — логические, текстовые, матричные, векторные, тензорные, аналитические, теоретико-множественные и другие типы выражений, каждый со своим набором операций (см. примеры[⇨]). В формулировках аксиом и теорем часто сочетаются несколько различных типов выражений — см., например, аксиоматику вещественных чисел или пример 7 ниже, где сочетаются логические и алгебраические выражения.

Определение[править | править код]

Выражение — это построенная по принятым в математике правилам комбинация чисел, букв, символов функций, символов операций, скобок и других математических обозначений[1][2] (например, символов суммы , произведения , производных, интегралов и т. д.).

Числовые выражения, не содержащие букв, называются арифметическими выражениями[3]. Числовое алгебраическое выражение, не содержащее букв в качестве делителей или под знаком корня, называется целым выражением[4].

Не следует путать понятия математического выражения и математической формулы. Формула определяется как ком­би­на­ция ма­те­ма­тических символов, вы­ра­жаю­щая некоторое ут­верж­де­ние[5], обычно в форме:

Выражение-1 = Выражение-2

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

Примеры[править | править код]

  1. — числовое арифметическое выражение (без буквенных параметров)
  2. — числовое алгебраическое выражение.
  3. логическое выражение.
  4. "C" + product_id — текстовое выражение (склейка двух строк).
  5. матричное выражение. Значением выражения является характеристический многочлен матрицы
  6. — аналитическое выражение, сопоставляющее функции её первообразную.
  7. Аксиома Архимеда как пример смешения логических и алгебраических выражений: (для всякого положительного вещественного числа найдётся натуральное, его превосходящее)[6].

Значение выражения[править | править код]

Для каждого выражения задаются или подразумеваются области определения входящих в него букв, функций и операций[7]. Подстановка конкретных значений буквенных параметров и выполнение с ними заданных операций позволяют получить значение выражения, которое может принадлежать иной математической системе (см. пример 5). При этом любая допустимая подстановка параметров должна создавать осмысленное результирующее выражение[8]. Быть источником значений — одно из основных предназначений выражения,

Два выражения называются тождественно равными (равносильными, эквивалентными), если при любых допустимых значениях входящих в них переменных значения обоих выражений совпадают[9]. Пример в арифметике: равносильно Замена выражение на тождественно равное ему (как правило, для упрощения выражения или для исследования его свойств) называется тождественным преобразованием выражения[10][11].. Для каждого типа выражения существуют свои правила тождественных преобразований, см. о них статьи Законы элементарной алгебры, Алгебра логики, Методы интегрирования и т. п.

В информатике[править | править код]

Работа с выражениями в языках программирования имеет свою специфику.

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

Примечания[править | править код]

  1. Expression in Maths.
  2. Числовые, буквенные выражения и выражения с переменными: определения, примеры.
  3. Барсуков, 1966, с. 5.
  4. Мордкович и др., 2016, с. 53.
  5. Формула // Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов. — М. : Большая российская энциклопедия, 2004—2017.
  6. Зорич, В. А. Математический анализ, ч. 1. — Москва: ФАЗИС, 1997. — С. 50. — 554 с. — ISBN 5-7036-0031-6.
  7. Барсуков, 1966, с. 7—8.
  8. Макарычев, 1985, с. 3—9.
  9. Макарычев, 1985, с. 14.
  10. Макарычев, 1985, с. 14—19.
  11. Мордкович и др., 2016, с. 55—56.

Литература[править | править код]

  • Барсуков А. Н. Алгебра. Учебник для 6—8 классов / Под ред. С. И. Новосёлова. — 11-е изд. — М. : Просвещение, 1966. — 296 с.
  • Макарычев Ю. Н. и др. Алгебра. 6 класс / под ред. С. А. Теляковского. — 8-е изд. — М.: Просвещение, 1985. — 224 с.
  • Мордкович А. Г., Глизбург В. И., Лаврентьева Н. Ю. Математика. Новый полный справочник для подготовки к ЕГЭ. — М. : АСТ, 2016. — 351 с. — ISBN 978-5-17-099580-6.

Ссылки[править | править код]