Definizioni

Elementi di base

1) Insieme :
Collezione (classe, famiglia) di oggetti detti elementi della insieme.

2) Sottoinsieme :
A è sottoinsieme di B se B contiene tutti gli elementi di A ma A non contiene tutti gli elementi di B.

3) Sottoinsieme proprio :
Un sottoinsieme è proprio se è un sottoinsieme non vuoto.

4) Coppia ordinata :
Si tratta di una coppia costituita da un elemento della insieme A e da un elemento della insieme B nell´ordine.

5) Insieme prodotto cartesiano A x B :

È l´insieme formato da tutte le coppie ordinate con aA e bB.

6) Relazione :
È un predicato binario (affermazione che può essere vera o falsa) r(x,y) con xX ed yY

7) Proprietà di riflessività :
aa

8) Proprietà di simmetria :

 x, y  X se xy  yx

9) Proprietà di antisimmetria :

 x, y  X se xy ^ yx allora y = x

10) Proprietà di transitività :

 x, y, z  X se xy ^ yz allora xz

11) Ordinamento totale :

Si ha un ordinamento totale se presi comunque 2 elementi x ed y essi sono confrontabili ossia x
y oppure y  x.

12) Maggiorante :
Un elemento k  X si dice maggiorante di A se
a)  aA si ha che k è confrontabile con a
b)  aA si ha che a  k

13) Minorante :
Un elemento k  X si dice minorante di A se
a)  aA si ha che k è confrontabile con a
b)  aA si ha che a  k

14) Massimo :
È un maggiorante che appartiene all´insieme A

15) Minimo :
È un minorante che appartiene all´insieme A

16) Sup A detto estremo superiore :

È il più piccolo dei maggioranti di A.

17) Inf A detto estremo inferiore :

È il più grande dei minoranti di A.
Funzioni

18) Funzione :
È una corrispondenza univoca da X in Y ovvero associa ad ogni elemento  X un solo elemento  Y

19) Successione :
È una funzione avente come dominio 

20) Funzione iniettiva :

È una funzione per la quale ad un solo elemento della immagine corrisponde un solo elemento del dominio.

21) Funzione suriettiva :

È una funzione avente come immagine tutto il codominio.

22) Funzione biiettiva :

È una funzione che è sia iniettiva che suriettiva.

23) Insieme numerabile :

È un insieme che può essere messo in corrispondenza biunivoca con .

24) Funzione crescente :

È una funzione avente un rapporto incrementale  0

25) Funzione decrescente :

È una funzione avente un rapporto incrementale  0

26) Funzione pari :

È una funzione per la quale f(x) = f(-x)

27) Funzione dispari :

È una funzione per la quale f(-x) = -f(x)

28) g°f :
Significa applicare la funzione g alla funzione f (x)

29) Disuguaglianza triangolare :

|x1 + x2|  |x1| + |x2|

30) Disuguaglianza di Young :

2|xy|   x2 + y2/ 

31) Disuguaglianza di Cauchy - Schwarz :

2|xy|  x + y
2 2

35) Una funzione definita su di uno spazio vettoriale reale X viene definita norma se gode delle
seguenti 3 proprietà :
a)  x  X , ||x||  0 e ||x|| = 0  x = 0
b)  xX ,  y ||x|| = ||*||x||
c)  x , y X ||x+y||  ||x|| + ||y||

36) Una funzione definita su di un insieme X viene definita distanza se gode delle seguenti 3
proprietà :

a)  x,y  X , d(x,y)  0 e d(x,y) = 0  x=y

b)  x,yX , d(x,y) = d(y,x)

c)  x,y,z X d(x,y)  d(x,z) + d(z,y)

37) Distanza discreta :

se x = y  d (x,y) = 0

se x  y  d (x,y) = 1

38) d*(x,y) :
max|x1 - y1| , |x2 - y2|

39) d*(x,y) :
|x1 - y1| + |x2 - y2|

Topologia

40) Intorno :

Dato x  n ed  + , si dice intorno sferico di centro x e di raggio  l´insieme B(x) :=  yn : d(x,y) < 

41) Sfera :

Dato x  n ed  + , si dice sfera di centro x e di raggio  l´insieme S(x) :=  yn : d(x,y) = 

42) Sia X un insieme, per ogni xX si ha una famiglia di intorni con le seguenti proprietà :
a) x  U(x) per ogni x  X.
b) Se U1(x) ed U2(x) sono 2 intorni di x  la loro intersezione contiene almeno un intorno di x.
c) se yU(x)  esiste un intorno U(y) di y contenuto in U(x)
d) se x  y  esiste un intorno U(x) di x ed un intorno U(y) di y disgiunti : U(x)  U(y) = 0

43) R* :

Detto R esteso è R* :=   -  +

44) R. :

Detto R punto è R. :=   

45) Punto interno :

Un punto x  n si dice interno all´insieme E se esiste un suo intorno completamente contenuto in E

Limiti

59) Funzione limitata :

Una funzione si dice limitata in A  X se esiste un M tale che ||f(x)||  M  xA.

60) Massimo globale o assoluto :

M   si dice massimo globale o assoluto di f in A se esiste x0  A tale che :

a) f(x)  M per ogni x  A

b) f(x0) = M

61) Minimo globale o assoluto :

m   si dice minimo globale o assoluto di f in A se esiste x0  A tale che :

a) f(x)  m per ogni x  A

b) f(x0) = m
62) Punto di minimo locale e minimo locale :
Un punto x0 si dice di minimo locale se esiste un intorno U(x0) tale che f(x)  f(x0) per ogni x appartenente all´
intorno.
Il punto è di minimo locale forte se f(x) > f(x0) per ogni x appartenente all´intorno ad esclusione di x0 .

63) Punto di massimo locale e massimo locale :

Un punto x0 si dice di massimo locale se esiste un intorno U(x0) tale che f(x)  f(x0) per ogni x appartenente
all´ intorno.
Il punto è di massimo locale forte se f(x) < f(x0) per ogni x appartenente all´intorno ad
esclusione di x0 .
64) Limite :

Se x0  * è un punto di accumulazione per X  l  * si dice limite di f(x) per x  x0 se per ogni intorno V di l
esiste un intorno U di x0 tale che per ogni elemento x appartenente a questo intorno ad esclusione di x0 si ha
che f(x)  V.

Se poi x0 e l si può equivalentemente scrivere: >0 , >0 tale che  xX , 0 < |x-x0| <  si ha che
|f(x) - l | < 

65) Intorno destro :

È l´intervallo [x0 , x0+)

66) Punto di accumulazione destro :

Si ha un punto di accumulazione destro quando in ogni intorno destro di questo punto vi è almeno un altro
punto della insieme.

67) Limite destro :

Se x0  * è un punto di accumulazione destro per X  l  * si dice limite destro di f(x) per x  x0 se per ogni
intorno V di l esiste un intorno destro U+ di x0 tale che per ogni elemento x appartenente a questo intorno ad
esclusione di x0 si ha che f(x)  V.

68) Punto di estremo :

È un punto di massimo o di minimo.

69) Definizione di limite di una successione :

  >0 esiste un N tale che per ogni n > N si ha che |an - l |<

70) Regole della o piccolo :

a) o(3x) = o(x)
b) o(x) + o(x2) = o(x2) per x+ mentre è un o(x) per x0
c) x2 *o(x) = o(x3)
d) o(o(x)) = o(x)

71) Quando f(x) = O(g(x)) ?

Quando sia f(x) che g(x) sono 2 funzioni infinite o infinitesime ma il loro rapporto ha un limite finito.

72) Quando f(x)  g(x) ?

Quando sia f(x) che g(x) sono 2 funzioni infinite o infinitesime per x  x0 ma il loro rapporto è unitario.

73) Condizioni per la asintoto obliquo :

a) Si deve avere un limite finito A per x+ del rapporto f(x) / x, analogamente per x -.
b) Se si trova il limite finito A allora la asintoto esiste se il limite per x+ di f(x) -Ax restituisce un valore B
finito che corrisponde all´ordinata all´origine della asintoto. In tal caso la asintoto ha equazione y =
Ax+B .

74) Condizioni per la asintoto verticale :

Si ha la asintoto verticale quando il limite per xx0 della funzione è  sia da destra che da sinistra o solo da
un lato.
75) Definizione di sottosuccessione :
Una successione bn si dice sottosuccessione della successione an se esiste una successione strettamente
crescente kn con valori in  tale che bn = aKn per ogni n.

76) Definizione di successione fondamentale:

Una successione an a valori reali si dice fondamentale o di Cauchy se >0 esiste un N tale che |an-am| <
per ogni coppia n, m > N.

77) Definizione di insieme compatto per successioni :

Un insieme K si dice compatto per successioni se ogni successione a valori in K ha una

sottosuccessione convergente ad un elemento di K.

Continuità

78) Definizione di continuità :

Una funzione si dice continua in x0 X se è verificata una delle seguenti :
a) x0 è un punto isolato di X.

b) x0 è un punto di accumulazione per X e .

Equivale alla definizione di limite ma con la avvertenza di considerare anche il punto x0 che invece per i limiti è
ignorato.

79) Definizione di discontinuità eliminabile in x0 :

Si ha una discontinuità eliminabile in x0  al dominio se esiste finito il limite per xx0 ma è diverso da f(x0).

80) Definizione di discontinuità di 1ª specie (o di salto) in x0 :

Si ha una discontinuità di 1ª specie in x0  al dominio se esistono finiti i limiti per xx0 sia da destra che da
sinistra ma sono tra loro diversi.

81) Definizione di discontinuità di 2ª specie in x0 :

Si ha una discontinuità di 2ª specie in x0  al dominio nel caso in cui almeno uno dei 2 limiti non esista o sia
infinito.

82) Definizione di funzione uniformemente continua :

La funzione f si dice uniformemente continua se per ogni >0 esiste un >0 tale che per ogni coppia x,y X con
||x-y||< si ha che || f(x) - f(y) || < .

83) Definizione di funzione lipschitziana :

La funzione f si dice lipschitziana in X se esiste una costante L  0 tale che || f(x) - f(y) ||  L ||x-y|| per ogni
x,y  X.

84) Definizione di funzione Holderiana :

La funzione f si dice lipschitziana in X se esistono delle costanti L > 0 ed 0<<1 tali che || f(x) - f(y) ||  L ||x-
y|| per ogni x,y  X. Dove  è detto ordine di Holderianità.

85) Definizione di oscillazione di una funzione :

L´oscillazione di una funzione  in A può assumere i seguenti valori :
+ se f non è limitata in A

sup f - inf f se f è limitata in A

Derivabilità

86) Equazione della retta tangente al grafico della funzione nel punto (x0 , f(x0)) :
y = f(x0) + m(x-x0)

87) Definizione di funzione derivabile :

Una funzione si dice derivabile se esiste finito il limite se tale limite esiste
viene chiamato derivata.

88) Definizione di derivata destra :

Se esiste finito il limite viene chiamato derivata destra.

89) Definizione di punto angoloso :

Si ha un punto angoloso se f è continua in x0 ed il limite della derivata da destra è diverso dal limite della
derivata da sinistra, si noti che uno dei 2 può anche essere infinito.

90) Definizione di cuspide :

Si ha una cuspide allorché la derivata prima da destra e la derivata prima da sinistra sono infiniti di segno
opposto.

91) Definizione di funzione primitiva :

Una funzione F si dice primitiva di f in I se :
a) f è derivabile in I
b) F´(x) = f(x) per ogni x  I
In buona sostanza una primitiva è la funzione che ho prima di derivare e per recuperarla ho la necessità di
integrare.

92) Definizione di funzione convessa :

Una funzione f si dice convessa in un intervallo I se per ogni coppia x,yI il segmento di estremi (x,f(x))
(y,f(y)) non ha punti sotto il grafico di f.
In altri termini si può scrivere che f è convessa in I  per ogni x,yI , xy e per ogni t  (0,1) si ha :

f((1-t)x + ty)  (1-t)f(x) +tf(y).

93) Definizione di punto di flesso :

Si ha un punto di flesso se esiste un intorno destro di x0 in cui la funzione è concava ed un

intorno sinistro in cui la funzione è convessa o viceversa.

105) Definizione di funzione convessa :

Una funzione si dice convessa in A insieme aperto e convesso se per ogni coppia x,y f((1-t)x+ty)  tf(x) +(1-
t)f(y) per ogni t compreso tra 0 ed 1.

106) Punto critico :

Un punto xA insieme aperto si dice punto critico di f se f è differenziabile in x e se f(x) = 0 per ogni versore
vn .

107) Punto di sella :

Un punto x0 si dice di sella per f se x0 è un punto critico di f e se la funzione f(x) - f(x0)

ammette valori positivi e valori negativi in qualsiasi intorno di x0 .