Controimmagine

La controimmagine di un insieme C del codominio, mediante una funzione, è l'insieme degli elementi del dominio che vengono mandati in C dalla funzione. La controimmagine viene anche detta preimmagine o antiimmagine.

Sappiamo cos'è una funzione e com'è definita, e sappiamo qual è il verso delle frecce che esprimono il comportamento delle funzioni. Cosa succede quando si percorrono le frecce al contrario? Cerchiamo di capirlo introducendo le nozioni di controimmagine di un punto e di controimmagine di un insieme mediante una funzione.

Controimmagine di un insieme mediante una funzione

Consideriamo una funzione , dove è il dominio e è il codominio. Sia inoltre un sottoinsieme del codominio.

Definiamo controimmagine dell'insieme mediante la funzione l'insieme degli elementi del dominio la cui immagine appartiene a , ovvero

Questo scioglilingua viene così tradotto in simboli

dove è il simbolo che solitamente viene utilizzato per indicare la controimmagine dell'insieme mediante la funzione .

Attenzione: è importante che chi sta leggendo per ripassare non confonda la nozione di controimmagine con quella di funzione inversa. I simboli che si utilizzano sono gli stessi, infatti l'inversa di una funzione si indica con mentre la controimmagine di un insieme mediante una funzione si indica con .

La differenza tra le due nozioni è evidente: è una funzione, un insieme del dominio di .

Oltretutto non si può sempre definire l'inversa di una funzione (e a tal fine vi rimandiamo alla lettura della lezione del precedente link), mentre comunque siano date una funzione e un insieme del codominio è sempre possibile definire la controimmagine di mediante .

Nel caso della controimmagine di un punto (o meglio di un elemento) mediante una funzione continua a valere la precedente definizione. Basterà infatti considerare come insieme del codominio un insieme costituito solamente dall'elemento che ci interessa.

Esempio sulla controimmagine di un insieme mediante una funzione

Cerchiamo di comprendere a fondo la definizione di controimmagine facendo riferimento ad un esempio grafico. Usiamo i diagrammi di Eulero Venn:

Controimmagine di una funzione

Esempio sulla controimmagine di un insieme
mediante una funzione

Nel disegno è riportata una funzione che associa

a∈ A → x∈ B ; b∈ A → x∈ B ; c∈ A → y∈ B ; d∈ A → z∈ B ; e∈ A → w∈ B

Consideriamo il sottoinsieme contenuto in . La controimmagine di tramite è l'insieme degli elementi di che hanno per immagine o :

Come calcolare la controimmagine per funzioni reali di variabile reale

Cosa succede nel caso delle funzioni reali di variabile reale? La definizione di controimmagine rimane sempre la stessa, solo che questo caso si presta terribilmente ad esercizi e applicazioni varie ed eventuali.

Abbiamo due possibilità per determinare la controimmagine di un insieme mediante una funzione : il metodo grafico e il metodo analitico.

Metodo grafico per il calcolo della controimmagine

Come spesso succede in Analisi 1, quando si parla di funzioni possiamo aiutarci moltissimo con la rappresentazione nel piano cartesiano. In breve, con il grafico.

Una funzione reale di variabile reale associa ad un'ascissa del dominio una ed una sola ordinata del codominio. Nulla vieta, in particolare, che uno stesso valore sia raggiunto da più punti dell'insieme di definizione mediante .

Consideriamo un insieme del codominio. Esso sarà un intervallo o più in generale un'unione di intervalli.

Per determinarne la controimmagine basterà:

1) considerare i punti del grafico di che corrispondono alle ordinate di . Per trovarli è sufficiente tracciare delle linee orizzontali e passanti per i punti di ; quest'ultimi naturalmente giacciono sull'asse delle ordinate.

2) considerare le ascisse che corrispondono a tali punti del grafico. Possiamo individuare tali ascisse proiettando i punti del grafico trovati al punto 1) sull'asse delle ascisse.

Fine. L'insieme delle ascisse trovate in 2) è proprio la controimmagine di mediante la funzione , cioè .

Metodo analitico per il calcolo della controimmagine

...e come sempre succede in Analisi 1, c'è sempre una corrispondenza strettissima tra grafico di una funzione e considerazioni analitiche, dunque quando si parla di metodo grafico c'è sempre un metodo analitico a seguire.

Abbiamo detto che un insieme del codominio è sempre un intervallo o un'unione di intervalli. Come si passa da un insieme alla controimmagine mediante con i soli calcoli?

L'idea è quella di ricavare una serie di condizioni algebriche che descrivano opportunamente e di tradurle in una serie di soluzioni che descrivano la controimmagine.

Ragioniamo per passi:

- esprimiamo come unione di intervalli. Per fissare le idee supponiamo che siano 3 (il ragionamento non dipende dal numero di intervalli, al massimo diminuisce o cresce la mole di calcoli da fare). Diciamo

- rappresentiamo ogni intervallo mediante un sistema di due disequazioni. Un intervallo è definito come il continuo dei punti compresi tra due estremi. Se chiamiamo tali estremi e prendiamo a titolo esemplificativo un intervallo chiuso a sinistra e aperto a destra

possiamo esprimere tutti e soli i punti appartenenti ad come sistema di due disequazioni

y ≥ a ; y , < , b

- Ora viene il bello: i punti dell'intervallo nel codominio si possono esprimere come immagini di punti che non conosciamo mediante la funzione . Come? Basta esprimere mediante l'espressione analitica

f(x) ≥ a ; f(x) , < , b

All'atto pratico abbiamo sfruttato la condizione algebrica che definisce l'intervallo per ricavarne una condizione algebrica che ne descrive la controimmagine .

- Risolviamo il precedente sistema di disequazioni e otteniamo le ascisse che costituiscono la controimmagine dell'intervallo mediante .

- Se scriviamo i sistemi di disequazioni relativi ad ogni intervallo di , risolviamo ognuno di essi e uniamo le soluzioni di tali sistemi, otteniamo la controimmagine di tramite .

Nel caso in cui vi siano intervalli costituiti da un solo punto il sistema di disequazioni che lo rappresenta si descriverà mediante un'unica equazione. Se ad esempio

I = c ⇒ I = [c,c] ⇒ y ≥ c ; y ≤ c ⇒ y = c

La condizione algebrica con cui ne ricaveremo la controimmagine sarà dunque

Esempi sulla controimmagine di insiemi mediante funzioni reali di variabile reale

E.1) Consideriamo la funzione

e l'intervallo contenuto nel codominio della funzione.

La controimmagine dell'insieme tramite è l'insieme

e non è difficile vederlo con il metodo grafico. Come ben saprete la funzione in esame ammette come grafico una parabola.

Controimmagine di una funzione reale

Esempio sul metodo grafico per calcolare la controimmagine di un insieme

Verifichiamolo con il metodo analitico:

Cosa si intende con la scrittura Semplicissimo: questa scrittura equivale alla catena di disequazioni e dunque

1 ≤ -(1)/(2)x^2+(5)/(2)x-1 ≤ 2 ⇔ -(1)/(2)x^2+(5)/(2)x-1 ≥ 1 ;-(1)/(2)x^2+(5)/(2)x-1 ≤ 2

Risolvendo il sistema otteniamo ciò stavamo cercando, ovvero la controimmagine. Tramite semplici calcoli arriviamo a scrivere

E.2) Consideriamo la funzione

e l'insieme . Determiniamo la controimmagine .

Lasciamo a voi l'applicazione del metodo grafico, che è molto semplice. descrive infatti una retta nel piano cartesiano.

Applichiamo il metodo analitico: è unione di tre intervalli di cui uno è costituito da un solo punto. Scriviamo i corrispondenti sistemi

f(x) ≥ 1 ; f(x) , < ,2 U f(x) , > 3 ; f(x) , < 6 U f(x) = 9

ossia

x+5 ≥ 1 ; x+5 , < ,2 U x+5 , > , 3 ; x+5 , < , 6 U x+5 = 9

Risolviamo tutto quanto e uniamo le soluzioni: otterremo come controimmagine di l'insieme

Se volete allenarvi un po' vi rimandiamo alla scheda correlata di esercizi svolti sulla controimmagine. In caso di dubbi o problemi, vi suggeriamo di cercare tra le migliaia di esercizi svolti presenti su YM con la barra di ricerca interna: ce n'è per tutti i gusti! :)

Alla prossima!

Salvatore Zungri (Ifrit)

..........

Tags: metodi per determinare la controimmagine di un insieme mediante una funzione - cos'è la controimmagine di una funzione - controimmagine di un punto mediante una funzione.