Related papers: Ordering A Square

Linearizability is the commonly accepted notion of correctness for concurrent data structures. It requires that any execution of the data structure is justified by a linearization --- a linear order on operations satisfying the data…

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…

Given a continuum $X$ and $p\in X$, we will consider the hyperspace $C(p,X)$ of all subcontinua of $X$ containing $p$ and the family $K(X)$ of all hyperspaces $C(q,X)$, where $q\in X$. In this paper we give some conditions on the points…

In this paper we have found a necessary and sufficient condition for equivalence of two norms on a linear space using the theory of exponential vector space. Exponential vector space is an ordered algebraic structure which can be considered…

We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the…

We enhance the approximation capabilities of algebraic polynomials by composing them with homeomorphisms. This composition yields families of functions that remain dense in the space of continuous functions, while enabling more accurate…

We prove that for a compact metric space the property of having finite covering dimension is equivalent to the existence of a total order with finite snake number.

For a metrizable space $X$ of density $\kappa$, let $PM(X)$ be the space of continuous bounded pseudometrics on $X$ endowed with the uniform convergence topology. In this paper, its topology shall be classified as follows: (i) If $X$ is…

We show that any Banach space contains a continuum of non isomorphic subspaces or a minimal subspace. We define an ergodic Banach space $X$ as a space such that $E_0$ Borel reduces to isomorphism on the set of subspaces of $X$, and show…

We prove that for any orientable connected surface of finite type which is not a a sphere with at most four punctures or a torus with at most two punctures, any homeomorphism of the space of geodesic laminations of this surface, equipped…

An $n$-mean (also called a ''topological social choice rule'') on a topological space $X$ is a continuous function $p:X^n\to X$ satisfying $p(x,\dots, x)=x$ for every $x\in X$ and $p(x_1,\dots, x_n)=p(x_{\sigma(1)},\dots x_{\sigma(n)})$ for…

Given a Tychonoff space $X$, let $\varrho(X)$ be the set of remote points of $X$. We view $\varrho(X)$ as a topological space. In this paper we assume that $X$ is metrizable and ask for conditions on $Y$ so that $\varrho(X)$ is homeomorphic…

We construct a complete locally convex topological vector space $X$ of countable algebraic dimension and a continuous linear operator $T:X\to X$ such that $T$ has no non-trivial closed invariant subspaces.

Let F(n) be a polynomial of degree at least 2 with integer coefficients. We consider the products N_x=\prod_{1 \le n \le x} F(n) and show that N_x should only rarely be a perfect power. In particular, the number of x \le X for which N_x is…

We study topological groups of monotonic autohomeomorphisms on a generalized ordered space $L$. We find a condition that is necessary and sufficient for the set of all monotonic autohomeomorphisms on $L$ along with the function composition…

We establish that every second countable completely regularly preordered space (E,T,\leq) is quasi-pseudo-metrizable, in the sense that there is a quasi-pseudo-metric p on E for which the pseudo-metric p\veep^-1 induces T and the graph of…

Let X be a smooth projective variety. Starting with a finite set of cycles on powers X^m of X, we consider the Q-vector subspaces of the Q-linear Chow groups of the X^m obtained by iterating the algebraic operations and pullback and push…

We prove that a homeomorphism f of a compact metric space X satisfies the L-shadowing property if and only if its induced hyperspace homeomorphism also satisfies the L-shadowing property. In the proof, assuming only the L-shadowing…

This note concerns uniform equicontinuity of families of operators on a separable Hilbert space H, and of families of maps on B(H). It is shown that a one parameter group of automorphisms is uniformly equicontinuous if and only if the group…

Our main problem is to find finite topological spaces to within homeomorphism, given (also to within homeomorphism) the quotient-spaces obtained by identifying one point of the space with each one of the other points. In a previous version…