- #1
Rasalhague
- 1,387
- 2
(1) Given a sequence
[tex]\left \langle a_n \right \rangle:\mathbb{N} \rightarrow \mathbb{R} = (a_1,a_2,a_3,...) \; \bigg| \; \left \langle a_n \right \rangle(p) = a_p[/tex]
and another sequence that's the series,
[tex]\left \langle s_n \right \rangle:\mathbb{N} \rightarrow \mathbb{R} = (s_1,s_2,s_3,...) \; \bigg| \; \left \langle s_n \right \rangle(p) = s_p = \sum_{k=1}^{p} a_p,[/tex]
is there a standard name for the "raw" sequence [itex]\left \langle a_n \right \rangle[/itex] from which [itex]\left \langle s_n \right \rangle[/itex] is constructed: the ... of the series? (The sequence [itex]\left \langle a_n \right \rangle[/itex] of which the series [itex]\left \langle s_n \right \rangle[/itex] is the "sequence of partial sums".)
(2) Have I understood this notation right?
[tex]\sum_k a_k := \left \langle s_n \right \rangle \; [/tex]
in the context of series. (When I've met this notation before, it's just been a casual notation for a sum, where the codomain of the family (indexing function) is assumed to be known by the reader.) And
[tex]\sum_{k=1}^{\infty} a_k := \lim_{n \rightarrow \infty } \sum_{k=1}^{n} a_k = \lim_{n \rightarrow \infty } \left \langle s_n \right \rangle ,[/tex]
that is, the sequential limit.
(3) Binmore suggests that [itex]s_n \rightarrow s[/itex] as [itex]k \rightarrow \infty[/itex] implies [itex]s_{n-1} \rightarrow s[/itex] as [itex]k \rightarrow \infty[/itex] (Mathematical Analysis, § 6.9). What exactly does the notation [itex]s_{n-1}[/itex] mean in this context: [itex]\left \langle s_{n-1} \right \rangle (p) = \left \langle s_n \right \rangle (p-1)[/itex], so that [itex]\left \langle s_{n-1} \right \rangle = (?,s_1,s_2,...)[/itex]? Or [itex]\left \langle s_{n-1} \right \rangle (p) = \left \langle s_n \right \rangle (p+1)[/itex], so that [itex]\left \langle s_{n-1} \right \rangle = (s_2,s_3,s_4,...) \; ?[/itex] I'm guessing the latter, but, unless I've missed something, he doesn't explicitly define it.
[tex]\left \langle a_n \right \rangle:\mathbb{N} \rightarrow \mathbb{R} = (a_1,a_2,a_3,...) \; \bigg| \; \left \langle a_n \right \rangle(p) = a_p[/tex]
and another sequence that's the series,
[tex]\left \langle s_n \right \rangle:\mathbb{N} \rightarrow \mathbb{R} = (s_1,s_2,s_3,...) \; \bigg| \; \left \langle s_n \right \rangle(p) = s_p = \sum_{k=1}^{p} a_p,[/tex]
is there a standard name for the "raw" sequence [itex]\left \langle a_n \right \rangle[/itex] from which [itex]\left \langle s_n \right \rangle[/itex] is constructed: the ... of the series? (The sequence [itex]\left \langle a_n \right \rangle[/itex] of which the series [itex]\left \langle s_n \right \rangle[/itex] is the "sequence of partial sums".)
(2) Have I understood this notation right?
[tex]\sum_k a_k := \left \langle s_n \right \rangle \; [/tex]
in the context of series. (When I've met this notation before, it's just been a casual notation for a sum, where the codomain of the family (indexing function) is assumed to be known by the reader.) And
[tex]\sum_{k=1}^{\infty} a_k := \lim_{n \rightarrow \infty } \sum_{k=1}^{n} a_k = \lim_{n \rightarrow \infty } \left \langle s_n \right \rangle ,[/tex]
that is, the sequential limit.
(3) Binmore suggests that [itex]s_n \rightarrow s[/itex] as [itex]k \rightarrow \infty[/itex] implies [itex]s_{n-1} \rightarrow s[/itex] as [itex]k \rightarrow \infty[/itex] (Mathematical Analysis, § 6.9). What exactly does the notation [itex]s_{n-1}[/itex] mean in this context: [itex]\left \langle s_{n-1} \right \rangle (p) = \left \langle s_n \right \rangle (p-1)[/itex], so that [itex]\left \langle s_{n-1} \right \rangle = (?,s_1,s_2,...)[/itex]? Or [itex]\left \langle s_{n-1} \right \rangle (p) = \left \langle s_n \right \rangle (p+1)[/itex], so that [itex]\left \langle s_{n-1} \right \rangle = (s_2,s_3,s_4,...) \; ?[/itex] I'm guessing the latter, but, unless I've missed something, he doesn't explicitly define it.