On Λ<Subscript>m</Subscript>-sets and related topological spaces

Summary We introduce and investigate three topological spaces <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>(X,\Lambda_m)$, $(X,\Lambda_{mc}^*)$ and $(X,\Lambda_{g\Lambda_m})$ by using $\Lambda_m$-sets, $(\Lambda, m)$-closed sets and generalized $\Lambda_m$-sets, respectively. Especially, we study properties of weak separation axioms on these topological spaces. The investigation enables us to obtain a unified theory of notions related to $\Lambda$-sets [21], semi-$\Lambda$-sets [5] and pre-$\Lambda$-sets [15] in topological spaces.     

Schwach-injektive Moduln

Summary An <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"16"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"17"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"18"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"19"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"20"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"21"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"22"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"23"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"24"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"25"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>R$-module $M$ is called weakly injective if for every extension $M \subset X$, $M$ is coclosed in $X$. We show for every noetherian, local, one-dimensional integral domain $R$ with field of fractions $K$ and completion $\hat{R}$, that $\hat{R} \bigotimes\limits_R K$ as $\hat{R}$-module as well as $K/R$ as $R$-module are weakly injective. Moreover, we show that $K/R'$ is weakly injective iff $R$ is analytically unramified. For certain module classes over an arbitrary noetherian ring $R$ the weak injectivity can be described by means of the singular submodule $Z(M)$ as well as by the dual submodule $\overline{Z}(M)=\bigcap\,\{U \subset M\mid M/U$ is small in its injective hull$\}$ (see Talebi and Vanaja, \emph{Commun.\ Algebra} 30 (2002), 1449--1460 and Z\&quot;oschinger, \emph{Commun.\ Algebra} 33 (2005), 3389--3404). If $R$ is local and if $M$ possesses a primary decomposition we prove: every factor module of $M$ is weakly injective iff for every ${\mathfrak{p}} \in \operatorname{Coass}(M)$ the ring of fractions $R_{\mathfrak{p}}$ is a field and the fibre ring $\hat{R} \bigotimes\limits_R \kappa({\mathfrak{p}})$ is semisimple.     

Sum of sequence spaces and matrix transformations

Summary We are interested in the study of the sum <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>E+F$ and the product $E*F$, when $E$ and $F$ are of the form $s_{\xi}$, or $s_{\xi}^{\circ}$, or $s_{\xi}^{(c)}$. Then we deal with the identities $(E+F) (\Delta^{q}) \eg E$ and $(E+F) (\Delta^{q}) \eg F$. Finally we consider matrix transformations in the previous sets and study the identities $\big((E^{p_{1}}+F^{p_{2}}) (\Delta^{q}),s_{\mu}\big) \eg S_{\alpha^{p_{1}}\pl \beta^{p_{2}},\mu}$ and $\big(E+F(\Delta^{q}),s_{\gamma}\big) \eg S_{\beta,\gamma}$.     

Homogeneity equation almost everywhere

Summary In the paper the <InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"16"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"17"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"18"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"19"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"20"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"21"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"22"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"23"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"24"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"25"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\phi$-homogeneity equation almost everywhere is studied. Let $G$ and $H$ be groups with zero. Assume that $(X,G)$ is a $G$-space and $(Y,H)$ is an $H$-space. We prove, under some assumption on $(Y,H)$, that if the functions $\phi\: G\to H$ and $F\: X\to Y$ satisfy the equation of $\phi$-homogeneity $F(\alpha x)\eg \phi(\alpha)F(x)$ almost everywhere in $G\times X$ then either $F$ is a zero function or there exists a homomorphism $\widetilde{\phi}\: G\to H$ such that $\phi=\widetilde{\phi}$ almost everywhere in $G$ and there exists a function $\overline{F}\: X\to Y$ such that <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> \overline{F}(\alpha x)=\widetilde{\phi}(\alpha)\overline{F}(x) \szo{for} \alpha\in G\setminus\{0\},\quad x\in X, $$ and $F=\overline{F}$ almost everywhere in $X$.     

Projections of normed linear spaces with closed subspaces of finite codimension as kernels

Summary It follows from [1], [4] and [7] that any closed <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>n$-codimensional subspace ($n \ge 1$ integer) of a real Banach space $X$ is the kernel of a projection $X \to X$, of norm less than $f(n) + \varepsilon$~($\varepsilon > 0$ arbitrary), where \[ f (n) = \frac{2 + (n-1) \sqrt{n+2}}{n+1}. \] We have $f(n) < \sqrt{n}$ for $n > 1$, and \[ f(n) = \sqrt{n} - \frac{1}{\sqrt{n}} + O \left(\frac{1}{n}\right). \] (The same statement, with $\sqrt{n}$ rather than $f(n)$, has been proved in [2]. A~small improvement of the statement of [2], for $n = 2$, is given in [3], pp.~61--62, Remark.) In [1] for this theorem a deeper statement is used, on approximations of finite rank projections on the dual space $X^*$ by adjoints of finite rank projections on $X$. In this paper we show that the first cited result is an immediate consequence of the principle of local reflexivity, and of the result from [7].     

On the Lipschitz perturbation of monotonic functions

Summary A real valued function <InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"16"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"17"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"18"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"19"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"20"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"21"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"22"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"23"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"24"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"25"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"26"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"27"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"28"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"29"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"30"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"31"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"32"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"33"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"34"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>f$ defined on a real interval $I$ is called \emph{$d$-Lipschitz} if it satisfies $|\ell(x)- \ell(y)| \le d(x,y)$ for $x,y\in I$. In this paper, we investigate when a function $p\: I \to \bR$ can be decomposed in the form $p=q+ \ell$, where $q$ is increasing and $\ell$ is $d$-Lipschitz. In the general case when $d\: I^{2} \to \bR$ is an arbitrary semimetric, a function $p\: I \to \bR$ can be written in the form $p=q+ \ell$ if and only if \vspace{-4pt} <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[$$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> \sum_{i=1}^{n}{\big(p(s_{i})-p(t_{i})-d(t_{i},s_{i}) \big)^{+}} \le \sum_{j=1}^{m}{\big(p(v_{j})-p(u_{j})+d(u_{j},v_{j}) \big)} \vspace{-4pt} $$ is fulfilled for all real numbers $t_{1}<s_{1}, \dots, t_{n}<s_{n}$ and $u_{1}<v_{1}, \dots, u_{m}<v_{m}$ in $I$ satisfying the condition \vspace{-4pt} $$ \sum_{i=1}^{n} 1_{\left]t_i,s_i\right]}= \sum_{j=1}^{m} 1_{\left]u_j,v_j\right]}, \vspace{-4pt} $$ where $1_{\left]a,b\right]}$ denotes the characteristic function of the interval $\left]a,b\right]$. In the particular case when $d\: I^{2} \to R$ is a so-called concave semimetric, a function $p\: I \to \bR$ is of the form $p=q+ \ell$ if and only if \vspace{-4pt} $$ 0 \le \sum_{k=1}^{n}{d(x_{2k-1},x_{2k})} + d(x_0,x_{2n+1}) + \sum_{k=0}^{n}{\big(p(x_{2k+1})-p(x_{2k})\big)} \vspace{-4pt} $$ holds for all $x_0\le x_1\ki \cdots\ki x_{2n}\le x_{2n+1}$ in $I$.     

On the problem of uniqueness of the trigonometric moment constants

Summary Given a real-valued function <InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\mu(x,y)$ of bounded variation in the sense of Hardy and Krause on the square $[0, 2\pi]\times [0, 2\pi]$, the sequence <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> \mu_{m,n}:=\int^{2\pi}_0 \int^{2\pi}_0 e^{i(mx+ny)} \, d_x \, d_y \mu(x,y), \quad (m,n)\in \bZ^2, $$ may be called the sequence of trigonometric moment constants with respect to $\mu(x,y)$. We discuss the uniqueness of the expression of the sequence $\{\mu_{m,n}\}$ in terms of the function $\mu(x,y)$.     

Prime divisors of palindromes

Summary In this paper, we study some divisibility properties of palindromic numbers in a fixed base <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>g\ge 2$. In particular, if ${\mathcal P}_L$ denotes the set of palindromes with precisely $L$ digits, we show that for any sufficiently large value of $L$ there exists a palindrome $n\in{\mathcal P}_L$ with at least $(\log\log n)^{1+o(1)}$ distinct prime divisors, and there exists a palindrome $n\in{\mathcal P}_L$ with a prime factor of size at least $(\log n)^{2+o(1)}$.     

Short interval asymptotics for a class of arithmetic functions

Summary We provide a general asymptotic formula which permits applications to sums like <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> \sum_{x< n\le x+y} \big(d(n)\big)^2, \quad \sum_{x< n\le x+y} d(n^3),\quad \sum_{x< n\le x+y}\big(r(n)\big)^2, \quad \sum_{x< n\le x+y}r(n^3), $$ where $d(n)$ and $r(n)$ are the usual arithmetic functions (number of divisors, sums of two squares), and $y$ is small compared to~$x$.     

On a conjecture of Károly Bezdek and János Pach

Summary The following conjecture of K\'aroly Bezdek and J\'anos Pach is cited in~[1]. If <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>K\subset{\mathbb R}^d$ is a convex body then any packing of pairwise touching positive homothets of $K$ consists of at most $2^d$ copies of $K$. We prove a weaker bound, $2^{d+1}$.     

A spread extension associated with Madden-type generators

Summary A frame homomorphism <InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"16"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"17"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>f\: L\to M$ between locally connected frames is called a \emph{localic spread} if $\bigcup\limits_{u\in L}S_{u}$ is a basis for $M$, where <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> S_{u}=\{x\in M\mid x\Leqq_{c}f(u)\} $$ for each $u\in L$, where $x\Leqq_{c}h(u)$ denotes that ``$x$ is a component of $h(u)$'. Madden-type generators and relations are applied on $L$ to form a freely generated frame $CM$ induced by $j\: M\to CM$ leading to a \emph{spread extension} $j\circ f\: L\to CM$ of~$f$. In this article, we discuss properties of a local spread extension (which is not complete) between locally connected frames.     

Normal structure and Pythagorean approach in Banach spaces

Summary Let <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>X$ be a real Banach space and $S(X) = \{x \in X: \|x\| = 1\}$ be the unit sphere of $X$. The parameters $E_{\epsilon}(X)=\sup\{\alpha_{\epsilon}(x): x \in S(X)\}$, $e_{\epsilon}(X)=\inf\{\alpha_{\epsilon}(x): x \in S(X)\}$, $F_{\epsilon}(X)=\sup\{\beta_{\epsilon}(x): x \in S(X)\}$, and $f_{\epsilon}(X)=\inf\{\beta_{\epsilon}(x): x \in S(X)\}$, where $\alpha_{\epsilon}(x) = \sup\{\| x + \epsilon y \|^{2}+ \| x - \epsilon y \|^{2}: y \in S(X)\}$ and $\beta_{\epsilon}(x) = \inf\{\| x + \epsilon y \|^{2}+ \| x - \epsilon y \|^{2}: y \in S(X)\}$, are defined and studied. The main result is that a Banach space $X$ with $E_{\epsilon}(X) < 2 + 2\epsilon +\frac{1}{2}\epsilon^{2}$ for some $0\leq \epsilon \leq 1$ has uniform normal structure.     

On a regularity property of additive representation functions

Summary Let <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\mathcal{A}=\{a_{1},a_{2},\dots{}\}$ $(a_{1} \le a_{2} \le \dots{})$ be an infinite sequence of nonnegative integers, and let $R(n)$ denote the number of solutions of $a_{x}+a_{y}=n$ $(a_{x},a_{y}\in\mathcal{A})$. P. Erd?s, A. Sárk?zyand V. T. Sós proved that if $\lim_{N\to\infty}\frac{B(\mathcal{A},N)}{\sqrt{N}}=+\infty$ then $|\Delta_{1}(R(n))|$ cannot be bounded, where ${B(\mathcal{A},N)}$ denotes the number of blocks formed by consecutive integers in $\mathcal{A}$ up to $N$ and $\Delta_{k}$ denotes the $k$-th difference. The aim of this paper is to extend this result to $\Delta_{k}(R(n))$ for any fixed $k\ge2$.     

Some multivariate inequalities with applications

Summary Let <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>{\cal {X}}_{n} =(X_1,\ldots,X_n)$ be a random vector. Suppose that the random variables $(X_i)_{1\leq i\leq n}$ are stationary and fulfill a suitable dependence criterion. Let $f$ be a real valued function defined on $\mathbbm{R}^n$ having some regular properties. Let ${\cal {Y}}_{n}$ be a random vector, independent of ${\cal {X}}_{n}$, having independent and identically distributed components. We control $\left|\mathbbm{E}(f({\cal {X}}_{n}))-\mathbbm{E} (f({\cal {Y}}_{n}))\right|$. Suitable choices of the function $f$ yield, under minimal conditions, to rates of convergence in the central limit theorem, to some moment inequalities or to bounds useful for Poisson approximation. The proofs are derived from multivariate extensions of Taylor's formula and of the Lindeberg decomposition. In the univariate case and in the mixing setting the method is due to Rio (1995).     

Remarks on a conjecture on certain integer sequences

Summary The periodicity of sequences of integers <InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>(a_{n})_{n\in\mathbb Z}$ satisfying the inequalities <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> 0 \le a_{n-1}+\lambda a_n +a_{n+1} < 1 \ (n \in {\mathbb Z}) $$ is studied for real $ \lambda $ with $|\lambda|< 2$. Periodicity is proved in case $ \lambda $ is the golden ratio; for other values of $ \lambda $ statements on possible period lengths are given. Further interesting results on the morphology of periods are illustrated. The problem is connected to the investigation of shift radix systems and of Salem numbers.     

Quasiregular and Baer lattices - I

Summary Let <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"16"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>L$ be a compactly generated multiplicative lattice with 1 compact in which every finite product of compact elements is compact and $u\in L$ denote a radical element. We generalize the concepts, such as, Baer element, closed element etc. Using these concepts, we generalize many results proved by~D.~D. Anderson, C. Jayaram and others. In this paper we provide the modified definition for regular lattices and find their characterizations. Also we give abstract versions of many known results of ideal theory of commutative rings. Some of the important results are: \bigskip {\sc Result 1.} In $S$, suppose a finite product of compact elements is compact. Then the following statements on $S$ are equivalent. \begin{itemize} \item $S$ is a regular lattice. \item Every semiprimary element of $S$ is maximal. \item Every semiprimary element of $S$ is minimal prime. \item Every primary element of $S$ is minimal prime. \item Every primary element of $S$ is maximal. \item Every prime element of $S$ is maximal. \item Every prime element of $S$ is minimal prime. \end{itemize} \bigskip {\sc Result 2.} Let $S$ be a compactly generated multiplicative lattice (not necessarily, 1 compact). Then $S$ is a sublattice of a regular lattice iff $0=\sqrt 0$ in $S$.     

Classification and discrete cocompact subgroups of some 7-dimensional connected nilpotent groups

Summary For real connected nilpotent groups, 7 is the lowest dimension where there are infinitely many non-isomorphic groups, and also where some groups (indeed, uncountably many) have no discrete cocompact subgroups. In [21] one infinite family <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\mathcal{G}$ of 7-dimensional groups was identified and classified. Discrete cocompact subgroups H were identified for some groups in $\mathcal{G}$ in [10], along with simple quotients of $C^{*}(\mathrm{H})$ and relevant flows $(\mathrm{H}_3,\mathbf{T}^3)$. In this paper, such H and attributes are determined for more groups in $\mathcal{G}$; in particular, the members of $\mathcal{G}$ that admit discrete cocompact subgroups are identified precisely. In achieving some of these results, we consider other known ways of classifying the groups in $\mathcal{G}$, and also the classification of the analogous family of complex groups.     

On the Sunouchi operator with respect to multiple orthogonal systems

Summary Let <InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"16"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"17"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"18"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"19"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"20"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"21"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"22"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"23"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\big\{\varphi_k(x)\big\}_{k=1}^\infty$ and $\big\{\psi_l(y)\big\}_{l=1}^\infty$ be arbitrary orthonormal systems (ONS) on $[0,1]$ that satisfy the conditions (5) where $M_1$ and $M_2$ are positive constants. Let $A$ be a Lebesgue measurable subset of ${[0,1]}^2$ such that $S^{\varphi,\psi}(f,x,y)\ki \infty$, for a.e.\ $(x,y)\in A$ for every Lebesgue integrable function $f$ on ${[0,1]}^2$, where $S^{\varphi,\psi}$ is the Sunouchi operator with respect to the product system $\big\{\varphi_k(x) \psi_l(y)$, $k, l=1,2,\dots\big\}$. We study the following problem: How large may the measure of $A$ be? We prove that for each such system we have <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> \mu_2A \le 1-\frac{1}{M_1^2 M_2^2} $$ (for the $d$-fold product systems we have $\mu_d A \le 1-\frac{1}{M_1^2 M_2^2\dots M_d^2}$, $d\ge 2$). This estimate is sharp in the class of all such product systems.     

A note on the size of the largest ball inside a convex polytope

Summary Let <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>m>1$ be an integer, $B_m$ the set of all unit vectors of $\Bbb R^m$ pointing in the direction of a nonzero integer vector of the cube $[-1,\,1]^m$. Denote by $s_m$ the radius of the largest ball contained in the convex hull of $B_m$. We determine the exact value of $s_m$ and obtain the asymptotic equality $s_m\sim\frac{2}{\sqrt{\log m}}$.     

A note on translative packing a triangle by sequences of its homothetic copies

Summary Every sequence of positive or negative homothetic copies of a triangle~<InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>T$ whose total area does not exceed $\frac{2}{9}$ of the area of $T$ can be translatively packed into $T$. The bound of $\frac{2}{9}$ cannot be improved upon here.