一意性 (数学)
(Uniqueness quantification から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/25 20:16 UTC 版)
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2021年12月）
|
|
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2022年2月）
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
一意性（いちいせい、英語: uniqueness）とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している（つまり「存在して、かつ、存在するならばただ一つだけである」の意）」という性質である。
これら二つの主張は論理的な意味が異なるが、文脈によってどちらの意味かは異なる。
たとえば群論における「逆元の一意性」は前者の意味で証明されるし、整数論における「素因数分解の一意性」は後者が成り立つことを主張している。
また、一意的に存在することを記号「∃!」[1]、もしくは「∃=1」のように書くことができ、たとえば
- Uniqueness quantificationのページへのリンク
