Considerazioni preliminari sul dominio

Transcript

1 L'argomento di cui ci occupiamo in questa lezione è un must nello studio dell'analisi Matematica: vogliamo proporre una guida completa sul dominio di funzioni reali di variabile reale, e mostrare quali sono le regole che permettono di determinare il campo di esistenza di una qualsiasi funzione. (L'argomento di questa lezione viene anche trattato in sintesi nella guida sullo studio di funzione ). {loadposition interlineaspecificolefpar2} Considerazioni preliminari sul dominio Nell'articolo rappresentazione di una funzione reale a valori reali nel piano cartesiano abbiamo accennato al concetto di dominio di una funzione {tex}f:mathbb{r}rightarrowmathbb{r}{/tex}, {tex}f:xmapsto y{/tex}, detto anche campo di esistenza, o insieme di definizione. Il dominio di una funzione si indica con {tex}dom(f)subseteqmathbb{r}{/tex}, ed è il sottoinsie me di 1 / 19

2 {tex}mathbb{r}{/tex} (o al più tutto {tex}mathbb{r}{/tex}) in cui ha senso valutare la funzione y=f(x). Cosa significa? Vediamolo. Dire "ha senso valutare la funzione" o "è definita la funzione" vuol dire nella pratica che, prendendo i valori delle x (numeri) che stanno in Dom(f) e sostituendo questi valori nell'espressione di f, è possibile fare i calcoli. In altre parole non capitano "cose strane" e le operazioni algebriche che ne risultano danno un determinato valore numerico. In altre parole ancora: {tex}xin Dom(f){/tex} se posso effettuare la valutazione {tex}y=f(x){/tex}, trovando così il numero y che la funzione sputa fuori dalla x. Il concetto di per sé dovrebbe essere chiaro, ma ci piacciono molto gli esempi, e quindi... Esempi sul dominio di funzioni 2 / 19

3 1) Se prendiamo {tex}y=f(x)=frac{1}{9}x^3 +x^2-3x+9{/tex} e consideriamo il punto {tex}x=3{/tex}, sostituendo tale valore nell'espressione di x e facendo i calcoli troviamo {tex}y=f(3)=12{/tex}. La funzione è quindi definita in x=3 e tale numero reale sta nel Dom(f). 2) Consideriamo la funzione {tex}y=f(x)=frac{x^2+2}{x+5}{/tex} 3 / 19

4 Prendiamo un qualsiasi numero reale x, tranne -5, e valutiamoci la funzione: nessun problema. Se però proviamo a calcolare y=f(-5) troviamo che l'espressione della funzione dà a denominatore -5+5=0. Da che mondo è mondo non si può dividere per zero, quindi x=-5 non appartiene al dominio della funzione. Il dominio della funzione è così tutto l'asse reale tranne x=-5; in simboli {tex}dom(f)=(-infty,-5)cup(-5,+infty){/tex}. Che cosa indica la precedente scrittura? Un'unione di intervalli reali, e nulla più. Casomai dai un'occhiata alla lezione del link. 3) Prendiamo 4 / 19

5 {tex}y=f(x)=e^{x}-3{/tex}. Prendiamo poi un qualsiasi valore reale x (provate!) e sostituiamolo nell'espressione, calcolando y=f(x). Nessun problema: il dominio della funzione è tutto l'asse reale (delle x). 4) Ora consideriamo {tex}y=f(x)=ln(x){/tex} La funzione logaritmica per definizione deve avere argomento positivo. Non c'è niente da capire: il logaritmo naturale è fatto così, lo stesso vale per i logaritmi con base qualsiasi {tex}log_{a}(x){/tex} (attenzione al fatto che per definizione anche la base a del logaritmo deve essere positiva!). La funzione considerata ha quindi dominio 5 / 19

6 {tex}{xinmathbb{r}mbox{ tali che }x>0}{/tex}, cioè i numeri reali positivi. 5) Prendiamo la funzione {tex}y=f(x)=sqrt{x+2}{/tex} Qual'è la regola per il calcolo della radice quadrata di un numero? Che l'argomento della radice sia non negativo, ossia maggiore o uguale a zero. Possiamo allora valutare tale funzione in qualsiasi x che soddisfi {tex}x+2geq 0{/tex}, e risolvendo questa semplice 6 / 19

7 disequazione si trova che {tex}dom(f)={xinmathbb{r}mbox{ tali che }xgeq-2}=[-2,+infty){/tex}, ossia il dominio di f è dato da tutte le x che sono maggiori o uguali a -2. 6) Se invece abbiamo {tex}y=f(x)=sqrt[3]{x+2}{/tex} non dobbiamo imporre alcuna condizione perchè trattandosi di una radice con indice dispari (3) 7 / 19

8 si può calcolare sia per numeri positivi che per numeri negativi. 7) Consideriamo la funzione {tex}y=f(x)=tan(x){/tex} La funzione tangente per definizione è data da {tex}tan(x)=frac{sin(x)}{cos(x)}{/tex} Non potendo dividere per zero dobbiamo richiedere {tex}cos(x)neq 0{/tex}, condizione che si traduce in 8 / 19

9 {tex}xneqfrac{pi}{2}+kpimbox{ con }k mbox{ numero intero di segno qualsiasi}{/tex} Analogo ragionamento vale per {tex}y=f(x)=cot(x){/tex}, definita da {tex}cot(x)=frac{cos(x)}{sin(x)}{/tex}, dunque imponiamo {tex}sin(x)neq 0{/tex}, che ci dà {tex}xneq kpimbox{ con }kmbox{ numero intero di segno qualsiasi.}{/tex} 9 / 19

10 Ora però vogliamo delle regole generali che ci permettano di determinare il dominio di una qualsiasi funzione. Come trovare il dominio di una funzione È presto detto. Per citare qualche esempio, ricordate le equazioni fratte, o le equazioni logaritmiche, o le disequazioni irrazionali? Ricordate che per risolverle è necessario determinare le condizioni di esistenza prima di iniziare a smanettare con i calcoli? Qui funziona più o meno allo stesso modo. Prima di fare qualsiasi cosa con una funzione, dobbiamo vedere su quale sottoinsieme {tex}dom(f)subseteqmathbb{r}{/tex} essa esiste. Le uniche condizioni sono le seguenti, e non ce n'è nessun'altra. 10 / 19

11 Ogni volta che c'è una FRAZIONE, poniamo il DENOMINATORE DIVERSO DA ZERO. Se {tex}y=f(x){/tex} contiene {tex}frac{mbox{numeratore}}{mbox{denominatore}}{/tex} poniamo {tex}mbox{denominatore}neq 0{/tex} Ogni volta che c'è un LOGARITMO, poniamo l'argomento MAGGIORE DI ZERO. 11 / 19

12 Se {tex}y=f(x){/tex} contiene {tex}log_{a}(mbox{argomento}){/tex} poniamo {tex}mbox{argomento}>0{/tex} Ogni volta che c'è una RADICE CON INDICE PARI, poniamo l'argomento MAGGIORE-UGUALE A ZERO. 12 / 19

13 Se {tex}y=f(x){/tex} contiene {tex}sqrt[n]{mbox{argomento}}mbox{ con }nmbox{ pari}{/tex} poniamo {tex}mbox{argomento}geq 0{/tex} Ogni volta che c'è un ARCOSENO o un ARCOCOSENO, poniamo l'arogmento COMPRESO TRA -1 E / 19

14 Se {tex}y=f(x){/tex} contiene {tex}mbox{arcsin}(mbox{argomento}){/tex} oppure contiene {tex}mbox{arccos}(mbox{argomento}){/tex} poniamo {tex}-1leq mbox{argomento}leq +1{/tex} 14 / 19

15 Occhio che tale condizione, essendo una doppia disequazione, racchiude due disequazioni che devono valere contemporaneamente: {tex}begin{cases}mbox{argomento}geq -1\ mbox{argomento}leq +1end{cases}{/tex} Ogni volta che c'è una ESPONENZIALE A BASE VARIABILE, poniamo la BASE MAGGIORE DI ZERO. Ossia: se la funzione è della forma {tex}y=[f(x)]^{g(x)}{/tex} 15 / 19

16 imponete {tex}f(x)>0{/tex} (oltre ad eventuali condizioni su {tex}g(x){/tex} ). Se non compare nessuno dei cinque personaggi appena citati, il dominio è tutto {tex}mat hbb{r}{/tex}. Attenzione al dominio con tangente, cotangente, secante o cosecante! 16 / 19

17 Osserva come particolare esempio che la funzione tangente, la funzione cotangente, la funz ione secante e la funzione cosecante rientrano per loro stessa definizione nella condizione delle frazioni. Non c'è niente altro che tu debba fare. Si pone però un'altra importante questione, vale a dire: se in una stessa funzione dovessi avere più di una condizione da imporre, ad esempio una radice e una frazione, cosa dovremmo fare? Nella seconda parte dell'articolo sulle regole per determinare l'insieme di definizione trovi il procedimento da seguire farcito di esempi. Appena l'avrai letto potrai dire di essere il Re dei Domini...e se nel frattempo volessi esercitarti un po' sappi che qui su YM hai a disposizione migliaia e migliaia di esercizi svolti: trovi tutto quello che ti serve con la barra di ricerca. Bye bye, see you soon guys! Agente Ω 17 / 19

18 Esercizi sul dominio di funzioni, beginner Esercizi sull'insieme di definizione, intermediate Esercizi sull'insieme di definizione, advanced... {loadposition secondaposizionelefadspbam} 18 / 19

19 Tags: metodo per determinare il dominio di funzioni reali di variabile reale, spiegato passo passo, con tutte le regole per trovare l'insieme di definizione. {loadposition interlineaspecificoleffunzfine} 19 / 19