Единственности теорема (uniqueness theorem) (мат.), утверждение о том, что представленное в доказательстве решение (конструкция, объект) является единственно возможным. Часто Е.т. формулируется вместе с теоремой существования, гарантирующей наличие соответствующего решения (объекта и т.д.). При доказательстве Е.т. используется общий прием: предполагают, что существуют два разных решения, и приходят к противоречию (т.е. показывают, что этого быть не может). Таким способом можно доказать, напр., что всякое целое число, большее 1, единств, образом разлагается в произведение простых чисел.
|