| dbo:abstract
|
- في الرياضيات، تنص مبرهنة إيردوس-سيكريس على أنه في كل متتالية مكونة من أعداد حقيقية بطول ، يوجد لها متتالية جزئية متزايدة بطول أو متتالية جزئية متناقصة بطول . هذه المبرهنة هي مبرهنة مثالية في نظرية رمزي، التي تبحث الانتظام وسط الفوضى. تمت برهنة المبرهنة على يد بول إيردوس في مقال لهما سنة 1935. (ar)
- In mathematics, the Erdős–Szekeres theorem asserts that, given r, s, any sequence of distinct real numbers with length at least (r − 1)(s − 1) + 1 contains a monotonically increasing subsequence of length r or a monotonically decreasing subsequence of length s. The proof appeared in the same 1935 paper that mentions the Happy Ending problem. It is a finitary result that makes precise one of the corollaries of Ramsey's theorem. While Ramsey's theorem makes it easy to prove that every infinite sequence of distinct real numbers contains a monotonically increasing infinite subsequence or a monotonically decreasing infinite subsequence, the result proved by Paul Erdős and George Szekeres goes further. (en)
- En matemáticas, el teorema de Erdős-Szekeres es un resultado de finitud que precisa uno de los corolarios del teorema de Ramsey. Mientras que el teorema de Ramsey facilita probar que toda sucesión infinita de números reales distintos contiene una subsucesión infinita monótonamente creciente o una subsucesión infinita monótonamente decreciente, el resultado que probaron Paul Erdős y va más allá. Para , dados, probaron que cualquier sucesión de longitud al menos contiene una subsucesión monótonamente creciente de longitud o una subsucesión monótonamente decreciente de longitud . La demostración está en el mismo artículo de 1935 que menciona el problema del final feliz. (es)
- En mathématiques, et notamment en géométrie discrète, le théorème d'Erdős-Szekeres est une version finitaire d'un corollaire du théorème de Ramsey. Alors que le théorème de Ramsey permet de prouver facilement que toute suite infinie de réels distincts contient au moins une sous-suite infinie croissante ou une sous-suite infinie décroissante, le résultat prouvé par Paul Erdős et George Szekeres est plus précis en donnant des bornes sur les longueurs des suites. L'énoncé est le suivant : Soient r et s deux entiers. Toute suite d'au moins (r – 1)(s – 1) + 1 nombres réels contient une sous-suite croissante de longueur r ou une sous-suite décroissante de longueur s. Dans le même article de 1935 où ce résultat est démontré figure aussi le Happy Ending problem. (fr)
- 수학에서 에르되시-세케레시 정리는 주어진 , 에 대해 길이가 이상인 서로 다른 실수들의 수열은 길이 의 단조 증가하는 부분수열 또는 길이 의 단조 감소하는 부분수열을 포함한다는 정리이다. 증명은 해피 엔딩 문제를 언급한 동일한 1935년 논문에 나타났다. 에르되시-세케레시 정리는 정확히 램지의 정리의 따름정리가 되는 유한한 결과 중 하나이다. 램지의 정리를 사용하면 모든 서로 다른 실수로 이루어진 무한 수열이 단조 증가하는 무한 부분 수열 또는 단조 감소하는 무한 부분 수열을 포함한다는 것을 쉽게 증명할 수 있지만 에르되시 팔과 세케레시 죄르지가 증명한 결과는 더 나아간다. (ko)
- У математиці, теорема Ердеша—Секереша є результат про скінченні множини, що уточнює один з наслідків теореми Рамсея. Тоді як теорема Рамсея полегшує доведення того, що кожна послідовність різних дійсних чисел містить або монотонно зростаючу нескінченну підпослідовність, або монотонно спадну нескінченну підпослідовність, цей результат, доведений Паулем Ердешем та Дьйордем Секерешем іде далі. Для даних r, s вони показали, що будь-яка послідовність довжини принаймні (r − 1)(s − 1) + 1 містить або монотонно зростаючу підпослідовність довжини r, або монотонно спадну довжини s. Доведення з'явилося у той самій роботі 1935 року, що й . (uk)
- Теорема Э́рдёша — Се́кереша в комбинаторике — утверждение, уточняющее одно из следствий теоремы Рамсея для финитного случая. В то время как теорема Рамсея облегчает доказательство того, что каждая последовательность разных действительных чисел содержит монотонно возрастающую бесконечную подпоследовательность или монотонно убывающую бесконечную подпоследовательность, результат, доказанный Палом Эрдёшем и Дьёрдем Секерешем, идёт дальше. Для данных r, s они показали, что любая последовательность разных чисел длины не менее (r-1)(s-1)+1 содержит монотонно возрастающую подпоследовательность длины r или монотонно убывающую длины s. Доказательство появилось в той же самой работе 1935 года, что и задача со счастливым концом. (ru)
|
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10429 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:title
|
- Erdős-Szekeres Theorem (en)
|
| dbp:urlname
|
- Erdos-SzekeresTheorem (en)
|
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- في الرياضيات، تنص مبرهنة إيردوس-سيكريس على أنه في كل متتالية مكونة من أعداد حقيقية بطول ، يوجد لها متتالية جزئية متزايدة بطول أو متتالية جزئية متناقصة بطول . هذه المبرهنة هي مبرهنة مثالية في نظرية رمزي، التي تبحث الانتظام وسط الفوضى. تمت برهنة المبرهنة على يد بول إيردوس في مقال لهما سنة 1935. (ar)
- En matemáticas, el teorema de Erdős-Szekeres es un resultado de finitud que precisa uno de los corolarios del teorema de Ramsey. Mientras que el teorema de Ramsey facilita probar que toda sucesión infinita de números reales distintos contiene una subsucesión infinita monótonamente creciente o una subsucesión infinita monótonamente decreciente, el resultado que probaron Paul Erdős y va más allá. Para , dados, probaron que cualquier sucesión de longitud al menos contiene una subsucesión monótonamente creciente de longitud o una subsucesión monótonamente decreciente de longitud . La demostración está en el mismo artículo de 1935 que menciona el problema del final feliz. (es)
- 수학에서 에르되시-세케레시 정리는 주어진 , 에 대해 길이가 이상인 서로 다른 실수들의 수열은 길이 의 단조 증가하는 부분수열 또는 길이 의 단조 감소하는 부분수열을 포함한다는 정리이다. 증명은 해피 엔딩 문제를 언급한 동일한 1935년 논문에 나타났다. 에르되시-세케레시 정리는 정확히 램지의 정리의 따름정리가 되는 유한한 결과 중 하나이다. 램지의 정리를 사용하면 모든 서로 다른 실수로 이루어진 무한 수열이 단조 증가하는 무한 부분 수열 또는 단조 감소하는 무한 부분 수열을 포함한다는 것을 쉽게 증명할 수 있지만 에르되시 팔과 세케레시 죄르지가 증명한 결과는 더 나아간다. (ko)
- У математиці, теорема Ердеша—Секереша є результат про скінченні множини, що уточнює один з наслідків теореми Рамсея. Тоді як теорема Рамсея полегшує доведення того, що кожна послідовність різних дійсних чисел містить або монотонно зростаючу нескінченну підпослідовність, або монотонно спадну нескінченну підпослідовність, цей результат, доведений Паулем Ердешем та Дьйордем Секерешем іде далі. Для даних r, s вони показали, що будь-яка послідовність довжини принаймні (r − 1)(s − 1) + 1 містить або монотонно зростаючу підпослідовність довжини r, або монотонно спадну довжини s. Доведення з'явилося у той самій роботі 1935 року, що й . (uk)
- Теорема Э́рдёша — Се́кереша в комбинаторике — утверждение, уточняющее одно из следствий теоремы Рамсея для финитного случая. В то время как теорема Рамсея облегчает доказательство того, что каждая последовательность разных действительных чисел содержит монотонно возрастающую бесконечную подпоследовательность или монотонно убывающую бесконечную подпоследовательность, результат, доказанный Палом Эрдёшем и Дьёрдем Секерешем, идёт дальше. Для данных r, s они показали, что любая последовательность разных чисел длины не менее (r-1)(s-1)+1 содержит монотонно возрастающую подпоследовательность длины r или монотонно убывающую длины s. Доказательство появилось в той же самой работе 1935 года, что и задача со счастливым концом. (ru)
- In mathematics, the Erdős–Szekeres theorem asserts that, given r, s, any sequence of distinct real numbers with length at least (r − 1)(s − 1) + 1 contains a monotonically increasing subsequence of length r or a monotonically decreasing subsequence of length s. The proof appeared in the same 1935 paper that mentions the Happy Ending problem. (en)
- En mathématiques, et notamment en géométrie discrète, le théorème d'Erdős-Szekeres est une version finitaire d'un corollaire du théorème de Ramsey. Alors que le théorème de Ramsey permet de prouver facilement que toute suite infinie de réels distincts contient au moins une sous-suite infinie croissante ou une sous-suite infinie décroissante, le résultat prouvé par Paul Erdős et George Szekeres est plus précis en donnant des bornes sur les longueurs des suites. L'énoncé est le suivant : Dans le même article de 1935 où ce résultat est démontré figure aussi le Happy Ending problem. (fr)
|
| rdfs:label
|
- مبرهنة إيردوس-سيكريس (ar)
- Teorema de Erdős-Szekeres (es)
- Erdős–Szekeres theorem (en)
- Théorème d'Erdős-Szekeres (fr)
- 에르되시-세케레시 정리 (ko)
- Теорема Эрдёша — Секереша (ru)
- Теорема Ердеша — Секереша (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
