Verallgemeinerungen eines Satzes von H. Steinhaus

The following result is due to H. Steinhaus [20]: “If A,B?R are sets of positive inner Lebesgue measure and if the function f: R x R→R is defined by f(x,y):=x+y (x,y?R), then the interior of f(A x B) is non void”. In this note there is proved, that the theorem of H. Steinhaus remains valid, if

1. R is replaced by certain topological measure spaces X, Y and a Hausdorff space Z,
2. f is a continuous function from an open set T?X x Y into Z and satisfies a special local (respectively global) solvability condition in T,
3. A?X is a set of positive outer measure, B?Y contains a set of positive measure and A x B?T.

     

ORDER EXTENSIONS AS ADJOINT FUNCTORS

Abstract

A standard extension (resp. standard completion) is a function Z assigning to each poset P a (closure) system ZP of subsets such that x ? y iff x belongs to every Z ε ZP with y ε Z. A poset P is Z -complete if each Z ε 2P has a join in P. A map f: P → P′ is Z—continuous if f^?1 [Z′] ε ZP for all Z′ ε ZP′, and a Z—morphism if, in addition, for all Z ε ZP there is a least Z′ ε ZP′ with f[Z] ? Z′. The standard extension Z is compositive if every map f: P → P′ with {x ε P: f(x) ? y′} ε ZP for all y′ ε P′ is Z -continuous. We show that any compositive standard extension Z is the object part of a reflector from IP_Z, the category of posets and Z -morphisms, to IR_Z, the category of Z -complete posets and residuated maps. In case of a standard completion Z, every Z -continuous map is a Z -morphism, and IR2 is simply the category of complete lattices and join—preserving maps. Defining in a suitable way so-called Z -embeddings and morphisms between them, we obtain for arbitrary standard extensions Z an adjunction between IP_Z and the category of Z -embeddings. Many related adjunctions, equivalences and dualities are studied and compared with each other. Suitable specializations of the function 2 provide a broad spectrum of old and new applications.     

Bounded solutions of the Golab—Schinzel equation

Summary. Let \Bbb K {\Bbb K} be either the field of reals or the field of complex numbers, X be an F-space (i.e. a Fréchet space) over \Bbb K {\Bbb K} n be a positive integer, and f : X ? \Bbb K f : X \to {\Bbb K} be a solution of the functional equation¶¶f(x + f(x)ⁿ y) = f(x) f(y) f(x + f(x)^n y) = f(x) f(y) .¶We prove that, if there is a real positive a such that the set { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} contains a subset of second category and with the Baire property, then f is continuous or { x ? X : |f(x)| ? (0, a)} \{ x \in X : |f(x)| \in (0, a)\} for every x ? X x \in X . As a consequence of this we obtain the following fact: Every Baire measurable solution f : X ? \Bbb K f : X \to {\Bbb K} of the equation is continuous or equal zero almost everywhere (i.e., there is a first category set A ì X A \subset X with f(X \A) = { 0 }) f(X \backslash A) = \{ 0 \}) .     

不等式约束的向量优化中值映射的余切上图导数

考虑如下的参数向量优化问题minK{f(w,x)|x∈X,g(w,x)∈C},这里f:W×X→Y是从赋范空间W和X的积到另一个赋范空间Y的Hadamard可微的单值映射,K Y是一个尖闭凸锥,C是Banach空间Z中的一个尖闭凸锥,g:W×X→Z是一个Fréchet可微的映射.借助目标函数的导数、约束映射的余切导数及拉格朗日映射给出了值映射的余切上图导数的两个表示.     

改进的Tsirelson空间TM上的Wigner定理

设X和Y是赋范空间，如果映射f：X→Y满足{||f（x）+f（y）||，||f（x）-f（y）||}={||x+y||，||x-y||}（x，y∈X），则称f是一个相位等距算子.设g，f：X→Y是映射，若存在相位函数ε：X→{-1，1}，使得ε·f=g，则称g和f是相位等价的.本文将证明改进的Tsirelson空间T_M上的任意满相位等距算子均相位等价于一个线性等距算子.该结论同时也给出了改进的Tsirelson空间T_M上的Wigner型定理.     

單調接近的半稳定的極限環線

<正> H.Poincare在其研究常微分方程dx/X(x,y)=dy/Y(x,y)(1)的經典工作中引入了許多極重要的概念,極限環線即其中之一,由於工程上的需要,在研究Van der Pol方程及其他問題上,極限環線的研究得到廣泛與深入的發展.例如可參考S.Lefschetz.     

A criterion of vanishing of the spectral density based on homoclinic sums

Let (X, d) be a compact metric space, let T: X→X be a homeomorphism satisfying a certain suitable hyperbolicity assumption, and let μ be a Gibbs measure on X relative to T. Let λ be a complex number |λ|=1, and let f:X → ? be a Hölder continuous function. It is proved that $\sum\limits_{k \in \mathbb{Z}} {\lambda ^{ - k} } \left( {\int\limits_X {f(T^k x)\bar f(x)\mu (dx) - \left| {\int\limits_X {f(x)\mu (dx)} } \right|^2 } } \right) = 0$ if and only if ∑λ^?k(f(T^ky) ? f(T^kx)) = 0 for all x, y ε X such that $d(T^k x,T^k y)\xrightarrow[{|k| \to \infty }]{}0$ . Bibliography: 11 titles.     

点是Gδ-集的∑*-空间的构成定理

在林寿与我最近合作的一篇文章中指出了∑*-空间的构成定理需重新考虑.本文就是要证明在空间X的每个点是Gδ-集的条件下该构成定理是成立的,所得的结论是:X是T1且每个点是Gδ-集的∑*-空间,如果f:X→Y是闭的满连续映射,则在Y中有一σ-闭离散子空间Z,使得对每个y∈Y\Z,f-1(y)是X的w1-紧子空间.为得到该主要结果,本文证明了若空间X是每个点是Gδ-集的次亚紧空间.则X中的每个闭离散子集是X中的Gδ-集.     

序列覆盖的闭映射保持可度量性

设f:X→Y是连续的满映射. f称为序列覆盖映射,若{y})是Y中的收敛序列,则存在X中的收敛序列{xn},使得每一xn∈f-1(yn);f称为1序列覆盖映射,若对于每-y∈Y,存在x∈f-1(y),使得如果{yn}是Y中收敛于点y的序列,则有X中收敛于点x的序列{xn},使得每一xn∈f-1(yn).本文研究度量空间序列覆盖的闭映射之构造,否定地回答了Topology and its Applications上提出的一个问题.     

SUPERCATEGORIES OF THE CATEGORY OF NEARNESS SPACES

Abstract

The framework in which nearness spaces were defined by H. Herrlich [1] and [2], leads one to consider the supercategory Pow of the category Near of nearness spaces, having as objects all pairs (X,ξ), where X is a set and ξ ? P(P(X)) is any subset of the power set of the power set of X, and as morphisms f: (X,ξ) → (Y,n) all functions f: X → Y such that, if A ? ξ then fA □ {f(A) | A ξ A} ? η. In this paper we show that the full subcategories of Pow comprising the objects satisfying subsets of the prenearness space axioms lie in a lattice of bireflections or bicoreflections. This serves as a first step towards the aim of characterizing all bireflective (resp. bicoreflective) and even all initially complete subcategories of Pow.     

Regular-Norm Balls can be Closed in the Strong Operator Topology

The main results obtained are:– A Dedekind complete Banach lattice Y has a Fatou norm if and only if, for any Banach lattice X, the regular-norm unit ball Ur = {T Lr(X,Y): ||T||r 1} is closed in the strong operator topology on the space of all regular operators, Lr(X,Y).– A Dedekind complete Banach lattice Y has a norm which is both Fatou and Levi if and only if, for any Banach lattice X, the regular-norm unit ball Ur is closed in the strong operator topology on the space of all bounded operators, L(X,Y).– A Banach lattice Y has a Fatou–Levi norm if and only if for every L-space X the space L(X,Y) is a Banach lattice under the operator norm.– A Banach lattice Y is isometrically order isomorphic to C(S) with the supremum norm, for some Stonean space S, if and only if, for every Banach lattice X, L(X,Y) is a Banach lattice under the operator norm.Several examples demonstrating that the hypotheses may not be removed, as well as some applications of the results obtained to the spaces of operators are also given. For instance:– If X = Lp() and Y = Lq(), where 1 < p,q < , then Lr(X,Y) is a first category subset of L(X,Y).     

关于Thue方程的解数

设ｍ是正整数，ｆ（Ｘ，Ｙ）＝ａ０Ｘｎ＋ａ１Ｘ（ｎ－１）Ｙ＋．．．＋ａｎＹｎ∈Ｚ［Ｘ，Ｙ］是Ｑ上不可约化的叫ｎ（ｎ≥３）次齐次多项式。本文证明了：当ｇｃｄ（ｍ，ａ０）＝１，ｎ≥４００且ｍ≥１０（３５）时，方程｜ｆ（ｘ，ｙ）｜＝ｍ，ｘ，ｙ∈ｚ，ｇｃｄ（ｘ，ｙ）＝１，至多有６ｎｖ（ｍ）组解（ｘ，ｙ），其中ｖ（ｍ）是同余式Ｆ（ｚ）＝ｆ（ｚ，１）≡０（ｍｏｄｍ）的解数。特别是当ｇｃｄ（ｍ，ＤＦ）＝１时，该方程至多有６ｎ（ω（ｍ）＋１）组解（ｘ，ｙ），其中ＤＦ是多项式Ｆ的判别式，ω（ｍ）是ｍ的不同素因数的个数．     

Web‐compact spaces,Fréchet‐Urysohn groups and a Suslin closed graph theorem

A topological space X is strongly web‐compact if X admits a family {A_α: α ∈ ?^?} of relatively countably compact sets covering X and such that A_α ? A_β for α ≤ β. The main result of this paper states the following: Theorem A Let X and Y be topological groups and f a homomorphism between X and Y with closed graph. If X is Fréchet‐Urysohn and Baire and Y is strongly web‐compact, then f is continuous. This extends a result of Valdivia. We provide an example showing that the property of being strongly web‐compact is not productive. This applies to show that there are quasi‐Suslin spaces X whose product X × X is not quasi‐Suslin (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On stable Baire classes

We introduce and study adhesive spaces. Using this concept we obtain a characterization of stable Baire maps \({f : X\to Y}\) of the class \({\alpha}\) for wide classes of topological spaces. In particular, we prove that for a topological space X and a contractible space Y a map \({f : X \to Y}\) belongs to the nth stable Baire class if and only if there exist a sequence \({(f_k)_{k=1}^\infty}\) of continuous maps \({f_k : {X \to Y}}\) and a sequence \({(F_k)_{k=1}^\infty}\) of functionally ambiguous sets of the nth class in X such that \({f|_{F_k}=f_k|_{F_k}}\) for every k. Moreover, we show that every monotone function \({f : \mathbb{R} \to \mathbb{R}}\) is of the \({\alpha}\) th stable Baire class if and only if it belongs to the first stable Baire class.     

Stability Characterizations of ε-isometries on Certain Banach Spaces

Suppose that X, Y are two real Banach Spaces. We know that for a standard ε-isometry f : X → Y, the weak stability formula holds and by applying the formula we can induce a closed subspace N of *. In this paper, by using again the weak stability formula, we further show a sufficient and necessary condition for a standard ε-isometry to be stable in assuming that N is w*-closed in Y*.Making use of this result, we improve several known results including Figiel's theorem in reflexive spaces.We also prove that if, in addition, the space Y is quasi-reflexive and hereditarily indecomposable, then L(f)≡span[f(X)] contains a complemented linear isometric copy of X; Moreover, if X =Y, then for every e-isometry f: X → X, there exists a surjective linear isometry S:X → X such that f-S is uniformly bounded by 2ε on X.     

Lipschitz Stability of the Cauchy and Jensen Equations

Let G be an amenable metric semigroup with nonempty center, let E be a reflexive Banach space, and let ?: G → E be a given function. By C?: G × G → E we understand the Cauchy difference of the function /, i.e.: $$ {\cal C}f(x,y):=f(x+y)- f(x)- f(y)\ {\rm for}\ x,y\in G. $$ We prove that if the function C(f) is Lipschitz then there exists an additive function A: G → E such that f ? A is Lipschitz with the same constant. Analogous result for Jensen equation is also proved. As a corollary we obtain the stability of the Cauchy and Jensen equations in the Lipschitz norms.     

Division and k-th root theorems for Q-manifolds

We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f:K→X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X2 and X×[0,1] are Q-manifolds as well. We construct a countable familyχof spaces with DDP and cd-AP such that no space X∈χis homeomorphic to the Hilbert cube Q whereas the product X×Y of any different spaces X, Y∈χis homeomorphic to Q. We also show that no uncountable familyχwith such properties exists.     

Local solvability of partial differential operators on the Heisenberg group

In this article the following class of partial differential operators is examined for local solvability: Let P(X, Y) be a homogeneous polynomial of degree n ≥ 2 in the non-commuting variables X and Y. Suppose that the complex polynomial P(iz, 1) has distinct roots and that P(z, 0) = zⁿ. The operators which we investigate are of the form P(X, Y) where X = δ_x and Y = δ_y + xδ_w for variables (x, y, w) ∈ ?³. We find that the operators P (X, Y) are locally solvable if and only if the kernels of the ordinary differential operators P(iδ_x, ± x)* contain no Schwartz-class functions other than the zero function. The proof of this theorem involves the construction of a parametrix along with invariance properties of Heisenberg group operators and the application of Sobolev-space inequalities by Hörmander as necessary conditions for local solvability.     

条件经验随机过程的渐近性质

设(Xi,Yi)(i=1,2,…,n)是来自总体(X,Y)的样本(独立同分布),其中X∈R1,Y∈Rq.M(x y)是Y=y时X的条件分布,Mnkn(x y)为M(x y)的第kn个最近邻域的经验分布估计量,讨论条件经验过程Sn(t,x,y)=kn12(Mnkn(x y)-M(x y))的渐近性质,得出在适当条件下,对固定的y,Sn(t,x,y)(x,t为参数)弱收敛于某一G aussian过程S(.).     

关于对称拟凸多项式的不相连定理

假定μn为Rn上的标准高斯测度,X为Rn上的随机向量,分布为μn.不相连猜测说的是:如果f与g为Rn上的两个多项式,而且f(X)与g(X)相互独立,则存在Rn上的正交变换Y = LX及整数k使得f o L-1为(y1,y2,…,yk)的函数,goL-1为(yk+1,yk+2,…,yn)的函数.此时,称f与g不相连.在这...