Русская Википедия:Выражение (математика)
Шаблон:Другие значения Выражение в математике — одно из фундаментальных математических понятий, лежащее в основе языка математики. С помощью математических выражений записываются расчётные алгоритмы, формулируются аксиомы и теоремы математики, законы естественных наук.
Простейшим случаем являются числовые алгебраические выражения, которые могут содержать буквенные параметры, например: <math>2\cdot\pi\cdot R</math> (выражение для длины окружности, зависящее от радиуса <math>R</math>). Однако существуют и обобщения для других математических систем (не обязательно числовых) — логические, текстовые, матричные, векторные, тензорные, аналитические, теоретико-множественные и другие типы выражений, каждый со своим набором операций (см. примерыШаблон:Переход). В формулировках аксиом и теорем часто сочетаются несколько различных типов выражений — см., например, аксиоматику вещественных чисел.
Определение
Выражение — это построенная по принятым в математике правилам комбинация чисел, букв, символов функций, символов операций, скобок и других математических обозначенийШаблон:Sfn[1] (например, символов суммы <math>\Sigma</math>, произведения <math>\Pi</math>, производных, интегралов Шаблон:Итд).
Числовые выражения, не содержащие букв, называются арифметическими выражениямиШаблон:Sfn. Числовое алгебраическое выражение, не содержащее букв в качестве делителей или под знаком корня, называется целым выражениемШаблон:Sfn.
Не следует путать понятия математического выражения и математической формулы. Формула определяется как комбинация математических символов, выражающая некоторое утверждение[2], обычно в форме:
Выражение-1 = Выражение-2
Вместо знака равенства в формуле может быть один из знаков неравенства, символ принадлежности множеству или иные символы, образующие утверждение. Выражение же само по себе не образует никакого утверждения. Таким образом, всякая формула есть выражение, но не всякое выражение есть формула.
Примеры
- <math>7 + (5\times 11)</math> — числовое арифметическое выражение (без буквенных параметров)
- <math>\sqrt{b^2-4ac}</math> — числовое алгебраическое выражение.
- <math>(a>b) \land (b \ne 0 \lor a \ne 0)</math> — логическое выражение.
- "C" + product_id — текстовое выражение (склейка двух строк).
- <math>\det(A - x E)</math> — матричное выражение. Значением выражения является характеристический многочлен матрицы <math>A.</math>
- <math>\int\limits_a^x f(t)\,dt</math> — аналитическое выражение, сопоставляющее функции <math>f(x)</math> её первообразную.
- Аксиома Архимеда: <math>\forall a \in \mathbb R : a > 0\ \exists n \in \mathbb N : n > a</math> (для всякого положительного вещественного числа найдётся натуральное, его превосходящее)[3].
Значение выражения
Для каждого выражения задаются или подразумеваются области определения входящих в него букв, функций и операцийШаблон:Sfn. Подстановка конкретных значений буквенных параметров и выполнение с ними заданных операций позволяют получить значение выражения, которое может принадлежать иной математической системе (см. пример 5). При этом любая допустимая подстановка параметров должна создавать осмысленное результирующее выражениеШаблон:Sfn. Быть источником значений — одно из основных предназначений выражения,
Два выражения называются тождественно равными (равносильными, эквивалентными), если при любых допустимых значениях входящих в них переменных значения обоих выражений совпадаютШаблон:Sfn. Пример в арифметике: <math>(a+b)(a-b)</math> равносильно <math>a^2-b^2.</math> Замена выражение на тождественно равное ему (как правило, для упрощения выражения или для исследования его свойств) называется тождественным преобразованием выраженияШаблон:SfnШаблон:Sfn.. Для каждого типа выражения существуют свои правила тождественных преобразований, см. о них статьи Законы элементарной алгебры, Алгебра логики, Методы интегрирования Шаблон:Итп
В информатике
Шаблон:Main
Работа с выражениями в языках программирования имеет свою специфику.
- Обозначения операций в них отличаются не только от общепринятого математического стандарта, но в разных языках программирования они, вообще говоря, могут быть разными. См., например: Возведение в степень в языках программирования.
- Результаты операций могут зависеть от типа операндов и их длины в машинной памяти.
- Часть систем программирования допускает побочные эффекты, из-за чего, например, значение выражения <math>x+f(x)</math> зависит от порядка вычислений, созданного компилятором (если функция <math>f(x)</math> изменяет значение своего аргумента <math>x</math>).
Примечания
Литература
Ссылки
