Successioni reali

Lezione precedente	Materia	Lezione successiva
Funzioni radice, esponenziale e logaritmica	Analisi matematica	Limiti di successioni reali

appunti Successioni reali
	Tipo: appunti
	Materia: Analisi matematica
	Avanzamento: appunti completi al 100%

Analisi matematica > Successioni reali

In matematica, una successione può essere definita intuitivamente come un elenco ordinato costituito da un numero infinito di oggetti, detti termini della successione, tra i quali sia possibile distinguere un primo, un secondo, un terzo e in generale un n-mo termine per ogni intero n.

Successioni

Una funzione $a : ℕ \to X$ , dove $X$ è un insieme non banale, si dice successione in $X$ e si usa denotarla con

(a_{n})_{n \in ℕ}

o equivalentemente

a_{1}, a_{2}, \dots, a_{n}, \dots

.

Osserviamo che il dominio delle successioni non è necessariamente $ℕ$ , è sufficiente prendere un suo sottoinsieme numerabile.

Una successione reale $(a_{n})_{n}$

si dice positiva se $\forall n \in ℕ$ si ha che $a_{n} > 0$
si dice non negativa se $\forall n \in ℕ$ si ha che $a_{n} \geq 0$
si dice negativa se $\forall n \in ℕ$ si ha che $a_{n} < 0$ .
si dice non positiva se $\forall n \in ℕ$ si ha che $a_{n} \leq 0$

E' bene mettere in evidenza il fatto che esistono successioni che hanno segno variabile, alcuni termini della successione sono positivi mentre altri sono negativi. Ricoprono un ruolo importante le successioni a segno alterno:

Una successione $(a_{n})_{n}$ si dice a segni alterni se $\forall n \in ℕ$ si ha che $a_{n} a_{n + 1} < 0$ .

Esempi

$a : ℕ \to ℚ^{+}, n \mapsto \frac{1}{n}$ è una successione ed è del tipo $1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots, \frac{1}{n}, \dots$ . La successione è positiva

$a : ℕ \to ℝ, n \mapsto - \sqrt{n} - 1$ è una successione ed è del tipo $- 1, - 2, - \sqrt{2} - 1, - \sqrt{3} - 1, \dots, - \sqrt{n} - 1, \dots$ . Questa successione, a differenza della precedente, è negativa.

$a : ℕ ∖ {0} \to ℝ, n \mapsto (- 1)^{n} n$ è una successione ed è del tipo $- 1, 2, - 3, 4, \dots, (- 1)^{n} n, \dots$ . Questa successione è a segno variabile, in particolare è a segni alterni.

$a : ℕ ∖ {0} \to ℝ, n \mapsto \sin (n)$ è una successione ed è del tipo $\sin (1), \sin (2), \sin (3), \sin (4), \dots, \sin (n), \dots$ . Questa successione è a segno variabile.

Successioni monotòne

Una successione reale $(a_{n})_{n}$ si dice

monotona crescente se $\forall n \in ℕ a_{n} \leq a_{n + 1}$
monotona descrescente se $\forall n \in ℕ a_{n} \geq a_{n + 1}$
monotona strettamente crescente se $\forall n \in ℕ a_{n} < a_{n + 1}$
monotona strettamente descrescente se $\forall n \in ℕ a_{n} > a_{n + 1}$

Attenzione, esistono successioni che non rispettano le condizioni precedenti, hanno cioè un andamento variabile. Per fissare le idee su queste definizioni facciamo alcuni esempi.

Esempi

$(a_{n})_{n} = (n^{2})_{n}$ è una successione strettamente crescente, infatti, da $n < n + 1$ segue immediatamente che $n^{2} < (n + 1)^{2}$ cioè $a_{n} < a_{n + 1}$ per ogni $n$ naturale.

$(a_{n})_{n} = {(\frac{n}{n + 1})}_{n}$ è una successione strettamente crescente. Per verificarlo, ci chiediamo per quali numeri naturali $n$ viene verificata la disuguaglianza $a_{n + 1} > a_{n}$ .

a_{n + 1} > a_{n} ⟺ \frac{n + 1}{n + 2} > \frac{n}{n + 1} ⟺ (n + 1)^{2} > n (n + 2) ⟺ n^{2} + 2 n + 1 > n^{2} + 2 n ⟺ 1 > 0

ma questa è sempre verificata in

ℕ

.

Un altro modo per giungere alla stessa conclusione è il seguente:

Il termine n-esimo della successione

a_{n} = \frac{n}{n + 1}

può essere riscritto come

a_{n} = 1 - \frac{1}{n + 1}

. Osserviamo ora che

\forall n \in ℕ n < n + 1 ⟹ n + 1 < n + 2 ⟹ \frac{1}{n + 1} > \frac{1}{n + 2} ⟹ - \frac{1}{n + 1} < - \frac{1}{n + 2} ⟹ 1 - \frac{1}{n + 1} < 1 - \frac{1}{n + 2}

cioè

a_{n + 1} > a_{n}

per ogni

n

naturale

$(a_{n})_{n} = (- n^{2})_{n}$ è una successione strettamente decrescente, infatti, da $n < n + 1$ segue immediatamente che $n^{2} < (n + 1)^{2}$ pertanto $- n^{2} > - (n + 1)^{2}$ per ogni $n$ naturale pertanto $a_{n + 1} < a_{n}$ .

Successioni limitate

Una successione reale $(a_{n})_{n \in ℕ}$ è

limitata superiormente se $\exists 𝑀 \in ℝ$ tale che $\forall 𝑛 \in ℕ$ si ha che $a_{n} \leq M$

limitata inferiormente se $\exists m \in ℝ$ tale che $\forall n \in ℕ$ si ha che $m \leq a_{n}$

limitata se è limitata superiormente e inferiormente, cioè:

1) se

\exists m, M \in ℝ

tali che

\forall n \in ℕ

si ha

m \leq a_{n} \leq M

o equivalentemente

2) se

\exists A > 0

con

𝐴 \in ℝ

tale che

\forall n \in ℕ

si ha che

| a_{n} | \leq A

.

Mostriamo la completa equivalenza della definizioni 1) e 2).

1) $\Rightarrow$ 2)

Se per ogni

n

naturale si ha che

m < a_{n} < M

, con

m, M \in ℝ

, ponendo

A = max (| m |, | M |)

si ha che per ogni

n

naturale

| a_{n} | < A

che è la definizione 2).

2) $\Rightarrow$ 1)

Se per ogni

n

naturale

| a_{n} | < A

con

A > 0

allora

- A < a_{n} < A

. Se si pone

m = - A

e

M = A

allora per ogni

n

si ha che

m < a_{n} < M

che è la definizione 1).

Vedremo ora alcuni esempi di successioni limitate:

Esempi

1. La successione $(a_{n})_{n} = {(\frac{1}{n})}_{n}$ è limitata infatti $0 < \frac{1}{n} \leq 1, \forall n \in ℕ ∖ {0}$ , le costanti in questo caso sono $m = 0, M = 1$

2. La successione $(a_{n})_{n} = (n + 1)_{n}$ è limitata inferiormente ma non superiormente infatti $1 \leq n + 1 < + \infty, \forall n \in ℕ$ , la costante che limita inferiormente la successione è $m = 1$ .

3. La successione $(a_{n})_{n} = (- n + 1)_{n}$ è limitata superiormente ma non inferiormente infatti $- \infty < - n + 1 \leq 1, \forall n \in ℕ$ , la costante che limita superiormente la successione è $M = 1$ .

Successioni illimitate

Una successione reale $(a_{n})_{n}$ si dice

illimitata superiormente se per ogni numero reale $K > 0$ esiste $m_{K} \in ℕ$ , dipendente da $K$ tale che $a_{n} > K$ per ogni $n > m_{K}$
illimitata inferiormente se per ogni numero reale $K < 0$ esiste $m_{K} \in ℕ$ , dipendente da $K$ tale che $a_{n} < K$ per ogni $n > m_{K}$ .
illimitata se per ogni numero reale $K > 0$ esiste $m_{K} \in ℕ$ , dipendente da $K$ tale che $| a_{n} | > K$ per ogni $n > m_{K}$ .

Esempi

1. La successione $(a_{n})_{n} = {(n^{2})}_{n}$ è illimitata superiormente infatti fissato $K > 0$ esiste un naturale $m_{k}$ tale che $n^{2} > K \forall n > m_{k}$ . Basta prendere $m_{k} = [\sqrt{K}]$ , dove $[\cdot]$ indica la funzione parte intera.

Sottosuccessione

Sia ${(a_{n})}_{n \in ℕ} \subset ℝ$ una successione reale, sia inoltre ${(i_{n})}_{n \in ℕ}$ una successione strettamente crescente di numeri naturali, cioè $i_{n} < i_{n + 1}$ per ogni $n \in ℕ$ , diremo che ${(a_{i_{n}})}_{n \in ℕ}$ è una sottosuccessione della successione ${(a_{n})}_{n \in ℕ}$ . In modo informale, possiamo asserire che una sottosuccessione di una successione data è una nuova successione che è formata dalla successione originale a cui sono stati tolti alcuni elementi, senza modificare la posizione relativa degli elementi rimanenti. Va da sè che, data una successione, le sottosuccessioni estraibili da essa sono infinite.

Esempi

1. La successione ${(\frac{1}{2 n})}_{n \in ℕ}$ è una sottosuccessione di ${(\frac{1}{n})}_{n \in ℕ}$ , in questo caso infatti la successione di indici $(i_{n})_{n} = (2 n)_{n}$

2. La successione costante $(- 1)_{n \in ℕ}$ è una sottosuccessione di ${((- 1)^{n})}_{n \in ℕ}$ , la successione di indici è $(i_{n})_{n} = (2 n + 1)_{n}$

3. La successione costante $(1)_{n \in ℕ}$ è un'altra sottosuccessione di ${((- 1)^{n})}_{n \in ℕ}$ , la successione di indici è $(i_{n})_{n} = (2 n)_{n}$

Test della lezione

Ora tocca a te, rispondi alle seguenti domande nel minor tempo possibile (max 20 minuti), ovviamente in modo corretto. Ti consentirà di capire quante informazioni hai recepito dopo la lettura della lezione. Attenzione, le domande 4, 5, 6, hanno più di una risposta esatta.

	limitata inferiormente, ma non superiormente.
	negativa.
	limitata superiormente, ma non inferiormente.
	nessuna delle precedenti.

	positiva
	limitata inferiormente, ma non superiormente
	negativa e limitata superiormente
	nessuna delle precedenti

	costante
	negativa e limitata
	positiva e limitata superiormente
	nessuna delle precedenti