I am taking my first course in analysis. I like the subject. I study it almost on a daily basis. I try to prove theorems on my own without even looking at the hints. If I really get stuck I just read the first line of the proof and then try to continue on my own. I find this approach to be very rewarding. The problem is that I tend to forget all the proofs later. Some I still remember because I liked the idea of the proof, but most of the others I will forget fast. What am I doing wrong? Any tips on how to study analysis?...Read more

Let $\mathcal{F}=\{ f_\alpha:X \rightarrow X_\alpha, \alpha \in A\}$ be a family of functions from X onto topological spaces $X_\alpha$. The weak topology for X generated by functions $f_\alpha$ is the topology determined by the subbasis of open sets $\{ f^{-1}_\alpha (O_\alpha): \alpha \in \mathcal{A}, O_\alpha$ open in $X_\alpha\}$.Why would the weak topology defined above be the weakest topology with respect to each of which of the given function is continuous?Suppose we have a family of constant functions (they are continuous), then the top...Read more

First, my apologies if this has already been asked/answered. I wasn't able to find this question via search.My question comes from Rudin's "Princicples of Mathematical Analysis," or "Baby Rudin," Ch 1, Example 1.1 on p. 2. In the second version of the proof, showing that sets A and B do not have greatest or lowest elements respectively, he presents a seemingly arbitrary assignment of a number $q$ that satisfies equations (3) and (4), plus other conditions needed to show that $q$ is the right number for the proof. As an exercise, I tried to d...Read more

My proof is:Let $x$ be any point in $\mathbb{N}$, and let $\beta$ be the closest number (such as a factor or irrational number) to $x$, such that $\beta \notin \mathbb{N}$ and $\beta > x$.Let $B_\epsilon(x)$ be the epsilon ball around $x$ in $\mathbb{N}$. Let $\epsilon = \beta - x$.Clearly $\forall x \in \mathbb{N}: \exists \epsilon >0, \epsilon \in \mathbb{R}: B_\epsilon \left({x}\right) \subseteq \mathbb{N}$. So we have that all singleton sets in $\mathbb{N}$ are open.All subsets of $\mathbb{N}$, except the empty set, consist of a union...Read more

This is part of a larger problem where I am trying to find the derivative of a vector valued function. I feel like I'm missing something simple. NOTE: $c$ can be a function of $x$ and $y$....Read more

What is an intuitive and correct way to visualize a compact subset of a metric space?Obviously, any compact subset $E$ of a metric space $(X,d)$ is closed and bounded, but I have been informed that, for some metric spaces, $(E$ closed & bdd.$)\not\to (E$ compact$)$, so the visualization of "closed & bounded" is incorrect.Thank you....Read more

Let $\{x_n\}$ be a sequence in a compact metric space X such that: 1) For all $n \in \mathbb{N}$ the set $\{ x_n : n \ge N\}$ is closed. 2) The sequence $\{x_n\}$ is Cauchy. Prove that there exists $x \in X$ and a subsequence $\{x_{n_k}\}$ such that $x_{n_k} =x$ for all $k \in \mathbb{N}$.Since we are in a compact metric space, the Cauchy sequence is convergent to some $x \in X$ and as $\{x_n\}$ is closed that would mean that $x= x_M$ for some $m\in \mathbb{N}$. But I'm not sure how to extract a subsequence which is eventually constant....Read more

Let $f(x)=\sup(x^3, x^2+1)$, $I=[1,4]$$\sup(x^3)=64,\ \inf(x^3)=1$$\sup(x^2+1)=17,\ \inf(x^2+1)=2$So $\sup(x^3,x^2+1)=\sup(64,17) =64$Is this correct, can I have good example....Read more

It is from Intro to Analysis by Bartle 3rd edLet $I:=[a,b]$ let $f:I\rightarrow\mathbb{R}$ be a continuous function with $f(x)>0$ Prove that there exists a number $c>0$ such that $f(x)\geq c $ for all in $I$I am given 2 hints: Use Boundedness theorem with $1/f$ orMax-min theoremIf $f$ is bounded then $1/f$ is unbounded? Can this type of theorem be done without proof by contradiction?Mock proofIf $f$ is continuous then it is bound. So we have $|f(x)|<M$For any number $n$ in $\mathbb{N}$ there is a number$x_n$ in $I$ s.t $|f(x_n)|<n$...Read more

Say $E$ is a measurable set, and $\{E_k\}$ is a series of measurable sets defined by$$E_k \subset E, m(E \setminus E_k) < \frac{1}{k}, k = 1, 2, 3, ...$$Do their corresponding indicator functions series converge to 1, almost surely?$$\lim_{k \to \infty} 1_{E_k} = 1, a.s. x \in E$$If $E_k \subset E_{k+1}$, then it would be trivial to prove the above statement with $A = \bigcap_{k=1}^{\infty} (E \setminus E_k)$. However, without this condition, I'm getting suspicious about its correctness, but I cannot raise any counterexample either....Read more

Determine the condition on $|x-2|$ that will assure that$|x^2-4|<1/2$ will workSo $|x^2-4|=|x+2||x-2$|Do I assume that $|x-2|<1$ or $|x-2|<0.5$I would like to see full details. Can someone show all the steps thanks...Read more

On page 85 he estimates the following for the cubic equation $x^3-7x+2=0$His estimate:$|x*-x_0|<\frac{3^{n-1}}{7^{n-2}}*20$I don’t understand how the estimate for the denominator is achieved given the Theorem that he states.Can someone clarify how we got it?...Read more

I am having hard time understanding the proof that there is no onto function from set A to its power set. In the proof author has constructed the set B = {$a \in A : a \notin f(a)$}. I have taken few sets and constructed functions but i am not able to get the intuition behind construction of set B , i mean to say how should we know that set B has to be constructed in this wayThanks...Read more

I am self-studying Royden's Real Analysis; Exercise 58 of Section 9.5, "Compact Metric Spaces", asks: Let $E$ be a subset of the compact metric space $X$. Show that the subspace $E$ is compact if and only if $E$ is a closed subset of $X$.The reverse implication is easy: if $E$ is closed, given an open cover $\mathcal{O}$ of $E$, $\mathcal{O} \cup \{X \setminus E\}$ is an open cover of $X$, which, by compactness of $X$, contains a finite subcover $\mathcal{O}'$ of $X$; removing $X \setminus E$ from $\mathcal{O}'$ if necessary, we arrive at a fi...Read more

I'm looking for the metrisable compact $M$ so that there is no isometry $f:M \rightarrow \mathbb{R}^{n}$ with $im(f) = K$ $-$ compact subspace.First, isometry preserves completeness, separability, and boundedness. Then, let's see how do the compact subspaces of $\mathbb{R}^{n}$ look like. First, they are complete (this works not only in the case of $\mathbb{R}^{n}$ but is the cases of metrisable space), then they are bounded (Heine-Borel states that compact set is bounded and closed). Moreover, any compact space in metric space is separable. So...Read more