Tồn tại tính định lý
Sổ lý khoa học thuật ngữ
Tồn tại tính định lý thị nhất loại định tính miêu thuật. Yếu bả mỗ chủng ly tán đối tượng án mỗ cá xác định đích ước thúc điều kiện tiến hành an bài, như quả giá chủng đặc định đích an bài thị phủ tồn tại hoàn bất xác định, tựu nhu yếu thủ tiên thảo luận giá chủng đặc định an bài đích tồn tại tính vấn đề.
- Trung văn danh
- Tồn tại tính định lý
- Ngoại văn danh
- existence theorem
- Thích dụng phạm vi
- Sổ lý khoa học
Tồn tại tính định đắng san lý thị quy ứng tịch khí dự tổ ba nhất loại định dạ chủ điệu phán kính tính miêu thuật chương liêu tuần sát kiện lam luyến sái luyến.
Yếu bả mỗ chủng ly tán đối tượng án mỗ cá xác định đích ước thúc điều kiện tiến hành an bài, như quả giá chủng đặc định đích an bài thị phủ tồn tại hoàn bất xác định, tựu nhu yếu thủ tiên thảo luận giá chủng đặc định an bài đích tồn tại tính vấn đề. Tại kinh điển tổ hợp sổ học trung,Hoắc nhĩ định lý,Lạp mỗ tề định lýHòaĐịch nhĩ ốc tư định lýThị tam cá chủ yếu đích tồn tại tính định lý.[1]
Hoắc nhĩ định lý sử dụng vu tổ hợp vấn đề trung;Nhị bộ đồG trung đích lưỡng bộ phân đỉnh điểm tổ thành đích tập hợp phân biệt vi X, Y,
Hoắc nhĩ định lýHoàn hữu nhất cá trọng yếu thôi luận: Nhị bộ đồ G trung đích lưỡng bộ phân đỉnh điểm tổ thành đíchTập hợpPhân biệt vi X,Y, nhược ∣X∣=∣Y∣, thả G trung hữu nhất tổ vô công cộng đoan điểm đích biên, nhất đoan kháp hảo tổ thành X trung đích điểm, nhất đoan kháp hảo tổ thành Y trung đích điểm,Tắc xưng nhị bộ đồ G trung tồn tại hoàn mỹ thất phối. Nhược đồ G đích mỗi cá điểm độ sổ vi t, tắc xưng nhị bộ đồ G vi t- chính tắc đích nhị bộ đồ tồn tại hoàn mỹ thất phối.
TạiTổ hợp sổ họcThượng, lạp mỗ tề (Ramsey) định lý thị yếu giải quyết dĩ hạ đích vấn đề: Yếu trảo giá dạng nhất cá tối tiểu đích sổn,Sử đắcnCá nhân trung tất định hữukCá nhân tương thức hoặclCá nhân hỗ bất tương thức.
6 cá nhân trung chí thiếu tồn tại 3 nhân tương hỗ nhận thức hoặc giả tương hỗ bất nhận thức.
Cai định lý đẳng giới vu chứng minh giá 6 cá đỉnh điểm đích hoàn toàn đồ đích biên, dụng hồng, lam nhị sắc nhậm ý trứ sắc, tất nhiên chí thiếu tồn tại nhất cá hồng sắc biên tam giác hình, hoặc lam sắc biên tam giác hình.
(Dilworth's theorem)
Địch nhĩ ốc tư định lýDiệc xưng thiên tự tập phân giải định lý, thị quan vuThiên tự tậpĐích cực đại cực tiểu đích định lý, cai định lý đoạn ngôn: Đối vu nhậm ý hữu hạnThiên tự tập,Kỳ tối đạiPhản liênTrung nguyên tố đích sổ mục tất đẳng vu tối tiểu liên hoa phân trung liên đích sổ mục. Thử định lý đích đối ngẫu hình thức diệc chân, tha đoạn ngôn: Đối vu nhậm ý hữu hạn thiên tự tập, kỳ tối trường liên trung nguyên tố đích sổ mục tất đẳng vu kỳ tối tiểu phản liên hoa phân trung phản liên đích sổ mục, do thiên tự tập P án như hạ phương thức sản sinh đích đồ G xưng vi thiên tự tập đích khả bỉ đồ: G đích tiết điểm tập do P đích nguyên tố tổ thành, nhi e vi G trung đích biên, cận đương e đích lưỡng đoan điểm tại P trung thị khả bỉ giác đích, hữu hạn toàn tự tập đích khả bỉ đồ vi hoàn toàn đồ.
