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

2
votes
0answers
7 views

Closure of Schwartz spaces in $L^2$-spaces

I am stuck with the following question and I am hoping that someone could help me with it: Let $D$ be the line $y=0$ in $\mathbb{R}^2$. I define the Schwartz space $\mathcal{S}(\mathbb{R}^2\backslash ...
0
votes
0answers
15 views

Lemma 3.5-3 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: Is the set of non-zere Fourier co-efficients uncountable too?

Let $X$ be an inner product space, let $x \in X$ be non-zero, and let $M$ be an uncountable subset of $X$. Then what can we say about the cardinality of the following set? $$ \{ \ v \in M \colon \ ...
-3
votes
1answer
23 views

A problem of the limit of a serie [on hold]

I need a step-by-step solution to the following problem. Sorry, I have nothing done because I don't know how to approach the problem. Calculate the following limit: Thanks!
0
votes
1answer
9 views

Prove $f\in \mathscr{R}(\alpha)$ and $\int_a^b f\ d\alpha = f(s)$ with the following conditions.

If $a<s<b$, $f$ is bounded on $[a,b]$, $f$ is continuous at $s$, and $\alpha(x)=I(x-s)$, then prove that: $$f\in \mathscr{R}(\alpha)$$ and $$\int_a^b f\ d\alpha = f(s)$$ $I$ is a unit step ...
-5
votes
0answers
50 views

A not very easy problem… [on hold]

I leave a challenge, a derivative problem. Determine $\alpha \in \mathbb{R}$ such that $$ \arctan^2 (2x) - \alpha x \sin x = \mathcal{O}(x^4), \text{ as } x\to 0 $$
1
vote
0answers
7 views

Compactness of a convex collection

Given $\epsilon\in(0,1)$, suppose we have collection $\mathscr{C}(\epsilon)$ of multilinear polynomials in $\Bbb R[x_1,\dots,x_n]$ that on $\{0,1\}^n$ is in range $(-\epsilon,\epsilon)$ on $S_0$ while ...
0
votes
0answers
22 views

How is this convex set compact as well?

Given $\epsilon\in(0,1)$, supposing we have a collection $\mathscr{C}(\epsilon)$ of polynomials in $\Bbb R[x_1,\dots,x_n]$ that on $\{0,1\}^n$ takes on value $0$ on $S_0$ while being in range ...
0
votes
1answer
27 views

Proposition on limsup

Given sets (or events) $A_1, A_2, A_3, ...$ and function $f: \mathbb{N} \to \mathbb{N}$, show that $\limsup A_{f(n)} \subseteq \limsup A_n \Leftrightarrow f(n) \to \infty$ This is what @Did told me ...
3
votes
2answers
39 views

if $f:(a,b) \rightarrow (c,d)$ is a differentiable surjection and $f'(x)$ is never zero then $f$ is a homeomorphism

There is a theorem in our analysis book which says: if $f:(a,b) \rightarrow (c,d)$ is a diffrentiable surjection and $f'(x)$ is never zero then $f$ is a homeomorphism. This is the proof of the book: ...
0
votes
1answer
26 views

Show that if the set A is bounded then the set Bϵ(A) is bounded.

Let $A$ be a nonempty closed subset of $\mathbb{R}^{n}$. For $\epsilon>0$, $B_{\epsilon}(A)= \left \{ x\in \mathbb{R}: d(x,A)<\epsilon) \right \}$. a) Show that if the set $A$ is bounded then ...
2
votes
1answer
40 views

Prove that all the five sequences converge to the same point $P \in \mathbb{R}^3$.

Let five sequences $A_n, B_n, C_n, D_n, E_n \in \mathbb{R}^3$ be constructed as follows: $A_0, B_0, C_0, D_0$ and $E_0$ are some given points of the space and $A_{n+1}, B_{n+1}, C_{n+1}, D_{n+1}, ...
0
votes
2answers
43 views

Closure of $\Bbb R$ [on hold]

Is the closure of $\Bbb R$ equal to $\Bbb R$ itself or the extended real numbers $\bar{\Bbb R}$? Thanks for any comment.
1
vote
0answers
23 views

Intuition of weak star convergence.

Given $\Omega=(0,1)$, consider the following sequence $$ v_j(x)\colon=\begin{cases} \;a &\text{if }jx-\lfloor jx \rfloor\le\theta\\ \;b &\text{otherwise} \end{cases} $$ where ...
-3
votes
1answer
36 views

The integer part of $x+1$ is the integer part of $x$ plus $1$ [on hold]

How do you solve the proof: If $x$ is a real number, then: $[x+1] = [x] + 1$. For my proof, I tried to describe the interior of the argument inside the parentheses, but I was unsuccessful. Please ...
0
votes
2answers
51 views

Prove $\lim_{x\to+\infty}\frac{x^3}{|x|} = +\infty$

We want to prove $\lim_{x\to +\infty}\frac{x^3}{|x|} = \infty$. I don't think the usual "$\varepsilon-\delta$ definition would work since we are dealing with $\infty$. How else could I approach this ...
0
votes
0answers
18 views

Proving Euler's theorem for homogeneous functions.

This problem is from Apostol's Mathematical Analysis. Let $f$ be defined on an open set $S$ in $R^n$. We say that $f$ is homogeneous of degree $p$ over $S$ if $f(\lambda x)=\lambda ^p f(x)$ for every ...
0
votes
0answers
23 views

A Measure Problem on Stein's Real Analysis

I'm considering problem 5 on Stein's real analysis chapter 6 $X$ is a metric space, for any positive linear functional $l$ on $C_0 (X)$ which are the continuous functional on $X$ supported in some ...
2
votes
0answers
32 views

On the properties of an interesting set on the real line…

Let $K$ be the set of all real numbers of the decimal form $$ 0.\;e_1\;\underbrace{0}_{1!\text{ times}}\;e_2\;\underbrace{00}_{2!\text{ times}}\;e_3\;\underbrace{000000}_{3!\text{ ...
0
votes
2answers
27 views

Find the limit points and exterior points of the following

Let $X=\mathbb R$, with the usual metric on $\mathbb R$ and $A=((0,1)\cap \mathbb Q)\cup$ {$2,3$}. Find the limit points of $A$, exterior points of $A$, $A^o$, $\overline A$ and $\partial A$. Can ...
1
vote
2answers
36 views

Does $(f_n)$ converge pointwise/uniformly on $I$?

Does $(f_n)$ converge pointwise/uniformly on $I$ if $$f_n(x) = \frac{x^n}{1+x^n} ~~~~~~ I=[0,1]$$ My attempt: If $x \in [0,1): \displaystyle \lim_{n \to \infty}f_n(x) = 0$ If $x=1: ...
0
votes
1answer
28 views

Is there a relation between Ill-posed problems and Eigenvectors.

One can easily explain an ill-posed problem with an equation AX=b. The following link is an good example: http://www.encyclopediaofmath.org/index.php/Ill-posed_problems 1) Can there be a class of ...
-1
votes
0answers
36 views

Show that subspace metric induces subspace topology [on hold]

Let $(X,d)$ be a metric space, let $\tau$ be the topology on $X$ induced by $d$ and $A \subset X$. Define $d_A: A \times A \to \mathbb R$ as $d_A(a,b)=d(a,b) \forall a,b \in A$ . Show that $d_A$ ...
0
votes
2answers
59 views

Is $[-1,1]$ complete under the Euclidean metric? [on hold]

Is it true that the interval $[-1,1]$ is complete under the Euclidean metric?
1
vote
1answer
31 views

Show that $\tau_A$ is a topology on $A$

Let $(X,\tau)$ be a topological space and $A \subset X$. Let $\tau_A$={$A \cap U: U \in \tau$}. Show that $\tau_A$ is a topology on $A$. I know that I need to prove three properties to prove ...
2
votes
1answer
53 views

Please check my demonstration of de l'hopital's rule

I have demostrate the de l'hopital theorem but in some steps I'm not 100% sure; The theorem I demostrate is for: $\lim_{x\rightarrow a+} \frac{f'(x)}{g'(x)}=L \implies\lim_{x\rightarrow a+} ...
2
votes
1answer
31 views

Open-Set Correspondence $\implies$ Continuity

I would like to show the following implication. Let $f$ be a function from $\mathbb{R}^n$ to $\mathbb{R}^m$. If $f^{-1}(U)\subset\mathbb{R}^n$ is open for every open $U\subset\mathbb{R}^m$, then ...
-1
votes
0answers
31 views

Show that $x_n \to x$ in $(X,d_f)$ iff $f(x_n) \to f(x)$

Let $(x_n)$ be a sequence in $X$ and $x \in X$. $(X,d)$ is a metric space and $f: X \times X\to $ is a bijection. Show that $x_n \to x$ in $(X,d_f)$ iff $f(x_n) \to f(x)$. ...
0
votes
0answers
21 views

If a bounded sequence is equicontinuous, it has a uniformly convergent subsequence

I am currently having some difficulty with problem 2.7.8 in Introduction to Topology by Theodore Gamelin and Robert Greene. The problem goes as follows A family F of real-valued functions on a ...
0
votes
3answers
53 views

Show $f$ is not continuous on $\mathbb{R}$

Show that the function $$f(x) \begin{cases} 1 & \text{if } x\in \mathbb{Q} \\ 0 & \text{if } x \not\in\mathbb{Q}\end{cases}$$ is not continuous anywhere in $\mathbb{R}$. Give reason(s) for ...
1
vote
3answers
46 views

Explicit form of this series expansion?

I am considering the following series expansion: $$f(k):=\sum_{n\geq 1} e^{-k n^2}$$ with $k>0$ a fixed parameter. Is there a possibility to either find a closed form expression for $f(k)$? Or at ...
-1
votes
2answers
31 views

Show that $d_f$ is a metric on $X$ [on hold]

Let $(X,d)$ be a metric space, and let $f: X \to X$ be a bijection. Define $$d_f: X \times X \to \mathbb R $$ as $d_f(x,y)=d(f(x),f(y))$ $\forall x,y \in X$ Show that $d_f$ is ...
1
vote
3answers
42 views

Show $\exists a >0$ such that $f(x) \ge a$

Let $f:[0,1] \to \mathbb{R}$ be continuous and suppose $f(x)>0$ for all $x \in [0,1]$. Show that there exists a number $a>0$ such that $f(x) \ge a$ for all $x \in [0,1]$. I have a feeling ...
3
votes
1answer
28 views

Two versions of the Inverse Function Theorem.

I first learned about the Inverse Function Theorem for $C^1$ functions in Rudin's Principles of Mathematical Analysis in the following form. Inverse Function Theorem ($C^1$ version): Suppose $E$ ...
3
votes
1answer
131 views

Counterexample for Interchange of Limits in integration

If $f_n$ converges to $f$ uniformly in $\mathbb{R}$, then \begin{equation*} \lim_{n\to\infty}\int_a^b f_n(x)\,dx =\int_a^b f(x)\,dx \end{equation*} but it's not true in general that ...
0
votes
2answers
48 views

What kind of set-theory is sufficient to understand mathematical analysis?(book recommendation))

I am looking for books with set theory and logic that is sufficient to understand mathematical analysis. I guess another question might be if there even exists such a book. There are basically two ...
0
votes
1answer
37 views

Differentiability question using the definition

Could anyone please help me with where to start with this question? (c)
2
votes
0answers
30 views

Having difficulty calculating a derivative using the definition and limit question

My first question is how do we justify that the limit of $\sin (x)\sin \frac{1}{x}$ as $x$ tends to $0$ is $0$? Would we say $-\sin(x)\leq \sin (x)\sin (\frac{1}{x})\leq \sin (x)$ and then use the ...
0
votes
0answers
6 views

Deriving information about asymptotics from finitness of a limit

Let $f_1,f_2:\mathbb{R}\setminus\{0\}\to \mathbb{R^+}$ be two $C^1$ functions and $\alpha:\mathbb{R}\setminus \{0\}\to \mathbb{R}$ be a function from a Zygmund class (in particular it is Holder for ...
0
votes
0answers
17 views

Condition for all derivatives to be L-Lipschitz

Let $f:\mathbb{R}\to\mathbb{R}$ be a function with infinitely many derivatives and let us use the notation $$ f^{(n)}(x)=\frac{\mathrm{d}^nf(x)}{\mathrm{d}x^n}. $$ Assume that $f^{(n)}$ is ...
0
votes
0answers
24 views

$\lim$ and $\lim \sup$ and radius of convergence

I have a problem concerning the $\lim \sup$ of the sequence $a_n^{1/n},\,\ a_n>0$. Let's consider two cases: the sequence an is convergent in $\mathbb{R}$. For the sake of simplicity let's ...
0
votes
0answers
15 views

function defined as integral of borel function

I know that $f \in B_b(E)$, where $B_b(E)$ is the set of Borel bounded function on an euclidean space E. I have to show that: \begin{equation} x \to \int_{0}^{+\infty} e^{-at} P_tf(x) dt ...
0
votes
0answers
23 views

Prove that the cardinality of the pre-images of this function is exactly $n$ for all odd $n$

I'm interested in this question: Let $n$ be an odd natural number , to find a continuous real valued function on $\mathbb R$ which takes every value exactly $n$ times And I am trying to prove that ...
1
vote
0answers
86 views

How to find an ODE with prescribed terminal values? [on hold]

Let us consider an ODE $$\frac{dx_t^y}{dt}=g(x_t^y),$$ where y is the initial condition i.e. $x_0^y=y$. Now, given a function $f$ (increasing and smooth) is it possible to find $g$ (i.e. an ODE) ...
1
vote
1answer
40 views

Show that S is closed but not compact

Show that $S$={$(x,y,z)\in \mathbb R^3: x^3+y^4-z^2=1$} is closed but not compact where $\mathbb R^3$ is the usual topology. Can anyone explain how to go about answering this? I have to show that ...
1
vote
2answers
38 views

prove using Lagrange multipliers that for $x,y>0,\space n\in \mathbb N,\space (\frac{x+y}2)^n \leq \frac{x^n+y^n}2 $

I have been asked to prove using Lagrange multipliers that for \begin{equation*} \space (\frac{x+y}2)^n \leq \frac{x^n+y^n}2,~x,y>0,~n\in \mathbb {N} \end{equation*} I am familiar with the ...
1
vote
0answers
35 views

Unknown proof Lie Algebra

I have a calculation where I do not know what it actually shows. I think it tells me that for right invariant vector fields, the commutator is again right invariant. Maybe somebody here could help me ...
1
vote
1answer
37 views

If $\Omega\subseteq\mathbb{R}^n$ is bounded, then $\int_\Omega|x-y|^{1-n}\,d\lambda < \infty$

Let $\Omega\subseteq\mathbb{R}^n$ be bounded with $n\ge 2$ $\left|\;\cdot\;\right|$ be the euclidean norm $\lambda$ be the Lebesgue measure on the Borelian $\sigma$-algebra of $\mathbb{R}^n$ I ...
0
votes
0answers
11 views

Approximation of Sobolev functions by Polynomials

If $\Omega$ is star-shaped with respect to a ball, then Dupont and Scott show in "Polynomial approximation of functions in Sobolev spaces" that $$ \inf_{p\in \pi_{k-1}(\Omega)}\|u-p\|_{L^\infty}\leq ...
0
votes
1answer
31 views

Show if $x\in l^p$ and $y\in l^q$ with $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$ then $\|xy\|_r\leq\|x\|_p\|y\|_q$

Show if $x\in l^p$ and $y\in l^q$ with $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$ then $\|xy\|_r\leq\|x\|_p\|y\|_q$. My intuition is to use Young's Inequality and then apply it to $A_k=\frac{|x_k|}{\|x\|}$ ...
0
votes
1answer
31 views

How to solve a particular PDE (which reminds of heat equation)

I suddenly ran into this equation: Let $u:[a,b]\times \mathbb{R} \rightarrow \mathbb{R}$ be a function satisfying: $$\partial_t u = -u' + \frac{1}{2}u''$$ with bountary conditions $u(0,x)=g(x)$ where ...