Related papers: Lebesgue classes and preparation of real construct…

We present strong versions of Marstrand's projection theorems and other related theorems. For example, if E is a plane set of positive and finite s-dimensional Hausdorff measure, there is a set X of directions of Lebesgue measure 0, such…

A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that…

For a measure space $(\Omega, \Sigma, \mu)$ with a positive finite measure $\mu$, and a positive real number $p$, we define the space $L_p^{+}(\mu)=L_p^{+}$ of all (equivalence classes of) $\Sigma$-measurable complex functions $f$ defined…

In this article, we introduce a notion of reducibility for partial functions on the natural numbers, which we call subTuring reducibility. One important aspect is that the subTuring degrees correspond to the structure of the realizability…

Let $G$ be a simply connected, connected completely solvable Lie group with Lie algebra $\mathfrak{g}=\mathfrak{p}+\mathfrak{m}.$ Next, let $\pi$ be an infinite-dimensional unitary irreducible representation of $G$ obtained by inducing a…

In this paper we investigate the foundations for analysis in infinitely-many (independent) variables. We give a topological approach to the construction of the regular $\s$-finite Kirtadze-Pantsulaia measure on $\R^\iy$ (the usual…

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the…

We construct the generalized Lebesgue--Bochner spaces $L^p(\mu,\varPi)$ for positive measures $\mu$ and for suitable real or complex topological vector spaces $\varPi$ so that for $1<p<+\infty$ and Banachable $\varPi$ with separable…

Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has…

In this article we describe the construction of logarithmic models in both real and complex cases. A logarithmic model is a germ of closed meromorphic 1-form with simple poles - and the analytic foliation defined by it - produced upon some…

Given a level set $E$ of an arbitrary multiplicative function $f$, we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost…

This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let…

Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…

In this short note we prove that, if (C[a,b],{A_n}) is an approximation scheme and (A_n) satisfies de La Vall\'ee-Poussin Theorem, there are instances of continuous functions on [a,b], real analytic on (a,b], which are poorly approximable…

The Jacobian elliptic functions are generalized to functions including the generalized trigonometric functions. The paper deals with the basis property of the sequence of generalized Jacobian elliptic functions in any Lebesgue space. In…

In this paper we prove generalizations of Lusin-type theorems for gradients due to Giovanni Alberti, where we replace the Lebesgue measure with any Radon measure $\mu$. We apply this to go beyond the known result on the existence of…

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…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

Let $R$ be a ring, let $G$ be an amenable group and let $R\ast G$ be a crossed product. The goal of this paper is to construct, starting with a suitable additive function $L$ on the category of left modules over $R$, an additive function on…

This work develops, from a functional analytic perspective, the construction of random variables in Lebesgue spaces L^p. It extends classical notions of measurability, integrability, and expectation to L^p valued functions, using Pettis's…