Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.

The lower semicontinuity of functionals of the type ${\int }_{\Omega }f(x,u,v,\nabla u)dx$ with respect to the $\left(W^{1,1}\times L^p\right)$-weak* topology is studied. Moreover, in absence of lower semicontinuity, an integral representation in $W^{1,1}\times L^p$ for the lower semicontinuous envelope is also provided.

Let $M(X,𝒜)$ ($M^{*}(X,𝒜)$) be the $f$-ring of all (bounded) real-measurable functions on a $T$-measurable space $(X,𝒜)$, let $M_K(X,𝒜)$ be the family of all $f\in M(X,𝒜)$ such that $\mathrm{coz}\left(f\right)$ is compact, and let $M_{\infty }(X,𝒜)$ be all $f\in M(X,𝒜)$ that $\{x\in X:|f\left(x\right)|\ge \frac{1}{n}\}$ is compact for any $n\in \mathbb{N}$. We introduce realcompact subrings of $M(X,𝒜)$, we show that $M^{*}(X,𝒜)$ is a realcompact subring of $M(X,𝒜)$, and also $M(X,𝒜)$ is a realcompact if and only if $(X,𝒜)$ is a compact measurable space. For every nonzero real Riesz map $\varphi :M(X,𝒜)\to ℝ$, we prove that there is an element $x_0\in X$ such that $\varphi \left(f\right)=f\left(x_0\right)$ for every $f\in M(X,𝒜)$ if $(X,𝒜)$ is a compact measurable space....

The well-known Impossibility Theorem of Arrow asserts that any generalized social welfare function (GSWF) with at least three alternatives, which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a dictatorship, is necessarily non-transitive. In 2002, Kalai asked whether one can obtain the following quantitative version of the theorem: For any $ϵ>0$, there exists $\delta =\delta \left(ϵ\right)$ such that if a GSWF on three alternatives satisfies the IIA condition and its probability of...

Consider the $n\times n$ matrix with $(i,j)$’th entry $gcd(i,j)$. Its largest eigenvalue ${\lambda }_n$ and sum of entries $s_n$ satisfy ${\lambda }_n>s_n/n$. Because $s_n$ cannot be expressed algebraically as a function of $n$, we underestimate it in several ways. In examples, we compare the bounds so obtained with one another and with a bound from S. Hong, R. Loewy (2004). We also conjecture that ${\lambda }_n>6{\pi }^{-2}nlogn$ for all $n$. If $n$ is large enough, this follows from F. Balatoni (1969).

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

$(max,+)$-linear functions are functions which can be expressed as the maximum of a finite number of linear functions of one variable having the form $f(x_1,\cdots ,x_h)={max}_j(a_j+x_j)$, where $a_j$, $j=1,\cdots ,h$, are real numbers. Similarly $(min,+)$-linear functions are defined. We will consider optimization problems in which the set of feasible solutions is the solution set of a finite inequality system, where the inequalities have $(max,+)$-linear functions of variables $x$ on one side and $(min,+)$-linear functions of variables $y$ on the other side....

In the paper we give an analogue of the Filippov Lemma for the fourth order differential inclusions y = y”” - (A² + B²)y” + A²B²y ∈ F(t,y), (*) with the initial conditions y(0) = y’(0) = y”(0) = y”’(0) = 0, (**) where the matrices $A,B\in {ℝ}^{d\times d}$ are commutative and the multifunction $F:[0,1]\times {ℝ}^d⇝cl\left({ℝ}^d\right)$ is Lipschitz continuous in y with a t-independent constant l < ||A||²||B||². Main theorem. Assume that $F:[0,1]\times {ℝ}^d⇝cl\left({ℝ}^d\right)ismeasurableintandintegrablybounded.Let$y₀ ∈ W4,1$beanarbitraryfunctionsatisfying(**)andsuchthat$ $d_H(y₀\left(t\right),F(t,y₀\left(t\right)))\le p₀\left(t\right)$ a.e. in [0,1], where p₀ ∈ L¹[0,1]. Then there exists a solution y ∈ W4,1 of (*)...

The number of $n$-gaussoids is shown to be a double exponential function in $n$. The necessary bounds are achieved by studying construction methods for gaussoids that rely on prescribing $3$-minors and encoding the resulting combinatorial constraints in a suitable transitive graph. Various special classes of gaussoids arise from restricting the allowed $3$-minors.

For a fixed positive integer $k$ and $G=(V,E)$ a connected graph of order $n$, whose minimum vertex degree is at least $k$, a set $S\subseteq V$ is a total $k$-dominating set, also known as a $k$-tuple total dominating set, if every vertex $v\in V$ has at least $k$ neighbors in $S$. The minimum size of a total $k$-dominating set for $G$ is called the total $k$-domination number of $G$, denoted by ${\gamma }_{kt}\left(G\right)$. The total $k$-domination problem is to determine a minimum total $k$-dominating set of $G$. Since the exact problem is in general quite difficult...

We establish in this paper a lower bound for the volume of a unit vector field $\overrightarrow{v}$ defined on ${𝐒}^n\setminus \{\pm x\}$, $n=2,3$. This lower bound is related to the sum of the absolute values of the indices of $\overrightarrow{v}$ at $x$ and $-x$.

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

We prove some results in the context of isoperimetric inequalities with quantitative terms. In the $2$-dimensional case, our main contribution is a method for determining the optimal coefficients $c_1,...,c_m$ in the inequality $\delta P\left(E\right)\ge {\sum }_{k=1}^m{c}_k\alpha {\left(E\right)}^k+o\left(\alpha {\left(E\right)}^m\right)$, valid for each Borel set $E$ with positive and finite area, with $\delta P\left(E\right)$ and $\alpha \left(E\right)$ being, respectively, the $\mathrm{𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑑𝑒𝑓𝑖𝑐𝑖𝑡}$ and the $\mathrm{𝐹𝑟𝑎𝑒𝑛𝑘𝑒𝑙𝑎𝑠𝑦𝑚𝑚𝑒𝑡𝑟𝑦}$ of $E$. In $n$ dimensions, besides proving existence and regularity properties of minimizers for a wide class of $\mathrm{𝑞𝑢𝑎𝑛𝑡𝑖𝑡𝑎𝑡𝑖𝑣𝑒𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑞𝑢𝑜𝑡𝑖𝑒𝑛𝑡𝑠}$ including the lower semicontinuous extension of $\frac{\delta P\left(E\right)}{\alpha {\left(E\right)}^2}$, we...

Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\overline{\delta }\left(S\right)$ denote the upper asymptotic density of $S$. We consider the problem of finding $$\mu \left(M\right):=\underset{S}{sup}\overline{\delta }\left(S\right),$$ where the supremum is taken over all sets $S$ satisfying that for each $a,b\in S$, $a-b\notin M.$ In this paper we discuss the values and bounds of $\mu \left(M\right)$ where $M=\{a,b,a+nb\}$ for all even integers and for all sufficiently large odd integers $n$ with $a<b$ and $gcd(a,b)=1.$