Is there a formal definition for series? For example, cardinal sum has a formal definition such that $\sum a_i$ = $\bigcup a_i$. Is there any clear definition for series of real or complex number?
The definition on my book is the sum of $a_0 + ... + a_n$. This seems very intuitive to me so i don't like it..
I tried to define series such that $\gamma(0) = a_0$ and $\gamma(n+1) = f_n(\gamma(n))$ where $f_n(x) = x+ a_n$
Since $f_n ≠ f_{n+1}$, i can't apply finite recurssion theorem. However it seems obvious that $\gamma$ is a function and unique. How do i prove the existence and uniqueness of $\gamma$?
I have proved that "If A is a set, 'c' a fixed point in A and $f_n : A →A$ a function for every $n\in \mathbb{N}$, then there exists a unique function $\gamma : \mathbb{N} →A$ such that $\gamma(0) = c$ and $\gamma(n+1) = f_n(\gamma(n))$. This is a bit generalized form of original finite recursion theorem. Let $\alpha$ be a sequence. Let $f_n(x)=x+\alpha(n+1) : F→F$. (F denotes an arbitrary field here) Then by above theorem, we can construct $\gamma$. It can be easily checked that $\gamma(n)$ is a summation of $a_0,...,a_n$.
By the way, i've never said series is a 'finite summation'. Of course, series is a sequence..