Constructive Proof of Tychonoff’s Fixed Point Theorem for Sequentially Locally Non-Constant Functions Year: 2013 Volume: 7 Issue: 5 892 - 895 Pages Authors: Yasuhito Tanaka Abstract: We present a constructive proof of Tychonoff’s fixed point theorem in a locally convex space for uniformly continuous and sequentially locally non-constant functions. Keywords: sequentially locally non-constant functions Tychonoff’s fixed point theorem constructive mathematics.