$n < oo$?

DavideGenova1
Ciao, amici! Pongo qui una domandina "generalista": quando si trovano successioni di tipo $a_1,...,a_n$ con indici che arrivano fino a $n$ o $m$ o simili, si intende che $n$ e $m$ siano numeri naturali (finiti)?
Mi sono posto la domanda studiando insiemi di generatori ${\mathbf{v}_1,...,\mathbf{v}_n}$ di spazi vettoriali \(\langle \mathbf{v}_1,...,\mathbf{v}_n\rangle\)...
${"grazie"_1,...,"grazie"_{oo}}$ a tutti! :wink:

Risposte
DavideGenova1
${"grazie"_n}_{n\in NN}$ anche a te!!!

retrocomputer
"DavideGenova":
Ciao, amici! Pongo qui una domandina "generalista": quando si trovano successioni di tipo $a_1,...,a_n$ con indici che arrivano fino a $n$ o $m$ o simili, si intende che $n$ e $m$ siano numeri naturali (finiti)?


Per quello che ne so, una scrittura $a_1,...,a_n$ indica una famiglia finita. Io ho sempre inteso una successione come infinita (e ordinata) e in genere tendo a scriverla $\{a_1,a_2,...\}$ o $\{a_n\}_{n\in NN\}$, o anche con le parentesi tonde al posto delle graffe (quest'ultima notazione la preferisco).

DavideGenova1
Questa uguaglianza mi fa allora supporre che ci debba essere un rapporto piuttosto intimo tra $a_i x_i$, e quindi $x_i$ stesso, e la struttura algebrica cui appartiene $a_n$, il che mi riporta alle proprietà delle operazioni definite nella struttura di cui $a_n$ è elemento... Spezzo l'ultimo thread in cui mi hai aiutato per aprire un nuovo topic in Algebra, logica, teoria dei numeri e matematica discreta.
$2^{\aleph_3}$ grazie! :wink:

Kashaman
Risposta veloce
$(a_0,a_1,....,a_n,...) -= \sum_(i=0)^na_ix^i$.

DavideGenova1
Grazie a tutti e 2, ragazzi!!!!
"Kashaman":
è un polinomio

:oops:
Abbi pazienza per la mia ignoranza, ma -se hai tempo e voglia di rispondermi- che relazione c'è tra i termini della successione definitivamente nulla e il tipo di polinomio che conosco della forma $\sum_{j=0}^{M} a_j\prod_{i=0}^{N}X_i^{d_i}$ con $d_i\in NN uu {0}$ e $a_j$ elemento di un anello? Ogni $a_j\prod_{i=0}^{N}X_i^{d_i}$ corrisponde ad un termine della successione (lo chiedo, ma sembra troppo facile per essere così e mi sbaglio sicuramente)?

EDIT: avevo dimenticato due indici.

Kashaman
"DavideGenova":


P.S.: [quote="Kashaman"]Prendi però $(a_1,a_2,....,a_n,....)$ successione di elementi in $K$ definitivamente nulla (sai dirmi cosa rappresenta questa successione?)

Purtroppo quel che so di algebra $->0$... :( So solo che se è definitivamente nulla $EE N\in NN :n>N\Rightarrow a_n=0$...[/quote]
è un polinomio :-D :-D

garnak.olegovitc1
Salve DavideGenova,
$n$ ed $m$ sono elementi di $NN$, penso che se vuoi che siano anche il simbolo infinito dovresti considerare l'insieme dei naturali esteso..
Cordiali saluti

DavideGenova1
Grazie di cuore di nuovo, Kashaman! Ad occhio avrei l'impressione che, se in una scrittura di tipo $a_1,...,a_n$ non ci sono più puntini dopo il termine di indice $n$, allora $n$ è finito... no? Viceversa mi pare che $a_1,...,a_n,...$ implichi che le $a_i$ non si fermino necessariamente a $n$...
$("grazie"_1,...,"grazie"_n,...)$ :wink:

P.S.:
"Kashaman":
Prendi però $(a_1,a_2,....,a_n,....)$ successione di elementi in $K$ definitivamente nulla (sai dirmi cosa rappresenta questa successione?)

Purtroppo quel che so di algebra $->0$... :( So solo che se è definitivamente nulla $EE N\in NN :n>N\Rightarrow a_n=0$...

Kashaman
Si, anche se non necessariamente... dipende dall'ambito secondo me.
Prendi ad esempio $v_1,v_2,.....,v_n in V- sp$ vettoriale.
Allora se $v_1,v_2,.....,v_n$ sono linearmente indipendenti e la $dimV=n$ generano $V$ , in tal caso il pedice è finito.
E sta a indicare che quegli $n$ elementi bastano per generare $V$.
Prendi però $(a_1,a_2,....,a_n,....)$ successione di elementi in $K$ definitivamente nulla (sai dirmi cosa rappresenta questa successione?), il termine $n$ è finito, e sta a indicare che fino a quell'enne i termini ci sono.
ma non è detto che non esista $a_(n+1)$, infatti in quel tipo di successione $a_(n+1)=0$, quindi potenzialmente, quell'$n$ può estendersi ad infinito.
potremmo scrivere, volendo
$(a_0,a_1,....,a_n,a_(n+1),a_(n+2),......,a_(n+k),.....)$ con la particolarità che i termini con indice $>= n+1$ sono tutti nulli.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.