Projections in n-Dimensional Euclidean Space to Each Coordinates
Roman Matuszewski, Yatsuka Nakamura · 2007
For simplicity, we use the following convention: a, b, s, s1, r, r1, r2 denote real numbers, n, i denote natural numbers, X denotes a non empty topological space, p, p1, p2, q denote points of E n T, P denotes a subset of the carrier of E n T, and f denotes a map from E T into R . Let n, i be natural numbers and let p be an element of the carrier of E T. The functor Proj(p, i) yielding a real number is defined as follows: (Def. 1) For every finite sequence g of elements of R such that g = p holds Proj(p, i) = πig.