Unicité (mathématiques)

Carte Commune · n° 408081

En mathématiques, l'unicité d'un objet est le fait que tout objet satisfaisant les mêmes propriétés lui est nécessairement égal. Autrement dit, il ne peut exister deux objets différents (c'est-à-dire inégaux) satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ». L'unicité est parfois précisée « à équivalence près » pour une relation d'équivalence définie sur l'ensemble dans lequel l'objet est recherché. Cela signifie qu'il existe éventuellement plusieurs éléments de l'ensemble satisfaisant ces propriétés, mais qu'ils sont tous équivalents pour la relation mentionnée. De façon analogue, lorsque l'unicité porte sur une structure, elle est souvent précisée « à isomorphisme près » (voir l'article « Essentiellement unique »). Exemple Dans un espace topologique séparé, on a unicité de la limite de toute suite...

Lire sur Wikipédia