This blog post is intended to deliver a quick explanation of the algebra of Borel measures on $\mathbb{R}^n$. It will be broken into pieces. All complex-valued complex Borel measures $M(\mathbb{R}^n)$ clearly form a vector space over $\mathbb{C}$. The main goal of this post is to show that this is a Banach space and also a Banach algebra. In fact, the $\mathbb{R}^n$ case can be generalised into any locally compact abelian group (see any abstract harmonic analysis books), this is because what really matters here is being locally compact and abelian. But at this moment we stick to Euclidean spaces. Note since $\mathbb{R}^n$ is $\sigma$-compact, all Borel measures are regular. To read this post you need to be familiar with some basic properties of Banach algebra, complex Borel measures, and the most important, Fubini’s theorem.

We study the concept of quasi-analytic functions, which are quite close to being analytic.

Suppose $1 < p < \infty$ and $f \in L^p((0,\infty))$ (with respect to Lebesgue measure of course) is a nonnegative func...

Throughout, let $(X,\mathfrak{M},\mu)$ be a measure space where $\mu$ is positive. The questionIf $f$ is of $L^p(\mu)$, which...

ContinuityWe are restricting ourselves into $\mathbb{R}$ endowed with normal topology. Recall that a function is continuous i...

What’s going on againIn this post we discussed the topological properties of the zero points of an entire nonzero function, o...

An introductionIf one wants to learn the fundamental theorem of Calculus in the sense of Lebesgue integral, properties of mea...

What’s going onIf for every $z_0 \in \Omega$ where $\Omega$ is a plane open set, the limit \lim_{z \to z_0}\frac{f(z)-f(...