S^oo ?
 

I have a homework problem regarding [tex]$S^{\infty}$[/tex] and while I'm not looking for anyone to do my homework, I don't know how to define [tex]$S^{\infty}$[/tex]. The only two definitions I know for [tex]$S^{n}$[/tex] are the points that are distance 1 from the origin in [tex]$\mathbb{R}^{n}$[/tex] and the boundary of [tex]$\mathbb{B}^{n}$[/tex], neither of which are helping me for the infinite case. Any info would be greatly appreciated


P.S. Wow, that's an attractive avatar.

(to reactivate this subforum without news since beg. of December...)

If you suggest the context of S^n in IR^n, I suppose S^oo is IR^IN, (vectors with oo number of components, a.k.a. sequences), probably restricted to a subspace with finite norm. But since not all norms are equivalent in oo-dimensional case, one must know which one is meant. It could be the \ell^2 norm (sqrt of the infinite sum of squared components which is required to converge) or the max norm or some ultrametric norm like limsup |x_n|^{w_n} where (w_n) can be any sequence of weights (e.g. w_n=1/log(n) gives sequences of at most polynomial growth, and that ultranorm gives (exp() of) the corresponding power of n).

I'd have thought S^\infty was the set of all vectors of real numbers the sums of whose squares is 1 ... what is it you need to prove about it?

[quote=fivemack;127771]I'd have thought S^\infty was the set of all vectors of real numbers the sums of whose squares is 1 ... what is it you need to prove about it?[/quote]

you mean: the set of all vectors of any length? well vectors of finite length can always be considered as sequences with only a finite number of nonzero components. so, it is essentially what I said. (with \ell^2 norm, where the sum of squared components of course converges if there is only a finite number of nonzero ones.).

Thanks for the timely response.

So, if we take [tex]$S^{0}$[/tex] and two line segments, we can identify the boundaries of the line segments with [tex]$S^{0}$[/tex] and obtain [tex]$S^{1}$[/tex].

Similarly, if we take [tex]$S^{1}$[/tex] and two discs, we can identify the boundaries of the two discs with [tex]$S^{1}$[/tex] and obtain [tex]$S^{2}$[/tex].

We can carry this process on indefinitely, and define [tex]$S^{\infty}$[/tex] to be what we get in the limit

[quote=Orgasmic Troll;127807]Thanks for the timely response.
So, if we take [tex]$S^{0}$[/tex] and two line segments, we can identify the boundaries of the line segments with [tex]$S^{0}$[/tex] and obtain [tex]$S^{1}$[/tex].
Similarly, if we take [tex]$S^{1}$[/tex] and two discs, we can identify the boundaries of the two discs with [tex]$S^{1}$[/tex] and obtain [tex]$S^{2}$[/tex].
We can carry this process on indefinitely, and define [tex]$S^{\infty}$[/tex] to be what we get in the limit[/quote]

That's complicated... and maybe a bit misleading, since after any finite number of steps, you are always still in the finite-dimensional case, but, as already alluded to, the infinite-dimensional case has qualitatively different properties.
Also, it does not really give me an intuitive idea of how the limit would look like...

Finally, what is the definition of "limit" used here ?

[QUOTE=m_f_h;128197]That's complicated... and maybe a bit misleading, since after any finite number of steps, you are always still in the finite-dimensional case, but, as already alluded to, the infinite-dimensional case has qualitatively different properties.
Also, it does not really give me an intuitive idea of how the limit would look like...

Finally, what is the definition of "limit" used here ?[/QUOTE]

Consider [tex]S^n[/tex] as defined above (i.e. iteratively) and let [tex]S^\infty = \bigcup S^n[/tex]

[quote=Orgasmic Troll;128218]Consider [tex]S^n[/tex] as defined above (i.e. iteratively) and let [tex]S^\infty = \bigcup S^n[/tex][/quote]
This notation does not make sense. You know that things like "the set of all sets" lead to logical inconsistency (if it is a set, it cannot be included in itself). You have to specify in which "universe" the objects you are considering live in.

Also, even assuming that we have given a rigorous meaning to this notation, it would imply that any element of S°° would be the element of some S^n, and reciprocally. This also seems not obvious / correct to me. (Why should a 1-sphere also be a oo-sphere ? It is not a 2-sphere, though.)

[QUOTE=m_f_h;128752]This notation does not make sense. You know that things like "the set of all sets" lead to logical inconsistency (if it is a set, it cannot be included in itself). You have to specify in which "universe" the objects you are considering live in.

Also, even assuming that we have given a rigorous meaning to this notation, it would imply that any element of S°° would be the element of some S^n, and reciprocally. This also seems not obvious / correct to me. (Why should a 1-sphere also be a oo-sphere ? It is not a 2-sphere, though.)[/QUOTE]

There is no "set of all sets" notation here. It's a union of sets over a countable index.

Sure, every element of [tex]S^\infty[/tex] is an element of (an infinite number of) [tex]S^n[/tex]. Every element of the reals is also contained in an infinite number of intervals of the form [-a,a].

I don't know where you're getting the notion that a 1-sphere is a [tex]\infty[/tex]-sphere. pi is a real number, but that doesn't make it all of the reals.

The sequence x[sub]n[/sub] = 2[sup]-n/2[/sup] has the sum of squares = 1 but is not in any of the S[sup]n[/sup] - although it IS in the completion of the Union.

You have two main choices: One is just to take the union of all the S^n's (basically infinite sequences that are zero for all but finitely many terms, where the sum of the squares of the non-zero terms is 1), or in a sense taking the completion of this, and allowing all infinite sequences where the sum of the squares of the entries add up to 1 (allowing things like 6/pi^2*(1,1/2,1/3,1/4,...) .

If you know topology, it's basically the difference between choosing the product topology and the box topology ([url]http://mathworld.wolfram.com/ProductTopology.html[/url]).

I have no idea which way is the standard way to define S^inf, and without knowing the question we can't really judge which one makes more sense in this situation.