Related papers: Saturating Constructions for Normed Spaces II

A (generalized) topological space is called an iso-dense space if the set of all its isolated points is dense in the space. The main aim of the article is to show in $\mathbf{ZF}$ a new characterization of iso-dense spaces in terms of…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

Definition. A symmetric with respect to 0 bounded closed convex set A in a finite dimensional normed space X is called a sufficient enlargement for X (or of B(X)) if for arbitrary isometric embedding of X into a Banach space Y there exists…

Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We…

The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…

We show that any filtering family of closed convex subsets of a finite-dimensional CAT(0) space $X$ has a non-empty intersection in the visual bordification $ \bar{X} = X \cup \partial X$. Using this fact, several results known for proper…

Using the theory of resolving classes, we show that if $X$ is a CW complex of finite type such that $\map_*(X, S^{2n+1})\sim *$ for all sufficiently large $n$, then $\map_*(X, K) \sim *$ for every simply-connected finite-dimensional CW…

Necessary and sufficient conditions for Banach space to be(isometrically isomorphic to) a dual space will be given.

In a noncompact harmonic manifold $M$ we establish finite dimensionality of the eigenspaces $V_{\lambda}$ generated by radial eigenfunctions of the form $\cosh r + c$. As a consequence, for such harmonic manifolds, we give an isometric…

The poset of copies of a relational structure ${\mathbb X}$ is the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X})=\{ Y\subset X: {\mathbb Y} \cong {\mathbb X}\}$. Investigating the…

Saturating sets are combinatorial objects in projective spaces over finite fields that have been intensively investigated in the last three decades. They are related to the so-called covering problem of codes in the Hamming metric. In this…

In this paper I consider locally finite Lie algebras of characteristic zero satisfying the condition that for every finite number of elements $x_{1}, x_{2},..., x_{k}$ of such an algebra $L$ there is finite-dimensional subalgebra $A$ which…

Given a hypersurface $X\subset \mathbb{P}^{N+1}_{\mathbb{C}}$ Dimca gave a proof showing that the cohomologies of X are the same as the projective space in a range determined by the dimension of the singular locus of X. We prove the analog…

Let V be a vector space of dimension n over a field K and let Symm(V) denote the space of symmetric bilinear forms defined on V x V. Let M be a subspace of Symm(V). We investigate a variety of hypotheses concerning the rank of elements in M…

We prove various reconstruction theorems about open subsets of normed spaces. E.g. if the uniformly continuous homeomorphism groups of two such sets are isomorphic, then this isomorphism is induced by a uniformly continuous homeomorphism…

For each $n$, we construct a separable metric space $\mathbb{U}_n$ that is universal in the coarse category of separable metric spaces with asymptotic dimension ($\mathop{asdim}$) at most $n$ and universal in the uniform category of…

We give an explicit (in particular, deterministic polynomial time) construction of subspaces X of R^N of dimension (1-o(1))N such that for every element x in X, |x|_1 and N^{1/2} |x|_2 are equivalent up to a factor of (log N)^{log log log…

The main results of this note are: It is consistent that every subparacompact space $X$ of size $\omega_1$ is a $D$-space; If there exists a Michael space, then all productively Lindel\"of spaces have the Menger property, and, therefore,…

In this paper we present a new criterion on characterization of real inner product spaces. We conclude that a real normed space $(X, \|...\|)$ is an inner product space if $$\sum_{\epsilon_i \in \{-1,1\}} \|x_1 +…

The subspace structure of Beidleman near-vector spaces is investigated. We characterise finite dimensional Beidleman near-vector spaces and we classify the R-subgroups of finite dimensional Beidleman near-vector spaces. We provide an…