MHB Sequence has convergent subsequence

Click For Summary
The discussion centers on proving that the sequence (b_n) has a convergent subsequence given that (a_n) and (c_n) are bounded and satisfy a_n ≤ b_n ≤ c_n for all n. The user demonstrates understanding by applying the Bolzano-Weierstrass theorem, noting that since (a_n) and (c_n) are bounded, (b_n) must also be bounded. This leads to the conclusion that (b_n) indeed has a convergent subsequence. The user seeks confirmation on the completeness of their argument and receives positive feedback. The discussion emphasizes the application of established mathematical theorems in sequence convergence.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

Let $(a_n), (b_n), (c_n)$ sequences such that $(a_n), (c_n)$ are bounded and $a_n \leq b_n \leq c_n$ for each $n=1,2, \dots$ I want to show that $(b_n)$ has a convergent subsequence.

I have thought the following:

Since $(a_n), (c_n)$ are bounded, $\exists m_1, m_2 \in \mathbb{Z}$ such that $m_1 \leq a_n$ and $c_n \leq m_2$.

Then $m_1 \leq b_n \leq m_2$, i.e. $(b_n)$ is bounded. So, from Bolzano-Weierstrass theorem, $(b_n)$ has a convergent subsequence.

But... is the above complete? Could we also show it somehow else? (Thinking)
 
Physics news on Phys.org
Hey evinda,

Looks good to me.
 
GJA said:
Hey evinda,

Looks good to me.

Nice, thank you... (Smirk)
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 44 ·
2
Replies
44
Views
6K
  • · Replies 17 ·
Replies
17
Views
1K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K