Related papers: Large structures made of nowhere $L^p$ functions
On an even conformal manifold $(M,c)$, such that the critical GJMS operator has non-trivial kernel, we identify and discuss the role of a finite dimensional vector space $N(Q)$ of functions determined by the conformal structure. Using these…
Suppose $p \geq 1$ is a computable real. We extend previous work of Clanin, Stull, and McNicholl by classifying the computable $L^p$ spaces whose underlying measure spaces are atomic but not purely atomic. In addition, we determine the…
Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…
We show that elements of Hilbert $A$-module obtained by completion of the space of square-integrable functions on a space with measure $X$ taking values in a $C^*$-algebra $A$ cannot be viewed as $A$-valued functions on $X$ defined almost…
Let $(A,\mathscr{A},\mu)$ and $(B,\mathscr{B},\nu)$ be probability spaces, let $\mathscr{F}$ be a sub-$\sigma$-algebra of the product $\sigma$-algebra $\mathscr{A}\times\mathscr{B}$, let $X$ be a Banach space, and let $1< p,q< \infty$. We…
Let $(E,\mathcal E,\mu)$ be a measure space and $G\colon E\times E\to [0,\infty]$ be measurable. Moreover, let $\mathcal F\!_{ui}$ denote the set of all $q\in\mathcal E^+$ (measurable numerical functions $q\ge 0$ on $E$) such that…
We introduce the notion of a gauge and of a tagged partition (subordinate to a given gauge) by intersections of open and closed sets of a compact metric space extending the corresponding notions in Henstock-Kurzweil integration of…
In this paper we have characterized the space of summability kernels for the case p=1 and p=2. For other values of p we give a necessary condition for a function $\Lambda$ to be a summability kernel. For the case p=1, we have studied the…
We discuss boundedness and compactness properties of the embedding $M_\Lambda^1\subset L^1(\mu)$, where $M_\Lambda^1$ is the closure of the monomials $x^{\lambda_n}$ in $L1([0,1])$ and $\mu$ is a finite positive Borel measure on the…
In the present paper, we prove that a topological space admits a functorial Lindel\"ofification if and only if its realcompactification is Lindel\"of. To investigate the functorial Lindel\"ofifiability of a topological space, for each…
The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops.…
Let $1<p,q<\infty ,\ \theta_1 \geq 0,\ \theta_2 \geq 0$ and let $a(x), b(x)$ be a weight functions. In the present paper we intend to study the function space $A_{q),\theta _{2}}^{p),\theta _{1}}\left( \mathbb R^n\right)$ consisting of all…
Let $U$ be a bounded domain in $\mathbb C^d$ and let $L^p_a(U)$, $1 \leq p < \infty$, denote the space of functions that are analytic on $\overline{U}$ and bounded in the $L^p$ norm on $U$. A point $x \in \overline{U}$ is said to be a…
Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…
We study a family of strong fractional integral operators whose kernels have singularity on every coordinate subspace. We prove a two-weight $L^p$-$L^q$-norm inequality by allowing only one of the weights to satisfy $A_p\times…
We show that, on any given finite Borel measure space with the ambient space being a Polish metric space, every Borel real-valued function is almost a bounded, uniformly continuous function in the sense that for every $\varepsilon > 0$…
If $(X,d)$ is a Polish metric space of dimension $0$, then by Wadge's lemma, no more than two Borel subsets of $X$ can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space…
Let $\cal M$ be a semi-finite von Neumann algebra equipped with a distinguished faithful, normal, semi-finite trace $\tau$. We introduce the notion of equi-integrability in non-commutative spaces and show that if a rearrangement invariant…
In this paper, we introduce the integration of algebroidal functions on Riemann surfaces for the first time. Some properties of integration are obtained. By giving the definition of residues and integral function element, we obtain the…
The aim of this paper is to study the Frechet-Urysohn property of the space $Q_p(X,\mathbb{R})$ of real-valued quasicontinuous functions, defined on a Hausdorff space $X$, endowed with the pointwise convergence topology. It is proved that…