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
47 views

Existence of primitive of a continuous function on an interval (a,b) [on hold]

I like to prove that every continuous function on $(a,b)$ has a primitive but i don't know how to prove it. There is proof that if $f$ is continuous and integrable on finite interval $(a,b)$ then $f$ ...
0
votes
1answer
29 views

A question about a generated $\sigma$-algebra of a family set

Wikipedia's definition of Family of sets: In set theory, a collection $F$ of subsets of a given set $S$ is called a family of subsets of $S$, or a family of sets over $S$. So suppose $Ω$ is ...
0
votes
1answer
14 views

Classify the growth of functions and find a more general growth function

The following function $f(t,x):[0,T]\times R\mapsto R$ such that $\int^T_0|f(t,0)|^2 d t<\infty$, where $0<T<\infty$. If $f(t,x)$ satisfies $|f(t,x)|\leq Ax+B$ for each $x\in R$ and $A, B$ ...
3
votes
0answers
51 views

$f$ is continuous, $f : X \to X$, $X$ compact, and $f$ has an $\epsilon$-fixed point for each $\epsilon > 0$. Show $f$ has a fixed point.

Problem: Let $f : X \to X$ be a map from a metric space to itself. A point $z \in X$ is a fixed point of $f$ if $f(z) = z$. Let $\epsilon > 0$. A point $w \in X$ is an $\epsilon$-fixed point of $f$ ...
1
vote
1answer
35 views

Every closed subset of $\mathbb R^n$ has a point that minimizes the distance to a given point $p\in\mathbb R^n$

Let $p\in\mathbb R^n$ and $\|\cdot \|$ the Euclidian norm. Show that if $K\subset \mathbb R^n$ is a close set, then $$\exists a\in K: \forall x\in K, \|a-p\|\leq \|x-p\|.$$ Since $\|x-p\|\geq 0$, ...
2
votes
1answer
37 views

When does $\sum_{n=0}^\infty \frac{a_n x_n}{n!}f(b_nx)$ converge for $f\in C_c^\infty(\Bbb{R})$?

Let $f\in C_c^\infty(\Bbb{R})$ be such that $f(x)=1$ for $x\in (-1,1)$. Given a real sequence $(a_n)$, define $$ g(x):=\sum_{n=0}^\infty \frac{a_n x^n}{n!}f(b_nx), \quad x\in\Bbb{R} $$ where ...
2
votes
1answer
31 views

Limit of a recurrence

I was given the following exercise as homework: find the limit of $b_{n+1} = \sqrt{2 + b_n}$, $b_1 = \sqrt{2}$, with a hint that $b_n < 2 \forall n \in \mathbb{N}$. I have proven that $b_n$ is ...
1
vote
1answer
21 views

Does weak-$\ast$ convergence with an exponential rate imply convergence of measures of sets with the same rate?

Assume that $\mu_n \to \mu$ in the weak-$\ast$ topology with the following rate for any compactly supported continuous function $f$: $$|\mu_n(f) - \mu(f)| \leq C_f e^{-n}.$$ Can we replace $f$ with ...
1
vote
1answer
18 views

uniform continuity

Let $F(s,y)$ be uniformly continuous in $[a,b] \times B$, where $B \subset R^n$ is a closed subset. Assume $x_k \rightarrow x$ in $C[a,b]$ with $x_k(t) \in B$ and prove $$\int_a^b F(s,x_k(s)) ds ...
-1
votes
0answers
28 views

Understanding the set structure of probability theory [on hold]

Since events have their own probabilities and outcomes have their own probabilities. Why don't we just consider only one of events or outcomes directly? What's the motivation to have this set-point ...
4
votes
2answers
61 views

If $\sum_{m,n}a_{mn}x^m(1-x)^n\equiv 0$, can we conclude $a_{mn}=0$?

Assume $\{a_{mn}\}$ are some real numbers between -1 and 1. If we know $$\sum_{m,n}a_{mn}x^m(1-x)^n\equiv0\quad\forall x\in(0,1),$$ can we conclude that $a_{mn}=0$ for all $m,n\geq 0?$ Thanks.
7
votes
2answers
104 views

Real analytic functions

I'm writing because I don't know the usefulness of real analytic functions. I mean, I know that analyticity is something more respect differentiable ($C^\infty$ function), but I don't have in mind a ...
0
votes
0answers
22 views

How to obtain accumulated counts of past events by time $t$?

Given $f: [0, \infty) \to \{0,1\}$, $f(t)$ represents whether there is an event occurring at time $t$. How can we obtain $g: [0,\infty) \to \mathbb{N}_0$ so that $g(t)$ represents the number of ...
4
votes
3answers
55 views

When can a set have an upper bound but no least upper bound?

So I'm taking real analysis and have noted that one of the benefits of the Dedekind cut is that 'if one of the sets made has an upper bound it also has a least upper bound'. I don't understand how a ...
1
vote
3answers
34 views

Uniform convergence polynomial -Stone Weierstrass

A consequence of the Stone Weierstrass theorem, is that for any continuous real function $f$ on a closed bounded interval in $\mathbb{R}$, we can find a sequence of real polynomials $f_{n}$ converging ...
2
votes
2answers
34 views

Injectivity of the function $x||x||$ on $\mathbb R^n$

Let , $f:\mathbb R^n\to \mathbb R^n$ be a function defined by $f(x)=x||x||^2$ for $x\in \mathbb R^n$. Then , which are correct ? (A) $f$ is one-one. (B) $f$ has an inverse. Here $f$ is not a ...
4
votes
5answers
81 views

Does the limit $\lim\limits_{x\to0}\left(\frac{1}{x\tan^{-1}x}-\frac{1}{x^2}\right)$ exist?

Does the limit: $$\lim\limits_{x\to0}\frac{1}{x\tan^{-1}x}-\frac{1}{x^2}$$ exist?
1
vote
1answer
58 views

If $f$ is differentiable and $f'$ is bounded then relation between upper sum , lower sum and the integral

Let , $f:\mathbb R\to \mathbb R$ be a differentiable function such that $f'$ is bounded. Given a closed and bounded interval $[a,b]$ and partition $P=\{a=a_0<a_1<\cdots <a_n=b\}$ of $[a,b]$ . ...
1
vote
1answer
26 views

Limit Help: $\lim_{x\to\infty} xe^{-a\frac{x}{\ln x}}$

I feel dumb for asking this, but I couldn't quite show that this limit is 0 (which I think is correct) whenever $a>0$: $$\lim_{x\to\infty} xe^{-a\frac{x}{\ln x}}.$$ I tried using L'Hospital's ...
4
votes
0answers
80 views

Another integral related to Fresnel integrals

How would we prove this result by real methods ? $$\int_0^{\infty } \frac{\sin \left(\pi x^2\right)}{x+2} \, dx=\frac{1}{4} \left(\pi-2 \pi C\left(2 \sqrt{2}\right)-2 \pi S\left(2 ...
2
votes
1answer
29 views

$U(\mathbb{C}^n)$, $SU(\mathbb{C}^n)$ connected subsets of $M_n(\mathbb{C})$?

As the title suggests, is $U(\mathbb{C}^n)$ a connected subset of $M_n(\mathbb{C})$? How about $SU(\mathbb{C}^n)$?
6
votes
4answers
132 views

Can we find uncountably many disjoint dense measurable uncountable subsets of $[0,1]$?

Can we find uncountably many disjoint dense measurable uncountable subsets of $[0,1]$? Obviously we may as well assume all the subsets have measure $0$. If I didn't specify the subsets were ...
0
votes
2answers
119 views

How do mathematicians find the underlying idea?

While reading through the lecture notes here (http://www.math.ucla.edu/~tao/resource/general/131ah.1.03w/week2.pdf , page 22, last paragraph), I came across the following " Thus there must be some ...
1
vote
1answer
47 views

A question about 2.1 Proposition on Folland's Real Analysis

Definition of measurable space: If $X$ is a set and $\mathcal{M} \subset \mathcal{P}(X)$(Power set of $X$) is a $\sigma$-algebra, $(X, \mathcal{M})$ is called a measurable space and the ...
0
votes
2answers
36 views

Prove the following properties of sequence

Define $$L = \limsup_{k \rightarrow \infty}a_k =\inf_j(\sup_{k\geq j}a_k).$$ Prove that if $(a_k)$ and $(b_k)$ are sequence of real numbers then $$\limsup(a_k + b_k) \leq \limsup a_k + \limsup b_k.$$ ...
2
votes
3answers
76 views

Limit of sequence of real numbers

Let $\{x_n\}$ be sequence of real numbers such that $\lim_{n\to\infty} x_n=p$. Also if $m\to \infty$ then $n\to \infty$ and converse. How to prove strictly $\lim_{m\to\infty} x_n=\lim_{n\to\infty} ...
10
votes
4answers
213 views

Find all functions f such that $f(f(x))=f(x)+x$

Let $f:\mathbb{R}\to\mathbb{R}$ be a function such that $f(f(x))=f(x)+x, \forall x\in\mathbb{R}$. Find all such functions $f$. Clearly, $f$ is an "one-to-one function". I have tried setting ...
1
vote
0answers
42 views

Problem 14 from Baby Rudin chapter 3

Let $\{s_n\}$ is a complex sequence, define its arithmetic means $\sigma_n$ by $$\sigma_n=\dfrac{s_0+s_1+\dots+s_n}{n+1},\quad a_n=s_n-s_{n-1} \quad\text{for} \quad n\geqslant 1$$ Assume ...
1
vote
0answers
21 views

Absolute convergence of vector series proof

In Hubbard's multivariable calculus book there is this theorem: If $\sum_{i=1}^{\infty}|\vec a_i|$ converges, then $\sum_{i=1}^{\infty}\vec a_i$ converges. It is said in the book that the ...
6
votes
0answers
44 views
+50

Interval arithmetic with different definitions of intervals

Interval arithmetic normally deals with intervals defined as $[a,b]$ with rules like $$[a,b]\cdot[c,d]=[a+c,b+d]$$ I am interested in interval arithmetic with different interval definitions such as ...
1
vote
2answers
19 views

Cantor's Intersection Theorem

If the subsets of the compact space are already non-empty, isn't it obvious that the even the smallest subset is non-empty, and so the intersection is also non-empty because it would be the smallest ...
0
votes
1answer
40 views

A question about the Riemann Integrability

I am curious that if there may exist that f(x) is not integrable but we can get a certain value of $\int_a^{\infty}f(x) \,dx$ as the procedure to solve the integrability function?
1
vote
1answer
34 views

Mean value formula integrals

Let $f: B(0,R) \rightarrow \mathbb{R}$ be a continuous function. Then I was wondering whether $$\frac{1}{\text{area}(\partial B(0,r))} \int_{\partial B(0,r)} (f(x)-f(0)) dS(x) \rightarrow_{r ...
0
votes
0answers
13 views

Density of intersection of sets with boundary condition

I would like to prove that $$E:=\bigcap_{n\geq 1} \left\{f\in C^2 (\mathbb{R}) :f(0)=\sum_{k\geq 0} f\left(\frac{k}{n}\right)g_n (k)\right\}$$ is a dense subset of: $$F:=\left\{f\in C^2 (\mathbb{R}) : ...
1
vote
0answers
16 views

The image of the interval $(a , b)$ under a lipschitz continuous function

Suppose $f: \mathbb{R} \rightarrow \mathbb{R}$ is a lipschitz continuous function. Let $(a , b)$ be an open interval. Is it true that $f((a , b)) = (f(a) , f(b))$?
2
votes
1answer
38 views

Equivalent Definition of Weak $L^{p}$ (Quasi-) Norm

For a sigma-finite measure space $(X,\Sigma,\mu)$, the weak $L^p$ (hereafter denoted $L^{p,\infty}$) is defined by $$\|f\|_{L^{p,\infty}}:=\sup_{t>0}t\mu(|f|>t)^{1/p}, \qquad (1\leq ...
4
votes
2answers
138 views

The Typewriter Sequence

The typewriter sequence is an example of a sequence which converges to zero in measure but does not converge to zero a.e. Could someone explain why it does not converge to zero a.e.? Note: the ...
0
votes
2answers
22 views

Simple Question concerning the supremum of functions

Let us say that $x$ and $y$ belong to an interval $I$ . Assume that the function $g$ is bounded on I . is it true that $|g(x)-g(y)|$ is less than or equal to $\sup\{g(x)-g(y)\}$?? Of course this is ...
1
vote
1answer
41 views

Concavity of function implies convex upper contour

Today I saw a theorem in class that stated the following: $f$ is concave $ \Rightarrow\{z \in \mathbb R^n : f(z) \ge c\}$ is convex. The proof is relatively straight forward and I understand. ...
-1
votes
2answers
56 views

intuition of mass function of random variable [on hold]

When we are using $P\{X=x\}$ it seems like intuitively there is a function from $T$ (or measure from $\mathcal{B}(T)$) to $[0,1]$. What is the theoretical foundation behind this intuition?
2
votes
1answer
37 views

Why does the limit $ \lim_{\varepsilon\to 0+}\int_{\varepsilon}^M \frac{\varphi(x)-\varphi(0)}{x}\ dx$ exist for smooth $\varphi$?

Let $D(\Bbb{R}):=C_c^\infty(\Bbb{R})$ and $$ p.v.(1/x)(\varphi):=\lim_{\varepsilon\to 0}\int_{|x|>\varepsilon}\frac{\varphi(x)}{x}\ dx. $$ for $\varphi\in D(\Bbb{R})$. I'm trying to understand ...
0
votes
1answer
41 views

Differentiation Commute with Lebesgue Integration

My question is simple: Given $f: \mathbb{R}^{n+m} \to \mathbb{R}$, $f\in C^{k}(\mathbb{R}^{n+m})$ , and $X \subset \mathbb{R}^{n}$. Write $f$ as $f(x_1, \ldots, x_n, t_1, \ldots t_m)$. When is ...
1
vote
2answers
26 views

Smoothness of a vector valued function

Let $f$ be a function which maps $\mathbb{R}^n$ into $\mathbb{R}^n$. What does it mean for $f$ to be $C^1$, i.e. continuously differentiable? Am I correct to think that each "component" of $f = ...
2
votes
1answer
36 views

Name for some kind of logarithmic norm/error

As known $(\mathbb R, +)$ and $(\mathbb R^{+}, \cdot)$ are isomorphic with $\exp:\mathbb R\to\mathbb R^{+}$ as an isomorphism. When I transfer the absolute value $|\cdot|$ on $(\mathbb R, +)$ via ...
3
votes
1answer
42 views

Understanding product $\sigma$-algebra

Let $\{X_\alpha\}_{\alpha \in A}$ be an indexed collection of nonempty sets, $X = \prod _{\alpha \in A}X_\alpha$, and $\pi _\alpha: X \rightarrow X_\alpha$ the coordinate maps. If $M_\alpha$ is a ...
0
votes
3answers
44 views

Proving that an infinite dimensional space is closed.

Let $\mathcal H$ be the subspace of $C([0,1])$ of functions satisfying $f(1-x) = f(x)$ for any $x\in[0,1]$ (these are called even function on $[0,1]$). Then $\mathcal H$ is an infinite dimensional ...
3
votes
2answers
48 views

Calculating in closed form another digamma alternating series

Is there any clever way of finish it fastly? $$\sum _{n=1}^{\infty } (-1)^{n+1} \left(\psi ^{(0)}\left(\frac{5}{8}+\frac{3 n}{8}\right)-\psi ^{(0)}\left(\frac{1}{8}+\frac{3 n}{8}\right)\right)$$ ...
0
votes
3answers
57 views

Given $\phi \in C^{1,b}(R)$, find $\phi_n$ countably piecewise affine functions whose derivatives converge to $\phi'$ uniformly where differentiable

Let $\phi \in C^{1}(\mathbb R)$ with bounded derivative. I am trying to build $\phi_n$ a sequence of countably piecewise affine functions, s.t. $\phi_n'$ converges uniformly to $\phi'$ on $N^c$, where ...
0
votes
1answer
30 views

Problem about a multivariable calculus

Decide for which of the functions $F:\mathbb R^3\to\mathbb R^3$ given below , there exists a function $f:\mathbb R^3 \to \mathbb R$ such that $(\nabla f)(x)=F(x)$. (A) ...
3
votes
1answer
103 views

Calculating $\int_0^{\pi/4} \frac{\cot (x)}{\cot ^2(x)+\sqrt{\cot (x)}} \, dx$

This is not really one of that kind of integrals that Mathematica cannot handle with, but given the case of a contest, how would we like to handle with it? I would like so much to know your ideas ...