A Study on the Definitions of Some Geometric Figures

도형의 정의에 관한 한 연구

In mathematics, a definition must have authentic reasons to be defined so. On defining geometric figures, there must be adequencies in sequel and consistency in the concepts of figures, though the dimensions of them are different. So we can avoid complicated thoughts from the study of geometric property. From the texts of SMSG, UICSM and others, we can find easily that the same concepts are not kept up on defining some figures such as ray and segment on a line, angle and polygon on a plane, and polyhedral angle and polyhedron on a 3-dimensionl space. And the measure of angle is not well-defined on basis of measure theory. Moreover, the concepts for interior, exterior, and frontier of each figure used in these texts are different from those of general topology and algebraic topology. To avoid such absurdness, I myself made new terms and their definitions, such as 'gan' instead of angle, 'polygonal region' instead of polygon, and 'polyhedral solid' instead of polyhedron, where each new figure contains its interior. The scope of this work is hmited to the fundamental idea, and it merely has dealt with on the concepts of measure, dimension, and topological property. In this case, the measure of a figure is a set function of it, so the concepts of measure is coincided with that of measure theory, and we can deduce the topological property for it from abstract stage. It also presents appropriate concepts required in much clearer fashion than traditional method.