Intereting Posts

How to prove that a union of a countably infinite set and a finite set is countably infinite with no intersection
Generalized Riemann Integral: Uniform Convergence
Drawing a triangle from medians
What is the justsification for this restriction on UG?
What is the formula for $\frac{1}{1\cdot 2}+\frac{1}{2\cdot 3}+\frac{1}{3\cdot 4}+\ldots +\frac{1}{n(n+1)}$
Differential equations question: Follow-up on Dynamical systems?
What goes wrong when you try to reflect infinitely many formulas?
Measure theoretic entropy of General Tent maps
If $a+b+c=3$ show $a^2+b^2+c^2 \leq (27-15\sqrt{3})\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right)$
Prove that in triangle $ABC$,$\cos^2A+\cos^2B+\cos^2C\geq\frac{3}{4}$
$C(n,p)$: even or odd?
Families of subsets whose union is the whole set
What are the applications of finite calculus
Why do lattice cubes in odd dimensions have integer edge lengths?
Axiom of Choice and Cartesian Products

While proving every sequence of real numbers has a monotone subsequence, we take two cases, either there are infinitely many “peaks” or else “finitely many” peaks. However, I am unable to grasp from mere definition what “peaks” mean. Though I know that they are defined as $a_i$ is peak if $a_i\le a_j$ for all $i> j$.

Is it related to infimum? It does not make sense to have infinitely or even finitely many “peaks”. Further by explaining using peaks, did we not already assume the sequence as monotone decreasing?

I would appreciate if you can illustrate sequences where there are finitely many peaks and infinitely many peaks. and illustrate with them how they are monotone subsequence.

- Stuck on crucial step while computing $\int_{- \infty}^{\infty} e^{-t^2}dt$
- Proving completeness of a metric space
- definition of “weak convergence in $L^1$”
- $f$ is a real function and it is $\alpha$-Holder continuous with $\alpha>1$. Is $f$ constant?
- Norm of bounded operator on a complex Hilbert space.
- $f$ strictly increasing does not imply $f'>0$

- The ring of germs of functions $C^\infty (M)$
- No function that is continuous at all rational points and discontinuous at irrational points.
- If derivative of function is less than or equal to 4, prove the existence of point $c$ so $f(c)=c^2$.
- Why doesn't derivative difference quotient violate the epsilon-delta definition of a limit?
- Conditions for continuous extension of a function on an open set to its closure
- Limit point of sequence vs limit point of the set containing all point of the sequence
- Rearrangement of series in Banach space and absolute convergence
- existence of a special function
- problem on uniform convergence of a riemann integrable function
- $\epsilon $ $\delta$ proof of geometric series $x$<1

You got the definiion of peak slightly wrong. We say that the sequence $(a_n)_{n\in\mathbb N}$ has a *peak* at index $i\in\mathbb N$, if none of the subsequent members exceeds the value there, i.e. if $a_j\le a_i$ for all $j>i$. We do not exclude, however, that earlier members exceed it.

With this definition it should be clear that infinitely many peaks form a (not necessarily strictly) decreasing subsequence; and if there are only finitely many peaks one can always find (for all positions after the last peak) a next sequence member that exceeds the current one, i.e. one finds a (strictly) increasing subsequence.

An example with infinitely many peaks:

$$ 1, -1, \frac12, -\frac12, \frac13,-\frac13,\frac14,-\frac14,\ldots$$

Here all positive membes are in fact peaks because all later members are smaller.

An example with finitely many peaks:

$$ 42, 17, 33, 0, -\frac12,-\frac13,-\frac14,-\frac15,-\frac15,-\frac16,\ldots$$

Here, the $42$, the $33$ and the $0$ are peaks.

First I think that in the definition of a peak the inequality is strict (you will see why we need this in the proof). But even if it isn’t here are some examples:

Let $a_n=\frac 1n$. This sequence has infinitely many peaks (at $1,2,…$). The monotone subsequence here is any subsequence of $a_n$. Another example (supposing the inequality is indeed non strict as you say): Let $a_n=(-1)^n$. This sequence has peaks at $0,2,…$. The monotone subsequence here is $a_{2n}=(-1)^{2n}=1$.

Let $b_n=\frac 1n+2013$, $n\le 7$ and $b_n=(1+\frac 1n)^n$, $n>7$. The peaks are $n=1,2,3,4,5,6,7$ and the monotone subsequence is $b_{n+7}=(1+\frac 1{n+7})^{n+7}$.

All the sequences above are bounded. Providing examples of peaks for unbounded sequences is equally simple

The notion of a peak is used only in the proof of the Bolzano Weierstrass Theorem (I myself hasn’t seen it used anywhere else, but if anyone has, please comment on this). That’s what makes the proof so magical. I don’t understand why you say “Further by explaining using peaks, did we not already assume the sequence as monotone decreasing”?

For completeness here is the proof:

Suppose that $\left(a_n\right)$ has an infinite number of peaks $k_0<k_1<k_2<…<k_n<…$ and consider the subsequence $(a_{k_n})$. Then, $(a_{k_n})$ is strictly decreasing since $k_n>k_m\Rightarrow a_{k_n}<a_{k_m}$ and thus $(a_{k_n})$ is monotone.

Suppose that $\left(a_n\right)$ has an finite number of peaks and let $N\in \mathbb{N}$ be the last (greatest) peak.

Then $k_{0}=N+1$ is not a peak and so

\begin{equation}\exists k_1>k_0\in \mathbb{N}:a_{k_{1}}>a_{k_{0}}\end{equation}

Having defined $k_n$ such as that $k_n>k_{n-1}>N$ then

\begin{equation}\exists k_{n+1}>k_n\in \mathbb{N}:a_{k_{n+1}}>a_{k_{n}}\end{equation}

The subsequence $(a_{k_n})$ is obviously increasing and so it is monotone

- Number of permutations for a cycle-type
- what simple extensions can be naturally embedded into Conway's algebraic closure of $\mathbb{F}_2$?
- How to show that if all fourier coefficient of a function is zero, then the function is zero function?
- Lipschitz continuity of atomless measures
- Integral with Normal Distributions
- How do I convince my students that the choice of variable of integration is irrelevant?
- Fake induction proof
- Average distance to a random point in a rectangle from an arbitrary point
- Weak Law of Large Numbers for Dependent Random Variables with Bounded Covariance
- Law of exponent for complex numbers
- How do you define functions for non-mathematicians?
- Rotation $x \to x+a \pmod 1$ of the circle is Ergodic if and only if $a$ is irrational
- Fixed point of interior of closed disk
- Effect of adding a constant to both Numerator and Denominator
- $f$ such that $\int_1^{\infty}f(x)dx$ converges, but not absolutely?