Vol.2,No.5, November–December 1991 Université Catholique de Louvain The Topological Space.pdf

FORMALIZED MATHEMATICS Vol.2,No.5, November–December 1991 Universit´e Catholique de Louvain The Topological Space E 2 . T Arcs, Line Segments and Special Polygonal Arcs Agata Darmochwal1 Yatsuka Nakamura Warsaw University Shinshu University Bialystok Summary. The notions of arc and line segment are introduced in twodimensional topological real space E 2 . Some basic theorems for these T notions are proved. Using line segments, the notion of special polygonal arc is defined. It has been shown that any special polygonal arc is home omorphic to unit interval . The notion of unit square
E 2 has been also T introduced and some facts about it have been proved. MML Identifier: TOPREAL1. The articles [22], [21], [13], [1], [24], [20], [6], [7], [18], [4], [8], [15], [23], [17], [25], [11], [16], [9], [19], [2], [5], [14], [3], [10], and [12] provide the notation and terminology for this paper. In the sequel l1 will denote a real number and i, j , n will denote natural numbers. The scheme Fraenkel Alt concerns a non-empty set A, and two unary predicates P and Q, and states that: {v : P [v] ∨ Q[v]} = {v : P [v ]} ∪ {v : Q[v ]}, where v ranges over elements 1 1 2 2 2 of A, and v1 ranges over elements of A, and v ranges over elements of A for all values of the parameters. In the sequel d , d , d will be arbitrary. We now state the proposi