Talk:Measure is Countably Subadditive

From ProofWiki
Jump to navigation Jump to search

!!! There is a problem here... In analysis, it is far more usual to index sequences from $1$, (the main exception being power series) and this is what I have been doing here for years... Do we start indexing from zero and bring pages to that standard? I apologise for the maintenance task I have created in the latter case. Caliburn (talk) 17:17, 8 June 2022 (UTC)

My take on this: It really should not matter whether indices start from $0$ or $1$. It mustn't be allowed to matter.
If we have standardised on starting from $1$, then we need a far better excuse than personal preference.
If, however, it is standard practice to start indices from $0$ in other fields of mathematics, then we need to reference the fact that the actual domain of a sequence is arbitrary, and as long as it's a countable well-ordered set it doesn't really matter what it is. --prime mover (talk) 17:57, 8 June 2022 (UTC)
Hi, I corrected the indices because of the definition of natural numbers: $\N=\set {0,1,\ldots}$
For this reason, some equations were formally wrong.--Usagiop (talk) 18:22, 8 June 2022 (UTC)