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

5
votes
0answers
245 views

Is there an orthonormal basis for $L_2[0,1]$ consisting of convex functions?

Is there an orthonormal basis $\{\phi_{\alpha}\}$ for the space $L_2[0,1]$ of square-integrable functions from $[0,1]$ to $\mathbb{R}$ such that every $\phi_{\alpha}$ is convex? Edit: A helpful ...
5
votes
0answers
163 views

Existence of smooth extension of a function defined on a closed interval

Suppose $ f: [0,1] \rightarrow \mathbb{R}$ is a function such that derivatives of all orders exist ( at the end points of the interval the appropriate one-sided derivatives exist) and are continuous $ ...
5
votes
0answers
290 views

Properties of the projection onto a nonconvex set

Consider a set $\Omega\subseteq\mathbb{R}^n$ being "sufficiently regular", for example being the image of a $C^1$ mapping from $\mathbb{R}^p$ for some $p\ge1$. We may then consider the mapping $$ g:\...
5
votes
0answers
260 views

Lebesgue measure as a fixpoint: change of variables formulas

This question is inspired by several others on a similar topic: see e.g. this one and a sequence of linked questions. Let us so far focus on $\Bbb R^n$ endowed with standard Borel structure. For any ...
5
votes
0answers
278 views

Why can I integrate something like “infinitesimal part” to calculate the length, area, volume, etc.?

Let me try to elaborate the question by an example: I want to calculate the length of a straight line like $y=x$ between $[0, 1]$. By conventional way I would do a definite integration of integrand $...
5
votes
0answers
317 views

Does every smooth surjective function have a smooth right inverse?

If you feel this question might be too broad, let me know and I’ll try to get more specific. If $r \colon I → J$ is a smooth surjective function between perfect subspaces $I$ and $J$ of $ℝ$, can ...
5
votes
0answers
188 views

Algorithm to calculate multiple integral.

One of the major difficulties of student in advanced calculus (including myself when student) is to obtain the extremes of repeated integrals to calculate the volume integral in $R^n$ i.e. transform ...
5
votes
0answers
85 views

$x\mapsto f(x^{1/p})$ is smooth if and only if $f^{(n)}(0)=0$ whenever $p\nmid n$

This is a slight generalization of something I got stuck on when trying to do Problem 2-5 from Introduction to Smooth Manifolds by John M. Lee (which uses the case $p=3$). Let $p\ge 1$ be an ...
5
votes
0answers
842 views

“Simple” proof of Lebesgue's Differentiation Theorem for dimension 1?

Lebesgue Differentiation Theorem for $\mathbb{R}$: Let $f:[a,b]\to \mathbb{R}$ be intergable and $F(x)=\int_a^xf$. Then $F$ is differentiable almost everywhere in $[a,b]$ and $F'=f$ a.e. Is there a (...
5
votes
0answers
170 views

Functions from the Cantor set

Consider the Cantor set $\Delta\subset [0,1]$. Let $f\colon \Delta\to [0,\infty)$ be a continuous injection. Must $f$ be monotone on some uncountable closed subset of $\Delta$? Note that that van der ...
5
votes
0answers
152 views

A question about functions in $L^p(E)$

I've been working on a problem. I found a couple of related questions on the site, but I was having a little bit of trouble clarifying everything. The goal is to show that given $f\notin L^p(E)$, ...
5
votes
0answers
129 views

Proofing an inequality with a slowly varying function

I am working right now with "Independent and Stationary Sequences of Random Variables" from Ibragimov 1971. I am trying to understand the proof of the following Lemma (18.2.4): $h: \mathbb N \...
5
votes
0answers
646 views

Distinct eigenvalues for integral operator?

Is there some sufficient condition on the kernel $K$ of a (say, finite rank, to simplify) integral operator $$ \mathcal K:f(x)\in L^2(\mathbb R)\mapsto \int K(x,y)f(y)dy $$ so that it has all its non-...
5
votes
0answers
605 views

one to one mapping between the floor function and the Riemann prime counting function

We have the following 'transform' of a real valued, piecewise continuous function $f(x)$ : $$T[f(x)]=1+\sum_{n=1}^{\infty}\int_{\mathbb{R}^{n}_{+}}f\left(\frac{x}{\Lambda _{n}} \right )\frac{1}{n!}\...
5
votes
0answers
271 views

Fourier dimension of sets of positive Lebesgue measure

Let $K$ be a compact set in $\mathbb{R}$ with positive Lebesgue measure. My question is whether there exists a probability measure $\mu$ supported on $K$ such that $\hat{\mu}(\xi)$, the Fourier-...
5
votes
0answers
420 views

German Analysis Texts

My question is somewhat related to this one but is somewhat more specific. Since a lot of good mathematics is written in German, I have decided to start developing my German reading abilities. So far, ...
5
votes
0answers
247 views

Points in the plane at integer distances

Does there exist a set of $n$ points $p_1,p_2,...,p_n$ in the plane, all at mutual integer distances to each other, and an $e>0$, such that the following statement holds: For all $a,b$ with $a^2+b^...
5
votes
0answers
287 views

What are the conditions sufficient and necessary on $g(t)$ for the Dirichlet integral to be equal to $\frac{\pi}{2} g(0+)$?

Dirichlet Integral of a function $g\colon \mathbb{R} \to \mathbb{R}$ is defined as $$ DI(\alpha) = \int_0^{\delta} g(t) \frac{\sin(\alpha t)}{t} dt$$ assume $\alpha \in \mathbb{N}$ For the equality ...
5
votes
0answers
143 views

Convergence check (No steps/solutions/proofs please)

I just wish to check that I have got these right. Please just indicate whether the ans are right -- please don't show steps (I wish to figure those out myself). Given $\phi_n (x)=n^k(1-x)x^n$ where $...
5
votes
0answers
189 views

Intuitive test of convergence

Are there any intuitive tests that might help one decide whether a sequence of functions converges / converges uniformly? For example, an intuitive test I have recently realized for uniform continuity ...
5
votes
0answers
208 views

How should I understand $u_{\infty}$ in this theorem?

I learned the extension of Green's formula to unbounded domains in Kress's Linear Integral Equations (p.71): Theorem 6.10 Assume that $D$ is a bounded domain of class $C^1$ with a connected boundary $...
5
votes
0answers
349 views

Differential Forms

I just had a general question about differential forms. Background. Let $f = f_k$ and define $f^{k-1}$ on $I^{k-1}$ by $$f_{k-1}(x_1, \dots, x_{k-1})= \int_{a_k}^{b_k} f_{k}(x_1, \dots, x_{k-1}, x_k) ...
5
votes
0answers
193 views

A relation between permanents and determinants

I have skimmed this video that I found on mathoverflow: http://tube.sfu-kras.ru/video/407?playlist=397 At about 15:05 the lecturer wrote down an equality $\sum F(m_1, \ldots, m_m)z^{m_1}\ldots z^{m_m}...
4
votes
0answers
78 views

Why is the unit circle definition of trig functions not rigorous enough?

It has recently come to my attention that the usual unit circle derivation of the elementary trigonometric functions isn't considered rigorous enough. Apparently, this has to do with problems ...
4
votes
0answers
27 views

Is it natural how $L^p$ spaces measure local and global sizes the same?

This is a continuation of my question Spaces of functions similar to $L^p$ but with different local and global sizes. I have been bothered by the fact that the $L^p$ norm on $\mathbb R^n$, which is ...
4
votes
0answers
66 views

minimize the area of convex hull of sum of 3 balls

How should we place 3 balls $B_1,B_2,B_3$ on the plane, if we want to minimize the area of convex hull of $B_1\cup B_2\cup B_3$ ? Balls can have boundary common points only -- the intersection of any ...
4
votes
0answers
55 views

Bartoszyński's results on measure and category and their importance

I have seen this interesting paragraph on a talk page of the Wikipedia article about Polish mathematician Tomek Bartoszyński: Tomek's paper "Additivity of measure implies additivity of category, ...
4
votes
0answers
60 views

Theorem 3.7 in Baby Rudin: The subsequential limits of a sequence in a metric space form a closed set

Here's Theorem 3.7 in the book Principles of Mathematical Analysis by Walter Rudin, 3rd edition. The subsequential limits of a sequence $(p_n)$ in a metric space $X$ form a closed subset of $X$. ...
4
votes
0answers
37 views

Are physical/material/dimensional/temporal explanations of Banach-Tarski necessarily irrelevant?

I recently re-reviewed some of my undergrad analysis text and read the sketch of the proof of Banach-Tarski presented on Wikipedia, starting with a proof that the free group with two generating ...
4
votes
0answers
84 views

Using the IVP definition of $\cos$ and $\sin$, how can we show that $\cos^2(x)+\sin^2(x) = 1$ without any “magic”?

One way to define the exponential, hyperbolic and circular functions is to assert that they're the unique solutions to certain IVP systems: The exponential function: $$\exp'(x) = \exp(x), \qquad \...
4
votes
0answers
38 views

$L^{2}$ convergence of sequence $|u_{j}|^{p}\nabla u_{j}$

Suppose a sequence $\{u_{j}\}$ is bounded in the Sobolev space $H^{2+\epsilon}(\Omega)$, for $\epsilon>0$, where $\Omega$ is say a bounded, $C^{\infty}$ domain. Here, the fractional space $H^{s}(\...
4
votes
0answers
53 views

Intuition about the Bernstein polynomials proof of the Weierstrass approximation theorem

The Weierstrass approximation theorem can be stated as follows: Let $f\in C([a,b])$, then there exists a sequence $(p_n)_{n\in \mathbb{N}}$ of polynomials in $[a,b]$ such that $(p_n)$ converges ...
4
votes
0answers
58 views

The space of test-functions carries any other structure on it?

I'm starting to study distributions and on the lecture notes I'm reading the author defines a test-function as a function $f : U\subset \mathbb{R}^n\to \mathbb{R}$ which is infinitely differentiable ...
4
votes
0answers
84 views

Inequalities involving polynomials with combinatorial coefficients

For all non-negative integers $i$ and $j$ such that $j\leq i$, define the array of polynomials $$p_{ij}(z):=\sum_{h=(j-1)_+}^{i-1} {i\choose h}{i-j\choose{i-h-1}}z^h,$$ where $(a)_+=\max\{a,0\}$ (we ...
4
votes
0answers
32 views

Tensor product of $L^1([0,1],\omega)$ with some Banach space

We know that for any Banach space $E$ if $\hat{\otimes}$ denotes projective tensor product then $L^1([0,1])\hat{\otimes} E$ is isomorphism isometric with $$L^1([0,1],E)=\{f:[0,1]\to E:\ \ \int_0^1\|f(...
4
votes
0answers
209 views

How did he use Gronwall Lemma??

I´ve got these lines from an article: ( where $b:\mathbb{R}_+\to \mathbb{R}_+$ is non-decreasing and $(X_t)$ is an $\mathbb{R}_+$-valued process - it doesn't matter very much, I guess, anyway-.) $...
4
votes
0answers
75 views

Is the sum of infinitely many open sets open?

Let $X$ be a locally convex space (or, in particular, a normed space). Let $(O_n)_{n=1}^\infty$ be an infinite sequence of non-empty open sets in $X$ such that the sum $\displaystyle\sum_{n=1}^\infty ...
4
votes
0answers
62 views

Lebesgue versus Riemann integrable

Can a Lebesgue measurable function be modified on a set of first category so as become continuous except on a set of Lebesgue measure zero? OR Can a Baire-measurable function be modified on a set of ...
4
votes
0answers
50 views

Looking for a function that satisfies some kind of mean value property

Given $a<b\in (0,1)$ and $\delta<1/2$, I need to find an integrable function $\gamma :(a-\delta,b+\delta)\to [0,1]$ such that $$\frac{1}{2\delta}\int_{x-\delta}^{x+\delta}\gamma(y)\; dy=\frac{1}{...
4
votes
0answers
87 views

Example of subsets in plane with continuous bijective mapping between them

The question is from C. Pugh's Real Analysis: Construct nonhomeomorphic connected, closed subsets A, B $\subset$ $\mathbb{R}^2$ for which there exists continuous bijections $\;f: A \to B$ and $\;g: B\...
4
votes
0answers
31 views

Function $f:\mathbb{R}^k \rightarrow \mathbb{H}$ is differentiable if partial derivatives are continuous.

Let $f: \mathbb{R}^k \rightarrow \mathbb{H}$ be a function from the euclidean space to a Hilbert space. Is it true that if the partial derivatives are continuous, then $f$ is differentiable? (the ...
4
votes
0answers
35 views

Help to understand a Lemma about 'supremum of a family of measures'

I read the following Lemma from a paper but I can't understand the proof. Please help! Lemma: Let $\mu$ be a positive measure defined on the family of open subsets of $\Omega$, which is super-...
4
votes
0answers
26 views

Literature on the convergence of $x_{n+1} = f(x_n)$ in general

When faced with a recurrence of the form $x_{n+1} = f(x_n)$, my toolbelt for proving convergence is very limited: if $f$ isn't $k$-lipschitzian with $k<1$, and/or if I can't find some complete set ...
4
votes
0answers
64 views

If $m(A)=0$ and $f:[0,1]\rightarrow [0,1]$ has bounded derivative then $m(f(A))=0$

Let $A\subset [0,1]$. Show that if $m(A)=0$ and $f:[0,1]\rightarrow [0,1]$ has bounded derivative then $m(f(A))=0$. ($m$ denotes Lebesgue measure on $[0,1]$) If $m(A)=0$ then for any $\epsilon>...
4
votes
0answers
46 views

is there something wrong with the Fourier transform coefficients?

define the Fourier transform and its inverse $$\hat{u}(y)=\frac{1}{(2\pi)^{n/2}}\int_{\mathbb R^n}e^{-ixy}u(x)\,dx$$ $$\check{u}(y)=\frac{1}{(2\pi)^{n/2}}\int_{\mathbb R^n}e^{ixy}u(x)\,dx$$ then ...
4
votes
0answers
46 views

Direct sum of $\mathbb{R}(B)$-modules consisting of all cross sections.

Let $B$ be a Tychonoff space and let $\mathbb{R}(B)$ denote the ring of continuous real valued functions on $B$. For any vector bundle $\xi$ over $B$ let $S(\xi)$ denote the $\mathbb{R}(B)$-module ...
4
votes
0answers
66 views

$\| f \|_{BV} = | f(a) | + V_{a}^{b} f$ defines a norm in the space $BV[a,b]$

I'm learning about functions of bounded variations and need to verify my work for this problem: Show that $\| f \|_{BV} = | f(a) | + V_{a}^{b} f$ defines a norm in the space $BV[a,b]$. My ...
4
votes
0answers
47 views

Computing the limit of this integral,

This is Part 6 (last part) of a problem statement of an old comprehensive exam question that I am working on. It asks to evaluate $$\lim_{r_0 \to 0} \int_{-\infty}^{\infty} \int_{-\infty}^{\infty}\...
4
votes
0answers
85 views

Minimal conditions to show $\sum \rho_{ij} \Psi_{ij} s_i s_j < \sum s_i s_j $

Consider a sequence of real number $\{s_i\}_{i\leq n}$. Now consider the real numbers $F$, $G$ and $\alpha$ defined below $$F= \sqrt{ \left( \sum ~\rho_{ij} ~\Psi_{ij}~ s_i ~s_j \right)^+}, $$ $$G = ...
4
votes
0answers
89 views

The proof of Hahn Decomposition Theorem in Folland (real analysis)

On p.86, the following is Folland's proof of Hahn: Before the red line, it is not hard to understand and I think the proof is enough for showing $N$ is negative. Since it proves that: $N$ ...