Darboux continuous functions on non-Archimedean valued fields (Q1122016)

Let K be a non-Archimedean valued field. A subset C of K is called convex if \(x,y\in C\) implies [x,y]\(\subset C\), where [x,y] denotes the smallest ball containing x and y. A function f: \(X\to K\), where \(X\subset K\), is called Darboux continuous if for each convex \(C\subset K\) the set f(C\(\cap X)\) is convex. The main results of the paper (Theorems 1 and 2) can be obtained in a much shorter way as follows. Theorem. Let f: \(X\to K\) be Darboux continuous. If \(a,b\in X\) and \(0\in [f(a),f(b)]\) then \[ f([a,b]\cap X)\supset \{z\in K:\quad | z| \leq \max (| f(a)|,| f(b)|). \] Proof: \(O\in [f(a),f(b)]\) implies \(| f(a)-f(b)| =\max (| f(a)|,| f(b)|).\) If \(| z| \leq | f(a)-f(b)|\) then also \(| z-f(a)| \leq | f(a)- f(b)|\) so \(z\in [f(a),f(b)].\) By Darboux continuity, \(z\in f([a,b]\cap X).\) This theorem is a stronger version of Theorem 2 of the paper. To obtain Theorem 1 one just concludes that, in particular, \(O\in f([a,b]\cap X).\)