Displaying similar documents to “Uniform quotients of metric spaces”

Uniform Space

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

In this article, we formalize in Mizar [1] the notion of uniform space introduced by André Weil using the concepts of entourages [2]. We present some results between uniform space and pseudo metric space. We introduce the concepts of left-uniformity and right-uniformity of a topological group. Next, we define the concept of the partition topology. Following the Vlach’s works [11, 10], we define the semi-uniform space induced by a tolerance and the uniform space induced by an equivalence...

Dirichlet series and uniform ergodic theorems for linear operators in Banach spaces

Takeshi Yoshimoto (2000)

Studia Mathematica

Similarity:

We study the convergence properties of Dirichlet series for a bounded linear operator T in a Banach space X. For an increasing sequence μ = μ n of positive numbers and a sequence f = f n of functions analytic in neighborhoods of the spectrum σ(T), the Dirichlet series for f n ( T ) is defined by D[f,μ;z](T) = ∑n=0∞ e-μnz fn(T), z∈ ℂ. Moreover, we introduce a family of summation methods called Dirichlet methods and study the ergodic properties of Dirichlet averages for T in the uniform operator topology. ...