等价度量下的直径型填充测度

本文研究了在等价度量下,直径型填充测度之间的关系,证明了对任意紧度量空间(X,ρ),Pρ,g和Pcρ,g等价当且仅当纲函数g满足加倍条件.所得结论揭示了填充测度与加倍条件之间的关系.     

紧子集空间的半度量与一个度量化定理

设(X,ρ)是半度量空间,半度量函数ρ在紧集上有界,C(X)是以X为基本空间的紧子集空间,并赋以有限拓扑。依Hausdorff度量的定义方式在C(X)×C(X)上定义一个实值函数ρ,本文讨论使(C(X),ρ)成为半度量空间的充分条件与必要条件。利用这些条件给出一个半度量空间可度量化的判定条件,该条件严格弱于Chittenden的度量化条件,且形式上易于掌握。文中纠正了文[2]中一个判断错误。     

TVS-锥度量空间中的统计收敛

本文研究TVS-锥度量空间中的统计收敛以及TVS-锥度量空间的统计完备性.令(X,E,P,d)表示一个TVS-锥度量空间.利用定义在有序Hausdorff拓扑向量空间E上的Minkowski函数ρ,证明了在X上存在一个通常意义下的度量d_ρ,使得X中的序列(x_n)在锥度量d意义下统计收敛到x∈X,当且仅当(x_n)在度量d_ρ意义下统计收敛到x.基于此,我们证明了任意一个TVS-锥统计Cauchy序列是几乎处处TVS-锥Cauchy序列,还证明了任意一个TVS-锥统计收敛的序列是几乎处处TVS-锥收敛的.从而,TVS-锥度量空间(X,d)是d-完备的,当且仅当它是d-统计完备的.基于以上结论,通常度量空间中统计收敛的许多性质都可以平行地推广到锥度量空间中统计收敛的情形.     

集值动力系统中的混合性和混沌

设(X,d)是紧致度量空间.设(K,H)是X中所有非空紧子集所组成的空间,并赋予由d导出的Hausdorff度量H.主要探讨了拓扑动力系统(X,G)的混合性、混沌和集值动力系统(K,G)的混合性、混沌之间的关系,其中G是拓扑群.     

超空间上的概率度量

本文给出了超空间上 Hausdorff 概率度量的一种简明形式,用以讨论了超空间上Hausdorff 概率度量所决定的收敛及空间的某些拓扑性质。     

赋予hit—or-miss拓扑超空间动力系统的拓扑熵

设（X,d,f）为拓扑动力系统,其中X为局部紧第二可数Hausdorff空间,d为紧型度量,f为完备映射,用2^x和f分别表示由X的所有非空闭子集和所有闭子集构成的集族,（2^x,ρ,2^f）和（f,ρ,2^f）为由（X,d,f）诱导的赋予hit—or—miss拓扑的超空间动力系统．本文研究了h（X,d,f）和h（2^...     

超空间上的概率度量

本文给出了超空间上Hausdorff概率度量的一种简明形式，用以讨论了超空间上Hausdorff概率度量所决定的收敛及空间的某些拓扑性质。     

g函数,弱基g函数和空间的度量化

函数刻画广义度量空间，最早可追溯至Heath和Hodel的工作. 近些年来，Nagat a和一些拓扑学者利用g函数系统地研究了度量化问题. 该文引入弱基g函数的概念，利用它给出拓扑空间度量化的一些等价刻画, 推广了前人的相关工作. 证明了拓扑空间X可以度量化，当且仅当X有弱基g函数满足条件(1)和(7).     

一类非紧度量空间上的连续函数空间（英文）

对一个度量空间（X,ρ）,设↓C（X）是从X到I=[0,1]的连续函数下方图形全体之集赋予由度量空间X×I上的Hausdorff度量诱导出的拓扑.本文证明了下面的结果:如果（X,ρ）是一个非紧的、局部紧的、可分的、完全有界的度量空间,则↓C（X）同胚于c₀当且仅当X上的孤立点全体之集在X中不稠密,这里c₀={（xn）n∈N∈[-1,1]ω:sup|x+n|<1且lim_n→+∞x_n=0}.特别地,对赋予通常度量的开区间（0,1）,↓C（（0,1））同胚于c₀.     

Veljan-Korchmaros型不等式的稳定性

关于Euclidean空间En(n≥2)中单形的几何不等式,由于支撑函数或径向函数的表达式很难找到,因此一般很难用Hausdorff度量或径向度量来度量两个单形的"偏差",使得涉及单形的几何不等式的稳定性的研究比较困难.利用单形棱长在确定单形时起决定性作用这一事实,引进了两个单形"偏正"度量的概念,从而较好地解决了单形偏正度量的问题,并建立了著名的Veljan-Korchmaros 不等式的稳定性版本.作为推论,还导出了一系列Veljan-Korchmaros型不等式的稳定性版本.     

Blow up of balls and coverings in metric spaces

We obtain some refinements and extensions of the Basic Covering Theorem in a metric space (X, ρ). The properties of the metric ρ are used to define an inclusion coefficient k in this theorem, and this is related to the supremum of numbers t such that ρ ^t is a metric in X. The inclusion coefficient k characterizes ultrametric spaces.     

Hausdorff graph topology, proximal graph topology and the uniform topology for densely continuous forms and minimal USCO maps

For metric spaces (X, d _x) and (Y, d _y) we consider the Hausdorff metric topology on the set (CL(X × Y), ρ) of closed subsets of the product metrized by the product (box) metric ρ and consider the proximal topology defined on CL(X × Y). These topologies are inherited by the set G(X, Y) of closed-graph multifunctions from X to Y, if we identify each multifunction with its graph. Finally, we consider the topology of uniform convergence τ _uc on the set F(X, 2^Y) of all closed-valued multifunctions, i.e. functions from X to the set (CL(Y),) of closed subsets of Y metrized by the Hausdorff metric . We show the relationship between these topologies on the space G(X, Y) and also on the subspaces of minimal USCO maps and locally bounded densely continuous forms. This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904. The authors would like to thank.ubica Holá for suggestions and comments.     

A criterion for the unique determination of domains in Euclidean spaces by the metrics of their boundaries induced by the intrinsic metrics of the domains

We say that a domain U ⊂ ℝ ⁿ is uniquely determined by the relative metric (which is the extension by continuity of the intrinsic metric of the domain on its boundary) of its Hausdorff boundary if any domain V ⊂ ℝ ⁿ such that its Hausdorff boundary is isometric in the relative metric to the Hausdorff boundary of U, is isometric to U in the Euclidean metric. In this paper, we obtain the necessary and sufficient conditions for the uniqueness of determination of a domain by the relative metric of its Hausdorff boundary.     

The spectral projections and the resolvent for scattering metrics

In this paper, we consider a compact manifold with boundaryX equipped with a scattering metricg as defined by Melrose [9]. That is,g is a Riemannian metric in the interior ofX that can be brought to the formg=x ⁻⁴ dx²+x^{−2 h’} near the boundary, wherex is a boundary defining function andh’ is a smooth symmetric 2-cotensor which restricts to a metrich on ϖX. LetH=Δ+V, whereV∈x ²C^∞ (X) is real, soV is a ‘short-range’ perturbation of Δ. Melrose and Zworski started a detailed analysis of various operators associated toH in [11] and showed that the scattering matrix ofH is a Fourier integral operator associated to the geodesic flow ofh on ϖX at distance π and that the kernel of the Poisson operator is a Legendre distribution onX×ϖX associated to an intersecting pair with conic points. In this paper, we describe the kernel of the spectral projections and the resolvent,R(σ±i0), on the positive real axis. We define a class of Legendre distributions on certain types of manifolds with corners and show that the kernel of the spectral projection is a Legendre distribution associated to a conic pair on the b-stretched productX _b ² (the blowup ofX ² about the corner, (ϖX)²). The structure of the resolvent is only slightly more complicated. As applications of our results, we show that there are ‘distorted Fourier transforms’ forH, i.e., unitary operators which intertwineH with a multiplication operator and determine the scattering matrix; we also give a scattering wavefront set estimate for the resolventR(σ±i0) applied to a distributionf.     

A topological position of the set of continuous maps in the set of upper semicontinuous maps

Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0, 1], respectively. With the Hausdorff-metric, they are topological spaces. In this paper, we prove that, if X is an infinite compact metric space with a dense set of isolated points, then (↓USCC(X), ↓CC(X)) ≈ (Q, c0 ∪ (Q \ Σ)), i.e., there is a homeomorphism h :↓USCC(X) → Q such that h(↓CC(X)) = c0 ∪ (Q \ Σ...     

Testing the tail–dependence based on the radial component

Throughout this article we assume that the df H of a random vector (X,Y) is in the max-domain of attraction of an extreme value distribution function (df) G with reverse exponential margins. Therefore, the asymptotic dependence structure of H can be represented by a Pickands dependence function D with D = 1 representing the case of asymptotic independence. One of our aims is to test the null hypothesis of tail-dependence against the alternative of tail-independence. Thus we want to prove the validity of the model where D = 1. The test is based on the radial component X + Y. Under a certain spectral expansion it is verified that the df of X + Y, conditioned on X + Y > c, converges to F(t) = t, as c ↑0, if D ≠ 1 and, respectively, to F(t) = t ^1 + ρ , if D = 1, where ρ > 0 determines the rate at which independence is attained. Based on the limiting dfs we find a uniformly most powerful test procedure for testing tail-dependence against rates of tail-independence. In addition, an estimator of the parameter ρ is proposed. The relationship of ρ to another dependence measure, given in the literature, is indicated.      

On the topological types of symmetries of elliptic-hyperelliptic Riemann surfaces

LetX be a Riemann surface of genusg. The surfaceX is called elliptic-hyperelliptic if it admits a conformal involutionh such that the orbit spaceX/〈h〉 has genus one. The involutionh is then called an elliptic-hyperelliptic involution. Ifg>5 then the involutionh is unique, see [A]. We call symmetry to any anticonformal involution ofX. LetAut ^±(X) be the group of conformal and anticonformal automorphisms ofX and letσ, τ be two symmetries ofX with fixed points and such that {σ, hσ} and {τ, hτ} are not conjugate inAut ^±(X). We describe all the possible topological conjugacy classes of {σ, σh, τ, τh}. As consequence of our study we obtain that, in the moduli space of complex algebraic curves of genusg (g even >5), the subspace whose elements are the elliptic-hyperelliptic real algebraic curves is not connected. This fact contrasts with the result in [Se]: the subspace whose elements are the hyperelliptic real algebraic curves is connected. The authors are supported by BFM2002-04801.     

Iterated grafting and holonomy lifts of Teichmüller space

Let X be a closed hyperbolic surface and λ, η be weighted geodesic multicurves which are short on X. We show that the iterated grafting along λ and η is close in the Teichmüller metric to grafting along a single multicurve which can be given explicitly in terms of λ and η. Using this result, we study the holonomy lifts gr _λ ρ _X,λ of Teichmüller geodesics ρ _X,λ for integral laminations λ and show that all of them have bounded Teichmüller distance to the geodesic ρ _X,λ. We obtain analogous results for grafting rays. Finally we consider the asymptotic behaviour of iterated grafting sequences gr _nλ X and show that they converge geometrically to a punctured surface.     

Concerning the wave equation on asymptotically Euclidean manifolds

We obtain KSS, Strichartz and certain weighted Strichartz estimates for the wave equation on (ℝ ^d , g), d ≥ 3, when the metric g is non-trapping and approaches the Euclidean metric like 〈x〉^−ρ with ρ > 0. Using the KSS estimate, we prove almost global existence for quadratically semilinear wave equations with small initial data for ρ > 1 and d = 3. Also, we establish the Strauss conjecture when the metric is radial with ρ > 1 for d = 3.     

Hausdorff-type Measures of the Sample Path of Gaussian Random Fields

Let φ be a Hausdorff measure function and A be an infinite increasing sequence of positive integers. The Hausdorff-type measure φ - mA associated to φ and A is studied. Let X（t）（t ∈ R^N） be certain Gaussian random fields in R^d. We give the exact Hausdorff measure of the graph set GrX（[0, 1]N）, and evaluate the exact φ - mA measure of the image and graph set of X（t）. A necessary and sufficient condition on the sequence A is given so that the usual Hausdorff measure function for X（[0, 1] ^N） and GrX（[0, 1]^N） are still the correct measure functions. If the sequence A increases faster, then some smaller measure functions will give positive and finite （ φ A）-Hausdorff measure for X（[0, 1]^N） and GrX（[0, 1]N）.