Related papers: Pointwise compact and stable sets of measurable fu…
No functions class for general measurable sets classes are known whose functions have the property of differentiability of integrals associated to such sets classes. In this paper,we give some subspaces of $L^s$ with $1<s<\infty$, whose…
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
This paper defines Lebesgue measure preserving Thompson's monoid, denoted by $\mathbb{G}$, which is modeled on Thompson's group $\mathbb{F}$ except that the elements of $\mathbb{G}$ are non-invertible. Moreover, it is required that the…
The study deals with a minimal energy problem over noncompact classes of infinite dimensional vector measures in a locally compact space. The components are positive measures (charges) satisfying certain normalizing assumptions and…
Some properties of $m$-density points and density-degree functions are studied. Moreover the following main results are provided: \vskip2mm \begin{itemize} \item {\it Let $\lambda$ be a continuous differential form of degree $h$ in…
For a bounded measurable set $A\subseteq \mathbb{R}$ we denote the Lebesgue measure of $\{(x, y)\in A^2\colon x\le y\le x+1\}$ by $\Phi(A)$. We prove that if $I=A_1\cup\dots\cup A_{k+1}$ partitions an interval $I$ of length $L$ into $k+1$…
Estimates are obtained for the Lebesgue constants associated with the Gauss quadrature points on $(-1, +1)$ augmented by the point $-1$ and with the Radau quadrature points on either $(-1, +1]$ or $[-1, +1)$. It is shown that the Lebesgue…
We study countable partitions for measurable maps on measure spaces such that for all point $x$ the set of points with the same itinerary of $x$ is negligible. We prove that in nonatomic probability spaces every strong generator (Parry, W.,…
We define a new class of sets -- stable sets -- of primes in number fields. For example, Chebotarev sets $P_{M/K}(\sigma)$, with $M/K$ Galois and $\sigma \in \Gal(M/K)$, are very often stable. These sets have positive (but arbitrary small)…
We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness…
In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the…
The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized…
For a general open set, we characterize the compactness of the embedding $W^{1,p}_0\hookrightarrow L^q$ in terms of the summability of its torsion function. In particular, for $1\le q<p$ we obtain that the embedding is continuous if and…
This article contains a self-contained proof of the stability under convolution of the space of resurgent functions associated with a closed discrete subset of the complex plane (the set of possible singularities), under the assumption that…
We focus on measurability and integrability for set valued functions in non-necessarily separable Fr\'echet spaces. We prove some properties concerning the equivalence between different classes of measurable multifunctions. We also provide…
Lecture notes as per the title. In the first part, the concepts of a measurable space, measurable maps between measurable spaces and that of a measure on a measurable space are introduced, after which the fundamentals of the theory of…
A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then…
In this paper we study the existence and uniqueness of fixed points of a class of mappings defined on complete, (sequentially compact) cone metric spaces, without continuity conditions and depending on another function.
In classical density (or density-functional) estimation, it is standard to assume that the underlying distribution has a density with respect to the Lebesgue measure. However, when the data distribution is a mixture of continuous and…
This paper proposes a new approach to describe the stability of linear time-invariant systems via the torsion $\tau(t)$ of the state trajectory. For a system $\dot{r}(t)=Ar(t)$ where $A$ is invertible, we show that (1) if there exists a…