Unicità

Da Wikipedia, l'enciclopedia libera.

In matematica e logica, l'unicità di un elemento nel soddisfare una certa proprietà sta nel fatto che qualunque oggetto che soddisfi tale proprietà è uguale all'elemento di partenza. In altre parole, non possono esistere due elementi differenti che soddisfano questa proprietà. Tuttavia, dimostrare l'unicità di un elemento non è una condizione sufficiente per dedurre a priori l'esistenza dell'elemento.

La frase "esiste uno e uno solo" è utilizzata per indicare che una certa proprietà esiste esattamente una volta. Il primo termine "uno" sta ad indicare l'esistenza, mentre il secondo l'unicità di tale proprietà. Il quantificatore di tale espressione è \exist! ("esiste ed è unico").

Prova dell'unicità[modifica | modifica sorgente]

La tecnica più usuale per provare l'unicità è innanzitutto provare l'esistenza di un'entità che soddisfi la condizione in questione; successivamente assumere l'esistenza di due entità (a e b) che soddisfino tale condizione e dedurre logicamente che a dev'essere uguale a b.

Ad esempio, assumiamo che esistano due numeri a e b che soddisfino l'equazione x + 2 = 5. Quindi

a + 2 = 5 e b + 2 = 5.

Per la proprietà transitiva dell'eguaglianza

a + 2 = b + 2.

Per il primo principio di equivalenza

a = b.

Riduzione ai quantificatori esistenziale e universale[modifica | modifica sorgente]

Formalmente, l'espressione \exist ! x P(x) si può esprimere (per non dover inserire una nuova notazione tra i simboli della sintassi del linguaggio) facendo ricorso soltanto ai connettivi standard, ai quantificatori di esistenza e universalità e alla relazione di uguaglianza nel seguente modo:

\exists x\,( P(x) \, \wedge \neg \exists y\,(P(y) \wedge y  \ne x))

che è equivalente all'espressione

\exists x \, ( P(x) \wedge \forall y\,(P(y) \to y = x)).

Segue un'ulteriore definizione (equivalente alle precedenti) che ha il vantaggio di separare la nozione di esistenza da quella di unicità, ma è meno sintetica delle altre:

\exists x\, P(x) \wedge \forall y\, \forall z\,((P(y) \wedge P(z)) \to y = z).

L'unicità si può anche esprimere più brevemente, al costo di aggiungere un ulteriore connettivo, quello bicondizionale (presente tra i cinque connettivi standard):

\exists x\,\forall y\,(P(y) \leftrightarrow y = x).

Bibliografia[modifica | modifica sorgente]

  • (EN) Stephen Kleene, Introduction to Metamathematics, Ishi Press International, 1952, pp. 199.
  • (EN) Peter B. Andrews, An introduction to mathematical logic and type theory to truth through proof, 2. ed., Dordrecht, Kluwer Acad. Publ., 2002, pp. 233. ISBN 1-4020-0763-9.

Voci correlate[modifica | modifica sorgente]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica