Related papers: The Beckman-Quarles theorem for continuous mapping…

Let \phi((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:R^2 -> C^2 preserves distance d>=0 if for each x,y \in R^2 \phi(x,y)=d^2 implies \phi(f(x),f(y))=d^2. We prove that if x,y \in R^2 and |x-y|=(2\sqrt{2}/3)^k \cdot…

Let G: C^n \times C^n -> C, G((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+ (x_n-y_n)^2. We say that f: R^n -> C^n preserves distance d>0 if for each x,y \in R^n G(x,y)=d^2 implies G(f(x),f(y))=d^2. Let A(n) denote the set of all positive…

Let varphi_n:C^n times C^n->C, varphi_n((x_1,...,x_n),(y_1,...,y_n))=sum_{i=1}^n (x_i-y_i)^2. We say that f:C^n->C^n preserves distance d>=0, if for each X,Y in C^n varphi_n(X,Y)=d^2 implies varphi_n(f(X),f(Y))=d^2. We prove: if n>=2 and a…

Let F be a subfield of a commutative field extending R. Let phi_n:F^n \times F^n ->F, phi_n((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+(x_n-y_n)^2. We say that f:R^n->F^n preserves distance d>=0 if for each x,y \in R^n |x-y|=d implies…

Let phi: C^2 times C^2 -> C, phi((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:C^2->C^2 preserves unit distance, if for each X,Y in C^2 phi(X,Y)=1 implies phi(f(X),f(Y))=1. We prove that each unit-distance preserving mapping…

Let F be a subfield of a commutative field extending R. Let \phi_2: F^2 \times F^2 \to F, \phi_2((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:R^2 \to F^2 preserves distance d \geq 0 if for each x,y \in R^2 |x-y|=d implies…

TO APPEAR IN AEQUATIONES MATHEMATICAE - WITHOUT THEOREM 2. THEOREM 2 IS CORRECTLY PROVED IN PREVIOUS VERSIONS 1 AND 2. AUTHOR'S VERSION 3 (WITH A NEW FIGURE 6A) IS UNNECESSARY. Let F \subseteq R denote the field of numbers which are…

Let Q denote the field of rational numbers. Let F \subseteq R is a euclidean field. We prove that: (1) if x,y \in F^n (n>1) and |x-y| is constructible by means of ruler and compass then there exists a finite set S(x,y) \subseteq F^n…

Let F be a commutative field of characteristic 0, G_n: F^n \times F^n -> F, G_n((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+(x_n-y_n)^2. We say that g:R^n->F^n preserves distance d>=0 if for each x,y \in R^n |x-y|=d implies…

Let X be a real normed vector space and dim X \ge 2. Let d>0 be a fixed real number. We prove that if x,y \in X and ||x-y||/d is a rational number then there exists a finite set {x,y} \subseteq S(x,y) \subseteq X with the following…

It is shown that each continuous transformation $h$ from Euclidean $m$-space ($m>1$) into Euclidean $n$-space that preserves the equality of distances (that is, fulfils the implication $|x-y|=|z-w|\Rightarrow|h(x)-h(y)|=|h(z)-h(w)|$) is a…

For any positive definite rational quadratic form $q$ of $n$ variables let $G(\mathbb{Q}^n, q)$ denote the graph with vertices $\mathbb{Q}^n$ and $x, y \in \mathbb{Q}^n$ connected iff $q(x - y) = 1$. This notion generalises standard…

An order-preserving Freiman 2-isomorphism is a map $\phi:X \rightarrow \mathbb{R}$ such that $\phi(a) < \phi(b)$ if and only if $a < b$ and $\phi(a)+\phi(b) = \phi(c)+\phi(d)$ if and only if $a+b=c+d$ for any $a,b,c,d \in X$. We show that…

Let F be a continuous injective map from an open subset of R^n to R^n. Assume that, for infinitely many k>1, F induces a bijection between the rational points of denominator k in the domain and those in the image (the denominator of…

For a positive integer $n$ let $\mathcal{X}_n$ be either the algebra $M_n$ of $n \times n$ complex matrices, the set $N_n$ of all $n \times n$ normal matrices, or any of the matrix Lie groups $\mathrm{GL}(n)$, $\mathrm{SL}(n)$ and…

Let $m,n\ge 2$ be integers. Denote by $M_n$ the set of $n\times n$ complex matrices. Let $\|\cdot\|_{(p,k)}$ be the $(p,k)$ norm on $M_{mn}$ with $1\leq k\leq mn$ and $2<p<\infty$. We show that a linear map $\phi:M_{mn}\rightarrow M_{mn}$…

We study the existence of fixed points for continuous maps $f$ from an $n$-ball $X$ in $\mathbb R^n$ to $\mathbb R^n$ with $n\geq 1$. We show that $f$ has a fixed point if, for some absolute retract $Y\subset\partial X$, $f(Y)\subset X$ and…

Let us call a function $f$ from a space $X$ into a space $Y$ preserving if the image of every compact subspace of $X$ is compact in $Y$ and the image of every connected subspace of $X$ is connected in $Y$. By elementary theorems a…

It is known that every homeomorphism of the plane has a fixed point in a non-separating, invariant subcontinuum. Easy examples show that a branched covering map of the plane can be periodic point free. In this paper we show that any…

Let $C$ be a closed cone with nonempty interior $C^\circ$ in a Banach space. Let $f:C^\circ \rightarrow C^\circ$ be an order-preserving subhomogeneous function with a fixed point in $C^\circ$. We introduce a condition which guarantees that…