Theoretical foundations of calculus: limits, convergence of sequences, construction of the real numbers, least upper bound property, and related analysis topics such as continuity, differentiation, and integration through the fundamental theorem of calculus.

learn more… | top users | synonyms

1
vote
2answers
54 views

What is valid and what is not in limits.

I have been looking for $$ \lim_\limits{x\to 0}{\left({\sin x\over x}\right)}^{1\over x^2}. $$ So I took $$ \lim_\limits{x\to 0}\left({\left({1+{\sin x-x\over x}}\right)}^{({x\over \sin ...
-1
votes
0answers
14 views

There is no scalar field such that f '(a)>0 for fixed “a” and for every nonnegative vector y

I am trying to prove this. But can't think of how I should start. Anyone has some ideas? and why is there a scalar field f'(a)>0 for every "a" and for fixed vector y ? can anyone give me an ...
4
votes
3answers
37 views

Is this a valid way to show that the recursive sequence $x_n = x_{n-1} + \frac{1}{x_{n-1}^2}$ is unbounded?

I'm working through some analysis textbooks on my own, so I don't want the full answer. I'm only looking for a hint on this problem. Rosenlicht's Introduction to Analysis asks me to prove that $x_n = ...
6
votes
0answers
66 views

Am I wrong for wanting to give up studying analysis?

I am writing this because I'm having a hard time studying for analysis. This is my second time taking a real-analysis course and from the beginning, somewhere deep down I thought that I might be ...
1
vote
1answer
29 views

Prove that $\left| f'(x)\right| \leq \sqrt{2AC}$ using integration

Suppose that $f(x)$ is a $C^2$ function on $\mathbb{R}$ such that $\left| f(x) \right| \leq A$ and $\left| f''(x) \right| \leq C $ for $x \in \mathbb{R}$. Prove that $\left| f'(x)\right| \leq ...
0
votes
0answers
8 views

Redundancy in the Laplace transform and Mellin's inverse formula

As I understand it, Mellin's inverse formula relates a sufficiently 'nice' function $f$ and its Laplace transform $F$ as follows: $$f(t)=\frac1{2\pi i}\lim_{T\to\infty}\int_{-T}^{T}e^{i\omega ...
2
votes
2answers
12 views

Fixed Point Iteration Method

Can anyone explain or prove the Fixed Point Iteration method? I know the conditions of fixed point existence. A fixed point is a point of a function ${f}$ on a continuous interval ${(a,b)}$ which ...
1
vote
1answer
35 views

Applying the Cauchy Swartz Inequality

Let $A = (a_{ij})$ be an $n \times n$ real matrix, $I = (\delta_{ij})$ the $n \times n$ identity matrix, $b \in \mathbb{R}^n$. Suppose that $$\|A - I\|_2 = \left(\sum_{i=1}^n \sum_{j=1}^n (a_{ij} - ...
2
votes
3answers
23 views

Prove that $\sqrt x$ is Lipschitz on $[1, \infty)$

Prove that $\sqrt x$ is Lipschitz on $[1, \infty)$ I want to show that $|f(x) - f(y)| \leq L |x - y|$ So $|\sqrt x - \sqrt y| = \frac{|x - y|}{\sqrt x + \sqrt y} \leq \frac{1}{2}|x - y|$. I can ...
0
votes
2answers
35 views

Compute $\lim_{|h|\rightarrow \infty} \int_{\mathbb{R}^n} |f(y+h)+f(y)|^p dy$

Suppose $f\in L^p(\mathbb{R}^n), 0<p<\infty$, and compute $\displaystyle \text{lim}_{|h|\rightarrow \infty} \int_{\mathbb{R}^n} |f(y+h)+f(y)|^p dy$ I have no idea from where to start since ...
1
vote
0answers
12 views

Cavalieri's principle and integrals

Let $f$ be a continuous function an $[a,b]$. Let $P\subset R^2$ be the figure under the graph of $f$ and $D \subset R^3$ a solid figure obtained by rotating a plane curve around $x$-axis. Using ...
0
votes
0answers
9 views

Iteratively solve this equation

I am supposed to solve $1 = \left( \frac{\mu}{f} \right)^{\frac{3}{2}} \left( 1+ \frac{ \pi^2}{8} \left( \frac{kT}{\mu} \right)^2 \right)$ iteratively for $\mu$ and am supposed to get $$\mu = f ...
1
vote
0answers
9 views

Lebesgue-Stieltjes Measure associated to $F$.

I would like some help here, please. First is confusing to me the definition of: Lebesgue-Stieltjes Measure associated to $F$. I'm reading Folland-Real Analysis, page 35, second paragraph. I do ...
0
votes
0answers
10 views

A question about n-dimensional Lesbegue measure

This is the p.70 of Folland Real analysis. It says that the completion of $m^n$ on $\mathcal{B}_{\mathbb{R}^n}$ is equal to the completion of $m^n$ on $\mathcal{L}^n$. But Why do they agree? Could ...
1
vote
4answers
54 views

Find $y^{(n)}(0)$ for every $n$.

Let $y(x)$ fulfill $y''-xy=0$. Furthermore: $y(0)=0,y'(0)=1$. Find $y^{(n)}(0)$ for every $n$. I tried different forms of recurrence relations but I couldn't do much with it without it becoming a ...
3
votes
1answer
30 views

Weak convergence - $f_n$ “goes up the spout”

Fix $1 < p < \infty$. Given $f \in L^p(\mathbb{R})$ define $f_n(x) = n^{1/p}f(nx)$ for $n = 1, 2, \dots$. Prove that $f_n$ converges weakly to $0$ in $L^p$. I'm really confised about this ...
1
vote
1answer
25 views

Confused about this definition of limit superior.

The definition I am given is as follows: Let $(x_n)$ be a real valued sequence. For each positive integer $n$, let $s_n:=\sup\{x_m:m\geq n\}$. If $(s_n)$ converges, we denote its limit by ...
0
votes
2answers
34 views

is this correct that if $\frac{\partial f}{\partial y}=0$ then $f$ is independent from $y$?

Suppose that $A=\{(x,y) \in \Bbb R^2 : x> 0 $ or $ y=0 \}$ and $f:A\to \Bbb R$ is an arbitary function. Prove that If $\frac{\partial f}{\partial x}=0$ then $f$ is independent from $x$ If ...
1
vote
2answers
20 views

Need a Probability Theory book that also focusses on Analysis

I am in search for a Probability Theory book which also contains elements and proofs from Analysis. A non-Measure Theoretic approach is most desirable. I have gone through great books like Ross but I ...
2
votes
1answer
33 views

What is the point of big Oh notation when it is used for estimation?

I'm reading a book on number theory at the moment that assumes familiarity with big Oh notation...and while I think I do understand the notation I cannot understand the point of it. For instance let ...
2
votes
0answers
11 views

Limsup question $ \sum_{n=1}^N \sum_{m=1}^N x_{m-n} \leq N^2 \bigg( \limsup_{n \to \infty} x_n + o(1) \bigg) $

Reading notes on the Poincare Recurrence Theorem and I am a bit stuck with Theorem 1. For a measure preserving dynamical system $T: X \to X$ we have $\mu(T^{-1}E) = \mu(E)$. Why does it "easily ...
2
votes
1answer
44 views

Can this special case happen when working with L'Hopitals rule?

I am using this version of L'Hopital's rule Assume that $\lim_{x \rightarrow a}f(x)=\lim_{x \rightarrow a}g(x)=0$, and that the limit-value $\lim_{x \rightarrow a} \frac{f'(x)}{g'(x)}$ exists (could ...
2
votes
4answers
60 views

Find $\lim_{x\to \infty}{[({1\over e}(1+{1\over x})^x)]^x}$.

Find $\lim_{x\to \infty}{[({1\over e}(1+{1\over x})^x)]^x}$. I have been trying for hours using the continuity of $e$ and using L'Hopital rule but it gets really scattered and ugly. I am in despaire. ...
0
votes
0answers
10 views

A real valued function having IVP

Given $f:\mathbb R\rightarrow \mathbb R$ be a function which maps intervals to intervals. Suppose for each sequence $x_n\rightarrow x \exists M $ such that $|f(x)-f(x_n)|\leq ...
2
votes
1answer
17 views

Monotone Convergence Theorem (for real sequences) equivalent to the Least Upper Bound Property?

Some days ago I have asked this question to which André Nicolas gave a link to this paper which contained a proof of the Least Upper Bound Axiom from Monotone Convergence Theorem via Archimedian ...
0
votes
0answers
16 views

Does the $C^1$ norm for the boundary of a ball depend on the radius?

Does the $C^1$ norm for the boundary of a ball with radius $r$ depends on the radius $r$? I use the classical definition of the $C^k$ boundary of a bounded domain: $\Omega$ is a bounded domain in ...
0
votes
0answers
6 views

Bound all $k$-th derivatives by directional derivatives of order $k$

Assume $f\in C^k(\mathbb{R}^n)$, $x\in\mathbb{R}^n$, and $|(\partial_\xi)^kf(x)|\leq 1$ for all $\|\xi\|=1$. Which bounds do we have for $|\partial^\alpha f(x)|$ when $|\alpha|=k$? For example, if ...
1
vote
1answer
31 views

Find $\lim_\limits{x\to 1}{x^\alpha-1\over x^\beta -1}$. What has gone wrong?

Find $\lim_\limits{x\to 1}{x^\alpha-1\over x^\beta -1}$. Using L'Hopital's rule I get that $$\lim_\limits{x\to 1}{x^\alpha-1\over x^\beta -1}=\lim_\limits{x\to 1}{\alpha x^{\alpha-1}\over \beta ...
0
votes
1answer
28 views

Conditions for a supremum of a set.

Suppose a function $f(x)$ is continuous on $[a, b]$ and there exists, $x_0 \in (a, b)$ such that $f(x_0) > 0$. And then define a set, $$A = \{ a \le x < x_0 \space | \space f(x) = 0 \}$$ We ...
0
votes
1answer
25 views

Show that ${\{s_n}\}$ is bounded if $s_n = b_1r + b_2r^2 + … + b_nr^n$ and $0 < r < 1$.

Question: Let ${\{b_n}\}$ be a bounded sequence of nonnegative numbers and r be any number such that $0 \leq r < 1$. Define $s_n = b_1r + b_2r^2 + ... + b_nr^n$ for every index $n$. Use The ...
-4
votes
1answer
30 views

Prove $f(x+y)=f(x)+f(y)$ and $f(cx)=cf(x)$ [on hold]

if $f(x+y)=f(x)+f(y)$ with f continuous prove that $f(cx)=cf(x)$ for $c\in \mathbb{R}$ It has been asked before but my problem is that I have to prove it for Reals. But it seems impossible to me as ...
0
votes
1answer
15 views

Isometry on compact metric space?

Let $(X,d)$ be a compact metric space and also let $f:X\longrightarrow X$ be an isometry. Is it necessary that $f$ is onto? We know every Banach space can be regarded (or modeled) as $C(X)$ for ...
1
vote
2answers
99 views

To show sum of two sets is closed in R^2

Let $A=\{(x,y)\in \mathbb R^2:\max\{|y|,|x|\}\leq 1\}$ and $B=\{(0,y)\in \mathbb R^2:y\in \mathbb R\}$. Show that $A+B$ is a closed subset of $\mathbb R^2$ My try: let $z_n=x_n+y_n$ be a sequence in ...
0
votes
2answers
36 views

Showing continuity of a map

Let $(S, \rho)$ be a compact metric space. Suppose the map $T: S \to S$ is such that for every $x \neq y$, $$\rho(Tx, Ty) < \rho(x,y)$$ 1) Show that the map $\phi: S \to \mathbb{R}$ defined by ...
2
votes
0answers
25 views

Is a countable product of open intervals homeomorphic to $\mathbb{R}^\omega$?

Fix countably many intervals $(a_i,b_i) \subset \mathbb{R}$, and let $\pi_{i \in \mathbb{N}} (a_i,b_i)$ be their Cartesian product with the product topology. Question: is $\pi_{i \in \mathbb{N}} ...
2
votes
1answer
41 views

Proof Involving Generalized Mean

Let $x=(x_1,...,x_n) \in \mathbb R^n$ and $$g(p)=\sqrt[p]{\frac{1}{n}\sum_{k=1}^{n} |x_k|^p)}$$ Using Hölder's inequality, show that $g(p)$ is increasing on $(0,\infty)$. For a sequence with ...
3
votes
1answer
30 views

Proving a metric on X.

Let $X$ be the collection of all sequences of positive integers. If $x=(n_j)_{j=1}^\infty$ and $y=(m_j)_{j=1}^\infty$ are two elements of $X$, set $$k(x,y)=\inf\{j:n_j\neq m_j\}$$ and $$d(x,y)= ...
0
votes
0answers
25 views

a valuable question about differential geometry, the curve$\beta(s)=\alpha(s)-rn(s)$

Let $\alpha(s)$,s$\in [0,l]$ be a closed convex plane curve positively oriented. The curve $$\beta(s)=\alpha(s)-rn(s)$$,where r is a positive constant and n is the normal vector, is called a parallel ...
0
votes
0answers
7 views

Generalized Holders inequality for infinity norm

The inequality is as follows: Let $g_j$ $j=1,..,n$ be measurable functions on a measure space $(X,M,\mu)$. Suppose $1 \leq p \leq \infty$ and $\sum_{j=1}^{n}\frac{1}{p_j} = \frac{1}{p}$ ...
1
vote
2answers
31 views

Every $p$-norm ($p \in [0,\infty]$) generates the same class of open sets on $\mathbb{R}^n$

The following claim has been made in my multivariable analysis class, and I think I have the idea of the proof but I can't quite seem to get down to the rigorous proof the instructor wants: Every ...
2
votes
2answers
40 views

Prove that there exists $x_0\in [a,b]$ such that $ \sum_{i=1}^{n} k_i \int_{x_0}^{x_i} fdt=0$

Let $f$ is a continuous function on $[a,b]$, $x_1,x_2,\ldots,x_n\in [a,b]$, $k_1,k_2,\ldots,k_n>0$. Prove that there exists $x_0\in [a,b]$ such that $$k_1\displaystyle \int_{x_0}^{x_1} ...
3
votes
2answers
45 views

Show that $P(X > \lambda) \geq \frac{(EX - \lambda)^2}{EX^2}$

Question: Let X be a nonnegative random variable and $0 < \lambda \leq EX$. Show that $P(X > \lambda) \geq \frac{(EX - \lambda)^2}{EX^2}$ At first glance I thought I could use some ...
2
votes
1answer
38 views

Integral inequality $\int_0^x{f(t)^3 dt \leq \left( \int_0^x f(t) dt\right)^2} :\forall x>0$

Let $f(0) = 0$ and $0<f'(x)\leq1$ for all $x \geq0$, then prove: $$\int_0^x{f(t)^3 dt \leq \left( \int_0^x f(t) dt\right)^2} :\forall x>0$$ The hint I was given was "differentiate, factor and ...
1
vote
0answers
27 views

Find $\lim_\limits{x\to \infty}{\sqrt[3]{x^3+ax^2+bx+c}-x}$. [duplicate]

Find $\lim_\limits{x\to \infty}{\sqrt[3]{x^3+ax^2+bx+c}-x}$. As I understand, I should use Taylor series, but I don't know how. What should I translate into Taylor series, to what extent, etc. This is ...
6
votes
1answer
62 views

Find $\lim_\limits{n\to \infty}\left({1\over \sqrt{n^2+1}}+{1\over \sqrt{n^2+2}}+\cdots+{1\over \sqrt{n^2+n}}\right)$

Find $\lim_\limits{n\to \infty}\left({1\over \sqrt{n^2+1}}+{1\over \sqrt{n^2+2}}+\cdots+{1\over \sqrt{n^2+n}}\right)$. I do know it is bounded by $1$. I tried using the sandwich rule with no ...
2
votes
1answer
53 views

Show that $f=0$ a.e. if $|\int_I f|^p \leq c|I|^{p-1}\int_I |f|^p$ with $0<c<1$

Suppose an extented real valued function $f$ defined on $\mathbb{R}^n$ satisfies the following two properties: a) There is a $p$, $1\leq p < \infty$ such that $f\in L^p(I)$, for every ...
1
vote
0answers
22 views

Derivatives in Topological Vector Spaces and General Spaces

I know that we may have a function $f$ such that all the directional derivative of $f$ in some topological vector space $V$, but the derivative need not exist. Moreover, it's possible for all the ...
3
votes
1answer
34 views

Sequence in an uncountable set of real numbers

Let $A$ be an uncountable subset of the real numbers, I think the following is true: There is an injective sequence $a:N\to A$ such that $\sum_{n=1}^\infty a_n$ diverges. This might also be true ...
1
vote
4answers
66 views

Find $\lim_\limits{x\to 1^-}{\ln x\cdot \ln(1-x)}$.

Find $\lim_\limits{x\to 1^-}{\ln x\cdot \ln(1-x)}$. I can't even start because I don't really know what $x\to 1^-$ means. If you know what it means it would really help me. I would as well if you ...
0
votes
1answer
40 views

Proving Submultiplicativity on a Matrix Norm

Let $||A||=(\sum_{i=1}^{n}\sum_{j=1}^{n}{a_{ij}^p})^{1/p}$, and let p=2. Then prove that $\|AB\|\le \|A\|\|B\|$ I have looked at numerous proofs for this, and I don't see one that satisfies me ...