实用的离散数学课件

				
				
				bibaoxingzi
				
				
				
				
				
				
				  
				     
				      其他次序关系  
				      一、拟序
				          设R为P上的二元关系，若R为反自反的、反对称的、可传递的，则称R为P上的拟序关系，记为“<”，拟序集合记为：< 
				      P,< >。
				          
				      如：实数域上“小于”关系，即为拟序关系。
				          显然，拟序关系RIp 
				      即为P上的偏序关系。
				      　
				      二、线序
				          设<P,>是一个偏序集，在P中的任意两个元素x,y均有xy或者yx，则称这个偏序关系为线序（或“链”）。
				          设<P,>是一个偏序集，在P中的任意两个元素x,y均没有xy和yx，则称这个偏序关系为反链。
				          如：自然数上的“小于等于”关系；就是“链”
				      　
				      三、良序
				          
				      每个非空子集均有最小元的偏序关系。
				          
				      如：每一个有限的线序一定是良序；
				             
				      自然数上的“小于等于”关系为良序；
				             
				      整数上的“小于等于”关系不是良序。
				      　
				      　
				      　 
				 
				   
				 
				 
				   
				     
				        
				         
				    
				  
				
				 
				 <<back