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

В «Началах» Евклида были отчётливо сформулированы свойства величин, называемые теперь (для отличия от дальнейших обобщений) положительными скалярными величинами. Это первоначальное понятие величины является непосредственным обобщением конкретных понятий, в частности длины, площади, объёма, массы и т. п. Каждый конкретный род величины связан с определённым способом сравнения соответствующих объектов. Например, в геометрии отрезки сравниваются при помощи наложения, и это сравнение приводит к понятию длины: два отрезка имеют одну и ту же длину, если при наложении они совпадают; если же один отрезок накладывается на часть другого, не покрывая его целиком, то длина первого меньше длины второго. Для сравнения плоских фигур по площади или пространственных тел по объёму требуются более сложные приёмы. В пределах системы всех однородных величин (т. е. в пределах всех длин, или всех площадей, или всех объёмов) устанавливается отношение неравенства: две величины $a$ и $b$ одного и того же рода или совпадают ($a=b$), или первая меньше второй $(a < b)$, или вторая меньше первой ($b < a$). Для каждого рода величин (длин, площадей, объёмов) определяется операция сложения. В пределах каждой из рассматриваемых систем однородных положительных скалярных величин отношение сравнения ($a < b$) и операция сложения ($a+b=c$) обладают следующими свойствами:

1. Для любых $a$ и $b$ имеет место одно и только одно из трёх соотношений: или $a=b$, или $a < b$, или $b < a$.

2. Если $a < b$ и $b < c$, то $a < c$ (транзитивность отношения).

3. Для любых $a$ и $b$ существует однозначно определённая величина $c=a+b$.

4. Для любых $a$ и $b$ справедливо равенство $a+b=b+a$ (коммутативность сложения).

5. Для любых $a, b, c$ справедливо равенство $a + (b+c) = (a+b) +c$ (ассоциативность сложения).

6. Для любых $a$ и $b$ справедливо соотношение $a+b > a$ (монотонность сложения).

7. Если $a > b$, то существует одна и только одна величина $c$, для которой $b + c = a$ (возможность вычитания).

8. Для любых $a$ и целого положительного числа $n$ существует такая величина $b$, что $nb=a$ (возможность деления).

9. Для любых $a$ и $b$ существует целое положительное число $n$ такое, что $a < nb$. Это свойство называется аксиомой Евдокса или аксиомой Архимеда.

Свойство 9 вместе с более элементарными свойствами 1–8 служит основой теории измерения величин, развитой древнегреческими математиками.

В частности, если взять какую-либо длину $l$ за единичную, то система $Q$ всех длин вида $lp / q$ – где $p$ и $q$ целые положительные числа, обладает свойствами 1–9. Существование несоизмеримых отрезков (открытие которых приписывается Пифагору) показывает, что система $Q$ ещё не охватывает системы $R$ всех возможных значений длин.

Чтобы получить вполне законченную теорию величин, к требованиям 1–9 надо присоединить ту или иную дополнительную аксиому непрерывности, например:

10. Если последовательности величин $a_1, a_2, \ldots, b_1, b_2, \ldots$ такие, что $a_1 < a_2 <\ldots< b_2 < b_1$ и $b_n - a_n < c$ для любой величины $c$ при достаточно большом номере $n$, то существует единственная величина $x$, которая больше всех $a_n$ и меньше всех $b_n$.

Свойства 1–10 определяют современное понятие системы положительных скалярных величин. Если в такой системе выбрать какую-либо величину $l$ за единицу измерения, то все остальные величины системы однозначно представляются в виде $a=αl$, где $α$ – положительное действительное число.

Рассмотрение направленных отрезков на прямой, скоростей, которые могут иметь два противоположных направления, и тому подобных величин приводит к обобщению понятия скалярной величины, являющегося основным в математике, а также в механике и физике. Система скалярных величин в этом понимании включает в себя, кроме положительных величин, нуль и отрицательные величины. Выбирая в такой системе какую-либо положительную величину $l$ за единицу измерения, выражают все остальные величины системы в виде $a=αl$, где $α$ – действительное число (положительное, отрицательное или равное нулю).

В более общем смысле величинами называют векторы, тензоры и другие нескалярные величины. Такие величины можно складывать, но отношение $a < b$ для них теряет смысл.

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

Система действительных положительных чисел удовлетворяет перечисленным выше свойствам 1–10, а система всех действительных чисел обладает всеми свойствами скалярных величин, поэтому вполне законно сами действительные числа назвать величинами.

См. также Переменные и постоянные величины.