Let $\mathcal{R}$ denote the set of all open rectangles in $\mathbb{R}^2$ with sides parallel to the coordinate axis. Given a function on $\mathbb{R}^2$, consider the maximal function: $$f_{\mathcal{R}}^*(x)=\sup_{x\in R\in \mathcal{R}}\frac{1}{|R|}\int_R|f(y)|dy,\enspace x\in \mathbb{R}^2 ,$$ Problem the goal of this problem is to show that $f\mapsto f_{\mathcal{R}}^*$ does not satisfy the weak type inequality $$\left| \left\{x\in \mathbb{R}^2:\enspace […]

Let $G_{\delta}$ be countable intersections of given open sets with positive Lebesgue measure on $[a,b]$. My question is that if $G_{\delta}+q$ covers $\Bbb{R}$ a.e, i.e. is $$ \bigcup_{q \in \mathbb{Q}}(q+G_{\delta})=\Bbb{R}-N $$ true? ($N$ is of Lebesgue measure zero). $G_{\delta}$ must be uncountable for it has positive Lebesgue measure. But it may has empty interior. I […]

I want to prove this theorem: If $(X,d)$ and $(X,d’)$ be homeomorphic metric spaces, then they have the same convergence sequences. However, there exists homeomorphic metric spaces $(X,d), (X,d’)$ such that only one of them is complete. So what we want to prove is that if $d(x_n,x)< \epsilon$ then $d'(x_n,x)<\epsilon$ but the thing is that […]

I have a task to compute such a sum: $$ \sum_{j=1}^{n} \cos(j) $$ Of course I know that the answer is $$ \frac{1}{2} (\cos(n)+\cot(\frac{1}{2}) \sin(n)-1) = \frac{\cos(n)}{2}+\frac{1}{2} \cot(\frac{1}{2}) \sin(n)-\frac{1}{2} $$ but I don’t have any idea how to start proving it.

There are several proofs I have seen of this, but they all seem to use choice subtely at some point. Is there any way to prove this without choice, or is it possibly unproveable?

What is the importance of continuity of functions in proving the commutative and associative properties of convolution if the functions are assumed to be Riemann integrable $2\pi$-periodic functions ? Could anyone clarify this for me? As the book “Fourier Analysis” by Stein and Shakarchi assumes that the functions are continuous at the beginning of the […]

Let $C \subset \mathbb{R}^n$ be convex and closed, $y \in \partial C$. Show that there is an affine $f(x)=\langle x-y,e \rangle$ where $|e|=1$, such that $f(y)=0$ and $\forall x \in C: f(x) \leq 0$ Notation: Let me explain my notation, in case there is some confusion: $\langle -,- \rangle$ is the euclidean scalar product and […]

This relates to a previous question I posted. Let $(X,\Sigma,\mu)$ be a measure space with $\mu(X)<+\infty$. Then $\sup_{E\in{\mathcal A}_{\infty}}\mu(E)<+\infty$, where $ {\mathcal A}_{\infty}=\{A\in\Sigma:\mu(A)<+\infty\}. $ My question is: Is there a measure space such that $\sup_{E\in{\mathcal A}_{\infty}}\mu(E)<+\infty$ but $\mu(X)=+\infty$?

I seem to be having a problem distinguishing between a vector space (which I know to be a set of vectors over some scalar set) and a vector field. I know that in Multivariable Calculus a vector field is a vector-valued function (being a derivative for conserved fields.) I feel they are different but how […]

Is it possible to categorically characterize the continuum using only the notion of midpoint? I assume some kind of Dedekind-cut-axiom will be necessary, but I don’t know how to define order (see my related question).

Intereting Posts

How to read letters such as $\mathbb A$, $\mathbb B$, etc., or $\mathfrak A$, $\mathfrak B$, etc.?
Proof of the Strenghtened Limit Comparison Test
On determining the ring of integers of a cubic number field generated by a root of $x^3-x+1$
When does a complex function have a square root?
Extension by zero not Quasi-coherent.
Is the intersection of two countably generated $\sigma$-algebras countably generated?
If a product of relatively prime integers is an $n$th power, then each is an $n$th power
Flipping heads 10 times in a row
What are cohomology rings good for?
Generating a binary code with maximized Hamming distance
What is a physical interpretation of a skew symmetric bilinear form?
Convolution of an integrable function of compact support with a bump function.
Proof that every number has at least one prime factor
Accumulation points of accumulation points of accumulation points
Proving that a Function is Analytic Given that it is Equal to the Complex Conjugate of an analytic Function