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

0
votes
1answer
21 views

$L^1 ([0,1])$, bouned linear functional, absolute continuous function

I am studying for an Analysis prelim and was wondering if someone could perhaps either validate or invalidate my proof for the following problem: "Let $L^1 ([0,1])$ be the space of Lebesgue ...
1
vote
0answers
36 views

Why is $\sum_{n=0}^{N}{\cos nx}={1\over 2}+{1\over 2}\sum_{-N}^{N}e^{inx}$?

Why is $\sum_{n=0}^{N}{\cos nx}={1\over 2}+{1\over 2}\sum_{-N}^{N}e^{inx}$? I have gone through all the identities relating Fourier series and I can't seem to understand why. In this question, the ...
0
votes
4answers
48 views

Must a continuous function on $\mathbb R$ with only rational values be constant? [duplicate]

As I'm preparing for my exam I have to solve the following question: Determine if the following is correct: Let $f$ be a continuous function is $\Bbb R$. If $f$ recieves only rational values, ...
0
votes
0answers
31 views

Induction on derivatives

I have troubles understanding this induction proof: Let $$g(x) = \vert x \vert^{2k+1}$$ Show by induction: $$\frac{\partial ^N g(x)}{\partial x_{i_1} \dots \partial x_{i_N})} = cx_1n \dots x_iN \vert ...
4
votes
1answer
59 views

Condition for Continuity (two variable)

I came across the following question while studying for quals. This one is from a previous qualifier. I have a few ideas (which I'll mention below), but am stuck on how to complete the problem. Any ...
4
votes
2answers
45 views

If a measure $\mu$ is less than a measure $\nu$ on a generating $\pi$-system, can we conclude that $\mu \leq \nu$?

Let $\mu$, $\nu$ be finite measures on the non-degenerate compact interval $[a, b] \subseteq \mathbb{R}$ provided with the Borel $\sigma$-algebra. It is well-known that if $\mu(B) = \nu(B)$ for every ...
1
vote
2answers
47 views

Conditional convergence and Riemann's series theorem

There are tests to determine whether an integral or sum is convergent. There are test to determine whether an integral or sum is absolutely convergent. An integral or series is said to be $\mathbf ...
2
votes
1answer
66 views

How to prove that $\frac 12+ \frac 13+\dots + \frac 1n < \log n < 1 + \frac 12+ \dots + \frac {1}{n-1} $?

If $n \in \mathbb N$ and $n \geq 2$, then we have $\frac 12+ \frac 13+\dots + \frac 1n < \log n < 1 + \frac 12+ \dots + \frac {1}{n-1} $. My try : Once if we can prove that for all $k \in ...
3
votes
2answers
56 views

Is this statement “a map $f$ is continuous if and only if for any open set $G$, ${f^{ - 1}}(G)$ is still open” true?

I am really puzzled by this statement and it has so many different versions in different places. Yesterday I did a homework to prove that a finite function $f$ is continuous if and only if ${f^{ - ...
3
votes
3answers
69 views

Why is $\max(x, x')$ equivalent to $\frac{1}{2}( x + x' + |x - x' |)$?

Why is it that $$\max(x, x') = \frac{1}{2}( x + x' + |x - x'|)$$ is true? Is it supposed to be obvious? Because it seems to come out of thin air for me. Anyway, I've verified this by plotting it in ...
1
vote
1answer
14 views

Open condition given by inequality on functions

Let's say we have two functions $f,g\in C^\infty(D)$, $D$ an open domain in $\mathbb{R}^2$. The condition $f(x,y)<g(x,y)$ is an open condition on $D$? With this I mean: do the points $(x,y)\in D$ ...
0
votes
1answer
12 views

Upper semi-continuity results

I have recently been introduced to the notion of upper semi-continuity on a metric space $X$. Please advise on the following queries: If $f:X \rightarrow \mathbb{R}$ is upper semi-continuous and ...
1
vote
1answer
29 views

Proving Squeeze Theorem using Order Limit

Would this be a valid way of proving the squeeze theorem using the Order Limit theorem? If $x_n \leq y_n \leq z_n$ for all $n \in \mathbb{N}$ and if $\lim x_n =\lim z_n = l$, then $\lim y_n = l$ as ...
1
vote
1answer
104 views

Is $(\frac 1{n^2 \sin n })$ convergent ? If so , what is the limit? [duplicate]

Is the sequence $\left(\dfrac 1{n^2 \sin n }\right)$ convergent ? If it does, with what limit?
0
votes
0answers
35 views

Principle of infinite descent

I'm trying to prove the following: "It is not possible to have a sequence of natural numbers which is in infinite descent. (Hint: assume for sake of contradiction that you can find a sequence of ...
1
vote
0answers
23 views

Periodicity of Newton's method approximations on a cubic polynomial

Bruckner & Bruckner, Elementary Real Analysis Let $f(x) = x^3 - 3x + 3$ Applying Newton's method to get $x_{n+1} = x_n -\frac{f(x)}{f'(x)} \ ,$ prove that for any positive integer $p$, there ...
1
vote
1answer
25 views

If $(B_t)_{t\ge 0}$ is a Brownian motion and $\tau$ is a stopping time, then the stopped process $(B_{\min(\tau,t)})_{t\ge 0}$ is integrable

Let $B=(B_t)_{t\ge 0}$ be a Brownian motion on a probability space $(\Omega,\mathcal A,\operatorname{P})$. By definition $B_t$ is normally distributed with mean $0$ and variance $t$. Now, let ...
0
votes
1answer
38 views

Application of inverse function theorem?

I am not completely sure if this a direct consequence of the inverse function theorem. Assume that we have a function $f: \mathbb{R}^2 \rightarrow \mathbb{R}$ that we can write in terms of ...
0
votes
4answers
52 views

Proof of Convergence of a Sequence

Show that the sequence $\frac{n^2+1}{n^2+n}$ converges and its limit is $1$. However, I am finding it difficult to prove according to the rules that a converging sequence must obey, that is, sequence ...
0
votes
2answers
44 views

$f: [0,1] \to \mathbb R$ is continuous and $\int_0^x f(t) dt = \int_x^1 f(t)dt$ for all $x \in [0,1]$, then $f(x) = 0$ for all $x \in [0,1]$.

A function $f: [0,1] \to \mathbb R$ is continuous on $[0,1]$ and $\int_0^x f(t) dt = \int_x^1 f(t)dt$ for all $x \in [0,1]$, then $f(x) = 0$ for all $x \in [0,1]$. My Try: Let us assume that $f(x) ...
2
votes
1answer
31 views

Limit involving normal CDF

I am struggling to calculate the following linmit $$ \lim_{\gamma_- ~\to ~-1} \Phi\left(\frac{-\gamma~ \Phi ^{-1}(\alpha) - \Phi ^{-1}(\beta)} {\sqrt{1- \gamma^2}} \right)$$ where $\alpha,\beta \in ...
0
votes
0answers
20 views

Condition on the limit of the upper incomplete gamma function

I am trying to find a lower bound on $q$ such that $$\Gamma(2p,qt)=\int_{qt}^{\infty}{x^{2p-1}e^{-x}\,dx}>0$$ for all $t>0,p>0$, and $q<0$. At first, I tried expanding $\Gamma(2p,qt)$ ...
13
votes
2answers
407 views

Are eigenvalues of the limit of a sequence of matrices limits of eigenvalue sequences?

Let $\{A_n\}\in \mathbb{R}^{m\times m}$ be a sequence of symmetric matrices such that $A_n\to A$ as $n\to \infty$, i.e. $\lim_{n\to \infty}a_{ij}(n)=a_{ij}\ \forall 1\le i,j\le m$ where ...
-3
votes
1answer
38 views

For what values of α the following serie converges?

For what values of α the following series converges? $\displaystyle\sum_{n=1}^{\infty} (\frac{1}{n}-\sin\frac{1}{n})^{\alpha}$ Help.. Thanks...
0
votes
0answers
26 views
+150

Optional stopping/sampling for right-continuous supermartingales

Let $\mathbb{F}$ be a filtration $(X_t)_{t\ge 0}$ be a right-continuous $\mathbb{F}$-supermartingale $\sigma,\tau$ be bounded $\mathbb{F}$-stopping times with $\sigma\le \tau$ and ...
16
votes
2answers
251 views

How can I prove $\pi=e^{3/2}\prod_{n=2}^{\infty}e\left(1-\frac{1}{n^2}\right)^{n^2}$?

I am interested about some infinite product representations of $\pi$ and $e$ like this. Last week I found this formula on internet ...
1
vote
0answers
23 views

construction of a path of quadratic variation

Consider a path $x: [0,1] \to \mathbb R$. it's $p$-variation on an interval is defined by $$V_{p}(x, [a, b]) = \lim_{|\Pi| \to 0} \sum_{i=1}^{n}|x(t_{i}) - x(t_{i-1})|^{p}$$ where $\Pi = \{a= ...
0
votes
0answers
35 views

Help with Fourier transform of product

I was reading this article in wikipedia, and I supposed $f,g \in L^1(\mathbb{R^n})$ such that their product $f \cdot g$ are in $L^1(\mathbb{R^n})$ too. So let $h=f \cdot g$, and ...
1
vote
3answers
44 views

How to determine the closure of a subset and prove it is actually the closure?

I have this subset $E = \{r \in Q: r^2 \leq 2\}$ which is in $\mathbb{R}$ with the Euclidian metric. I was wondering how can I find the closure of this subset. Here is what I have: The limit points ...
-4
votes
3answers
83 views

Prove that $f(x) = x$ has a solution on [0,1] [duplicate]

Let $f:[0,1]\to [0,1]$ be a continuous function. Prove that $f(x) = x$ has a solution in $[0,1]$. So, here, $f(0) = 0$ and $f(1) = 1$ and $f'(x) = 1$. Now, can we conclude that there is at least one ...
4
votes
1answer
62 views

$f(x) =\lim_{n \to \infty} \frac{(1+ \sin \frac{\pi}x)^n - 1} { (1+ \sin \frac{\pi}x)^n +1}$, $x \in (0,1]$. To show that $f$ is integrable on $[0,1]$

A function defined on $[0,1]$ by $f(0) = 0$ and $f(x) = \lim_{n \to \infty} \frac{(1+ \sin \frac{\pi}x)^n - 1} { (1+ \sin \frac{\pi}x)^n +1}$, $x \in (0,1]$. To show that $f$ is integrable on ...
1
vote
3answers
43 views

Proof that boundedness of continuous Real Valued functions implies Compactness

I'm looking to prove the following : Let $(X,d)$ be a Metric Space If every continuous real-valued function on $X$ is bounded then $X$ is Compact I saw a proof earlier today If instead $X$ is ...
0
votes
2answers
65 views

Is my proof for this limit correct?

I want to prove that $\sqrt{2 + \sqrt{2 + \sqrt{2 + \ldots}}}$ limits to 2. Let $a_0$ = $\sqrt{2}$ $a_n$= $\sqrt{2+a_{n-1}}$. Then, proving that $\sqrt{2 + \sqrt{2 + \sqrt{2 + \ldots}}}$ limits to ...
0
votes
1answer
69 views

Prove that $[f(x+1)-f(x)] = 0$

I know this is a very elementary level question. But, I still need t0 understand this in term of mean value theorem. So here it goes: Suppose $f$ is differentiable on $(0,\infty)$ and lim$_{x \to ...
3
votes
1answer
35 views

Variation processes and strong solutions of stochastic differential equations

Let $(\Omega,\mathcal{A},\operatorname{P})$ be a probability space $\mathbb{F}$ be a filtration on $(\Omega,\mathcal{A})$ $\tau$ be a $\mathbb{F}$-stopping time An $\mathbb{F}$-adapted, ...
0
votes
4answers
66 views

Why is this function a bijection?

Consider the function below $$f:\mathbb{R^+} \to \mathbb{R^+}$$ given by $$f(x) = \sqrt{x}$$. Now it makes sense that the function is injective because $f(x) = f(y) \implies \sqrt{x} = \sqrt{y} ...
1
vote
1answer
54 views

Show Lie bracket left invariant

I want to prove from the definition that the Lie bracket $[X,Y]$ of two left-invariant vector fields $X,Y: G \rightarrow TG$ where $G$ is a Lie group is again left-invariant. Left-invariance ...
1
vote
0answers
17 views

True/False? If $a ∈ iso(S)$ , then, $a_i ∈ iso(π_i(S))$ for all $i ∈ \mathbb N_n,$ where $π_i$ denotes the natural projection of $P$ onto $X_i$

Suppose $n ∈ \mathbb N$ and, for each $i ∈ \mathbb N_n, (X_i, τ_i)$ is a metric space. Suppose $d$ is a conserving metric on $P = \prod_{i=1} ^n X_i .$ Suppose $S ⊆ P$ and $a ∈ S.$ Is it true that If ...
2
votes
3answers
96 views

Prove that $f'(c ) = \lambda f(c )$

Suppose $f$ is continuous on $[a,b]$ and $f$ is differentiable on $(a,b)$ with $f(a) = f(b) = 0$. Prove that for every real $\lambda, \exists c \in (a,b)$ s.t. $f'(c ) = \lambda f(c )$. Hint: Apply ...
3
votes
1answer
45 views

Surjectivity of $\mathcal{id}_{\mathbb{R}^n}+g$ when $g$ is a contraction?

Assume $g:\mathbb{R}^n\longrightarrow \mathbb{R}^n$ is a contraction and consider $h=\mathcal{id}_{\mathbb{R}^n}+g$. The map $h$ is injective. Is it always surjective? My question has the following ...
4
votes
3answers
92 views

Why is $\int_{0}^{\pi}{1\over 1-\sin x}dx=2\int_{0}^{\pi\over 2}{1\over 1-\sin x}dx$?

Why is $\int_{0}^{\pi}{1\over 1-\sin x}dx=2\int_{0}^{\pi\over 2}{1\over 1-\sin x}dx$, or to be accurate: why is $\int_{\pi\over 2}^{\pi}{1\over 1-\sin x}dx=\int_{0}^{\pi\over 2}{1\over 1-\sin x}dx$? ...
1
vote
0answers
78 views

Distance between sets

Let $K \subset K_1 \subset U \subset \Bbb R^2$, such that $K$ and $K_1$ are compact sets, with $K \subset \mathring {K_1}$, and $U = \mathring U \subsetneq \Bbb R ^2$. If $w \in \partial K_1$ such ...
1
vote
0answers
18 views

Prove that $\frac{\langle f^2,g\rangle_{L^2}}{\left\|f\right\|_{L^2}^2}\ge-\left\|g\right\|_{L^\infty}$ for $f\in L^2$ and $g\in L^\infty$

Let $\Omega\subseteq\mathbb{R}^n$ be bounded, $f\in L^2(\Omega)$ and $g\in L^\infty(\Omega)$. How can we show, that $$\frac{\langle ...
0
votes
2answers
33 views

C1 function with strictly positive derivative at its root(s); can I prove that $x<y,\;f(x) > 0 \Rightarrow f(y) > 0$?

My question is somehow related to Positive derivative at root of $f$. but yet slightly different. Let $f$ be a C1 function in $(a,b) \subseteq \mathbb{R}$, not necessarily monotonic but with the ...
2
votes
0answers
42 views

Orthonormal Basis of $L^2$

Theorem: ' ' The Orthonormal family $e_n(x)=e^{2\pi i n x},\ n\in\mathbb{N}$ is a basis for $\mathcal{L}^2([0,1])$.`` In this case, $\{e_n(x)\}_{n\in\mathbb{N}}$ being a basis would mean that any ...
2
votes
1answer
102 views

Prove that $x+g$ is homeomorphism

Problem: Assume we have $g:\mathbb{R}^n\longrightarrow \mathbb{R}^n$ of $C^1$ class with derivative bounded uniformly by some constant $M<1$. Consider ...
0
votes
1answer
15 views

Definition of “Contractive Invariant Plane”

Can someone please explain the definition of a contractive invarient Plane found in: the paper It is nearly at the very beginning of the Introduction. By contractive do they mean a contractive map? ...
1
vote
0answers
15 views

Proposed proof for quasi-metric result

A quasi-metric on a set $X$ is mapping $\rho: X \times X \rightarrow [0, \infty)$ satisfying the following conditions: $\rho(x,y) \geq 0~~\text{and}~~\rho(x,x) = 0;$ $\rho(x,z) \leq \rho(x,y) + ...
1
vote
0answers
28 views

Series Convergence in Banach Space

Let $(e_j)_1^\infty$ be an orthonormal set in $l^2$ Consider $$s_n =\sum_{j=1}^n t_je_j$$ Show that $s_n$ converges in $l^2 \iff t = (t_j)_{j=1}^\infty \in l^2$ Thoughts so far : If we consider ...
2
votes
1answer
26 views

What is the convex hull of $ \{t \to e^{-\lambda t} : \lambda >0\}? $

What is the convex hull of $$ \{t \to e^{-\lambda t} : \lambda >0\}? $$ (Interpreted as the set of all functions on the above form.) Reference or argument is great.