Let $F_i=1,...,N$ be affine mappings of ${ℝ}^n$. It is well known that if there exists j ≤ 1 such that for every ${\sigma }_1,...,{\sigma }_j\in 1,...,N$ the composition (1) $F_{\sigma 1}\circ ...\circ F_{{\sigma }_j}$ is a contraction, then for any infinite sequence ${\sigma }_1,{\sigma }_2,...\in 1,...,N$ and any $z\in {ℝ}^n$, the sequence (2)$F_{\sigma 1}\circ ...\circ F_{{\sigma }_n}\left(z\right)$ is convergent and the limit is independent of z. We prove the following converse result: If (2) is convergent for any $z\in {ℝ}^n$ and any $\sigma ={\sigma }_1,{\sigma }_2,...$ belonging to some subshift Σ of N symbols (and the limit is independent of z), then there exists j ≥ 1 such that for every $\sigma ={\sigma }_1,{\sigma }_2,...\in \Sigma$ the composition (1) is a contraction....

Let B(κ,λ) be the subalgebra of P(κ) generated by ${\left[\kappa \right]}^{\le \lambda }$. It is shown that if B is any homomorphic image of B(κ,λ) then either $\left|B\right|<2^{\lambda }$ or $\left|B\right|={\left|B\right|}^{\lambda }$; moreover, if X is the Stone space of B then either $\left|X\right|\le 2^{2^{\lambda }}$ or $\left|X\right|=\left|B\right|={\left|B\right|}^{\lambda }$. This implies the existence of 0-dimensional compact $T_2$ spaces whose cardinality and weight spectra omit lots of singular cardinals of “small” cofinality.

Given two topologies, $T_1$ and $T_2$, on the same set X, the intersection topologywith respect to $T_1$ and $T_2$ is the topology with basis $U_1\cap U_2:U_1\in T_1,U_2\in T_2$. Equivalently, T is the join of $T_1$ and $T_2$ in the lattice of topologies on the set X. Following the work of Reed concerning intersection topologies with respect to the real line and the countable ordinals, Kunen made an extensive investigation of normality, perfectness and ${\omega }_1$-compactness in this class of topologies. We demonstrate that the majority of his results...

1. Introduction. Given x in (0,1], let x = [d₁(x),d₂(x),...] denote the Engel expansion of x, that is, (1) $x=1/d₁\left(x\right)+1/\left(d₁\left(x\right)d₂\left(x\right)\right)+...+1/(d₁\left(x\right)d₂\left(x\right)...d_n\left(x\right))+...$, where $d_j\left(x\right),j\ge 1$ is a sequence of positive integers satisfying d₁(x) ≥ 2 and $d_{j+1}\left(x\right)\ge d_j\left(x\right)$ for j ≥ 1. (See [3].) In [3], János Galambos proved that for almost all x ∈ (0,1], (2) $li{m}_{n\to \infty }{d}_n^{1/n}\left(x\right)=e.$He conjectured ([3], P132) that the Hausdorff dimension of the set where (2) fails is one. In this paper, we prove this conjecture: Theorem. $di{m}_{H}x\in (0,1]:\left(2\right)fails=1$. We use L¹ to denote the one-dimensional Lebesgue measure on (0,1] and $di{m}_H$ to denote...

A partition of a positive integer n is a nonincreasing sequence of positive integers with sum $n.$ Here we define a special class of partitions. 1. Let $t\ge 1$ be a positive integer. Any partition of n whose Ferrers graph have no hook numbers divisible by t is known as a t- core partitionof $n.$ The hooks are important in the representation theory of finite symmetric groups and the theory of cranks associated with Ramanujan’s congruences for the ordinary partition function [3,$$4,$$6]. If $t\ge 1$ and $n\ge 0$,...

We give sufficient and necessary conditions to be fulfilled by a filter $\Psi$ and an ideal $\Lambda$ in order that the $\Psi$-quotient space of the $\Lambda$-ideal product space preserves $T_k$-properties ($k=0,1,2,3,3\frac{1}{2}$) (“in the sense of the Łos theorem”). Tychonoff products, box products and ultraproducts appear as special cases of the general construction.

The note develops results from [5] where an invariance under the Möbius transform mapping the upper halfplane onto itself of the Weinstein operator $W_k:=\Delta +\frac{k}{x_n}\frac{\partial }{\partial x_n}$ on ${ℝ}^n$ is proved. In this note there is shown that in the cases $k\ne 0$, $k\ne 2$ no other transforms of this kind exist and for case $k=2$, all such transforms are described.

Let X be a compactum and let $A=(A_i,B_i):i=1,2,...$ be a countable family of pairs of disjoint subsets of X. Then A is said to be essential on Y ⊂ X if for every closed $F_i$ separating $A_i$ and $B_i$ the intersection $\left(\cap F_i\right)\cap Y$ is not empty. So A is inessential on Y if there exist closed $F_i$ separating $A_i$ and $B_i$ such that $\cap F_i$ does not intersect Y. Properties of inessentiality are studied and applied to prove:  Theorem. For every countable family of pairs of disjoint open subsets of a compactum X there exists an open set G ∩ X on...

1. Introduction. The recent article [1] gives explicit evaluations for exponential sums of the form $S(a,p^{\alpha }+1):={\sum }_{x{\in }_q}\chi \left(a{x}^{p^{\alpha }+1}\right)$ where χ is a non-trivial additive character of the finite field ${}_q$, $q=p^e$ odd, and $a\in {*}_q$. In my dissertation [5], in particular in [4], I considered more generally the sums S(a,N) for all factors N of $p^{\alpha }+1$. The aim of the present note is to evaluate S(a,N) in a short way, following [4]. We note that our result is also valid for even q, and the technique used in our proof can also be used to evaluate...