【摘要】 引入了正规分离并证明了它的存在性 ,从而摆脱了原先分离存在性定理须预先假设存在近渡点的限制 ,得到了完善化 ,与此同时又建立了正规分离的一系列性质 .比如联系近渡点及最近点对的关系 ,正规分离的唯一性等 ,改进了著名的Mazur定理和Eidelheit分离定理 .更多还原

【Abstract】 The concept of normal separation (NS) of two convex sets is introduced.Its existence is proved.Then the restricting condition,existence of nearest cross point,is relaxed.And then some properties of NS are established,e\^g. uniqueness of NS;the relations between NS and nearest cross pionts,etc.These generalize the well known Eidelheit separation theorem and Mazur theorem extensively.更多还原