Rudin's Dowker space, strong base-normality and base-strong-zero-dimensionality

It is well known that every pair of disjoint closed subsets F₀,F₁ of a normal T₁-space X admits a star-finite open cover U of X such that, for every U∈U, either or holds. We define a T₁-space X to be strongly base-normal if there is a base B for X with |B|=w(X) satisfying that every pair of disjoint closed subsets F₀,F₁ of X admits a star-finite cover B^′ of X by members of B such that, for every B∈B^′, either or holds. We prove that there is a base-normal space which is not strongly base-normal. Moreover, we show that Rudin's Dowker space is strongly base-(collectionwise)normal. Strong zero-dimensionality on base-normal spaces are also studied.     

Continuous mappings on subspaces of products with the κ-box topology

Much of General Topology addresses this issue: Given a function f∈C(Y,Z) with Y⊆Y^′ and Z⊆Z^′, find , or at least , such that ; sometimes Z=Z^′ is demanded. In this spirit the authors prove several quite general theorems in the context Y^′=κ(XI)=_∏i∈IXi in the κ-box topology (that is, with basic open sets of the form _∏i∈IUi with Ui open in Xi and with Ui≠Xi for <κ-many i∈I). A representative sample result, extending to the κ-box topology some results of Comfort and Negrepontis, of Noble and Ulmer, and of Hušek, is this.

Theorem. Letω?κ?α (that means: κ<α, and[β<αandλ<κ]⇒βλ<α) with α regular,be a set of non-empty spaces with eachd(Xi)<α,π[Y]=XJfor each non-emptyJ⊆Isuch that|J|<α, and the diagonal in Z be the intersection of <α-many regular-closed subsets ofZ×Z. Then (a) Y is pseudo-(α,α)-compact, (b) for everyf∈C(Y,Z)there isJ∈[I]^<αsuch thatf(x)=f(y)wheneverxJ=yJ, and (c) every such f extends to.     

Approximation by smooth functions with no critical points on separable Banach spaces

We characterize the class of separable Banach spaces X such that for every continuous function and for every continuous function there exists a C¹ smooth function for which |f(x)−g(x)|?ε(x) and g^′(x)≠0 for all x∈X (that is, g has no critical points), as those infinite-dimensional Banach spaces X with separable dual X^∗. We also state sufficient conditions on a separable Banach space so that the function g can be taken to be of class Cp, for p=1,2,…,+∞. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces ?p(N) and Lp(Rn). Some important consequences of the above results are (1) the existence of a non-linear Hahn-Banach theorem and the smooth approximation of closed sets, on the classes of spaces considered above; and (2) versions of all these results for a wide class of infinite-dimensional Banach manifolds.     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

A tripling construction for overlarge sets of KTS

An overlarge set of , denoted by , is a collection {(X?{x},B_x):x∈X}, where X is a (v+1)-set, each (X?{x},B_x) is a and {B_x:x∈X} forms a partition of all triples on X. In this paper, we give a tripling construction for overlarge sets of KTS. Our main result is that: If there exists an with a special property, then there exists an . It is obtained that there exists an for u=2²ⁿ⁻¹−1 or u=qⁿ, where prime power q≡7 (mod 12) and m≥0,n≥1.     

Applications of almost one-to-one maps

A continuous map of topological spaces X,Y is said to be almost 1-to-1 if the set of the points x∈X such that f⁻¹(f(x))={x} is dense in X; it is said to be light if pointwise preimages are 0-dimensional. In a previous paper we showed that sometimes almost one-to-one light maps of compact and σ-compact spaces must be homeomorphisms or embeddings. In this paper we introduce a similar notion of an almost d-to-1 map and extend the above results to them and other related maps. In a forthcoming paper we use these results and show that if f is a minimal self-mapping of a 2-manifold then point preimages under f are tree-like continua and either M is a union of 2-tori, or M is a union of Klein bottles permuted by f.     

Harmonic measures for a point may form a square

Let X be a Green domain in Rd, d?2, x∈X, and let Mx(P(X)) denote the compact convex set of all representing measures for x. Recently it has been proven that the set of harmonic measures , U open in X, x∈U, which is contained in the set of extreme points of Mx(P(X)), is dense in Mx(P(X)). In this paper, it is shown that Mx(P(X)) is not a simplex (and hence not a Poulsen simplex). This is achieved by constructing open neighborhoods U₀, U₁, U₂, U₃ of x such that the harmonic measures are pairwise different and . In fact, these measures form a square with respect to a natural L²-structure. Since the construction is mainly based on having certain symmetries, it can be carried out just as well for Riesz potentials, the Heisenberg group (or any stratified Lie algebra), and the heat equation (or more general parabolic situations).     

On ω-limit sets of ordinary differential equations in Banach spaces

Let X be an infinite-dimensional real Banach space. We classify ω-limit sets of autonomous ordinary differential equations x^′=f(x), x(0)=x₀, where f:X→X is Lipschitz, as being of three types I-III. We denote by SX the class of all sets in X which are ω-limit sets of a solution to (1), for some Lipschitz vector field f and some initial condition x₀∈X. We say that S∈SX is of type I if there exists a Lipschitz function f and a solution x such that S=Ω(x) and . We say that S∈SX is of type II if it has non-empty interior. We say that S∈SX is of type III if it has empty interior and for every solution x (of Eq. (1) where f is Lipschitz) such that S=Ω(x) it holds . Our main results are the following: S is a type I set in SX if and only if S is a closed and separable subset of the topological boundary of an open and connected set U⊂X. Suppose that there exists an open separable and connected set U⊂X such that , then S is a type II set in SX. Every separable Banach space with a Schauder basis contains a type III set. Moreover, in all these results we show that in addition f may be chosen Ck-smooth whenever the underlying Banach space is Ck-smooth.     

Convergence theorems for fixed points of uniformly continuous generalized Φ-hemi-contractive mappings

Let E be a real normed linear space, K be a nonempty subset of E and be a uniformly continuous generalized Φ-hemi-contractive mapping, i.e., , and there exist x^∗∈F(T) and a strictly increasing function , Φ(0)=0 such that for all x∈K, there exists j(x−x^∗)∈J(x−x^∗) such that

〈Tx−x^∗,j(x−x^∗)〉?‖x−x^∗‖2−Φ(‖x−x^∗‖).     

A bilinear version of Orlicz-Pettis theorem

Given three Banach spaces X, Y and Z and a bounded bilinear map , a sequence x=n(xn)⊆X is called B-absolutely summable if is finite for any y∈Y. Connections of this space with are presented. A sequence x=n(xn)⊆X is called B-unconditionally summable if is finite for any y∈Y and z^∗∈Z^∗ and for any M⊆N there exists xM∈X for which _∑n∈M〈B(xn,y),z^∗〉=〈B(xM,y),z^∗〉 for all y∈Y and z^∗∈Z^∗. A bilinear version of Orlicz-Pettis theorem is given in this setting and some applications are presented.     

A generalization of Gruenhage's example

We construct, assuming the continuum hypothesis, an example of nonmetrizable n-dimensional Cantor manifold Xn(n∈N) with the following properties: 1) is hereditarily separable for all k∈N; 2) is perfectly normal for every k∈N; 3) the space F(Xn) is hereditarily normal for every seminormal functor F that preserves weights and one-to-one points and such that sp(F)={1,k}; in particular, and λ₃Xn are hereditarily normal. This example is a generalization of famous Gruenhage's example given in Gruenhage and Nyikos (1993) [4].     

Region of variability of two subclasses of univalent functions

Let F₁ (F₂ respectively) denote the class of analytic functions f in the unit disk |z|<1 with f(0)=0=f^′(0)−1 satisfying the condition RePf(z)<3/2 (RePf(z)>−1/2 respectively) in |z|<1, where Pf(z)=1+zf^″(z)/f^′(z). For any fixed z₀ in the unit disk and λ∈[0,1), we shall determine the region of variability for logf^′(z₀) when f ranges over the class and , respectively.     

The ω-limit set of a graph map

Let G be a graph and be continuous. Denote by P(f), , ω(f) and Ω(f) the set of periodic points, the closure of the set of periodic points, ω-limit set and non-wandering set of f, respectively. In this paper we show that: (1) v∈ω(f) if and only if v∈P(f) or there exists an open arc L=(v,w) contained in some edge of G such that every open arc U=(v,c)⊂L contains at least 2 points of some trajectory; (2) v∈ω(f) if and only if every open neighborhood of v contains at least r+1 points of some trajectory, where r is the valence of v; (3) ; (4) if , then x has an infinite orbit.     

On some geometric parameters in Banach spaces

Let X be a normed linear space and be the unit sphere of X. Let , , and J(X)=sup{‖x+y‖∧‖x−y‖}, x and y∈S(X) be the modulus of convexity, the modulus of smoothness, and the modulus of squareness of X, respectively. Let . In this paper we proved some sufficient conditions on δ(?), ρX(?), J(X), E(X), and , where the supremum is taken over all the weakly null sequence xn in X and all the elements x of X for the uniform normal structure.     

On the determination of the basin of attraction of a periodic orbit in two-dimensional systems

We consider the general nonlinear differential equation with x∈R² and develop a method to determine the basin of attraction of a periodic orbit. Borg's criterion provides a method to prove existence, uniqueness and exponential stability of a periodic orbit and to determine a subset of its basin of attraction. In order to use the criterion one has to find a function W∈C¹(R²,R) such that LW(x)=W^′(x)+L(x) is negative for all x∈K, where K is a positively invariant set. Here, L(x) is a given function and W^′(x) denotes the orbital derivative of W. In this paper we prove the existence and smoothness of a function W such that LW(x)=−μ‖f(x)‖. We approximate the function W, which satisfies the linear partial differential equation W^′(x)=〈∇W(x),f(x)〉=−μ‖f(x)‖−L(x), using radial basis functions and obtain an approximation w such that Lw(x)<0. Using radial basis functions again, we determine a positively invariant set K so that we can apply Borg's criterion. As an example we apply the method to the Van-der-Pol equation.     

The oscillation of differential transforms - entire Jacobi expansions

Let L=(1−x²)D²−((β−α)−(α+β+2)x)D with , and . Let f∈C^∞[−1,1], , with normalized Jacobi polynomials and the Cn decrease sufficiently fast. Set Lk=L(Lk−1), k?2. Let ρ>1. If the number of sign changes of (Lkf)(x) in (−1,1) is O(k1/(ρ+1)), then f extends to be an entire function of logarithmic order . For Legendre expansions, the result holds with replaced with .     

Extraordinary dimension of maps

We consider the extraordinary dimension dimL introduced recently by Shchepin [E.V. Shchepin, Arithmetic of dimension theory, Russian Math. Surveys 53 (5) (1998) 975-1069]. If L is a CW-complex and X a metrizable space, then dimLX is the smallest number n such that ΣnL is an absolute extensor for X, where ΣnL is the nth suspension of L. We also write dimLf?n, where is a given map, provided dimLf⁻¹(y)?n for every y∈Y. The following result is established: Supposeis a perfect surjection between metrizable spaces, Y a C-space and L a countable CW-complex. Then conditions (1)-(3) below are equivalent:

(1)

dimLf?n;

(2)

There exists a dense andGδsubsetGofC(X,In)with the source limitation topology such thatdimL(f×g)=0for everyg∈G;

(3)

There exists a mapis such thatdimL(f×g)=0;If, in addition, X is compact, then each of the above three conditions is equivalent to the following one;

(4)

There exists anFσsetA⊂Xsuch thatdimLA?n−1and the restriction mapf|(X?A)is of dimensiondimf|(X?A)?0.