English
Related papers

Related papers: Large structures made of nowhere $L^p$ functions

200 papers

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…

Differential Geometry · Mathematics 2008-11-03 A. Rod Gover

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…

Logic · Mathematics 2019-04-30 Tyler Brown , Timothy H. McNicholl

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…

Logic in Computer Science · Computer Science 2021-12-10 Sylvie Boldo , François Clément , Florian Faissole , Vincent Martin , Micaela Mayero

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…

funct-an · Mathematics 2016-08-31 V. M. Manuilov

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…

Functional Analysis · Mathematics 2018-05-04 Qi Lu , Jan van Neerven

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…

Functional Analysis · Mathematics 2022-01-25 Wolfhard Hansen

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…

Functional Analysis · Mathematics 2025-03-07 Abbas Edalat

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…

Functional Analysis · Mathematics 2007-05-23 P. Mohanty , S. Madan

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…

Functional Analysis · Mathematics 2014-02-17 Isabelle Chalendar , Emmanuel Fricain , Dan Timotin

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…

General Topology · Mathematics 2024-02-27 Tomoki Yuji

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.…

Logic · Mathematics 2013-01-11 Giovanni Panti , Davide Ravotti

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…

Functional Analysis · Mathematics 2024-05-09 A. Turan Gurkanli , B. Ayanlar , E. Uluocak

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…

Complex Variables · Mathematics 2025-10-31 Stephen Deterding

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…

Rings and Algebras · Mathematics 2013-04-12 Artur Bartoszewicz , Szymon Gł\cab , Adam Paszkiewicz

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…

Classical Analysis and ODEs · Mathematics 2023-12-11 Lijuan Wang , Zhiming Wang , Zipeng Wang

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$…

Functional Analysis · Mathematics 2020-08-04 Yu-Lin Chou

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…

Logic · Mathematics 2017-06-14 Philipp Schlicht

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…

Functional Analysis · Mathematics 2007-05-23 Narcisse Randrianantoanina

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…

General Mathematics · Mathematics 2016-02-11 Daochun Sun , Yingying Huo , Yinying Kong , Fujie Chai

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…

General Topology · Mathematics 2023-02-15 Alexander V. Osipov