On a characterization of the exponential distribution by properties of order statistics

A continuous c.d.f. F(x), strictly increasing for x > 0, is exponential if and only if X_{j, n} - X_{i, n} and X_{j−i, n−i} have identical distribution for some i, n, j = j₁, j₂, 1 ⩽ i < j₁ <j₂ ⩽ n, n ⩾ 3. A new proof of this characterization is given, since in Ahsanullah (1975) where it was stated first, an implicit assumption in the proof is that F is NBU or NWU.     

Generalized weak peripheral multiplicativity in algebras of Lipschitz functions

Let (X, d _X ) and (Y,d _Y ) be pointed compact metric spaces with distinguished base points e _X and e _Y . The Banach algebra of all $\mathbb{K}$ -valued Lipschitz functions on X — where $\mathbb{K}$ is either?or ? — that map the base point e _X to 0 is denoted by Lip₀(X). The peripheral range of a function f ∈ Lip₀(X) is the set Ran_µ(f) = {f(x): |f(x)| = ‖f‖_∞} of range values of maximum modulus. We prove that if T ₁, T ₂: Lip₀(X) → Lip₀(Y) and S ₁, S ₂: Lip₀(X) → Lip₀(X) are surjective mappings such that $Ran_\pi (T_1 (f)T_2 (g)) \cap Ran_\pi (S_1 (f)S_2 (g)) \ne \emptyset $ for all f, g ∈ Lip₀(X), then there are mappings φ₁φ₂: Y → $\mathbb{K}$ with φ₁(y)φ₂(y) = 1 for all y ∈ Y and a base point-preserving Lipschitz homeomorphism ψ: Y → X such that T _j (f)(y) = φ _j (y)S _j (f)(ψ(y)) for all f ∈ Lip₀(X), y ∈ Y, and j = 1, 2. In particular, if S ₁ and S ₂ are identity functions, then T ₁ and T ₂ are weighted composition operators.     

On a question concerning sharp bases

A sharp base B is a base such that whenever (Bi)_i<ω is an injective sequence from B with x∈_?i<ωBi, then is a base at x. Alleche, Arhangel'ski? and Calbrix asked: if X has a sharp base, must X×[0,1] have a sharp base? Good, Knight and Mohamad claimed to construct an example of a Tychonoff space P with a sharp base such that P×[0,1] does not have a sharp base. However, the space was not regular. We show how to modify the construction to make P Tychonoff.     

Nonsingularity of matrices associated with classes of arithmetical functions on lcm-closed sets

Let S = {x₁, … , x_n} be a set of n distinct positive integers and f be an arithmetical function. Let [f(x_i, x_j)] denote the n × n matrix having f evaluated at the greatest common divisor (x_i, x_j) of x_i and x_j as its i, j-entry and (f[x_i, x_j]) denote the n × n matrix having f evaluated at the least common multiple [x_i, x_j] of x_i and x_j as its i, j-entry. The set S is said to be lcm-closed if [x_i, x_j] ∈ S for all 1 ? i, j ? n. For an integer x > 1, let ω(x) denote the number of distinct prime factors of x. Define ω(1) = 0. In this paper, we show that if S = {x₁, … , x_n} is an lcm-closed set satisfying , and if f is a strictly increasing (resp. decreasing) completely multiplicative function, or if f is a strictly decreasing (resp. increasing) completely multiplicative function satisfying (resp. f(p) ? p) for any prime p, then the matrix [f(x_i, x_j)] (resp. (f[x_i, x_j])) defined on S is nonsingular. By using the concept of least-type multiple introduced in [S. Hong, J. Algebra 281 (2004) 1-14], we also obtain reduced formulas for det(f(x_i, x_j)) and det(f[x_i, x_j]) when f is completely multiplicative and S is lcm-closed. We also establish several results about the nonsingularity of LCM matrices and reciprocal GCD matrices.     

On nagata's problem for paracompact σ-metric spaces

Let (A) be the characterization of dimension as follows: Ind X?n if and only if X has a σ-closure-preserving base $\text{W}$ such that Ind B(W)?n?1 for every W?$\text{W}$. The validity of (A) is proved for spaces X such that(i) X is a paracompact σ-metric space with a scale {X_i} such that each X_i has a uniformly approaching anti-cover, or(ii) X is a subspace of the product ΠX_i of countably many L-spaces X_i, the notion of which is due to K. Nagami.(i) and (ii) are the partial answers to Nagata's problem wheter (A) holds or not for every M₁-space X.     

On metric spaces with the Haver property which are Menger spaces

A metric space (X,d) has the Haver property if for each sequence ?₁,?₂,… of positive numbers there exist disjoint open collections V₁,V₂,… of open subsets of X, with diameters of members of Vi less than ?i and covering X, and the Menger property is a classical covering counterpart to σ-compactness. We show that, under Martin's Axiom MA, the metric square (X,d)×(X,d) of a separable metric space with the Haver property can fail this property, even if X² is a Menger space, and that there is a separable normed linear Menger space M such that (M,d) has the Haver property for every translation invariant metric d generating the topology of M, but not for every metric generating the topology. These results answer some questions by L. Babinkostova [L. Babinkostova, When does the Haver property imply selective screenability? Topology Appl. 154 (2007) 1971-1979; L. Babinkostova, Selective screenability in topological groups, Topology Appl. 156 (1) (2008) 2-9].     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

A non-separable solution of the diffusion equation based on the Galerkin’s method using cubic splines

The two dimensional diffusion equation of the form is considered in this paper. We try a bi-cubic spline function of the form as its solution. The initial coefficients C_i,j(0) are computed simply by applying a collocation method; C_i,j = f(x_i, y_j) where f(x, y) = u(x, y, 0) is the given initial condition. Then the coefficients C_i,j(t) are computed by X(t) = e^tQX(0) where X(t) = (C_0,1, C_0,1, C_0,2, … , C_0,N, C_1,0, … , C_N,N) is a one dimensional array and the square matrix Q is derived from applying the Galerkin’s method to the diffusion equation. Note that this expression provides a solution that is not necessarily separable in space coordinates x, y. The results of sample calculations for a few example problems along with the calculation results of approximation errors for a problem with known analytical solution are included.     

Universal space in the Cartesian product of Peano curves without free arcs

We prove that there is the universal space for the class of n-dimensional separable metric spaces in the Cartesian product K₁×?×Kn+1 of Peano curves without free arcs. It is also shown that the set of embeddings of any n-dimensional separable metric space X into this universal space is a residual set in C(X,K₁×?×Kn+1). Other properties of product of Peano curves without free arcs are also proved.     

Existence of positive solutions for 2nth-order singular sublinear boundary value problems

This paper investigates the existence of positive solutions for 2nth-order (n>1) singular sub-linear boundary value problems. A necessary and sufficient condition for the existence of C2n−2[0,1] as well as C2n−1[0,1] positive solutions is given by constructing lower and upper solutions and with the maximal theorem. Our nonlinearity f(t,x₁,x₂,…,xn) may be singular at xi=0, i=1,2,…,n, t=0 and/or t=1.     

Quasi-monotone mappings on θn-continua

A continuous function f from a continuum X onto a continuum Y is quasi-monotone if, for every subcontinuum M of Y with nonvoid interior, f^-1(M) has a finite number of components each of which is mapped onto M by f. A θ_n-continuum is one that no subcontinuum separates into more than n components. It is known that if f is quasi-monotone and X is a θ₁-continuum, then Y is a θ₁-continuum or a θ₂-continuum that is irreducible between two points. Examples are given to show that this cannot be generalized to a θ_n-continuum and n + 1 points for any n >1, but it is proved that if f is quasi-monotone and X is a θ_n-continuum, then Y is a θ_n-continuum or a θ_n+1-continuum that is the union of n + 2 continua H,S₁,S₂,…,S_n+1, whe for each i, S_i is the closure of a component of Y H, S_i is irreducible from some point P_i to H, and H is irreducible about its boundary. Some theorems and examples are given concerning the preservation of decomposition elements by a quasi-monotone map defined on a θ_n-continuum that admits a monotone, upper-semicontinuous decomposition onto a finite graph.     

Disjointness preserving operators between little Lipschitz algebras

Given a real number α∈(0,1) and a metric space (X,d), let Lipα(X) be the algebra of all scalar-valued bounded functions f on X such that

     

Matrices associated with arithmetical functions

Let f be an arithmetical function and S={x ₁,x ₂,…,x_n } a set of distinct positive integers. Denote by [f(x_i ,x_j }] the n×n matrix having f evaluated at the greatest common divisor (x_i ,x_j ) of x_i , and x_j as its i j-entry. We will determine conditions on f that will guarantee the matrix [f(x_i ,x_j )] is positive definite and, in fact, has properties similar to the greatest common divisor (GCD) matrix

[(x_i ,x_j )] where f is the identity function. The set S is gcd-closed if (x_i ,x_j )∈S for 1≤ i j ≤ n. If S is gcd-closed, we calculate the determinant and (if it is invertible) the inverse of the matrix [f(x_i ,x_j )]. Among the examples of determinants of this kind are H. J. S. Smith's determinant det[(i,j)].     

Iterated conditional expectations

Consider the probability space ([0,1),B,λ), where B is the Borel σ-algebra on [0,1) and λ the Lebesgue measure. Let f=₁[0,1/2) and g=₁[1/2,1). Then for any ε>0 there exists a finite sequence of sub-σ-algebras Gj⊂B(j=1,…,N), such that putting f₀=f and fj=E(fj−1|Gj), j=1,…,N, we have ‖fN−g_‖∞<ε; here E(⋅|Gj) denotes the operator of conditional expectation given σ-algebra Gj. This is a particular case of a surprising result by Cherny and Grigoriev (2007) [1] in which f and g are arbitrary equidistributed bounded random variables on a nonatomic probability space. The proof given in Cherny and Grigoriev (2007) [1] is very complicated. The purpose of this note is to give a straightforward analytic proof of the above mentioned result, motivated by a simple geometric idea, and then show that the general result is implied by its special case.     

On a family of IFSs whose attractors are not connected

For an infinite-dimensional Banach space X, S and T bounded linear operators from X to X such that ‖S‖,‖T‖<1 and w∈X, let us consider the IFS Sw=(X,f₁,f₂), where f₁,f₂:X→X are given by f₁(x)=S(x) and f₂(x)=T(x)+w, for all x∈X. We prove that if the operator S is finite-dimensional, then the set {w∈X|the attractor of Sw is not connected} is open and dense in X.     

On conjugacy of some systems of functions

Summary. We investigate the bounded solutions j:[0,1]? X \varphi:[0,1]\to X of the system of functional equations¶¶j(f_k(x))=F_k(j(x)),    k=0,?,n-1,x ? [0,1] \varphi(f_k(x))=F_k(\varphi(x)),\;\;k=0,\ldots,n-1,x\in[0,1] ,(*)¶where X is a complete metric space, f₀,?,f_n-1:[0,1]?[0,1] f_0,\ldots,f_{n-1}:[0,1]\to[0,1] and F₀,...,F_n-1:X? X F_0,...,F_{n-1}:X\to X are continuous functions fulfilling the boundary conditions f₀(0) = 0, f_n-1(1) = 1, f_k+1(0) = f_k(1), F₀(a) = a,F_n-1(b) = b,F_k+1(a) = F_k(b), k = 0,?,n-2 f_{0}(0) = 0, f_{n-1}(1) = 1, f_{k+1}(0) = f_{k}(1), F_{0}(a) = a,F_{n-1}(b) = b,F_{k+1}(a) = F_{k}(b),\,k = 0,\ldots,n-2 , for some a,b ? X a,b\in X . We give assumptions on the functions f_k and F_k which imply the existence, uniqueness and continuity of bounded solutions of the system (*). In the case X = \Bbb C X= \Bbb C we consider some particular systems (*) of which the solutions determine some peculiar curves generating some fractals. If X is a closed interval we give a collection of conditions which imply respectively the existence of homeomorphic solutions, singular solutions and a.e. nondifferentiable solutions of (*).     

On chaotic extensions of dynamical systems

In this paper, inspired by some results in linear dynamics, we will show that every dynamical system (X,f), where f is a continuous self-map on a separable metric space X, can be extended to a chaotic (in the sense of Devaney) dynamical system in an isometric way.