Topology Tracing of Neighborhood and Open Set and Logical Proof of Four-color Problem Construction Method
On the basis of analyzing the definitions and properties of neighborhood and open set,aiming at the equivalent description,mutual inclusion meaning and open set characteristics of the two problems in topology,the derivation of neighborhood and open set is expanded topologically,and a binary function is proposed which can describe the characteristics of both.Aiming at the topological property of the four-color problem of map,a simple method is proposed to prove the four-color problem by constructing the coloring principle of the same color method with symmetrical points.
binary function exthe point of symmetryhomochromatic methodtectonic method