[¯|¯] Corrispondenza univoca. Corrispondenza inversa di una assegnata corrispondenza
martedì, Giugno 5th, 2018Denotiamo con S ed S' due insiemi non vuoti.
Definizione
Una corrispondenza φ da S verso S' si dice univoca se
cioè se φ associa ad ogni elemento x di S, un sottoinsieme di S costituito da un solo elemento.
Comunque prendiamo una corrispondenza univoca φ:
è univocamente determinata l'applicazione
Osservazione
La determinazione univoca dell'applicazione ψ a partire da un'assegnata corrispondenza φ, implica che è possibile identificare la predetta corrispondenza con l'applicazione ψ, giacché sussiste anche il contrario, e cioè comunque prendiamo un'applicazione
è univocamente determinata la corrispondenza univoca:
Ciò premesso, assegnata una corrispondenza φ di S verso S'
consideriamo il seguente sottoinsieme di S:
In altri termini, preso ad arbitrio un elemento x' di S', possiamo considerare il sottoinsieme di S i cui elementi x sono tali che φ(x) contenga x' come elemento. È naturale, allora, definire la seguente corrispondenza da S' verso S
Chiamiamo φ-1 corrispondenza inversa della φ. Nell'esempio precedente abbiamo studiato la corrispondenza
che associa a ogni retta r del piano l'insieme dei punti di intersezione di r con una circonferenza assegnata S'. Riesce
Dal momento che φ(r) è l'insieme dei punti di intersezione di r con S', si ha che φ-1(P) è l'insieme di tutte e sole le rette del piano che intersecano S' in sottoinsiemi φ(r) di S' contenenti il punto P come elemento. In altri termini, φ-1(P) è l'insieme delle rette per P.
Sostienici