Related papers: Dieudonn\'{e} completeness of function spaces

For a metric space $(X,d)$, Beer, Naimpally, and Rodriguez-Lopez in ([17]) proposed a unified approach to explore set convergences via uniform convergence of distance functionals on members of an arbitrary family $\mathcal{S}$ of subsets of…

For a Banach space $X$ its subset $Y\subseteq X$ is called overcomplete if $|Y|=dens(X)$ and $Z$ is linearly dense in $X$ for every $Z\subseteq Y$ with $|Z|=|Y|$. In the context of nonseparable Banach spaces this notion was introduced…

This paper shows that for K a local field, k a subfield of K and X a variety over k, X is complete if and only if for every finite field extension K' of K, X(K') is compact in its strong topology.

We show that for any bounded function $f:[a,b]\rightarrow{\mathbb R}$ and $\epsilon>0$ there is a partition $P$ of $[a,b]$ with respect to which the Riemann sum of $f$ using right endpoints is within $\epsilon$ of the upper Darboux sum of…

A Banach space is said to have the Lebesgue property if every Riemann-integrable function $f:[0,1]\to X$ is Lebesgue almost everywhere continuous. We give a characterization of the Lebesgue property in terms of a new sequential asymptotic…

A result of M. Ledoux is that a complete Riemannian manifold with non negative Ricci curvature satisfying the Euclidean Sobolev inequality is the Euclidean space. We present a shortcut of the proof. We also give a refinement of a result of…

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces…

For a set $X\sbst\R$, let $B(X)\sbst\R^X$ denote the space of Borel real-valued functions on $X$, with the topology inherited from the Tychonoff product $\R^X$. Assume that for each countable $A\sbst B(X)$, each $f$ in the closure of $A$ is…

We show geodesic completeness of certain compact locally symmetric pseudo-Riemannian manifolds of signature $(2,n)$. Our model space $\mathbf{X}$ is a $1$-connected, indecomposable symmetric space of signature $(2,n)$, that admits a unique…

In this paper, we prove that if a Carath\'eodory hyperbolic analytic space $X$ is $C_X$-complete, then its natural topology is induced by the Carath\'eodory distance on $X$. This is an improvement of Sibony's result, which concludes the…

In this paper, we give a new completion for quasi-uniform spaces which generalizes the completion theories of Doitchinov [8] and Stoltenberg [20]. The presented completion theory is very well-behaved and extends the completion theory of…

We characterise those Banach spaces $X$ which satisfy that $L(Y,X)$ is octahedral for every non-zero Banach space $Y$. They are those satisfying that, for every finite dimensional subspace $Z$, $\ell_\infty$ can be finitely-representable in…

We construct a real sequence $\{\lambda_n\}_{n=1}^{\infty}$ satisfying $\lambda_n = n + o(1)$, and a Schwartz function $f$ on $\mathbb{R}$, such that for any $N$ the system of translates $\{f(x - \lambda_n)\}$, $n > N$, is complete in the…

If $X$ is a topological space and $Y$ is any set then we call a family $\mathcal{F}$ of maps from $X$ to $Y$ nowhere constant if for every non-empty open set $U$ in $X$ there is $f \in \mathcal{F}$ with $|f[U]| > 1$, i.e. $f$ is not…

We study the question for which Tychonoff spaces $X$ and locally convex spaces $E$ the space $C_p(X,E)$ of continuous $E$-valued functions on $X$ contains a complemented copy of the space $(c_0)_p=\{x\in\mathbb{R}^\omega\colon x(n)\to0\}$,…

Let $E$ be a uniformly smooth and uniformly convex real Banach space and $E^*$ be its dual space. Suppose $A : E\rightarrow E^*$ is bounded, strongly monotone and satisfies the range condition such that $A^{-1}(0)\neq \emptyset$. Inspired…

We prove that if $G$ is a finite flat group scheme of $p$ power rank over a perfect field of characteristic $p$, then the second crystalline cohomology of its classifying stack $H^2_{crys}(BG)$ recovers the Dieudonn\'e module of $G$. We…

A hypersurface is said to be totally biharmonic if all its geodesics are biharmonic curves in the ambient space. We prove that a totally biharmonic hypersurface into a space form is an isoparametric biharmonic hypersurface, which allows us…

We prove that if $D\subset C^n$ is a bounded domain with real analytic boundary and D is pseudoconvex then the compact open topology in the group of holomorphic automorphisms of D is the topology of uniform convergence on D.

Consider a Hausdorff space (X,T) and a set C of converging nets in X. By virtue of the limit uniqueness, the relation Lim which assigns each member x of X to every net N lying in C that converges to x is a map. Of course, structuring C with…