Sottosuccessione
# Sottosuccessione

In matematica, una sottosuccessione di una successione, anche detta sottosequenza o successione estratta, è una successione che è formata dalla successione originale a cui sono stati tolti alcuni elementi, senza modificare la posizione relativa degli elementi rimanenti. Talvolta con "sottosequenza" si indica un sottoinsieme finito della successione di partenza, di cui spesso si vuole conoscere la massima sottosequenza comune.

Per esempio, data la successione dei numeri interi $\{\dots ,-3,-2,-1,0,1,2,3,\dots \}$, la successione dei numeri pari è una sottosuccessione.

L'importanza delle sottosuccessioni sta nella considerazione che alcuni risultati, anche fondamentali, di limite non si riescono a raggiungere per l'intera successione, ma solo per un'opportuna sottosuccessione estratta da questa. Si veda ad esempio il teorema di Ascoli-Arzelà, riferendosi al quale si dice che una successione converge a meno di sottosuccessioni.

In informatica, il termine stringa è generalmente inteso come un sinonimo di "sequenza", ma è importante notare che sottostringa e sottosequenza non sono sinonimi. Una sottostringa è formata da parti consecutive di una stringa, mentre una sottosequenza non lo è necessariamente. Questo vuol dire che una sottostringa di una stringa è necessariamente una sottosequenza della stessa, ma una sottosequenza di una stringa non è necessariamente una sottostringa della stessa.

## Definizione

Se $X$ è un insieme e $(a_{n})_{n\in \mathbb {N} }$ una successione in $X$, una sottosuccessione di $(a_{n})$ è una successione della forma $(a_{n_{r}})_{r\in \mathbb {N} }$, dove $(n_{r})_{r\in \mathbb {N} }$ è una successione strettamente crescente, ovvero $n_{1}<n_{2}<\ldots$.

In modo più preciso, sia $\phi :\mathbb {N} \to X$ una successione e $n:\mathbb {N} \to \mathbb {N}$ ($n=n(i)$) una successione strettamente crescente. Allora si definisce sottosuccessione di $\phi$ l'applicazione composta $\phi (n_{i})$.

## Proprietà

Di particolare importanza sono i seguenti teoremi:

* Una successione ha limite $l\in \mathbb {R} ^{*}$ se e solo se ogni sua sottosuccessione ha limite $l$.
* Se $(u_{2n})_{n\in \mathbf {N} }$ e $(u_{2n+1})_{n\in \mathbf {N} }$ convergono allo stesso limite $l$, allora $(u_{n})_{n\in \mathbf {N} }$ converge a $l$ (questa teorema e il precedente sono detti teoremi delle restrizioni per le successioni).
* Ogni successione limitata a valori in $\mathbb {R}$ ammette almeno una sottosuccessione convergente (dal teorema di Bolzano-Weierstrass).
* Ogni successione a valori in uno spazio metrico compatto ha una sottosuccessione convergente.
* Se $(u_{2n})_{n\in \mathbf {N} }$, $(u_{2n+1})_{n\in \mathbf {N} }$ e $(u_{3n})_{n\in \mathbf {N} }$ sono di Cauchy, allora $(u_{n})_{n\in \mathbf {N} }$ è una successione di Cauchy.
* Se una successione di Cauchy possiede una sottosuccessione convergente, allora converge l'intera successione.

## Esempi

* Siano:

    $X=\mathbb {R} \qquad x_{n}=(-1)^{n}\qquad n_{j}=2j$
    Allora:
    $x_{n_{j}}=(-1)^{2j}=1$
    Si nota che la successione originaria non è convergente (oscilla), mentre la sottosuccessione converge, e in questo caso è anche costante.
* Siano $X=\mathbb {C}$ e $x_{n}=i^{n}$:
   * Se $n_{j}=4j$ allora $x_{n_{j}}=i^{4j}=1$
   * Se $n_{j}=4j+1$ allora $x_{n_{j}}=i$
   * Se $n_{j}=4j+2$ allora $x_{n_{j}}=-1$
   * Se $n_{j}=4j+3$ allora $x_{n_{j}}=-i$
* Si consideri:

    $\langle B,C,D,G\rangle$
    Si tratta di una sottosequenza di:
    $\langle A,C,B,D,E,G,C,E,D,B,G\rangle$
    con la corrispondente sequenza di indici <3, 7, 9, 11>.
* Date due sequenze $X$ e $Y$, una sequenza $G$ è una sottosequenza comune a $X$ e a $Y$ se è una sottosequenza sia di $X$ che di $Y$. Per esempio, se:

    $X=\langle A,C,B,D,E,G,C,E,D,B,G\rangle$ e:
    $Y=\langle B,E,G,C,F,E,U,B,K\rangle$
    allora una sottosequenza comune a $X$ e a $Y$ potrebbe essere:
    $G=\langle B,E,E\rangle$
    Questa però non è la massima sottosequenza comune, dato che $G$ ha lunghezza 3, e la sottosequenza comune $\langle B,E,E,B\rangle$ ha lunghezza 4. La massima sottosequenza comune a $X$ e a $Y$ è $\langle B,E,G,C,E,B\rangle$.
* Le sottosequenze trovano applicazione in informatica, specialmente nella disciplina della Bioinformatica, dove i computer sono utilizzati per confrontare, analizzare, e memorizzare stringhe di DNA.

    Prese due stringhe di DNA, siano :
    $ORG_1$ = ACGGTGTCGTGCTATGCTGATGCTGACTTATATGCTA
    $ORG_2$ = CGTTCGGCTATCGTACGTTCTATTCTATGATTTCTAA
    Le sottosequenze sono utilizzate per determinare il grado di similarità tra due stringhe di DNA, servendosi delle basi azotate: adenina, guanina, citosina e timina.
