Subsequencial limit set of a product sequence SiTi

Click For Summary
SUMMARY

The discussion focuses on proving that the set of subsequential limit points G of the product sequence {siti} is a subset of the Cartesian product EF, where E and F are the sets of subsequential limit points of sequences {si} and {ti}, respectively. The key approach involves demonstrating that for any limit point x in G, there exists a converging subsequence {sαi} and {tαi} that leads to the conclusion that x can be expressed as the product ab, where a is a limit point from E and b is from F. The discussion highlights the necessity of considering the intersection of subsequences to establish the relationship between G and EF.

PREREQUISITES
  • Understanding of subsequential limits in real analysis
  • Familiarity with bounded sequences and convergence
  • Knowledge of Cartesian products in set theory
  • Experience with compact sets and their properties
NEXT STEPS
  • Study the properties of subsequential limits in real analysis
  • Learn about the convergence of products of sequences
  • Explore the implications of compactness in sequences
  • Investigate the relationship between subsequences and their limits
USEFUL FOR

Mathematics students, particularly those studying real analysis, and educators looking for insights into the behavior of product sequences and subsequential limits.

boombaby
Messages
129
Reaction score
0

Homework Statement


Let {si} and {ti} be bounded sequences of real numbers, let E, F, G be the sets of all subsequential limit points of {si}, {ti}, {siti} respectively. Prove that [tex]G\subseteq EF= \left\ ef|e\in E,f\in F \right\[/tex]


Homework Equations





The Attempt at a Solution


I have trouble understanding the behavior of the sequence siti. For this question, it seems that the right thing to do is to choose any x in G, show that x is in EF. Here's what I've done:
There is a subsequence [tex]s_{\alpha _{i}}t_{\alpha_{i}}[/tex] that converges to x. Now, consider the sequences [tex]{s_{\alpha _{i}}}[/tex] and [tex]{t_{\alpha _{i}}}[/tex]. Being a sequence in the compact set (i.e. [-M,M] in R), some subsequence of [tex]{s_{\alpha _{i}}}[/tex] converges to a point a, let A be the set of these subscripts. And some subsequence of [tex]{t_{\alpha _{i}}}[/tex] converges to a point b, Let B be the set of these subscripts.
If [tex]A\cap B[/tex] has infinitely many elements, then [tex]x=ab\in EF[/tex]. But what if [tex]A\cap B[/tex] is empty? I've no idea why this cannot happen. Any hint would be greatly appreciated! Is there any different way to prove it?
 
Last edited:
Physics news on Phys.org
Don't work with both sequences at the same time.

[tex]s_{a_i}t_{a_i}[/tex] converges to x. Then [tex]s_{a_i}[/tex] has a convergent subsequence [tex]s_{a_{i_j}}[/tex]. What does the sub-subsequence [tex]t_{a_{i_j}}[/tex] do? Remember, you know [tex]s_{a_{i_j}}t_{a_{i_j}}[/tex] converges to x also
 
yea, I think I get it now.
if s_i (denotes the sub-subsequence...) ->a. a=0 is a trivial case. If a!=0, then the corresponding t_i converges to b such that ab=x, since
|a*t_i-ab|<=|a*t_i-s_i*t_i|+|s_i*t_i-x|<=t_i*|s_i-a|+|s_i*t_i-x|<=Me+e
Thanks a lot!
 

Similar threads

Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
46
Views
7K
  • · Replies 14 ·
Replies
14
Views
3K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K