Recent Forum Posts
 From categories: All categories Mathematics: Homework Questions, Answers, and Solutions Mathematics: Reading questions Wiki and TeX help: How do I .... Instructor Notes: General Notes

Claim: if $f$ is differentiable on $(a,b)$, continuous on $[a,b]$, and obtains a minimum (or maximum) value at $c\in(a,b)$, then $f'(c)=0$.

Proof: Let c be a maximum value. Differentiability implies that $\lim_{t\to\theta}\frac{f(t)-f(\theta)}{t-\theta}$ exists. If $t>c$ then $\frac{f(t)-f(c)}{t-c}\leq 0$ since $f(t)\leq f(c)$. If $t<c$ then $\frac{f(t)-f(c)}{t-c}\geq 0$. Therefore, $f'(c)$ can be written as the limit of (i) a sequence of nonnegative numbers, and (ii) a sequence of nonpositive numbers. The only possible limit is therefore 0. $\blacksquare$

Proposition: If a sequence $(x_n)$ converges in $\mathbb{R}$, then the sequence of absolute values $(|x_n|)$ also converges.

Proof: Let $\epsilon>0$ be arbitrary. Since $(x_n)$ converges, there exists a number N such that if $n>N$ then $|x_n-x|<\epsilon$, where x is the limit of the sequence $(x_n)$. We will show that for the same values of $\epsilon$ and N, if $n>N$ then $\big||x_n|-|x|\big|<\epsilon$, which implies the convergence of the sequence of absolute values.

By the triangle inequality, $|x_n-x|+|x| \geq |x_n|$, which implies $|x_n-x|\geq |x_n|-|x|$. Also by the triangle inequality, $|x-x_n|+|x_n| \geq |x|$, which implies $|x_n-x|\geq |x|-|x_n|$.

Since $|x_n-x|\geq |x_n|-|x|$ and $|x_n-x|\geq -\big(|x_n|-|x|\big)$, it follows that $|x_n-x|\geq\big||x_n|-|x|\big|$.

Therefore, with the same values of $\epsilon$ and N pertaining to the convergence of the sequence $(x_n)$, if $n>N$ then

(1)
\begin{align} \big||x_n|-|x|\big| \leq |x_n-x| < \epsilon. \end{align}

This implies, by the definition of convergence, that the sequence $(|x_n|)$ converges to $|x|$. $\blacksquare$

Just noticed you were trying to figure out how to center the equations.

To center math, type:

[$] x^2=3 [$]

This becomes(1)
\begin{equation} x^2=3 \end{equation}

You can refer to the equation by doing the following:

[[math label1]]
x^2=3
[[/math]]

Then access the label by typing ([[eref label1]]). For example, to say "In equation (1)…" you would use "In equation ([[eref label1]])..."

Problem 1.
… sequence $(x_n)$ in S there is a subsequence $(x_{n_k})$ which converges to some $x\in S$.

Problem 2.
… a sequence $(x_n)$ in S for which no subsequence converges to a point in S.

Problem.3.
A subset of $\mathbb{R}^n$ is compact if and only if it is closed and bounded (the Heine-Borel Theorem).

Problem 4.
If S is a single point x, there is only one sequence contained in S, the sequence x, x, … which converges itself.

Problem 5.
This fact is implied by the fact that the subsequence converges. In particular, if the subsequence is $(x_{n_k})$, then by definition of convergence for any $\epsilon>0$ every term with $k>N$ for some N is in the $\epsilon$-neighborhood of x. Since there are an infinite number of these, and they are all elements of the original sequence $(x_n)$, the statement must be true. $\blacksquare$

Problem 6.
We must show how to construct a subsequence $x_{n_1},x_{n_2},x_{n_3},\ldots$ which converges to x. Let $x_{n_1}$ be any element within the 1-neighborhood of x (that is, anything within distance 1 of the limit). Let $x_{n_2}$ be any element with $n_2>n_1$ (that is, some element of the sequence further out than $n_1$) and within the $\frac12$-neighborhood of x. Continue in this manner to select $x_{n_i}$ with $n_i>n_{i-1}$ in the $\frac1i$-neighborhood of x. Since there are an infinite number of points within each neighborhood of x to choose from, we can always find such points.

How can we prove that the subsequence $x_{n_k}$ converges to x? It suffices to show that every $\epsilon$-neighborhood of x contains some "tail" of the sequence, that is all $x_{n_k}$ with $k>N$ for some N. Choose N such that $0<\frac1N<\epsilon$. By construction if $k>N$ then $d(x_{n_k},x)<\frac1N<\epsilon$ since everything past $k=N$ is in a $\frac1{N+1}$-neighborhood or smaller. $\blacksquare$.

No, the radii do not need to be integers.

Remember that if a set S is nonempty and let's say $x\in S$, then the sequence $x,x,x,x,\ldots$ has limit point $x\in S$. So… every point in a set is also a limit point of the set. This means the answer to the second question is no. Rather, all the integers are limit points of the set of integers.

Well I don't want to specifically ask for the answer to this question, but there is no way to get around it. When we are talking about neighborhoods around an integer in the set of integers, do the radii of these neighborhoods necessarily have to be integers themselves. My thoughts would be no since the radius is defined as any $\epsilon$ > 0 but I wanted to make sure. Also, I suppose it is possible for a set to have no limit points, are the integers and example of this. Is a set with no limit points considered closed?

Thank you.

Here is the proof that the sum of two functions is continuous.

Let f and g be continuous at some x. Let $\epsilon>0$ be chosen arbitrarily. Since f is continuous, there exists $\delta_f>0$ such that if $|x-u|<\delta_f$ then $|f(x)-f(u)|<\frac{\epsilon}{2}$. Similarly, choose $\delta_g$ such that if $|x-u|<\delta_g$ then $|g(x)-g(u)|<\frac{\epsilon}{2}$.

Now set $\delta=\min\{\delta_f,\delta_g\}$. Then for any u with $|x-u|<\delta$, both $|x-u|<\delta_f$ and $|x-u|<\delta_g$ and so

(1)
\begin{align} |f(x)+g(x)-(f(u)+g(u))|=|f(x)-f(u)+g(x)-g(u)| \leq |f(x)-f(u)| + |g(x)-g(u)| < \frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon. \quad \blacksquare \end{align}

Yes, you can assume this. In later chapters, we will prove this fact.

Sir, can we assume that the sum of two continuous functions is continous? I wrote a proof for part 19.b under this assumption (I let g(x)=f(x)-x).

Hint 1: How do you write down the set of x values at which f evaluates to v? The answer is $X=\{x\in [a,b] : \quad?????\quad\}$ for some ??????.

Hint 2: What you are trying to show is that $X$ has both a minimum and maximum. Remember that these are x values!

Hint 3: How do you get at minimum/maximum? We can define the Least Upper Bound of $X$ and we know that exists, by the LUB property of the real numbers. Keep in mind, though, that while $LUB(X)$ always exists, it may not be in the set $X$.

Hint 4: So you can define an x-value $x'=LUB(X)$, and if you can show that $x'\in X$, then you've shown that $x'$ is the maximum of the set.

I have posted information about the upcoming WPR at WPR 1. Solutions to the sample exam will be posted at Solutions to WPR 1.

The symbol is \neq (produces $\neq$).

Also, there's a table of symbols at how-to-edit-pages. Click "+ show the website" to see the table of symbols. You can also go directly to the source of the table at http://www.math.harvard.edu/texman/node21.html.

Sir,
I checked the WikiHelp section on the syntax and I can't seem to find the symbol for "Not equal to".
Could you possibly tell me what it is?
Thank you.

The problem is to find the multiplicative inverse of a cut $x=A|B$, that is a cut $y=C|D$ such that $x\cdot y=1^*$.

How do you even approach this problem? The best way is to try an example, let's say $x=2^*$. What do you think the inverse should look like in this case? Once your intuition has developed, the trick is finding a way to write it out mathematically.