Difference between revisions of "Notes:Infinity notation"

Revision as of 19:58, 5 September 2016

Overview

I think I have made a mistake, with the notation:

• [ilmath]\bigcup_{n=1}^\infty[/ilmath], if we have [ilmath]\bigcup_{n=1}^\infty A_n[/ilmath] where [ilmath] ({ A_n })_{ n = 1 }^{ \infty } [/ilmath] is a sequence all is well, from the expression we can tell it means the union of all terms in the sequence. But take:
  • [math]\bigcup_{n=1}^\infty X^n[/math], where [ilmath]X^n[/ilmath] is to be interpreted as all [ilmath]n[/ilmath]-tuples of elements of [ilmath]X[/ilmath]
    • Does this mean all finite tuples, or does it include [ilmath]X^\mathbb{N} [/ilmath]?

Typically when we write [ilmath]\bigcup_a^b[/ilmath] we mean starting at [ilmath]a[/ilmath] and proceeding towards [ilmath]b[/ilmath] in the obvious way, and including [ilmath]b[/ilmath], for example:

• [ilmath]\bigcup_{i=1}^5 A_i[/ilmath] is [ilmath]A_1\cup A_2\cup A_3\cup A_4\cup A_5[/ilmath], so when we encounter an [ilmath]\infty[/ilmath] (which in this case... if anything means [ilmath]\aleph_0[/ilmath]) we should attempt to include it!

Possible solution

The solution currently being considered is:

• [ilmath]\bigcup_{n\in\mathbb{N} } A_n[/ilmath], this has the advantage of:
  • [ilmath]\left[x\in\bigcup_{n\in\mathbb{N} }A_n\right]\iff\left[\exists n\in\mathbb{N}(x\in A_n)\right][/ilmath] (by definition of union), this is exactly what we mean when we write this.

Counterpoints

1. What about [ilmath]\sum^\infty_{n=1}a_n[/ilmath]? Should we write [ilmath]\sum_{n\in\mathbb{N} }a_n[/ilmath] instead? This also has [ilmath]\sum_{i=1}^5 a_i[/ilmath] being the sum from [ilmath]a_1[/ilmath] to [ilmath]a_5[/ilmath] inclusive.
   • This is sidestepped by saying:
     • [math]\sum^\infty_{n=1}a_n[/math] is an expression/notation/syntatic sugar for writing [math]\lim_{n\rightarrow\infty}\left(\sum_{k=1}^na_k\right)[/math]
   • Of course also we cannot sum infinite terms, nor is there an [ilmath]a_\infty[/ilmath] term in a sequence. We can only sum finitely many times (in a ring, or group)

This page is some notes on a solution to this problem, and to mention "irregularities" that may result.

Practical problems

1. A lot of pages use [ilmath]\bigcup_{n=1}^\infty[/ilmath]